Marco Bernardo: Events

UPCOMING EVENTS

7^th European Performance Engineering Workshop (EPEW 2010) [general chair]
12^thItalian Conference on Theoretical Computer Science (ICTCS 2010) [invited speaker]
4^th European Conference on Software Architecture (ECSA 2010) [PC member]
10^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Quantitative Aspects of Programming Languages (SFM-10:QAPL) [director]
8^th International Workshop on Quantitative Aspects of Programming Languages (QAPL 2010) [PC member]

PAST EVENTS

2009:
2008:
2007:
2006:
- 2^nd International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCOORD 2006) [PC member]
- 6^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Hardware Verification (SFM-06:HV) [director]
2005:
- 2^nd International Conference on Quantitative Evaluation of Systems (QEST 2005) [tutorialist]
- 2^nd International Workshop on Practical Applications of Stochastic Modelling (PASM 2005) [PC member]
- 5^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing (SFM-05:Moby) [director and lecturer]
2004:
- 16^th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004) [PC member]
- 1^st International Conference on Quantitative Evaluation of Systems (QEST 2004) [tutorial chair]
- 4^th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time (SFM-04:RT) [director]
- 1^st International Workshop on Practical Applications of Stochastic Modelling (PASM 2004) [PC member]
- 11^th International Workshop on Expressiveness in Concurrency (EXPRESS 2004) [PC member]
- 4^th IEEE/IFIP Working Conference on Software Architecture (WICSA-4) [PC member]
2003:
- 15^th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003) [PC member]
- 3^rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture (SFM-03:SA) [director and lecturer]
2002:
2001:
- 1^st Joint International Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification (PAPM/PROBMIV 2001) [tutorialist]
- 1^st International School on Formal Methods for the Design of Computer, Communication and Software Systems: Process Algebra (SFM-01:PA) [director, lecturer]
2000:
- 8^th International Workshop on Process Algebra and Performance Modelling (PAPM 2000) [PC member, OC chair]
1998:
- 6^th International Workshop on Process Algebra and Performance Modelling (PAPM 1998) [panelist]
1997:
- 24^th International Colloquium on Automata, Languages, and Programming (ICALP 1997) [OC member]
- 2^nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 1997) [OC member]
1996:
- 1^st International Conference on Coordination Models and Languages (COORDINATION 1996) [OC member]