Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Past Events
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
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
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