page_view

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

ICST 2013 Paper accepted.

Behaviour Abstraction Coverage as Black-Box Adequacy Criteria will be presented by Hernán Czemerinski in ICST 2013, Luxembourg, March 19-21

Undefined

Philippe Clauss, INRIA-CAMUS, visits for the week.

12/12 Philippe Clauss from INRIA-CAMUS visits us for the week.

Undefined

PhD Student Camilo Bruno from IMRIA-Rmod visits us for 3 weeks.

12/12 PhD Student Camilo Bruno from IMRIA-Rmod visits us for 3 weeks.

Undefined

NII from Japan visits us to attend the first NII-UBA workshop.

11/12 National Institute of Informatics from Japan visits us to attend the first NII-UBA workshop.

http://lafhis.dc.uba.ar/misc/niiuba/

Undefined

S. Uchitel is invited to be on the ASE 2013 PC

11/12 Sebastian Uchitel is invited to be on the ASE 2013 Program Committee at Palo Alto.

Undefined

D. Garbervetsky visits INRIA-CAMUS at Strasbourg.

10/12 Diego Garbervetsky visits INRIA-CAMUS at Strasbourg, France.

Undefined

Diego Garbervetsky visits INRIA-Rmod at Lille, France.

10/12 Diego Garbervetsky visits INRIA-Rmod at Lille, France.

Undefined

S. Uchitel is invited to be on the ESEC/FSE 2013 PC

10/12 Sebastian Uchitel is invited to be on the ESEC/FSE 2013 Program Committee at Saint Petersburg, Russia.

Undefined

Pages