VARDI@ALMADEN.BITNET ("Moshe Y. Vardi") (03/22/90)
I C A L P 9 1
July 8-12, 1991 - Universidad Complutense Madrid Spain
18th International Colloquium on Automata, Languages and
Programming
The annual meeting of the European Association
for Theoretical Computer Science (EATCS)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
C A L L F O R P A P E R S
TOPICS
All areas of theoretical computer science, including (but not
restricted to): Computability, automata, formal languages,
analysis of algorithms, computational complexity, data types and
data structures, theory of data bases and knowledge bases,
semantics of programming languages, program specification,
transformation and verification, foundations of logic and
functional programming, theory of logical design and layout,
parallel and distributed computation, theory of concurrency,
symbolic and algebraic computation, term rewriting systems,
computational geometry, cryptography, theory of robotics.
PAPERS
Authors are invited to submit seven copies (preferably no more
than 12 pages long) of an extended abstract or draft of a full
paper before November 15, 1990 to:
Prof. Mario Rodriguez Artalejo
Departamento de Informatica y Automatica
Facultad de Matematicas
Universidad Complutense
Av. Complutense s/n
28040 Madrid, Spain
Telex: 41802 UCMAT E
Telefax: 341 2439489
E-mail: W450@EMDUCM11.BITNET
Persons submitting papers from countries in which access to
copying machines is difficult may submit a single copy.
PROGRAMME COMMITTEE
K.R. Apt, Amsterdam, the Netherlands,
and Austin, Texas, U.S.A.
A. Arnold, Bordeaux, France
J. Hromkovic, Bratislava, Czechoslovakia
N.D. Jones, Copenhagen, Denmark
J. Karhumaeki, Turku, Finland
W. Kuich, Vienna, Austria
R.T. Leighton, Cambridge MA., U.S.A.
A. Lingas, Lund, Sweden
B. Monien, Paderborn, W.Germany (Co-chairman)
U. Montanari, Pisa, Italy
F. Orejas, Barcelona, Spain
M. Paterson, Coventry, Great Britain
A. Pnueli, Rehovot, Israel
M. Rodriguez Artalejo, Madrid, Spain (Co-chairman)
J.R. Sack, Ottawa, Canada
M. Vardi, San Jose, U.S.A.
U. Vishkin, Tel Aviv, Israel, and Maryland, U.S.A.
P. Wolper, Liege, Belgium
ORGANIZING COMMITTEE
M. Bradley Delso
M.I. Fernandez Camacho
D. de Frutos Escrig
A. Gavilanes Franco
A. Gil Luezas
M.T. Hortala Gonzalez
J. Leach Albert (Chairman)
S. Nieva Soto
Yolanda Ortega Mallen
With the cooperation of
Asociacion de Tecnicos de Informatica ATI
DATES
Deadline for submission: November 15, 1990
Notification of acceptance
/rejection: 1st week February, 1991
Deadline for final text: April 1, 1991
Conference: July 8-12, 1991
LOCATION
Madrid began its history as a small Muslim village in the 9th
century and became Spain's capital under Philip II in the 16th
century. Today, this village is a very friendly and open city that
has been worthy enough to be named the European Cultural Capital
for 1992.
The lectures will take place in lecture rooms that are located on
the campus. Accommodation will be offered in student's dormitories
on the campus, as well as in several hotels in the city, with a
good connection to the campus by bus and underground.
Participants will enjoy a sunny weather and find a rich offer in
art, shopping and gastronomy. The Prado Museum, a world famous
pinacoteque; the Royal Palace, the Retiro Park and many other
things in Madrid are worth visiting. There is also plenty to see
on day outings from the city - from the Palace and Monastery of El
Escorial, to Segovia, with its famous Roman aquaduct and ancient
churches, or the old and beautiful historical town of Toledo.
FURTHER INFORMATION
Further details about the conference (and the final programme)
will be sent to all those who have submitted a paper, to all EATCS
members and to all interested who write to:
ICALP 91
Prof. Javier Leach Albert
Departamento de Informatica y Automatica
Facultad de Matematicas
Universidad Complutense
Av. Complutense s/n
28040 Madrid, Spain
Telex: 41802 UCMAT E
Telefax: 341 2439489
E-mail: ICALP91@EMDUCM11.BITNET