On our way to ICSE 2013!

Sebastián Uchitel, Esteban Pavese and Nicolás D'Ippolito departed to San Francisco... Good Luck!


Congratulations! Sebastián Uchitel is awarded by the Foundation Konex

On April 30 was announced the list of recognized personalities and institutions for the Konex Awards 2013, this year dedicated to the Science and Technology.
The Grand Jury has chosen, among other things, the 100 most leading personalities of the last decade (2003-2012) of the Science and Technology in Argentina, forming quintets in 20 disciplines.
Dr. Sebastian Uchitel integrates the quintet of "Information and Communications Technologies".


More of us, 4 new PhD Students!

Guido Chari, Edgardo Zoppi and Rodrigo Castaño have a doctoral scholarship from CONICET.
Daniel Ciolek has a doctoral scholarship from ANPCyT.

Welcome to Lafhis!


FACAS 2013 was a success!

We organized the First Argentinian Workshop on Foundations for Automatic Construction and Analysis of Software, from 12 to 14 April in Nature Reserve Vaquerías, Córdoba.
You can see the program in
Thanks to all the attendees!


Nicolás D'Ippolito is now Ph.D!


Check out our ICSE'13 teaser!


Hernán Czemerinski presents at Zeller@Saarland

Hernán Czemerinski visits Saarland University, Saarbrücken (March 4-8). He will give the talk "Behaviour Abstraction Coverage as Black-Box Adequacy Criteria", and work with Prof. Zeller's group.
The week after he will visit Imperial College of London (March 11-18).


Guido de Caso is now a PhD!

Today Guido de Caso defended his PhD thesis, an excellent work. Congratulations!


Hosting the MEALS workshop

0.5th MEALS Workshop

Computer Science Department - School of Sciences - University of Buenos Aires


9:55 - Opening/Welcome

10:00 - Benoit Delahaye, "Distances and Difference for Abstract Probabilistic Automata"

10:30 - Nicolas D'ippolito, "Synthesis of Event-Based Controllers for Software Engineering

11:00 - Coffee Break

11:45 - Marcelo Frias, "Parallel Analysis of Code by Refinement of TACO Bounds"