Interview with Verónica Becher and Ted Slaman in local newspaper

Sobre lo azaroso que es el azar

En el Polo Científico y Tecnológico del Ministerio de Ciencia se está llevando a cabo, desde enero y hasta junio, el Semestre en computabilidad, complejidad y azar organizado por la UBA y representantes de diversas universidades internacionales.

http://www.pagina12.com.ar/diario/ciencia/19-217661-2013-04-10.htmlSobre lo azaroso que es el azar
En el Polo Científico y Tecnológico del Ministerio de Ciencia se está llevando a cabo, desde enero y hasta junio, el Semestre en computabilidad, complejidad y azar organizado por la UBA y representantes de diversas universidades internacionales.

http://www.pagina12.com.ar/diario/ciencia/19-217661-2013-04-10.htmlSobre lo azaroso que es el azar
En el Polo Científico y Tecnológico del Ministerio de Ciencia se está llevando a cabo, desde enero y hasta junio, el Semestre en computabilidad, complejidad y azar organizado por la UBA y representantes de diversas universidades internacionales.

http://www.pagina12.com.ar/diario/ciencia/19-217661-2013-04-10.html

Codebreaker — Documentary about life and work of Alan Turing — 10 April 2013, 18hs — UBA

The Buenos Aires Semester in Computability, Complexity and Randomness organizes, as a special activity, the presentation of the film Codebreaker, the drama documentary about life and work of Alan Turing. There will be a unique function

When: April 10, 2013 at 18hs.

Where: Aula Magna del Pabellón 2, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, Buenos Aires.

Film duration 81 minutes.

“Codebreaker” has been directed by Clare Beavan and produced by Story Center Productions, Furnace y Channel 4, in 2011.

Site at the Facultad de Ciencias Exactas y Naturales, UBA, http://noticias.exactas.uba.ar/codebreaker-en-exactas
Site of the film http://www.turingfilm.comThe Buenos Aires Semester in Computability, Complexity and Randomness organizes, as a special activity, the presentation of the film Codebreaker, the drama documentary about life and work of Alan Turing. There will be a unique function

When: April 10, 2013 at 18hs.

Where: Aula Magna del Pabellón 2, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, Buenos Aires.

Film duration 81 minutes.

“Codebreaker” has been directed by Clare Beavan and produced by Story Center Productions, Furnace y Channel 4, in 2011.

Site at the Facultad de Ciencias Exactas y Naturales, UBA, http://noticias.exactas.uba.ar/codebreaker-en-exactas
Site of the film http://www.turingfilm.comThe Buenos Aires Semester in Computability, Complexity and Randomness organizes, as a special activity, the presentation of the film Codebreaker, the drama documentary about life and work of Alan Turing. There will be a unique function

When: April 10, 2013 at 18hs.

Where: Aula Magna del Pabellón 2, Facultad de Ciencias Exactas y Naturales, Ciudad Universitaria, Buenos Aires.

Film duration 81 minutes.

“Codebreaker” has been directed by Clare Beavan and produced by Story Center Productions, Furnace y Channel 4, in 2011.

Site at the Facultad de Ciencias Exactas y Naturales, UBA, http://noticias.exactas.uba.ar/codebreaker-en-exactas
Site of the film http://www.turingfilm.com

Four Lectures on Normal Numbers — 18/3 to 27/3 — UBA

March 18 to March 27, 2013. Part of the Buenos Aires Semester in Computability Complexity and Randomness,

Four Lectures on Normal Numbers

In these lectures we present selected material on normal numbers including classical theorems as well as our most recent results. No previous knowledge of the subject is needed to follow the talks.

Lecture 1: Equivalent definitions of normality and selected theorems, by Verónica Becher

Lecture 2: Normality and incompressibility by finite automata, by Pablo Ariel Heiber.

Lecture 3: Absolute normality and normality in different bases, by Verónica Becher and Theodore Slaman.

Lecture 4: Normality and polynomial time martingales, by Santiago Figueira.

Slides: http://www.dc.uba.ar/people/ccr/talks/BsAs_normality.pdf
March 18 to March 27, 2013. Part of the Buenos Aires Semester in Computability Complexity and Randomness,

Four Lectures on Normal Numbers

