CSL'99 First Call for Papers (Text and LaTex Versions)

CSL'99 First Call for Papers (Text and LaTex Versions)

[Eva Ullan]

____________________________________________________

          My apologies if you receive this more than once!
____________________________________________________

	===================================
	1st CALL FOR PAPERS -- CSL'99

	Annual Conference of the European Association
	             for Computer Science Logic

	September 20-24, 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.


EACSL BOARD
Marc Bezem (President)
Ian Stewart (Vice-President)
Clemens Lautemann (Treasurer)


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)


LOCAL ORGANIZING COMMITTEE
J. Carlos Gonzalez-Moreno
Teresa Hortala-Gonzalez
Javier Leach-Albert (chair)
Paco Lopez-Fraguas
Fernando Saenz-Perez
Eva Ullan-Hernandez


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)


PAPER SUBMISSIONS
Submitted papers must 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 (in the usual format for Springer LNCS),
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  April 2, 1999, and notifications of acceptance
will be sent by July 5, 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 (forthcoming)
* or send an empty message with subject "submission information'' to
	csl99org@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@sip.ucm.es
	Phone: +34 1 3 94 45 12
	Fax:   +34 1 3 94 46 07


PUBLICATION
According to the current EACSL policy, authors of accepted papers must
present them at the conference and simultaneously submit a revised full
version to be considered in a second refereeing process. Papers accepted in
this second round will appear in a proceedings volume published by Springer
in the Lecture Notes in Computer Science series, after the conference.
This policy might be changed after the EACSL membership assembly at CSL'98
(Brno, Czech Republic, August 23-28, 1998). New information will be given
in the 2nd call for papers, to be sent out in coming september.


IMPORTANT DATES
Paper submissions		April  2, 1999
Notifications of acceptance	July 5, 1999
CSL'99 main conference		September 20-24, 1999
CSL'99 Tutorials		September 24-25, 1999


ADDITIONAL INFORMATION
CSL'99 home page: 		http://mozart.sip.ucm.es:1580/csl99
(forthcoming)
CSL'99 local organization: 	csl99org@eucmos.sim.ucm.es


% ----------------------- LaTex Version ------------------------------------

% 1st Call for Papers, CSL'99.
% Last revision: June 30, 1998.

\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}{18.7cm}
\addtolength{\topmargin}{-1cm}
\setlength{\textheight}{27cm}

\pagestyle{empty}

\begin{document}

% Heading

\begin{center}
{\large \bf 1st 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-24, 1999}
\end{center}

\vspace*{0.15in}

% Left column

