From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/318 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: Express97 Date: Thu, 27 Feb 1997 15:54:27 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241016888 25158 80.91.229.2 (29 Apr 2009 14:54:48 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:54:48 +0000 (UTC) To: categories Original-X-From: cat-dist Thu Feb 27 15:55:17 1997 Original-Received: by mailserv.mta.ca; id AA26091; Thu, 27 Feb 1997 15:54:27 -0400 Original-Lines: 113 Xref: news.gmane.org gmane.science.mathematics.categories:318 Archived-At: Date: Wed, 26 Feb 1997 15:19:38 +0100 (MET) From: joachim@sics.se *********************** * E X P R E S S 9 7 * *********************** Preliminary Call for Papers for the 4th Workshop on EXPRESSIVENESS IN CONCURRENCY 8-12 September 1997, Santa Margherita Ligure, Italy Deadline for submissions: 2 MAY 1997 See also: ********************************************** * http://www.sics.se/~joachim/Express97.html * ********************************************** SCOPE This meeting aims at a general understanding of the interconnections and relations between formal systems, ranging from programming languages for concurrency to logics. More specifically, we consider methods to compare concurrent programming concepts, such as imperative programming, logic programming, functional programming, concurrent programming, object-oriented programming, dataflow, and the various combinations thereof, on the basis of their relative expressive power. We also consider associated mathematical formalisms such as process algebras, Petri nets, modal logics, rewrite systems etc. from this point of view. The meeting is mainly intended for active researchers to get together and discuss their latest results and methods. It is also the final meeting of the HCM project EXPRESS, which has been active with this focus since 1994. CO-CHAIRS: Catuscia Palamidessi, University of Genova, Italy email: catuscia@disi.unige.it Joachim Parrow, Royal Inst. of Technology, Sweden email: joachim@it.kth.se INVITED SPEAKERS (list not yet final. The following have accepted): Ralph BACK Ugo MONTANARI Amir PNUELI Vaughan PRATT Colin STIRLING Many speakers from the EXPRESS sites will also attend. The URL above has a tentative list of participants from the project. SUBMISSIONS We seek research or expository papers on at most 15 pages (12pt font) submitted electronically (postscript format) no later than ** 2 MAY 1997 ** Notification of acceptance is 15 June and deadline for final versions is 31 August. Information about the submission procedure will be available soon at http://www.disi.unige.it/person/PalamidessiC/EXPRESS97/submit.html For additional information send email to expr97@venus.disi.unige.it The proceedings will appear as a volume in the Electronic Notes of Theoretical Computer Science. We are currently investigating the possibility of having a special issue of selected papers to appear in a well-established computer science journal. PROGRAMME COMMITTEE Luca Aceto, University of Aalborg, DK Jan Bergstra, University of Amsterdam, NL Eike Best, University of Oldenburg, DE Frank de Boer, University of Utrecth, NL Ilaria Castellani, INRIA Sohia-Antipolis, FR Philippe Darondeau, INRIA Rennes, FR Rocco De Nicola, University of Florence, IT Ursula Goltz, University of Hildesheim, DE Jan Willem Klop, CWI, NL Catuscia Palamidessi (Co-chair), University of Genova, IT Joachim Parrow (Co-chair), Royal Inst. of Technology, SE Frits Vaandrager, University of Nijmegen, NL VENUE The conference will take place at Hotel Regina Elena in Santa Margherita Ligure. This is a 4 stars hotel with private beach and conference facilities, which will also provide accommodation for most of the participants. Santa Margherita Ligure is a beautiful sea resort in Liguria, on the Riviera di Levante. It is very close to Portofino promontory and about 30 km east of Genova. The nearest international airport is in Genova with direct connections to Zurich, Paris, London, Munich and other European towns. Between Santa Margherita Ligure and Genova there are good train connections.