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"