page_view

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

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

Pages