^ Back to Top
Computer Science, Logic, Languages, Verification and Systems
FacebookTwitter
Skip to content
  • Home
  • News
  • Members
  • Research
  • Activities
  • Contact
  • Recent Posts

    • Article in local newspaper on film in tribute to Turing — 20/Apr/2013
    • Llamado a candidatura Bernardo Houssay 2013-2014 — Estadías Doctorales y Post-Doctorales
    • Interview with Verónica Becher and Ted Slaman in local newspaper
    • Codebreaker — Documentary about life and work of Alan Turing — 10 April 2013, 18hs — UBA
    • Four Lectures on Normal Numbers — 18/3 to 27/3 — UBA
    • BEC.AR: Master’s (M2) in France for professionals from Argentina
    • Methods for Modalities Workshop 2013 (24 CADE) organized by Carlos Areces
    • Eduardo Bonelli visits PPS (Université Denis Diderot) — March 2013
    • Semester in Computability, Complexity and Randomness in the news!
    • Course on rewriting by Pierre Lescanne (ENS, Lyon) in XX Escuela de Verano de Ciencias Informáticas — 18 to 23 February 2013
  • Archives

    • April 2013
    • March 2013
    • February 2013
    • January 2013
    • November 2012
    • October 2012
    • September 2012
    • August 2012
    • July 2012
    • June 2012
    • March 2012
    • February 2012
    • December 2011
    • March 2011
    • English
    • Français
    • Español

Monthly Archives: F Y

Interview with Sergio Yovine on creation of LIA INFINIS

  By admin | February 20, 2012 - 11:42 pm | news
Comments Off

http://exactas.uba.ar/noticias/display.php?info=noticias&id=625

Kickoff meeting

  By admin | February 7, 2012 - 8:24 pm | news
Comments Off

The kickoff meeting was held at UBA on 15 December 2011. More details here.

INFINIS | Mantra Theme by Cryout Creations | Powered by WordPress.