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

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

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

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/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/

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).

Eiffel 2013-2014 Scholarships — MSc and Phd

The Eiffel scholarship programme, launched in January 1999 by the Ministry of Foreign Affairs, is intended to support the international recruitment of French higher education institutions, in a context of increased competition between developed countries to attract foreign students in elite level training at the Masters, Engineering or Doctor level. http://www.campusfrance.org/fr/eiffel