Computer Science Logic Conference (CSL'99)
Eva Ullan
evah at eucmax.sim.ucm.es
Mon Mar 8 21:53:22 AEDT 1999
____________________________________________________
My apologies if you receive this more than once!
____________________________________________________
********************************************************
**** D E A D L I N E March 19, 1999 ****
********************************************************
-------------------------------------------------------------
LAST CALL FOR PAPERS -- CSL'99
Annual Conference of the European Association
for Computer Science Logic
September 20-25, 1999, Madrid, Spain
-------------------------------------------------------------
CSL is the annual conference of the European Association for Computer
Science Logic (EACSL). The conference is intended for computer scientists
whose research activities involve logic, as well as for logicians working
on issues significant for computer science. Suggested, but not exclusive,
topics of interest include:
* abstract datatypes,
* automated deduction,
* categorical and topological approaches,
* concurrency theory,
* constructive mathematics,
* database theory,
* domain theory,
* finite model theory,
* lambda and combinatory calculi,
* logical aspects of computational complexity,
* logical foundations of programming paradigms,
* linear logic,
* modal and temporal logics,
* model checking,
* program logics and semantics,
* program specification, transformation and verification,
* rewriting,
* symbolic computation.
PROGRAM COMMITEE
Samson Abramsky (Edinburgh, UK)
Marc Bezem (Utrecht, The Netherlands)
Peter Clote (Munich, Germany)
Hubert Comon (Cachan, France)
Jorg Flum (Freiburg i.Br., Germany) (co-chair)
Harald Ganzinger (Saarbrucken, Germany)
Neil Immerman (Amherst, USA)
Neil Jones (Copenhagen, Denmark)
Jan Maluszynski (Linkoping, Sweden)
Michael Maher (Brisbane, Australia)
Catuscia Palamidessi (Pennsylvania, USA)
Mario Rodriguez-Artalejo (Madrid, Spain) (co-chair)
Wolfgang Thomas (Aachen, Germany)
Jerzy Tiuryn (Warsaw, Poland)
Glynn Winskel (Aarhus, Denmark)
Martin Wirsing (Munich, Germany)
SCIENTIFIC PROGRAMME
In addition to invited lectures and contributed papers, there will be two
tutorials on theorem proving and rewriting techniques,
scheduled on September 24 afternoon (Friday) and September 25 morning
(Saturday), immediately after the main conference.
** September 20--24, 1999: Invited Lectures and Contributed Papers
The list of invited speakers will include:
Jose Luis Balcazar (Barcelona, Spain)
Javier Esparza (Munich, Germany)
Martin Grohe (Freiburg, Germany)
Peter D. Mosses (Aarhus, Denmark)
V. Vianu (San Diego, USA)
** September 24--25, 1999: CSL Tutorials
Douglas Howe (Bell Labs, USA)
Aart Middeldorp (Tsukuba, Japan)
LOCAL ORGANIZING COMMITTEE
J. Carlos Gonzalez-Moreno
Teresa Hortala-Gonzalez
Javier Leach-Albert (chair)
Paco Lopez-Fraguas
Fernando Saenz-Perez
Eva Ullan
EACSL BOARD
Marc Bezem (Utrecht, President)
Ian Stewart (Leicester, Vice-President)
Clemens Lautemann (Mainz, Treasurer)
Peter Hajek (Prague)
Simone Martini (Udine)
Christine Paulin (Paris)
Moshe Vardi (Houston)
Johann Makowsky (Haifa)
Alexander Razborov (Moscow)
EACSL homepage: http://www.dimi.uniud.it/~eacsl
IMPORTANT DATES
Paper submissions March 19, 1999
Notifications of acceptance May 31, 1999
Final version due: July 12, 1999
CSL'99 main conference September 20-24, 1999
CSL'99 Tutorials September 24-25, 1999
PAPER SUBMISSIONS
Submitted papers must be written in English and describe work not previously
published. They must not be submitted concurrently to a journal or to another
conference. Papers authored or coauthored by members of the Program
Committee are not allowed. Submissions must not exceed 15 pages, including
title page, figures, and references. The title page must contain: title and
authors; physical and e-mail addresses; telephone and (if available) fax
number for each author; identification of corresponding author, if not the
first author; an abstract of no more than 200 words; a list of keywords.
Submissions must arrive by March 19, 1999, and notifications of acceptance
will be sent by May 31, 1999. Authors are invited to send manuscripts by
electronic mail, as uuencoded gzipped postcript files:
* see the conference home page for instructions
http://mozart.sip.ucm.es:1580/csl99
* or send an empty message with subject "submission information'' to
csl99org at eucmos.sim.ucm.es
Those authors without access to the facilities for electronic submission
can alternatively submit five hardcopies to:
Prof. Mario Rodriguez Artalejo, CSL'99
Departamento de Sistemas Informaticos y Programacion
Facultad de Matematicas, Universidad Complutense de Madrid
Av. Complutense s/n
E-28040 Madrid
Spain
E-mail: mario at sip.ucm.es
Phone: +34 91 3 94 45 12
Fax: +34 91 3 94 46 07
PUBLICATION
Papers accepted by the Program Committee must be presented at the
conference and will appear in a proceedings volume, to be published by
Springer Verlag in the "Lecture Notes in Computer Science" series.
The second refereeing round which was requested in previous CSL editions
before accepting a paper for publication in the proceedings, has been
suppressed following the decision taken by the EACSL membership
meeting held during CSL'98 (Brno, Czech Republic, August 25th 1998).
Final versions of accepted papers will be due by July 12, 1999.
The format for camera-ready manuscripts will be that of Springer LNCS;
instructions can be found in the LNCS home page at:
http://www.springer.de/comp/lncs/index.html
ADDITIONAL INFORMATION
CSL'99 home page: http://mozart.sip.ucm.es:1580/csl99
CSL'99 local organization: csl99org at eucmos.sim.ucm.es
%%%%%%%%%%%%%%%%%%%%%% LATEX VERSION %%%%%%%%%%%%%%
% Last Call for Papers, CSL'99.
% Last revision: March 8, 1999
\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.3cm}
\setlength{\textwidth}{20cm} %{18.7cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}
\pagestyle{empty}
\begin{document}
% Heading
\begin{center}
{\large \bf LAST CALL FOR PAPERS -- CSL'99}
\end{center}
\begin{center}
{\Large \bf Annual Conference of the }\\[1.5ex]
{\Large \bf European Association for Computer Science Logic}
\end{center}
\begin{center}
{\large \bf Madrid, Spain, September 20-25, 1999}
\end{center}
\vspace*{0.15in}
% Left column
\parbox[t]{6.5cm}{%6.3cm
\footnotesize
\noindent
{\bf Program Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
Samson Abramsky (Edinburgh, UK)\\
Marc Bezem (Utrecht, The Netherlands)\\
Peter Clote (Munich, Germany)\\
Hubert Comon (Cachan, France)\\
J\"{o}rg Flum (Freiburg i.Br., Germany) \\
\hspace{1cm} ({\bf co-chair})\\
Harald Ganzinger (Saarbr\"{u}cken, Germany)\\
Neil Immerman (Amherst, USA)\\
Neil Jones (Copenhagen, Denmark)\\
Jan Maluszynski (Link\"{o}ping, Sweden)\\
Michael Maher (Brisbane, Australia)\\
Catuscia Palamidessi (Pennsylvania, USA)\\
Mario Rodr\'{\i}guez-Artalejo (Madrid, Spain) \\
\hspace{1cm} ({\bf co-chair})\\
Wolfgang Thomas (Aachen, Germany)\\
Jerzy Tiuryn (Warsaw, Poland)\\
Glynn Winskel (Aarhus, Denmark)\\
Martin Wirsing (Munich, Germany)\\
\end{tabular}
\vspace*{0.10in}
\noindent
{\bf Invited Speakers:}
\vspace*{0.05in}
\begin{tabular}{l}
Jos\'{e} Luis Balc\'{a}zar (Barcelona, Spain)\\
Javier Esparza (Munich, Germany)\\
Martin Grohe (Freiburg, Germany)\\
Peter D. Mosses (Aarhus, Denmark)\\
V. Vianu (San Diego, USA)
\end{tabular}
\vspace*{0.10in}
\noindent
{\bf Tutorialists:}
\vspace*{0.05in}
\begin{tabular}{l}
Douglas Howe (Bell Labs, USA)\\
Aart Middeldorp (Tsukuba, Japan)
\end{tabular}
\vspace*{0.10in}
\noindent
{\bf Local Organizing Committee:}
\vspace*{0.05in}
\begin{tabular}{l}
J. Carlos Gonz\'{a}lez-Moreno\\
Teresa Hortal\'{a}-Gonz\'{a}lez\\
Javier Leach-Albert ({\bf chair})\\
Paco L\'{o}pez-Fraguas\\
Fernando S\'{a}enz-P\'{e}rez\\
Eva Ull\'{a}n
\end{tabular}
\vspace*{0.10in}
\noindent
{\bf EACSL Board:}
\vspace*{0.05in}
\begin{tabular}{l}
Marc Bezem (Utrecht, President)\\
Ian Stewart (Leicester, Vice-President)\\
Clemens Lautemann (Mainz, Treasurer)\\
Peter Hajek (Prague)\\
Simone Martini (Udine)\\
Christine Paulin (Paris)\\
Moshe Vardi (Houston)\\
Johann Makowsky (Haifa)\\
Alexander Razborov (Moscow)\\
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf EACSL homepage:}
\vspace*{0.05in}
\begin{tabular}{l}
http://www.dimi.uniud.it/\~{}eacsl
\end{tabular}
\vspace*{0.15in}
\noindent
{\bf Important Dates:}
\vspace*{0.05in}
\begin{tabular}{l}
Paper submissions: \\
~~~~ March 19, 1999 \\
Notifications of acceptance: \\
~~~~ May 31, 1999 \\
Final version due: \\
~~~~ July 12, 1999 \\
CSL'99 main conference: \\
~~~~ September 20-24, 1999 \\
CSL'99 Tutorials: \\
~~~~ September 24-25, 1999
\end{tabular}
} % \end{parbox} % Right column. No blank line here!
\parbox[t]{5mm}{
\rule[-22.0cm]{0.2mm}{22.5cm}
} %\end{parbox}
\begin{minipage}[t]{11.0cm}%{11.5cm}
\small
{\bf Aims and Scope of the Conference:}
{\bf CSL} is the annual conference of the {\em European Association for
Computer Science Logic} (EACSL). The conference is intended for computer
scientistswhose research activities involve logic, as well as for logicians
working on issues significant for computer science. Suggested, but not
exclusive, topics of interest include:
abstract datatypes,
automated deduction,
categorical and topological approaches,
concurrency theory,
constructive mathematics,
database theory,
domain theory,
finite model theory,
lambda and combinatory calculi,
logical aspects of computational complexity,
logical foundations of programming paradigms,
linear logic,
modal and temporal logics,
model checking,
program logics and semantics,
program specification, transformation and verification,
rewriting,
symbolic computation.
\vspace*{0.12in}
\noindent
{\bf Scientific Programme:}
In addition to invited lectures and contributed papers, there will be two
tutorials on theorem proving and rewriting techniques,
scheduled on September 24 afternoon (Friday) and September 25 morning
(Saturday), immediately after the main conference.
\vspace*{0.12in}
\noindent
{\bf Paper Submissions:}
Submitted papers must be written in English and describe work not previously
published. They must not be submitted concurrently to a journal or to another
conference.
Papers authored or co-authored by members of the Program Committee are not
allowed. Submissions must not exceed 15 pages, including
title page, figures, and references. The title page must contain: title and
authors; physical and e-mail addresses; telephone and (if available) fax
number for each author; identification of corresponding author, if not the
first author; an abstract of no more than 200 words; a list of keywords.
Submissions must arrive by {\bf March 19, 1999}, and notifications of
acceptance will be sent by {\bf May 31, 1999}.
Authors are invited to send manuscripts by electronic mail, as uuencoded
gzipped postcript files (see the conference home page for instructions,
or send an empty message with subject ``submission
information'' to csl99org at eucmos.sim.ucm.es). Those authors without
access to the facilities for electronic submission can alternatively
submit {\em five hardcopies} to:
\vspace*{0.05in}
\begin{tabular}{l}
Prof. Mario Rodr\'{\i}guez-Artalejo, CSL'99 \\
Departamento de Sistemas Inform\'{a}ticos y Programaci\'{o}n \\
Facultad de Matem\'{a}ticas, Universidad Complutense de Madrid \\
Av. Complutense s/n ~~~~~~~~~~ Phone: +34 91 3 94 45 12 \\
E-28040 Madrid ~~~~~~~~~~~~~~~~~ Fax: +34 91 3 94 46 07 \\
Spain ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ E-mail: mario at sip.ucm.es
\end{tabular}
\vspace*{0.12in}
\noindent
{\bf Publication:}
Papers accepted by the Program Committee must be presented at the conference
and {\bf will appear in a proceedings volume}, to be published by Springer
Verlag in the ``Lecture Notes in Computer Science'' series. The second
refereeing round which was requested in previous CSL editions before
accepting a paper for publication in the proceedings, has been
suppressed following the decision taken by the EACSL membership
meeting held during CSL'98 (Brno, Czech Republic, August 25th 1998).
Final versions of accepted papers will be due by {\bf July 12, 1999}.
The format for camera-ready manuscripts will be that of Springer LNCS;
instructions can be found in the LNCS home page at
http://www.springer.de/comp/lncs/index.html.
\vspace*{0.12in}
\noindent
{\bf Important Remark:}
The proceedings volume will be available at the conference.
In order to enable this, the deadlines for paper submission and
notification of acceptance have been slightly modified w.r.t.
the announcement made in the 1st call for papers.
\vspace*{0.15in}
\noindent
{\bf Additional Information:}
\vspace*{0.05in}
\begin{tabular}{ll}
CSL'99 home page: & http://mozart.sip.ucm.es:1580/csl99 \\
CSL'99 local organization: & E-mail: csl99org at eucmos.sim.ucm.es
\end{tabular}
\end{minipage}
\end{document}
More information about the users
mailing list