FLACOS 2009
 Third Workshop on
Formal Languages and Analysis of
Contract-Oriented Software

 Toledo, Spain, September 24-25, 2009
 University of Castilla-La Mancha, Department of Computer Science
Real-Time and Concurrent Systems Research Group

Pictures

Here are some pictures taken during the event:


Official Reception in the Regional Parliament House (1).


Official Reception in the Regional Parliament House (2).


Opening (1).


Opening (2).


Gerardo Schneider.


Anders P. Ravn.


Björn Bjurling.


Enrique Martínez.


Ugo Montanari.


Gordon Pace.


Gilles Barthe.


José Antonio Martín.


Workshop Dinner (1).


Workshop Dinner (2).


Antonio Maña.


Maciej Szreter.


Paolo Rosso.


Sophie Quinton.


Martin Wirsing.


Marco Carbone.

If you want more pictures, you may contact us at flacos09@dsi.uclm.es.