Events
Service in the organization of summerschools:
-
FOSAD:
International School on Foundations of Security Analysis and Design, Bertinoro, Italy
:
FOSAD 2009 - LNCS 5705: flier.
-
SFM10:QAPL:
10th International School on Formal Methods for the Design of
Computer, Communication and Software Systems:
Quantitative Aspects of Programming Languages,
21-26 June 2010, Bertinoro, Italy
Service in the PC of the following conferences:
-
EPEW 2010
(PC Chair):
7th European Performance Engineering Workshop, 23-24 September 2010, Bertinoro, Italy
-
QAPL 2010:
8th Workshop on Quantitative Aspects of Programming Languages,
March 27-28 2010, Paphos, Cyprus
(satellite event of ETAPS 2010)
-
ISARCS 2010:
1st International Symposium on Architecting Critical Systems, Prague, Czech Republic
-
SEC-2010 (see CFP):
25th IFIP International Information Security Conference, Brisbane, Australia
-
QAPL 2009:
7th Workshop on Quantitative Aspects of Programming Languages
March 28-29 2009, York, England
(satellite event of ETAPS 2009)
-
VODCA 2008
(PC Chair):
3rd Workshop on Views On Designing Complex Architectures,
August 30-31 2008, Bertinoro, Italy
-
FCS-ARSPA-WITS 2008:
Joint Workshop on Foundations of Computer Security,
Automated Reasoning for Security Protocol Analysis, and
Issues in the Theory of Security,
June 21-22 2008, Pittsburgh, PA, USA
-
QAPL 2008
(PC Chair):
6th Workshop on Quantitative Aspects of Programming Languages
March 29-30 2008, Budapest, Hungary
(satellite event of ETAPS 2008)
-
FMOODS 2007:
9th International Conference on Formal Methods for Open Object-Based Distributed Systems
June 5-8 2007, Paphos, Cyprus
(co-located with DisCoTec 2007)
-
QAPL 2007
(PC Chair):
5th Workshop on Quantitative Aspects of Programming Languages
March 24-25 2007, Braga, Portugal
(satellite event of ETAPS 2007)
-
WITS 2007:
7th International Workshop on Issues in the Theory of Security,
March 24-25 2007, Braga, Portugal
(satellite event of ETAPS 2007)
- VODCA 2006:
2nd Workshop on Views On Designing Complex Architectures,
September 16-17 2006, Bertinoro, Italy
- QAPL 2006:
4th Workshop on Quantitative Aspects of Programming Languages
April 1-2 2006, Vienna, Austria
(satellite event of ETAPS 2006)
- VODCA 2004:
1st Workshop on Views On Designing Complex Architectures, September 11-12 2004, Bertinoro, Italy