page_view

On our way to ICSE 2013!

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

Undefined

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".
Congratulations!

Undefined

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!

Undefined

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 http://lafhis-server.exp.dc.uba.ar/facas2013/
Thanks to all the attendees!

Undefined

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

Undefined

Guido de Caso is now a PhD!

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

Undefined

Hosting the MEALS workshop

0.5th MEALS Workshop

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

MONDAY 28

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"

Undefined

Pages