\parbox[t]{6.5cm}{
\footnotesize

\noindent
{\small \bf EACSL Board:}
\vspace*{0.1in}

\begin{tabular}{l}
Marc Bezem (President)\\[0.7ex]
Ian Stewart (Vice-President)\\[0.7ex]
Clemens Lautemann (Treasurer)
\end{tabular}

\vspace*{0.20in}

\noindent
{\small \bf Program Committee:}
\vspace*{0.1in}

\begin{tabular}{l}
Samson Abramsky (Edinburgh, UK)\\[0.7ex]
Marc Bezem (Utrecht, The Netherlands)\\[0.7ex]
Peter Clote (Munich, Germany)\\[0.7ex]
Hubert Comon (Cachan, France)\\[0.7ex]
J\"{o}rg Flum (Freiburg i.Br., Germany) \\
\hspace{1cm} ({\bf co-chair})\\[0.7ex]
Harald Ganzinger (Saarbr\"{u}cken, Germany)\\[0.7ex]
Neil Immerman (Amherst, USA)\\[0.7ex]
Neil Jones (Copenhagen, Denmark)\\[0.7ex]
Jan Maluszynski (Link\"{o}ping, Sweden)\\[0.7ex]
Michael Maher (Brisbane, Australia)\\[0.7ex]
Catuscia Palamidessi (Pennsylvania, USA)\\[0.7ex]
Mario Rodr\'{\i}guez-Artalejo (Madrid, Spain) \\
\hspace{1cm} ({\bf co-chair})\\[0.7ex]
Wolfgang Thomas (Aachen, Germany)\\[0.7ex]
Jerzy Tiuryn (Warsaw, Poland)\\[0.7ex]
Glynn Winskel (Aarhus, Denmark)\\[0.7ex]
Martin Wirsing (Munich, Germany)
\end{tabular}

\vspace*{0.20in}

\noindent
{\small \bf Invited Speakers:}
\vspace*{0.1in}

\begin{tabular}{l}
Jos\'{e} Luis Balc\'{a}zar (Barcelona, Spain)\\[0.7ex]
Javier Esparza (Munich, Germany)\\[0.7ex]
Martin Grohe (Freiburg, Germany)\\[0.7ex]
Peter D. Mosses (Aarhus, Denmark)\\[0.7ex]
V. Vianu (San Diego, USA)
\end{tabular}

\vspace*{0.20in}

\noindent
{\small \bf Tutorialists:}
\vspace*{0.1in}

\begin{tabular}{l}
Douglas Howe (Bell Labs, USA)\\[0.7ex]
Aart Middeldorp (Tsukuba, Japan)
\end{tabular}

\vspace*{0.20in}

\noindent
{\small \bf Local Organizing Committee:}
\vspace*{0.1in}

\begin{tabular}{l}
J. Carlos Gonz\'{a}lez-Moreno\\[0.7ex]
Teresa Hortal\'{a}-Gonz\'{a}lez\\[0.7ex]
Javier Leach-Albert ({\bf chair})\\[0.7ex]
Paco L\'{o}pez-Fraguas\\[0.7ex]
Fernando S\'{a}enz-P\'{e}rez\\[0.7ex]
Eva Ull\'{a}n-Hern\'{a}ndez
\end{tabular}

} % \end{parbox} % Right column. No blank line here!
\parbox[t]{5mm}{
     \rule[-21.8cm]{0.2mm}{22.1cm}
} %\end{parbox}
\begin{minipage}[t]{11.0cm}
\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
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.

\vspace*{0.15in}

\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.15in}

\noindent
{\bf Paper Submissions:}
Submitted papers must 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 (in the usual format for
Springer LNCS), 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 April 2, 1999}, and notifications of acceptance will be sent by
{\bf July 5, 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@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 1 3 94 45 12 \\
	E-28040 Madrid ~~~~~~~~~~~~~~~~~ Fax:   +34 1 3 94 46 07 \\
	Spain ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ E-mail: mario@sip.ucm.es
\end{tabular}

\vspace*{0.15in}

\noindent
{\bf Publication:}
According to the current EACSL policy, authors of accepted papers must
present them at the conference and simultaneously submit a revised full
version to be considered in a second refereeing process. Papers accepted in
this second round will appear in a proceedings volume published by Springer
in the
Lecture Notes in Computer Science series, after the conference.
This policy might be changed after the EACSL membership assembly at CSL'98
(Brno, Czech Republic, August 23-28, 1998). New information will be given
in the 2nd call for papers, to be sent out in coming September.

\vspace*{0.15in}

\noindent
{\bf Important Dates:}

\begin{tabular}{ll}
April  2, 1999 & Paper submissions\\
July 5, 1999 & Notifications of acceptance\\
September 20-24, 1999 & CSL'99 main conference\\
September 24-25, 1999 & CSL'99 Tutorials
\end{tabular}

\vspace*{0.15in}

\noindent
{\bf Additional Information:}

\vspace{0.8mm}

\begin{tabular}{ll}
	CSL'99 home page: & http://mozart.sip.ucm.es:1580/csl99
	{\scriptsize (forthcoming)} \\
	CSL'99 local organization: & E-mail: csl99org@eucmos.sim.ucm.es
\end{tabular}

\end{minipage}
\end{document}