|
| |
Previous Activities
 |
General Chair
3rd IEEE International Conference on Software Engineering
and Formal Methods, SEFM 2005 |
|
|
Program committee member
ACM / IEEE 8th International Conference on Model Driven
Engineering Languages and Systems (formerly the UML series of conferences)
MoDELS / UML 2005 |
|
|
Program committee member
20th International Conference on Automated Deduction
CADE-20 |
|
|
Program committee member
International Conference TABLEAUX 2005
Automated Reasoning with Analytic Tableaux and Related Methods |
|
