page_view

FACAS 2013 was a success!

Submitted by Anonymous (not verified) on 04/13

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

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

Submitted by Anonymous (not verified) on 03/13
Undefined

Check out our ICSE'13 teaser!

Submitted by Anonymous (not verified) on 03/13
Undefined

Hernán Czemerinski presents at Zeller@Saarland

Submitted by Anonymous (not verified) on 03/13

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!

Submitted by Anonymous (not verified) on 02/13

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

Undefined

Hosting the MEALS workshop

Submitted by Anonymous (not verified) on 01/13

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.

Submitted by Anonymous (not verified) on 12/12

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.

Submitted by Anonymous (not verified) on 12/12

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.

Submitted by Anonymous (not verified) on 11/12

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.

Submitted by Anonymous (not verified) on 11/12

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