In these lectures we present selected material on normal numbers including classical theorems as well as our most recent results. No previous knowledge of the subject is needed to follow the talks.

Lecture 1: Equivalent definitions of normality and selected theorems, by Verónica Becher

Lecture 2: Normality and incompressibility by finite automata, by Pablo Ariel Heiber.

Lecture 3: Absolute normality and normality in different bases, by Verónica Becher and Theodore Slaman.

Lecture 4: Normality and polynomial time martingales, by Santiago Figueira.

Slides: http://www.dc.uba.ar/people/ccr/talks/BsAs_normality.pdf
March 18 to March 27, 2013. Part of the Buenos Aires Semester in Computability Complexity and Randomness,

Four Lectures on Normal Numbers

In these lectures we present selected material on normal numbers including classical theorems as well as our most recent results. No previous knowledge of the subject is needed to follow the talks.

Lecture 1: Equivalent definitions of normality and selected theorems, by Verónica Becher

Lecture 2: Normality and incompressibility by finite automata, by Pablo Ariel Heiber.

Lecture 3: Absolute normality and normality in different bases, by Verónica Becher and Theodore Slaman.

Lecture 4: Normality and polynomial time martingales, by Santiago Figueira.

Slides: http://www.dc.uba.ar/people/ccr/talks/BsAs_normality.pdf

BEC.AR: Master's (M2) in France for professionals from Argentina

***APPEL A CANDIDATURE***

Le Service de Coopération Scientifique a le plaisir de vous informer du lancement de l’appel à candidature dans le cadre d’un nouveau programme de bourses Argentine-France pour la formation de professionnels argentins en Sciences et Technologies en France (Programme BEC.AR).

Ce programme délivrera 30 bourses pour 30 professionnels argentins travaillant dans les secteurs de la science, technologie et innovation productive permettant de suivre la formation de niveau Master 2 en France dans les domaines stratégiques Argentins.

Sont éligibles tous les professionnels de nationalité argentine résidant dans le pays qui travaillent dans les domaines de la science, de la technologie et de l’innovation productive.

L’appel à candidature est ouvert du 20 Mars au 2 Mai 2013.

Plus d’informations: http://www.jgm.gob.ar/paginas.dhtml?pagina=745

Liste des domaines stratégiques Argentins: http://www.jgm.gov.ar/archivos/becar/BEC_AR_Areas_Tematicas_Prioritarias.pdf

Candidature: http://www.jgm.gob.ar/estatico/becas_francia/inscripcion.dhtml

Questions: becarfrancia@campusfrance.org

Ne perdez pas de vue qu’un stagiaire de niveau Master 2 c’est un stage potentiel dans votre laboratoire, et n’hésitez pas à motiver vos partenaires argentins pour identifier des candidats potentiels. Nous assurerons un suivi personnalisé des candidatures dans le cas où vous nous solliciteriez.

L’équipe de Coopération Scientifique de l’Ambassade de France à Buenos Aires***APPEL A CANDIDATURE***

Le Service de Coopération Scientifique a le plaisir de vous informer du lancement de l’appel à candidature dans le cadre d’un nouveau programme de bourses Argentine-France pour la formation de professionnels argentins en Sciences et Technologies en France (Programme BEC.AR).

Ce programme délivrera 30 bourses pour 30 professionnels argentins travaillant dans les secteurs de la science, technologie et innovation productive permettant de suivre la formation de niveau Master 2 en France dans les domaines stratégiques Argentins.

Sont éligibles tous les professionnels de nationalité argentine résidant dans le pays qui travaillent dans les domaines de la science, de la technologie et de l’innovation productive.

L’appel à candidature est ouvert du 20 Mars au 2 Mai 2013.

Plus d’informations: http://www.jgm.gob.ar/paginas.dhtml?pagina=745

Liste des domaines stratégiques Argentins: http://www.jgm.gov.ar/archivos/becar/BEC_AR_Areas_Tematicas_Prioritarias.pdf

Candidature: http://www.jgm.gob.ar/estatico/becas_francia/inscripcion.dhtml

Questions: becarfrancia@campusfrance.org

