[mercury-users] ICALP: 2nd CFP
Olivier.Powell at cui.unige.ch
Sat Dec 18 01:24:30 AEDT 1999
-------------- next part --------------
Call for Papers
27-th International Colloquium on Automata, Languages
July 9-15, 2000, Geneva, Switzerland
The 27-th annual meeting of the European Association of Theoretical
Computer Science will be held in Geneva, Switzerland.
As is the case of the two tracks of the journal Theoretical Computer
Science, the scientific program of the Colloquium is split into two
parts: Track A of the meeting will correspond to Algorithms, Automata,
Complexity, and Games, while Track B will correspond to Logic,
Semantics and Theory of Programming.
Original contributions to theory of computer science, to be
presented either in Track A or in Track B, are being sought.
Authors are invited to submit extended abstracts of their papers, not
exceeding 12 pages in the standard Springer Verlag LNCS style.
Instructions for paper submissions can be found at the conference
Authors from countries where access to Internet is difficult may mail
a single copy of their paper directly to the address of
the conference chairman.
Submissions should consist of: a cover page, with the author's full
name, address, fax number, e-mail address, a 100-word abstract,
keywords, and to which track (A or B) the paper is being submitted
and an extended abstract describing original research in
no more than 12 pages.
It is expected that accepted papers will be presented at the conference.
Simultaneous submission to other conferences with published proceedings
is not allowed.
Jose D. P. Rolim
Centre Universitaire d'Informatique
University of Geneva
24 rue du General Dufour
1211 Geneva 4
mailto:icalp at cui.unige.ch
ICALP'2000 Program Committee
Emo Welzl, Chair, ETH Zuerich
Harry Buhrman, CWI Amsterdam
Peter Bro Miltersen, Univ. Aarhus
Martin Dietzfelbinger, Techn Univ Ilmenau
Afonso Ferreira, CNRS-I3S-INRIA Sophia Antipolis
Marcos Kiwi, Univ. de Chile
Jens Lagergren, KTH Stockholm
Gheorghe Paun, Romanian Acad.
Guenter Rote, Techn. Univ. Graz
Ronitt Rubinfeld, Cornell Univ.
Amin Shokrollahi, Bell Labs
Luca Trevisan, Columbia Univ.
Serge Vaudenay, ENS Paris
Uri Zwick, Tel Aviv Univ.
Ugo Montanari, Chair, Univ. of Pisa
Rajeev Alur, Univ. Pennsylvania, Philadelphia
Rance Cleaveland, SUNY at Stony Brook
Pierpaolo Degano, Univ. of Pisa
Jose Fiadeiro, Univ. of Lisbon
Andy Gordon, Microsoft Research, Cambridge,
Orna Grumberg, Technion, Haifa
Claude Kirchner, Inria, Nancy
Mogens Nielsen, Univ. of Aarhus
Catuscia Palamidessi, Penn. State Univ, Univ. Park
Joachim Parrow, KTH, Stockholm
Edmund Robinson, QMW, London
Jan Rutten, CWI, Amsterdam
Jan Vitek, Univ. of Geneva
Martin Wirsing, Ludwig-Maximilians-University, Munich
Pierre Wolper, Univ. of Liege.
Richard Karp, University of Washington
Andrei Broder, Altavista and Compaq
Oded Goldreich, MIT and Weizman Inst.
Johan Haastad, KTH Stockholm
Kurt Mehlhorn, Max Plank Institute
Samsom Abramsky, Edinburgh U.
Gregor Engels, Paderborn U.
Roberto Gorrieri, U. Bologna
Zohar Manna, Stanford U.
* Workshop on Randomization and Approximation in CS. (RANDOM'2000)
* Workshop on Algorithms for Communication Networks (ARACNE)
* Workshop on Boolean Functions and Applications
* Workshop on Intersection Types and Related Systems (ITRS '00)
* Workshop on Graph Transformation and Visual Modeling Techniques
* Workshop on Process Algebra and Performance Models (PAPM 2000)
* Workshop on Theor. Found. of Security Analysis and Design (IFIP WG 1.7)
Geneva is situated along the banks of Lac Leman and Le Rhone.
The lake showcases the plumed fountain Jet d'Eau, and various districts
of Geneva are connected by bridges across the waterways.
The University of Geneva where ICALP '00 will convene is located on the
`Left Bank' off Place Neuve and along the Promenade des Bastions
near the Old Town section of Geneva.
Geneva is a city of water parks and gardens and welcoming walkways
which encourage exploration of the historical sites, museums, and
international business and shopping districts. The University of
Geneva is located near `Old Town' an area dotted with sidewalk
cafes, student life, and building antiquities dating back to the 5th
Geneva is a crossroads situated in the heart of Europe and linked to
the world by a vast network of motorways, airlines and railways. For
those planning to attend ICALP '00 in Geneva, it is an excellent
opportunity to organize short trips into the countryside of charming
villages and vineyards. Tours to please all ages and interests are
available including afternoon train excursions, shopping cruises on
Lake Geneva and The Rhone, and bus and cablecar trips in the Alps.
For some, the most inviting attraction will be mouintain climbing.
Mont Blanc, one of the highest points in Europe and the city of Chamonix
are less than an hour away.
Accomodations at a very special ICALP rate have been reserved in a
couple of hotels and very inexpensive rooms will be available at
the Student Housing. Lunch will be served daily on campus
and there will be morning and afternoon refreshment breaks.
Note that the specially priced hotel accommodations reserved
for ICALP participants are located only a 5-10 minute walk to
Workshop Proposals: November 10,1999
Submissions: January 17, 2000
Notification: March 21, 2000
Final Copies: April 18, 2000
Further information related to ICALP'00, with instructions for paper
submissions and conference registration, as well as with details on
conference site, registration fee, accommodation, social program, and
payments, will appear at the conference webpage at
and in forthcoming issues of EATCS Bulletin. The conference is organized
by the Centre Universitaire d'Informatique of the University of Geneva.
More information about the users