| Date | Event | |
|---|---|---|
| April 1 - 2, 2006 | 4th Workshop on Quantitative Aspects of Programming Languages - QAPL 2006
Vienna, Austria |
|
| October 1, 2005 | 1st International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security - CPSec
Barcelona, Spain |
|
| September 7 - 9, 2005 | The 12th International Static Analysis Symposium - SAS'05
London, UK |
|
| September 7 - 9, 2005 | International Symposium on Logic-based Program Synthesis and Transformation - LOPSTR'05
London, UK |
|
| September 6, 2005 | 2nd International Workshop on Programming Language Interference and Dependence - PLID'05
London, UK |
|
| September 2, 2005 | Logic and Computation Seminar
IST Lisbon, Portugal |
|
| July 10, 2005 | International Workshop on Developments in Computational Models - DCM'05
Lisbon, Portugal |
|