Ne perdez pas de vue qu’un stagiaire de niveau Master 2 c’est un stage potentiel dans votre laboratoire, et n’hésitez pas à motiver vos partenaires argentins pour identifier des candidats potentiels. Nous assurerons un suivi personnalisé des candidatures dans le cas où vous nous solliciteriez.

L’équipe de Coopération Scientifique de l’Ambassade de France à Buenos AiresDESTINATARIOS DEL PROGRAMA
Se consideran elegibles para participar de las becas todos los profesionales de nacionalidad y residencia argentina, graduados de instituciones universitarias de carreras de no menos de cuatro años de duración, que se desempeñen en áreas de Ciencia, Tecnología e Innovación Productiva de desarrollo prioritario para el país y que se comprometan a reinsertarse laboralmente en el mismo.

CONSULTAS
becarfrancia@campusfrance.org

La inscripción se realiza a partir del 20 de marzo hasta el 2 de mayo de 2013 a las 18hs. Para completar el formulario de inscripción deberá anotar 4 de las maestrías de ciencia y tecnología ofrecidas por Campus France que sean de su preferencia y en orden de prioridad. Acceda al listado >
CRONOGRAMA 2013

20 marzo de 2013: Apertura de la convocatoria.
2 de mayo de 2013: Cierre de la convocatoria.
10 de mayo de 2013: Anuncio de preseleccionados en www.jgm.gob.ar
13 al 16 de mayo de 2013: Entrevistas a preseleccionados.
17 de mayo de 2013: Anuncio de seleccionados en www.jgm.gob.ar
17 al 31 de mayo de 2013: Postulaciones a las Universidades Francesas.

Los beneficiarios serán elegidos en función de los siguientes criterios:

• Grado de pertinencia del área de incumbencia profesional del solicitante con las áreas temáticas prioritarias

• Nivel de francés requerido por los establecimiento de educación superior francesa es el B2 (intermedio avanzado) del Marco Europeo Común de Referencia para las Lenguas (MECRL).
Los test o diplomas de francés requeridos para postular a los masters en Francia son: DELF/ DALF – TCF – TEF. Los centros donde se toma el examen se encuentran en los siguientes links: DELF / DALF, TCF.

• Nivel de Inglés (intermedio avanzado – presentar test de TOEFL). El test institucional de TOEFL (Examen de inglés como lengua extranjera) se puede rendir en los centros ICANA.
Orientación para el test de diagnóstico:Descargar PDF >

• Mérito académico

• Experiencia laboral.

• Otros logros profesionales.

• Realización de actividades voluntarias y/o con fines sociales.

• Compromiso de regresar al país. Se priorizará a quienes se comprometan a residir en el interior del país.

• Compromiso de reincorporación a instituciones públicas o privadas vinculadas a la ciencia, tecnología e innovación productiva.

Asimismo, el Comité Evaluador velará por la equidad de género y geográfica.

BENEFICIO DE LA BECA

• Traslado del beneficiario de ida y vuelta a destino, al comienzo y final de la maestría.
• Estipendio para alojamiento y manutención el tiempo que dura la maestría.
• Seguro de vida y salud
• Matrícula

CAMPUS FRANCE – Agencia francesa para la promoción de la enseñanza superior, la recepción y la movilidad internacional de estudiantes y profesionales extranjeros.

La Agencia Campus France es una institución pública (EPIC) creada por la ley del 27 de julio de 2010. La principal misión es la promoción de la enseñanza superior, la recepción y de la movilidad internacional de los estudiantes, investigadores, expertos e invitados en Francia. Un decreto del 30 de diciembre de 2011 precisa la organización y las modalidades de acción de la Agencia.

Campus France, es el resultado de la fusión de un grupo de instituciones de interés público (la asociación Égide encargada de las becas y el CNOUS organización encargada de los alojamientos para estudiantes). La Agencia se encuentra bajo la tutela de los Ministerios franceses de Asuntos Extranjeros y Europeos y de Enseñanza Superior e Investigación. Las instituciones de enseñanza superior e investigación participan a la orientación política de la Agencia vía el “Foro Campus France”.

Para mayor información ingrese a:
http://www.argentine.campusfrance.org
http://www.campusfrance.org

Methods for Modalities Workshop 2013 (24 CADE) organized by Carlos Areces

