-
WITS'00 (PC
member)
Workshop
on Issues in the Theory of Security.
7-8 July 2000,
University
of Geneva, Switzerland
-
CSFW'01 (PC member)
14th IEEE Computer Security Foundations
Workshop
June 11-13, 2001
Keltic Lodge, Cape Breton, Nova Scotia, Canada
-
VERIFY'01 (PC member)
Verification Workshop:
What are the verification problems? What are the deduction techniques?
Siena, June 18 or 19, 2001,
in connection with IJCAR
2001.
-
FOSAD'01 (Scientific co-Director)
Second
International School on Foundations of Security Analysis and Design
17-29 September 2001, Bertinoro, Italy
-
WITS'02 (PC member)
2002 ACM SIGPLAN and IFIP WG 1.7
Workshop on Issues in the Theory of Security;
Portland, Oregon, USA, January 14-15, 2002.
Preceding POPL'02.
-
VERIFY'02 (PC member)
Verification Workshop -
What are the verification problems? What are the deduction techniques?
Copenhagen, Denmark, July 31 - August 1, 2002,
in connection with FLOC
2002.
-
CSFW'02 (PC member)
15th IEEE Computer Security Foundations
Workshop
June 24-26, 2002
Keltic Lodge, Cape Breton, Nova Scotia, Canada
-
FOSAD'02 (Scientific co-director)
Third
International School on Foundations of Security Analysis and Design
23-28 September 2002, Bertinoro, Italy
-
WITS'03 (PC member) 2003 ACM SIGPLAN and IFIP WG 1.7
Workshop on Issues in the Theory of Security
April 5 - 6, 2003, Warsaw, Poland
co-located with ETAPS'03
-
WISP (Invited Speaker) WORKSHOP on ISSUES in SECURITY and PETRI NETS
(Affiliated to
ATPN'03 : 24th International Conference
on Application and Theory of
Petri Nets), June 23, 2003, Eindhoven, the Netherlands.
-
SecCo'03 (Program co-chair)
1st International Workshop on
Security Issues in Coordination
Models, Languages, and Systems
(Affiliated to
ICALP 2003), June 29, 2003, Eindhoven, the Netherlands.
-
MMM-ACNS-2003 (PC member) The Second International Workshop
on Mathematical Methods, Models and Architectures for Computer Networks
Security,
September 20-24, 2003, St. Petersburg, Russia.
-
SEFM 2003 (PC member) International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS ,
Brisbane - Australia
22nd - 27th September, 2003
-
WITS '04
(PC member) Fourth
Workshop
on Issues in the Theory of Security.
April 3 - 4, 2004, Barcelona, Spain.
-
CSFW'03 (Program Chair)
16th IEEE Computer Security Foundations
Workshop, 29 June - 3 July, 2003
Asilomar
Pacific Grove, CA
-
CSFW'04 (Program Chair)
17th IEEE Computer Security Foundations
Workshop, 28-30 June, 2004
Asilomar
Pacific Grove, CA
-
SEFM 2004 (PC member) Second International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS ,
Beijing - China
26 - 30 September, 2004
-
SecCo'04 (Program co-chair)
2nd International Workshop on
Security Issues in Coordination
Models, Languages, and Systems
(Affiliated to
CONCUR 2004), August 30, 2004, London, United Kingdom.
-
FOSAD'04 (Lecturer)
Fourth
International School on Foundations of Security Analysis and Design,
6-11 September 2004, Bertinoro, Italy
2005
IEEE Symposium on Security and Privacy (PC member), May
8-11, 2005 The Claremont Resort Berkeley/Oakland, California, USA.
CSFW'06
(General Chair and PC member) 19th IEEE Computer Security
Foundations Workshop July 5-7, 2006, Isola di S. Servolo -
Venezia Italy
WITS'07
(Chair) 7th International Workshop on Issues in the Theory of
Security March 24 - 25, 2007, Braga, Portugal, co-located with
ETAPS 2007
CSF'07
(General Chair and PC member) 20th IEEE Computer Security
Foundations Symposium July 6-8, 2007, S. Servolo island, Venice
- Italy
CSF'08
(PC member) 21th IEEE Computer Security Foundations Symposium
June 23-25, 2008, Carnegie Mellon University, Pittsburgh - USA
ARSPA-WITS'09
(PC member) Joint Workshop on Automated Reasoning for Security
Protocol Analysis and Issues in the Theory of Security. Affiliated
with ETAPS 2009. York, UK, March 18-29, 2009.
ARSPA-WITS'10
(PC member) Joint Workshop on Automated Reasoning for Security
Protocol Analysis and Issues in the Theory of Security. Affiliated
with ETAPS 2010. Paphos, Cyprus March 27-28, 2010.