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