Methods for Modalities Workshop 2013 (CADE13) is organized this year by Carlos Areces. For more information see: http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/Methods for Modalities Workshop 2013 (CADE13) is organized this year by Carlos Areces. For more information see: http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/Methods for Modalities Workshop 2013 (CADE13) is organized this year by Carlos Areces. For more information see: http://www.cs.famaf.unc.edu.ar/~careces/M4M/M4M8/

Eduardo Bonelli visits PPS (Université Denis Diderot) — March 2013

Eduardo Bonelli visits PPS (Université Denis Diderot) in the setting of the visiting professor programme Chaire Alicia MoreauEduardo Bonelli visite PPS (Université Denis Diderot) dans le cadre du programme de professeur invité Chaire Alice MoreauEduardo Bonelli visita PPS (Université Denis Diderot) en el marco del programa de profesor visitante Chaire Moreau Alicia

Semester in Computability, Complexity and Randomness in the news!

The inaugural ceremony of the Semester in Computability, Complexity and Randomness by MinCyT:

http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=1250
http://www.mincyt.gov.ar/multimedia/archivo/archivos/13-01-22_Barayao_apertura_semestre_computaciyn.pdf
La cérémonie d’ouverture du semestre de la calculabilité, complexité et aléatoire par MINCYT:

http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=1250
http://www.mincyt.gov.ar/multimedia/archivo/archivos/13-01-22_Barayao_apertura_semestre_computaciyn.pdf
El acto de apertura del Semestre en Computabilidad, Complejidad y Aleatoriedad por el MinCyT:

http://www.mincyt.gov.ar/noticias/noticias_detalles.php?id_noticia=1250
http://www.mincyt.gov.ar/multimedia/archivo/archivos/13-01-22_Barayao_apertura_semestre_computaciyn.pdf

Course on rewriting by Pierre Lescanne (ENS, Lyon) in XX Escuela de Verano de Ciencias Informáticas — 18 to 23 February 2013

The traditional summer school in Computer Science held annually at the campus of the Universidad Nacional de Río Cuarto (Provincia de Córdoba, República Argentina) in its XX edition, will include a course partially supported by INFINIS: Pierre Lescanne (Ecole Normale Superieure de Lyon, France) will give a course on rewriting and lambda calculus. For further details pleas consult http://dc.exa.unrc.edu.ar/rio/inicioThe traditional summer school in Computer Science held annually at the campus of the Universidad Nacional de Río Cuarto (Provincia de Córdoba, República Argentina) in its XX edition, will include a course partially supported by INFINIS: Pierre Lescanne (Ecole Normale Superieure de Lyon, France) will give a course on rewriting and lambda calculus. For further details pleas consult http://dc.exa.unrc.edu.ar/rio/inicioThe traditional summer school in Computer Science held annually at the campus of the Universidad Nacional de Río Cuarto (Provincia de Córdoba, República Argentina) in its XX edition, will include a course partially supported by INFINIS: Pierre Lescanne (Ecole Normale Superieure de Lyon, France) will give a course on rewriting and lambda calculus. For further details pleas consult http://dc.exa.unrc.edu.ar/rio/inicio

Buenos Aires Semester in Computability, Complexity and Randomness — 2013S1

Buenos Aires Semester in Computability Complexity and Randomness, January to June 2013
The Semester will take place at the new Polo Cientifico Tecnológico (ex de Bodegas Giol).
INFINIS parraine et certains de ses membres participent à diverses activités, notamment le comité, l’organisation scientifique locale et chercheurs invités.
Les organisateurs locaux: Verónica Becher y Santiago Figueira.
Plus de nouvelles ici: http://www-2.dc.uba.ar/ccr/Semestre sur la Calculabilité, Complexité et Aléatoire à Buenos Aires, janvier, de Janvier à Juin 2013.
Le semestre sera basé dans le nouveau Polo Cientifico Tecnológico (ex de Bodegas Giol).
INFINIS es auspiciante, y tiene miembros en cada aspecto del Semestre: en comité Cientifico, en la organización y en los investigadores visitantes.
Organizan localmente Verónica Becher y Santiago Figueira.
Mas novedades en : http://www-2.dc.uba.ar/ccr/Buenos Aires Semester in Computability Complexity and Randomness, enero a junio 2013
El Semestre tendrá sede en el nuevo Polo Cientifico Tecnológico (ex de Bodegas Giol).
INFINIS es auspiciante, y tiene miembros en cada aspecto del Semestre: en comité Cientifico, en la organización y en los investigadores visitantes.
Organizan localmente Verónica Becher y Santiago Figueira.
Más novedades en : http://www-2.dc.uba.ar/ccr/

