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
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/
WoLLIC 2012 to be held in Buenos Aires — September 3-6, 2012
The 9th Workshop on Logic, Language, Information and Computation, WoLLIC 2012 will be held in Buenos Aires, September 3-6, 2012.
Santiago Figueira is a local organizer
http://www.glyc.dc.uba.ar/wollic12/
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/
Verónica Becher to give plenary lecture at the Logic Workshop at Buenos Aires "A Tribute to Horacio Arló-Costa" — August 2-4, 2012
Verónica Becher will give a plenary lecture about the definition of randomness, at the Logic Workshop at Buenos Aires “A Tribute to Horacio Arló-Costa”. SADAF, Buenos Aires, August 2-4, 2012. http://www.sadaf.org.ar/web/actividades/reuniones-academicas.htmlVerónica Becher will give a plenary lecture about the definition of randomness, at the Logic Workshop at Buenos Aires “A Tribute to Horacio Arló-Costa”. SADAF, Buenos Aires, August 2-4, 2012. http://www.sadaf.org.ar/web/actividades/reuniones-academicas.htmlVerónica Becher will give a plenary lecture about the definition of randomness, at the Logic Workshop at Buenos Aires “A Tribute to Horacio Arló-Costa”. SADAF, Buenos Aires, August 2-4, 2012. http://www.sadaf.org.ar/web/actividades/reuniones-academicas.html
Olivier Carton visiting UBA — July 7 to July 27, 2012
Olivier Carton is visiting the Departamento de Computacion, FCEyN, Universidad de Buenos Aires, July 7 to July 27, 2012Olivier Carton is visiting the Departamento de Computacion, FCEyN, Universidad de Buenos Aires, July 7 to July 27, 2012Olivier Carton is visiting the Departamento de Computacion, FCEyN, Universidad de Buenos Aires, July 7 to July 27, 2012
Paper presented at the 7th Conference on Computability, Complexity and Randomness CCR 2012
In the 7th Conference on Computability, Complexity and Randomness CCR 2012, Isaac Newton Institute, Cambridge UK, July 2-6, 2012,
Verónica Becher and Pablo Heiber presented a new result on Normality and Differentiability
http://www.newton.ac.uk/programmes/SASsasw04.htmlIn the 7th Conference on Computability, Complexity and Randomness CCR 2012, Isaac Newton Institute, Cambridge UK, July 2-6, 2012,
Verónica Becher and Pablo Heiber presented a new result on Normality and Differentiability
http://www.newton.ac.uk/programmes/SASsasw04.htmlIn the 7th Conference on Computability, Complexity and Randomness CCR 2012, Isaac Newton Institute, Cambridge UK, July 2-6, 2012,
Verónica Becher and Pablo Heiber presented a new result on Normality and Differentiability
http://www.newton.ac.uk/programmes/SASsasw04.html