[Prev][Next][Index][Thread]
Express97: 2nd CfP (text and LaTeX)
Please find enclosed the 2nd CfP of Express97. With respect to the
previous and preliminary version which was distributed some time ago,
the main changes are:
- addition of two invited speakers (Eugenio Moggi and Jean-Jacques Levy)
- announcement that (a selection of) the works will be published on
Information and Computation,
- change (anticipation) of deadline for camera-ready version
- announcement of two related events (CTCS97, a week before, and
an IC-EATCS advanced school on Concurrency, a week later),
- attachment of the LaTeX version (which was not distributed before).
Catuscia Palamidessi
8<------------------------------------------------------------------
***********************
* E X P R E S S 9 7 *
***********************
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.disi.unige.it/person/PalamidessiC/EXPRESS97/ *
* *
* 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:
Ralph Back (University of Abo, FIN)
Jean-Jacques Levy (INRIA Rocquencourt, FR)
Eugenio Moggi (University of Genova, IT)
Ugo Montanari (University of Pisa, IT)
Amir Pnueli (The Weizmann Institute, IL)
Vaughan Pratt (University of Stanford, USA)
Colin Stirling (University of Edinburgh, UK)
Many speakers from the EXPRESS sites will also attend. The URL
above has a preliminari 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 22 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@disi.unige.it
The proceedings will appear as a volume in the Electronic Notes of
Theoretical Computer Science. A selection of papers will be invited to
submit for a special issue of Information and Computation
dedicated to the conference.
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.
For those who wish
to find an accomodation different from Hotel Regina Elena,
Santa Margherita offers also a variety of hotels.
A local travel agency will help people
to find accomodation.
More information about travel and local arrangements
will be made available via the EXPRESS 97 web site.
RELATED EVENTS:
The 7th conference on Category Theory and Computer Science
(co-chaired by Eugenio Moggi and Pino Rosolini)
will be held immediately before EXPRESS 97,
during 4-6 September 1997, also in Santa Margherita Ligure.
Additional information is available at the web page
http://www.disi.unige.it/conferences/ctcs97/.
The 3rd IC-EATCS Annual School
Models and Paradigms for Concurrency
(organized by Catuscia Palamidessi)
will be held after EXPRESS 97, during the week
15-19 September 1997, at CISM (Udine).
Additional information can be found at the web page
http://www.disi.unige.it/person/PalamidessiC/IC-EATCSschool/.
8<------------------------------------------------------------------
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%% LaTeX version %%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentstyle{article}
\oddsidemargin 6pt \evensidemargin 6pt
\marginparwidth 90pt
\marginparsep 10pt
\topmargin -30pt \headheight 12pt \headsep 25pt \footheight 12pt
\footskip 30pt
\columnsep 10.5pt \columnseprule 0pt
\addtolength{\oddsidemargin}{-2.0cm}
\setlength{\textwidth}{18.7cm}%{18cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\begin{document}
\begin{center}
{\Large\sc CALL FOR PAPERS - EXPRESS 97}\\[2.5ex]
{\Large \bf Fourth workshop on }\\[1.5ex]
{\Large \bf Expressiveness in Concurrency}\\[1.5ex]
{\large\bf Santa Margherita Ligure, Italy, September 8 - 12, 1997}\\[1.5ex]
%{\bf Preliminary Announcement}
\end{center}
\vspace*{0.55in}
\parbox[t]{7.3cm}{
%\parbox[t]{10.3cm}{
\footnotesize
\noindent
{\bf Co-Chairs:}
\vspace*{0.05in}
\begin{tabular}{l}
Catuscia Palamidessi\\
DISI, University of Genova, Italy\\
%Via Dodecaneso, 35, 16146, Italy\\
{catuscia@disi.unige.it}\\
\ \\
Joachim Parrow\\
Royal Institute of Technology, Sweden\\
joachim@it.kth.se
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Program Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
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 (University of Genova, IT)\\
Joachim Parrow (Royal Institute of Technology, SE)\\
Frits Vaandrager (University of Nijmegen, NL)
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Invited speakers:}
\vspace*{0.05in}
\begin{tabular}{l}
Ralph Back (University of {\AA}bo, FIN)\\
Jean-Jacques L{\'e}vy (INRIA Rocquencourt, FR)\\
Eugenio Moggi (University of Genova, IT)\\
Ugo Montanari (University of Pisa, IT)\\
Amir Pnueli (The Weizmann Institute, IL)\\
Vaughan Pratt (University of Stanford, USA)\\
Colin Stirling (University of Edinburgh, UK)
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Topics (non-exclusive list):}
\vspace*{0.05in}
\begin{tabular}{ll}
Models of Computation\\
Process Algebras\\
Mobile Processes\\
Term and Graph Rewriting\\
Event Structures\\
Petri Nets\\
Real-Time Systems\\
Coordination Languages\\
Concurrent Constraint,\\
Functional,
Logic, and\\
Object-Oriented Programming
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Important dates:}
\vspace*{0.05in}
\begin{tabular}{ll}
May 2, 1997 & Paper submissions\\
June 15, 1997 & Acceptance notification\\
August 22, 1997 & Camera-ready copy due
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Additional~information:}
\vspace*{0.05in}
\begin{tabular}{l}
\mbox{http://www.disi.unige.it/}\\
\ \ \ \ \ \ \ \ \ \mbox{person/PalamidessiC/EXPRESS97/}\\
\mbox{http://www.sics.se/~joachim/Express97.html}\\
\mbox{email: expr97@disi.unige.it}
\end{tabular}
} \parbox[t]{5mm}{ \rule[-19.7cm]{0.2mm}{20cm}}
\begin{minipage}[t]{10.0cm}
\small
\noindent
{\bf Scope of the conference:}
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.
\vspace*{0.15in}
\noindent
{\bf Conference 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.
For those who wish
to find an accomodation different from Hotel Regina Elena,
Santa Margherita offers also a variety of hotels.
A local travel agency will help people
to find accomodation.
More information about travel and local arrangements
will be made available via the EXPRESS 97 web site.
\vspace*{0.15in}
\noindent
{\bf Paper submissions:} The submission deadline is May 2, 1997.
The paper should not exceed 15 pages in 12pt font.
Submission is electronic (up to exceptions) according to the paper
submission guidelines which will be made accessible via the EXPRESS 97 web site.
Notification of acceptance will be sent by June 15, 1997.
Some submissions not accepted as papers may be offered presentation
as posters.
\vspace*{0.15in}
\noindent
{\bf Publication:}
The proceedings will appear as a volume in the {\it Electronic Notes of
Theoretical Computer Science}. A selection of papers will be invited to
submit for a special issue of {\it Information and Computation}
dedicated to the conference.
\vspace*{0.15in}
\noindent
{\bf Related events:}
The
{\it 7th conference on Category Theory and Computer Science}
(co-chaired by Eugenio Moggi and Pino Rosolini)
will be held immediately before EXPRESS 97,
during 4-6 September 1997, also in Santa Margherita Ligure.
Additional information is available at the web page
\mbox{http://www.disi.unige.it/conferences/ctcs97/}.
The 3rd IC-EATCS Annual School
{\it Models and Paradigms for Concurrency}
(organized by Catuscia Palamidessi)
will be held after EXPRESS 97,
during the week 15-19 September 1997,
at CISM (Udine).
Additional information can be found at the web page
\mbox{http://www.disi.unige.it/person/PalamidessiC/IC-EATCSschool/}.
\end{minipage}
\end{document}