Some Past Events
(in which I have been involved)
(IS = invited speaker; PC =
program committee member; GC = general chair/co-chair):
-
CONCUR'98 (GC,PC) : 9th International Conference on Concurrency Theory, Nice, France, September 8-11, 1998
-
POPL'98 (PC) :
The 25th Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
San Diego, California, January 19-21, 1998
-
ETAPS'99 (IS) : 1999 European Joint Conferences on Theory and Practice of Software,
Amsterdam, The Netherlands, March 20 28, 1999
-
ICALP'99
(PC) : 26th International Colloquium on Automata, Languages, and Programming
July 11-15, 1999, Prague, Czech Republic
-
LICS'99 (PC) : 14th IEEE Symposium on Logic in Computer Sciences, held
as part of the 1999
Federated Logic Conference
-
MFPS
XVI (IS) : Sixteenth Conference on the
Mathematical Foundations of
Programming Semantics, Stevens Institute of Technology,
New Jersey,
April 13 - 16, 2000
-
TCS2000 (PC) :
IFIP International Conference on Theoretical Computer Science, August 17-19, 2000, Sendai, Japan
-
HOOTS'00
(PC) : Fourth International Workshop on
Higher Order Operational Techniques in Semantics, Montreal,
September 22, 2000
-
EXPRESS'00 (PC) : 7th International Workshop on
Expressiveness in Concurrency, August 21, 2000,
Pennsylvania State University, USA
-
TOSCA'00 (IS) : progetto italiano; 30/11-02/12/2000, Genova
-
MFPS
XVII (PC)
:Seventeenth Conference on the
Mathematical Foundations of
Programming
Semantics,
Aarhus, Denmark, May 23 - May 27, 2001
-
PFM'01
(GC)
: Workshop Proofs For Mobility, Genova, April 7, 2001
-
SFM-01:PA
(IS) :
1st International School on
Formal Methods for the Design of
Computer, Communication and Software Systems:
Process
Algebras,
23-28 July 2001, Bertinoro, Italy
-
Logic and Interaction weeks
: January 28 - March 1, 2002, Marseille
-
BASICS'01
(IS): SUMMER SCHOOL AND WORKSHOP ON BASIC STUDIES IN COMPUTING SCIENCE
13-19 October 2001 Beijing, China
-
JFLA'02
(PC) : 13èmes Journées Francophones des Langages Applicatifs
Anglet, France, January 27-28, 2002
-
CONCUR'02
(IS) : CONCUR 2002
13th International Conference on Concurrency Theory
August 20-23, 2002
Brno, Czech Republic
-
TYPES'02 Summer school
(IS)
:
Theory and Practice of Formal Proofs
Giens, France, September 2-13, 2002
-
F-WAN
(PC) : F-WAN: Foundations of Wide Area Network Computing
co-located with ICALP2002
12-13 July 2002, Malaga, Spain
-
FTRTFT'02
(PC)
: 7th International Symposium on
Formal Techniques in Real-Time and Fault Tolerant Systems.
September 9-12 2002,
University of Oldenburg,
Germany
-
FSTTCS'02
(PC)
: 22nd Conference on Foundations of Software Technology and
Theoretical Computer Science, Kanpur, India, December 2002.
-
POPL'03
(PC)
: The 30th Annual ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
January 15-17, 2003
New Orleans, Louisiana
-
WSSA school
(GC)
: International Winter School on Semantics and Applications, 21-31 July, 2003
Montevideo, Uruguay
-
ICALP'03
(PC) :
Thirtieth International Colloquium on Automata, Languages and Programming
Eindhoven, The Netherlands, June 30 - July 4, 2003
-
EEF school
(IS)
: Global Computing Summer School
Edinburgh, Scotland, 7th to 11th July 2003
-
Mobile computing school
(IS)
: Advanced School on Mobile Computing, Pisa, Italy, 1st to 28th September 2003
-
SEFM'03
(IS)
: International Conference on Software Engineering and Formal
Methods, Brisbane - Australia
22nd - 27th September, 2003
-
FOSSACS'04
(PC)
: 7th International Conference on
Foundations of Software Science and Computation Structures,
Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004.
-
TCS 2004
(PC)
: 3rd IFIP International Conference on
Theoretical Computer Science,
August 23-26, 2004, Toulouse
Last modified: Wed Sep 6 15:13:18 CEST 2006