ES_PASS Workshop: Industrialization of Abstract Interpretation 2009

Oct. 28, 2009, Madrid, Spain


The final ES_PASS workshop is organized on October 28th 2009, just before the ITEA Symposium (Oct. 29/30, 2009 in Madrid). This workshop is meant to present the results of our work within the ES_PASS project and offer opportunities for industrial and academic contacts.


Please register as soon as possible (this is important in order to organize a relevant buffet for lunch time).


School of Computer Science (Facultad de informática), Technical University of Madrid (UPM), Science and Technology Park in Montegancedo, Madrid, Spain.
The workshop will take place at the auditorium (salón de actos) located in
Block (Bloque) 1.
WiFi access will be available during the workshop.
Address (in Spanish):
      Facultad de Informática. Universidad Politécnica de Madrid.
      Campus de Montegancedo s/n, 28660 Boadilla del Monte (Madrid).

Shuttle service

We have organized a shuttle service to UPM.

In case you need help


This is the final program.


Organizing committee