[Prev][Next][Index][Thread]

Re: CONCUR'96 - Call for Papers


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

%                [sorry if you receive this more than once]

\documentstyle{article}

                       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                       %%        Call for papers      %%
                       %%        CONCUR'96            %%
                       %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\vspace{3cm}
\def\head{
{\bf                           Call for Papers
}\\[3mm]
{\Large\bf                        CONCUR'96
}\\[4mm]
            Seventh International Conference on Concurrency Theory
\\{\bf                           Pisa, Italy,
}\\                           August 26-29, 1996
}
\vspace{2mm}

\def\body{
The purpose of the CONCUR conferences is to bring together researchers,
developers and students in order to advance the science of concurrency
theory and promote its applications. Interest in the conference is
continuously growing, as a consequence of the importance and ubiquity of
concurrent systems and applications, and of the scientific relevance of
their foundations.

\noindent The first two meetings were held in Amsterdam in 1990 and 1991,
the following meetings in Stony Brook, Hildesheim, Uppsala and
Philadelphia. The proceedings have appeared in Springer
LNCS, as Vols. 458, 527, 630, 715, 836 and 962.

\noindent The Steering Committee of CONCUR is composed of Jos Baeten
(chair, Eindhoven), Eike Best (Hildesheim), Kim Larsen (Aalborg), Ugo
Montanari (Pisa), Scott Smolka (Stony Brook) and Pierre Wolper (Liege).

\medskip
{\bf
            Topics of interest:
}
The scope of CONCUR'96 covers all areas of semantics, logics and
verification techniques for concurrent systems. A list of specific topics
includes (but is not limited to) concurrency related issues about
decidability, event structures and semantic domains, mobile processes,
model checking, models of computation, Petri nets, process algebras,
real-time systems, refinement techniques, term and graph rewriting, typing
systems and algorithms, higher order languages, functional logic constraint
and object oriented programming, verification techniques for practical
systems, tools and environments for programming and verification.


\medskip
{\bf        Submissions:
}
Authors are invited to send extended abstracts (in English, up to 15 pages,
typeset 12 points) to the PC chairman. Simultaneous submissions to other
conferences or journals are not allowed. Electronic submissions are
encouraged via e-mail, in the form of uuencoded compressed PostScript(tm)
printable files sent to {\tt concur'96@di.unipi.it}; however a printed
reference copy should be forwarded anyway by express or courier mail. If
e-mail is not used, then {\bf five (5)} copies of the paper should be sent
by express or courier mail. In both cases, a separate text-only message
should be directed to {\tt concur'96@di.unipi.it}, with a single postal and
e-mail address for communication, complete title, author(s), affiliation(s)
and 200 word abstract.

\medskip
{\bf        Invited Speakers:
}
Samson Abramsky (Imperial College, London),
Jos\`e  Meseguer (SRI International, Menlo Park),
Faron Moller (SICS, Stockholm),
Wolfgang Reisig (Humboldt University, Berlin).

\medskip
{\bf        Tutorials:
}
Concurrent Graph and Term Graph Rewriting, Andrea Corradini (University
of Pisa);
Concurrent Constraint Programming, Vijay Saraswat (Xerox PARC, Palo Alto);
Programming in FACILE, Bent Thomsen (ECRC, M\"unchen).

}

%              PRACTICAL INFORMATION

\def\pract{
\inform{       CONCUR'96
}{
\names{        Program Chair:
}
                     Ugo Montanari
\\                   CONCUR'96
\\                   Dipartimento di Informatica
\\                   University of Pisa
\\                   Corso Italia, 40
\\                   I-56100 Pisa, Italy
\\[1mm]
\names{        Program Committee:
}
                     Luca Aceto        (Aalborg and Sussex)
\\                    Jan Bergstra     (Utrecht)
\\                  Rance Cleaveland   (NCSU)
\\                   Mads Dam          (SICS)
\\               Philippe Darondeau    (Rennes)
\\                  Rocco De Nicola    (Firenze)
\\                 Javier Esparza      (TUM)
\\                 Ursula Goltz        (Hildesheim)
\\                 Robert Harper       (CMU)
\\                    Tom Henzinger    (Cornell)
\\                    Ugo Montanari    (Pisa) (chair)
\\                   Luis Monteiro     (Lisboa)
\\                 Mogens Nielsen      (Aarhus)
\\                   Amir Pnueli       (Rehovot)
\\                    Jan Rutten       (CWI)
\\                 Davide Sangiorgi    (Sophia Ant.)
\\                  Scott Smolka       (Stony Brook)
\\               Bernhard Steffen      (Passau)
\\                  Colin Stirling     (Edinburgh)
\\                  Frits Vaandrager   (CWI)
\\                 Walter Vogler       (Augsburg)
\\                  David Walker       (Warwick)
\\[1mm]
\names{             Organizing Committee:
}
Pierpaolo Degano (chair, Pisa), Roberto Gorrieri (Bologna), Stefania Gnesi
(IEI-CNR), Corrado Priami (Pisa), Vladimiro Sassone (Pisa).
}

\infor{%    IMPORTANT DATES
\cent{
\info       {Deadline for submissions:}   {March 4, 1996}
\info       {Notification of acceptance:} {May 6, 1996}
\info       {Camera-ready version due:}   {June 10, 1996}
}}

%           PROCEEDINGS

\infor{     The proceedings will be published by Springer-Verlag in
            the LNCS series.
}
\inform{    INFORMATION
}
{\bf        Please send requests and submissions to: {\tt
            concur'96@di.unipi.it} or {\tt concur96@di.unipi.it}
}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% The text below will format this announcement with LaTeX
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


\pagestyle{empty}
\topmargin-20mm \oddsidemargin-20mm \textwidth190mm \textheight26cm
\newcommand{\cent}[1]{\begin{center}#1\end{center}}
\newcommand{\names}[1]{{\bf #1}\\[1mm]}
\newcommand{\info}[2]{{\em #1}\\{\bf #2}\\[1mm]}
\newcommand{\sect}[1]{\vspace{2mm}\par\centerline{{\bf #1}}\vspace{1mm}\par}
\newcommand{\colm}[2]{\vspace{1mm}\par~~{\col{#1}~~\col{#2}}\vspace{1mm}\par}
\newcommand{\inform}[2]{
   \fbox{\begin{minipage}[t]{44mm} %49mm
             \vspace{1mm}\par
             \centerline{#1}\footnotesize\vspace{1mm}\par#2
         \end{minipage}}\vspace{1mm}
}
\newcommand{\infor}[1]{
   \fbox{\begin{minipage}[t]{44mm} %49mm
     \footnotesize\vspace{1mm}\par #1
         \end{minipage}}\vspace{1mm}
}

\newenvironment{itz}{%\footnotesize
   \begin{list}{$\bullet$}{
   \parsep=0pt\parskip=0pt\topsep=0pt\itemsep=0pt\leftmargin=1em
}}{\end{list}}
\newcommand{\col}[1]{
    \begin{minipage}[t]{0.975\textwidth}
        \begin{itz}#1\end{itz}
%        \footnotesize\begin{itz}#1\end{itz}
    \end{minipage}
}

\begin{document}
\nopagebreak
\begin{minipage}[t]{48mm}
    \pract
\end{minipage}
\hfill
\begin{minipage}[t]{133mm}
   {\large\sl\cent{\head}}
   \body
\end{minipage}
\end{document}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@
Prof. Ugo Montanari                  Phone: +39 50 887221 (w.answ.mach.)
Dipartimento di Informatica          Fax: +39 50 887226
University of Pisa                   E_mail: ugo@di.unipi.it
Corso Italia, 40                     Telex:  590291 DIPISA I
I-56100 Pisa, Italy
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@