CFP: EXPRESS'00 workshop

• Subject: CFP: EXPRESS'00 workshop
• From: Bjorn Victor <Bjorn.Victor@DoCS.UU.SE>
• Date: Fri, 18 Feb 2000 13:06:15 +0100 (MET)

	       ANNOUNCEMENT and CALL FOR PAPERS

			 EXPRESS'00:
		7th International Workshop on
		Expressiveness in Concurrency

     Pennsylvania State University, USA, August 21, 2000

     Held in conjunction with the conference CONCUR 2000

	    http://www.docs.uu.se/~victor/Express/
				   
SCOPE:
   The EXPRESS workshops aim at bringing together researchers interested
   in the relations between various formal systems, particularly in the
   field of Concurrency.  More specifically, they focus on the comparison
   between programming concepts (such as concurrent, functional,
   imperative, logic and object-oriented programming) and between
   mathematical models of computation (such as process algebras, Petri
   nets, event structures, modal logics, rewrite systems etc.) on the
   basis of their relative expressive power.

   EXPRESS'00 is organized as a satellite workshop of CONCUR 2000, the
   11th International Conference on Concurrency Theory, which will
   take place at Pennsylvania State University, USA, on August 22-25,
   2000. 

INVITED SPEAKER:
   Neil Jones (DIKU, Copenhagen, DK)

CO-CHAIRS: 
   Luca Aceto (BRICS, Aalborg University, DK)
   Bjorn Victor (Uppsala University, SE)

PROGRAMME COMMITTEE:
   Luca Aceto (BRICS, DK)
   Karen Bernstein (DePaul University, US)
   Rance Cleaveland (SUNY at Stony Brook, US)
   Wan Fokkink (CWI, NL)
   Rob van Glabbeek (Stanford University, US)
   Ursula Goltz (TU Braunschweig, DE)
   Rosario Pugliese (University of Firenze, IT)
   Julian Rathke (University of Sussex, UK)
   Davide Sangiorgi (INRIA Sophia-Antipolis, FR)
   Igor Walukiewicz (Warsaw University, PL)
   Bjorn Victor (Uppsala University, SE)

For more details see the URL http://www.docs.uu.se/~victor/Express/.

• Prev: TCS Special Issue: Call for Papers
• Next: Research scholarships available at Birmingham
• Index: AMAST Mail 2000