news – Page 3

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

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.