From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: ICALP '98: Call for Papers (reminder)
Date: Sat, 20 Dec 1997 09:50:50 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.971220095041.21896G-100000@mailserv.mta.ca> (raw)
Date: Fri, 19 Dec 1997 09:40:30 +0100 (MET)
From: Uffe Henrik Engberg <engberg@brics.dk>
===============
I C A L P '98
===============
25th International Colloquium
on Automata, Languages,
and Programming
July 13 - 17, 1998
BRICS, Aalborg, Denmark
---------------
CALL FOR PAPERS
---------------
ICALP '98 important dates:
---------------------------------------------
Paper submissions due: January 14, 1998
Notification: March 16, 1998
Final Copies due: April 17, 1998
---------------------------------------------
The 25th annual meeting of the European Association for Theoretical
Computer Science (EATCS) will be hosted by the Center for Basic
Research in Computer Science (BRICS) at Aalborg University. Aalborg
is the fourth largest city in Denmark.
The ICALP '98 Programme Committee represents both tracks of the
journal Theoretical Computer Science, covering algorithms and formal
methods. If enough good papers are submitted, there will be parallel
sessions. Papers presenting original contributions in any area of
theoretical computer science are being sought. Topics include (but
are not limited to):
computability, automata, formal languages, new computing paradigms,
term rewriting, analysis and design of algorithms, computational
geometry, computational complexity, symbolic and algebraic
computation, cryptography and security, data types and data
structures, theory of data bases and knowledge bases, semantics of
programming languages, program specification and verification,
foundations of functional and logic programming, parallel and
distributed computation, theory of concurrency, theory of robotics,
theory of logical design and layout.
Authors are invited to submit seven copies of an extended abstract not
exceeding 12 pages by January 14, 1998. Electronic submission of
papers is solicited. Instructions can be found at
http://www.cs.auc.dk/icalp98/submit.html. All correspondence to
Prof. Kim G. Larsen -- ICALP'98
Department of Computer Science
Aalborg University
Fredrik Bajers Vej 7E
DK - 9220 Aalborg
Denmark
e-mail: icalp98-subm@cs.auc.dk
Authors from countries where access to copying machines is difficult
may submit a single copy of their abstract. Simultaneous submission of
papers to any journal or to another conference with published
proceedings is not allowed.
Invited speakers
----------------
Gilles Brassard, University of Montreal
Mark Overmars, Utrecht University
Leslie G. Valiant, Harvard University
Avi Wigderson, Hebrew University
Martin Abadi, DEC
Andrew Pitts, Cambridge University
Thomas A. Henzinger, University of California at Berkeley
Amir Pnueli, Weizmann Institute
Programme committee:
--------------------
Kim G. Larsen, Aalborg (chair)
Sven Skyum, Aarhus (vice-chair)
Susanne Albers, Saarbrucken
Mark de Berg, Utrecht
Ronald Cramer, Zurich
Faith Fich, Toronto
Burkhard Monien, Paderborn
Mike Paterson, Warwick
Arto Salomaa, Turku
Mikkel Thorup, Copenhagen
Ugo Vaccaro, Salerno
Shmuel Zaks, Haifa
Glynn Winskel, Aarhus (vice-chair)
Gerard Boudol, INRIA Sophia-Antipolis
Julian Bradfield, Edinburgh
Pierre-Louis Curien, Paris
Pierpaolo Degano, Pisa
Jean-Pierre Jouannaud, Paris
Edmund Robinson, QMW, London
Bernhard Steffen, Passau
Andrzej Tarlecki, Warsaw
Frits Vaandrager, Nijmegen
Organising Committee
--------------------
Kim G. Larsen (chair)
Helle Andersen
Hans Huttel
Ole Hoegh Jensen
Lene Mogensen
Arne Skou
WWW-page
--------
For further information, or a postscript version of this document, see
http://www.cs.auc.dk/icalp98
reply other threads:[~1997-12-20 13:50 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.90.971220095041.21896G-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).