____________________________________________________ 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@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 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@eucmos.sim.ucm.es %%%%%%%%%%%%%%%%%%%%%% LATEX VERSION %%%%%%%%%%%%%% % 2nd Call for Papers, CSL'99. % Last revision: September 24, 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}{20cm} %{18.7cm} \addtolength{\topmargin}{-1cm} \setlength{\textheight}{27cm} \pagestyle{empty} \begin{document} % Heading \begin{center} {\large \bf 3rd 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@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@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@eucmos.sim.ucm.es \end{tabular} \end{minipage} \end{document}