Symposium on the Effectiveness of Logic in Computer Science (ELICS02)

in Honour of Moshe Vardi

March 4-6, 2002, Saarbruecken, Germany

Organized by the International Max Planck Research School for Computer Science (IMPRS)

Saarland University at Saarbrücken, Germany, has decided to award Professor Moshe Vardi, Rice University, a Honorary Doctoral Degree for his outstanding contributions to the area of Logic in Computer Science.

The presentation of the degree will be connected with a symposium in Moshe's honour organized by the International Max Planck Research School for Computer Science. The symposium is named after a workshop organized by Moshe Vardi himself in January 2001 at Arlington, VA, where an overview of the surprising effectiveness of logic in computer science was given by presenting some of the areas in which logic played a crucial role.

The symposium will feature invited talks in this spirit by some of his former collaborators and/or friends in the four main areas of Moshe's scientific work: database theory, finite model theory, knowledge representation, and program verification. Between these talks students and young researchers will have the opportunity to present their work in poster sessions.

A number of distinguished speakers have agreed to give invited talks at the symposium:


We would like participants to register so that we get an idea of how many people will attend. Participation to the symposium will be free of charge if registered before February 17, 2002; after this deadline there will be a conference fee of 25 Euro.

You can register to

In both cases you are free to choose whether you want to participate in the conference dinner (subject to charge of 40 Euro).

Call for Poster Presentations

The International Max Planck Research School for Computer Science would like to especially encourage students and young researchers to participate in this event. And as the invited talks at the symposium will give overviews of several theoretical and practical areas in computer science that relate to logic in a broad sense, they will indeed be helpful in providing orientation for young researchers.

In order to allow students and young researchers to also participate actively in the event, the program will include sessions where these participants will be given the opportunity to present their ongoing work and projects in short presentations of 5-10 minutes length. Submissions for these presentations, in the form of short abstracts (1 to 5 pages long), should be submitted in postscript or pdf format to witold at The submission deadline is February 17, 2002. Authors will be notified of acceptance or rejection by February 22, 2002. Accepted abstracts will be published in a technical report of Max Planck Institute für Informatik.

Postscript version of this call is available here.


We have blocked a number of rooms in some hotels in different price categories in Saarbrücken for the participants of the symposium. We suggest to choose a hotel from this list, fill the attached form, print it and fax it directly to the hotel. Please note that you are responsible for booking a hotel. We only have only blocked rooms, you need to book them yourself (and you should do it before February 17).

Here you have the streets with these hotels (not the hotels themselves) on the city map

All these hotels are in the town while MPI is on the university campus. There are good bus connections between the campus and the town (a simple ticket is valid one hour, costs 1.60 Euro and can be bought from the driver). The bus stops closest to the MPI are Uni Mensa and Uni Campus.

Conference location

The conference will be held in buildings of the department of informatics (building 45) and Max Planck Institute for Computer Science (building 46.1) on the campus of Saarland University.
You may want to fly to Frankfurt (you might also consider flying directly to Saarbruecken). There are direct trains from Frankfurt airport to Saarbruecken. Saarbruecken is about 200 km from Frankfurt. Find train connections in Germany (you are interested in connections to Saarbruecken Hbf; do not confuse Frankfurt airport with Frankfurt Hbf).


Organizing comittee

Witold Charatonik, Harald Ganzinger with support of Uwe Brahm, Christoph Storb and Roxane Wetzel