Some Past Events

• 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