Xref: utzoo comp.theory:1441 news.announce.conferences:1519
Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!olivea!oliveb!tekbspa!denny
From: sas@sbcs (Scott Smolka)
Newsgroups: comp.theory,sbcs.theorynet,news.announce.conferences
Subject: CONCUR'91 -- Call for Papers
Message-ID: <1991Jan21.083011.26578@tss.com>
Date: 21 Jan 91 08:30:11 GMT
Expires: 01 Mar 1991
Sender: denny@tss.com (Denny Page)
Organization: State University of New York at Stony Brook
Lines: 69
Approved: denny@tss.com


FIRST ANNOUNCEMENT & CALL FOR PAPERS


Theories of Concurrency: Unification and Extension
Amsterdam, August 26-29, 1991

CONCUR'91 is the second international conference on concurrency theory,
organized in association with the ESPRIT Basic Research Action 3006, CONCUR.

The program has 7 sections:

	Process Algebras
	Logics
	Models
	Applications
	Tools
	Design
	Functional, Object Oriented and Logic Programming

PROGRAM COMMITTEE
The Program Committee is headed by J.C.M. Baeten (CWI Amsterdam). In each
of the sections, subcommittees consisting of experts in the field will
referee the submitted papers.

The subcommittees are headed by:
K.G. Larsen	Univ. Aalborg, Denmark
C. Stirling	Univ. Edinburgh, UK
E. Best		Univ. Hildesheim, Germany
M. Broy		Tech. Univ. Muenchen, Germany
S.A. Smolka	SUNY at Stony Brook, USA
C.A.R. Hoare	Univ. Oxford, UK
J.W. de Bakker	CWI, The Netherlands

SUBMISSIONS
All researchers in concurrency theory are invited to submit papers to the
conference. Submissions will be evaluated by the Program Committee for
inclusion in the proceedings. Papers must contain original contributions,
 be clearly written and include appropriate reference to and comparison
 with related work. Five copies of a draft full paper of no more than
 15 double-spaced standard pages accompanied by a one-page abstract should
 reach the PC-chairman according to the following:


DEADLINES
Submission of draft full paper	March 1st, 1991
Notification of acceptance	May 1st, 1991
Final version due		June 10th, 1991

ORGANIZING COMMITTEE
J.A. Bergstra
P. van Gelder
J.F. Groote
S. Mauw
A. Ollongren
F. Snijders

ADDRESS
CONCUR'91
c/o CWI
Kruislaan 413
Postbus 4079
NL-1009 AB Amsterdam
The Netherlands

Telephone	:+31-20-5924171/2014
Fax		:+31-20-5924199
Telex		:12571 mactr nl
email		:franss@cwi.nl or madelon@fwi.uva.nl


Brought to you by Super Global Mega Corp .com