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).
INFINIS now on Facebook!
https://www.facebook.com/infinis.orghttps://www.facebook.com/infinis.orghttps://www.facebook.com/infinis.org
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/eiffelLe programme de bourses d’excellence Eiffel, lancé en janvier 1999 par le ministère des Affaires étrangères, est destiné à soutenir l’action de recrutement à l’international des établissements d’enseignement supérieur français, dans un contexte de concurrence accrue entre pays développés pour attirer l’élite des étudiants étrangers dans des formations de niveau Master, Ingénieur ou Doctorat. http://www.campusfrance.org/fr/eiffel
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
Short course by Beniamino Accattoli at UBA — October 2012
Beniamino Accattoli will be giving a short course on “Linear Logic, Lambda-calculus, and Explicit Substitutions” from 9-11 October 2012. For more information please visit here.Beniamino Accattoli will be giving a short course on “Linear Logic, Lambda-calculus, and Explicit Substitutions” from 9-11 October 2012. For more information please visit here.Beniamino Accattoli will be giving a short course on “Linear Logic, Lambda-calculus, and Explicit Substitutions” from 9-11 October 2012. For more information please visit here.
INFINIS business meeting — 3 October
On 3 October at 11hs INFINIS will hold a business meeting at the Depto. de Computación, FCEyN, UBA.
Beniamino Accattoli visits Argentina — October 2012
Beniamino Accattolli, currently postdoc at Carnegie Mellon, will visit UBA during the first two weeks of October and will give a short course on lambda calculus, linear logic and explicit substitutions.
Delia Kesner visits Argentina — October 2012
Delia Kesner, professor at Université Denis Diderot, will visit UBA during the first week of October.
INFINIS Meeting as satellite event of WoLLIC — 7 September 2012
An INFINIS meeting will be held at the at Aula 7 of the Departamanto de Computación (Pabellón I, Ciudad Universitaria), of the Facultad de Ciencias Exactas y Naturales, de la Universidad de Buenos Aires, from 9am to 14am on September 7th. For more information please visit http://www.glyc.dc.uba.ar/wollic12/satellite.phpAn INFINIS meeting will be held at the at Aula 7 of the Departamanto de Computación (Pabellón I, Ciudad Universitaria), of the Facultad de Ciencias Exactas y Naturales, de la Universidad de Buenos Aires, from 9am to 14am on September 7th. For more information please visit http://www.glyc.dc.uba.ar/wollic12/satellite.phpAn INFINIS meeting will be held at the at Aula 7 of the Departamanto de Computación (Pabellón I, Ciudad Universitaria), of the Facultad de Ciencias Exactas y Naturales, de la Universidad de Buenos Aires, from 9am to 14am on September 7th. For more information please visit http://www.glyc.dc.uba.ar/wollic12/satellite.php
LICS Test-of-Time Awards 2012 – Paper co-authored by Sergio Yovine
The paper “Symbolic Model Checking for Real-Time Systems” by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis and Sergio Yovine, published at LICS 1992 received the Test of Time Award http://processalgebra.blogspot.com.ar/2012/06/lics-test-of-time-awards-2012.htmlThe paper “Symbolic Model Checking for Real-Time Systems” by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis and Sergio Yovine, published at LICS 1992 received the Test of Time Award http://processalgebra.blogspot.com.ar/2012/06/lics-test-of-time-awards-2012.htmlThe paper “Symbolic Model Checking for Real-Time Systems” by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis and Sergio Yovine, published at LICS 1992 received the Test of Time Award http://processalgebra.blogspot.com.ar/2012/06/lics-test-of-time-awards-2012.html