Internships for Students — 2013

El Laboratorio Asociado Internacional (LIA) INFINIS
(http://www.infinis.org) es un laboratorio Franco-Argentino entre
el Centre National de la Recherche Scientifique (CNRS) y la Université
Paris Diderot, por un lado, y el Consejo Nacional de Investigaciones
Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, por
el otro. INFINIS se dedica a investigación en Ciencias de la
Computación, enfocándose en métodos formales para el modelado,
verificación y desarrollo de productos de software.

El laboratorio ofrece becas de apoyo para que tanto estudiantes
franceses como argentinos puedan realizar pasantías en alguno de estos
centros y/o en otros equipos asociados:

– Preuves, Programmes et Systèmes (PPS) http://www.pps.univ-paris-diderot.fr/

– Laboratoire d’Informatique Algorithmique: Fondements et Applications
(LIAFA) http://www.liafa.jussieu.fr/index_en.php

– Informatique et Calcul Parallèle Scientifique (ICPS) http://icps.u-strasbg.fr/

La duración de la pasantía puede ser entre 3 y 6 meses y la beca
comprende viáticos y pasaje.

Para más información o consultas comunicarse con Sergio Yovine
(syovine@dc.uba.ar).El Laboratorio Asociado Internacional (LIA) INFINIS
(http://www.infinis.org) es un laboratorio Franco-Argentino entre
el Centre National de la Recherche Scientifique (CNRS) y la Université
Paris Diderot, por un lado, y el Consejo Nacional de Investigaciones
Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, por
el otro. INFINIS se dedica a investigación en Ciencias de la
Computación, enfocándose en métodos formales para el modelado,
verificación y desarrollo de productos de software.

El laboratorio ofrece becas de apoyo para que tanto estudiantes
franceses como argentinos puedan realizar pasantías en alguno de estos
centros y/o en otros equipos asociados:

– Preuves, Programmes et Systèmes (PPS) http://www.pps.univ-paris-diderot.fr/

– Laboratoire d’Informatique Algorithmique: Fondements et Applications
(LIAFA) http://www.liafa.jussieu.fr/index_en.php

– Informatique et Calcul Parallèle Scientifique (ICPS) http://icps.u-strasbg.fr/

La duración de la pasantía puede ser entre 3 y 6 meses y la beca
comprende viáticos y pasaje.

Para más información o consultas comunicarse con Sergio Yovine
(syovine@dc.uba.ar).El Laboratorio Asociado Internacional (LIA) INFINIS
(http://www.infinis.org) es un laboratorio Franco-Argentino entre
el Centre National de la Recherche Scientifique (CNRS) y la Université
Paris Diderot, por un lado, y el Consejo Nacional de Investigaciones
Científicas y Técnicas (CONICET) y la Universidad de Buenos Aires, por
el otro. INFINIS se dedica a investigación en Ciencias de la
Computación, enfocándose en métodos formales para el modelado,
verificación y desarrollo de productos de software.

El laboratorio ofrece becas de apoyo para que tanto estudiantes
franceses como argentinos puedan realizar pasantías en alguno de estos
centros y/o en otros equipos asociados:

– Preuves, Programmes et Systèmes (PPS) http://www.pps.univ-paris-diderot.fr/

– Laboratoire d’Informatique Algorithmique: Fondements et Applications
(LIAFA) http://www.liafa.jussieu.fr/index_en.php

– Informatique et Calcul Parallèle Scientifique (ICPS) http://icps.u-strasbg.fr/

La duración de la pasantía puede ser entre 3 y 6 meses y la beca
comprende viáticos y pasaje.

Para más información o consultas comunicarse con Sergio Yovine
(syovine@dc.uba.ar).