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

Semester in Computability Complexity and Randomness will be held in Buenos Aires — January-June 2013

From January to June 2013 the Semester in Computability Complexity and Randomness will be held in Buenos Aires, organized programatically by Theodore Slaman (USA), Antonio Montalbán (USA) Noam Greenberg (NZ), Joseph Miller (USA), and locally by the INFINIS members Verónica Becher and Santiago Figueira. Also Serge Grigorieff is part of the event and Laurent Bienvenu and Benoit Monin will participate in the program. http://www-2.dc.uba.ar/ccr/From January to June 2013 the Semester in Computability Complexity and Randomness will be held in Buenos Aires, organized programatically by Theodore Slaman (USA), Antonio Montalbán (USA) Noam Greenberg (NZ), Joseph Miller (USA), and locally by the INFINIS members Verónica Becher and Santiago Figueira. Also Serge Grigorieff is part of the event and Laurent Bienvenu and Benoit Monin will participate in the program. http://www-2.dc.uba.ar/ccr/From January to June 2013 the Semester in Computability Complexity and Randomness will be held in Buenos Aires, organized programatically by Theodore Slaman (USA), Antonio Montalbán (USA) Noam Greenberg (NZ), Joseph Miller (USA), and locally by the INFINIS members Verónica Becher and Santiago Figueira. Also Serge Grigorieff is part of the event and Laurent Bienvenu and Benoit Monin will participate in the program. http://www-2.dc.uba.ar/ccr/

Carlos Areces to give invited talk at the Logic and Computability Session, IV Congreso Latinoamericano de Matemática (CLAM) — 6-10 August 2012

Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/Carlos Areces will give an invited talk at the Logic and Computability Session of the IV Congreso Latinoamericano de Matemática (CLAM) FAMAF, Universidad Nacional de Córdoba, 6-10 August 2012. The workshop is organized by Verónica Becher, Carlos Di Prisco and Antonio Montalbán. http://www.famaf.unc.edu.ar/clam2012/