|
|
|
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  |
|
Official Reception
An official reception of the workshop participants will take place on September 23th at 19:00. The reception will be done in the Regional Parliament House, near the workshop hotels, at the following address: Convento GilitosBajada del Calvario Toledo, Cortes de Castilla-La Mancha, 45002 All the participants will be welcomed. How to arrive to the Regional Parliament House
From HOTEL SAN JUAN DE LOS REYES: Ver mapa más grande From SAN PEDRO MÁRTIR: Ver mapa más grande
Lunch
The September 24th and 25th lunches will take place both in the Faculty of Humanities Cafeteria at 13:30. This cafeteria is located at the following address: Plaza de Padilla 4 How to arrive to Faculty of Humanities Cafeteria
From HOTEL SAN JUAN DE LOS REYES: Ver mapa más grande From SAN PEDRO MÁRTIR: Ver mapa más grande
September 24th Dinner
The September 24th dinner will take place in Restaurante Hierbabuena at 20:30. This restaurant is located at the following address: C/ San José 17 How to arrive to Restaurante Hierbabuena
From HOTEL SAN JUAN DE LOS REYES: Ver mapa más grande From SAN PEDRO MÁRTIR: Ver mapa más grande
September 25th Dinner
The September 25th dinner will take place in Hostal del Cardenal at 20:30. This place is located at the following address: Paseo de Recaredo How to arrive to Hostal del Cardenal
From HOTEL SAN JUAN DE LOS REYES: Ver mapa más grande From SAN PEDRO MÁRTIR: Ver mapa más grande If you need any other information, you may contact us at flacos09@dsi.uclm.es. |