Symposium on the Effectiveness of Logic in Computer Science in Honour of Moshe Vardi

Technical report MPI-I-2002-2-007

Witold Charatonik and Harald Ganzinger (Eds.)

March 2002, 63 pages

Abstract:

This report contains abstracts of the talks given at the Symposium on the Effectiveness of Logic in Computer Science in Saarbrücken on March 4-6, 2002. The symposium was held in honour of Professor Moshe Vardi, Rice University, on the ocasion of awarding him a Honorary Doctoral Degree from the Saarland University for his outstanding contributions to the area of Logic in Computer Science.

Contents:


Witold Charatonik
Last modified: Tue Apr 30 10:18:39 MEST 2002