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

in Honour of Moshe Vardi

March 4-6, 2002, Saarbruecken, Germany

Note that there is an additional tutorial after the symposium on March 7.


Monday, March 4

9:00 Opening
9:15 - 10:00 Erich Grädel, Model checking games for fixed point logics abstract
10:00 - 10:45 Joseph Halpern, Causes and Explanations: A Structural-Model Approach abstract slides
10:45 - 11:15 Coffee break
11:15 - 11:45 Poster session: Andreas Schäfer, Yevgeny Kazakov, Christophe Rey
11:45 - 12:30 Serge Abiteboul, Representing and Querying XML with Incomplete Information abstract slides
14:15 - 15:00 Georg Gottlob, Hypertree Decompositions abstract
15:00 - 15:30 Poster session: Yannick Chevalier, Thomas Hillenbrand, Christoph Berg
15:30 - 16:00 Coffee break
16:00 - 18:00

The ceremony of honorary doctorate presentation:

Welcome Addresses by the President of the Saarland University
Prof. Margret Wintermantel
and the Chair of the Computer Science Department
Prof. Gert Smolka

Prof. Amir Pnueli slides

Honorary Doctorate Presentation by the Dean of the Faculty of Mathematics and Computer Science
Prof. Rainer Schulze-Pillot-Ziemen

Acceptance Speech On the Unusual Effectiveness of Logic in Computer Science
Prof. Moshe Vardi abstract

19:00 conference dinner

Tuesday, March 5

9:15 - 10:45 Pierre Wolper, Handling real arithmetic with infinite word automata abstract slides
Phokion Kolaitis, Reflections on Finite Model Theory abstract slides
10:45 - 11:15 Coffee break
11:15 - 11:45 Poster session: Jochen Hoenicke, Manuel Bodirsky, Tomasz Charatonik
11:45 - 12:30 David Harel, Smart Play-Out: Executing Requirements with the Aid of Model Checking abstract extended abstract
14:00 - 15:30 Franz Baader, A Comparison of Automata and Tableau Methods for Modal Satisfiability abstract slides
Maurizio Lenzerini, View-based query answering abstract slides
15:30 - 15:55 Coffee break
15:55 - 16:30 Poster session: Felix Klaedtke, Petr Matousek, Patrick Maier, Carsten Sinz
16:30 - 18:00 Ronald Fagin, Easier ways to win logical games abstract
Victor Vianu, Logic as a Query Language: from Frege to XML abstract slides

Wednesday, March 6

9:00 - 10:30 Jeff Ullman, On the early history of database theory abstract slides
Amir Pnueli, Verifying Liveness Properties of Parameterized Systems abstract slides
10:30 - 11:00 Coffee break
11:00 - 12:30 Wolfgang Thomas, Reachability problems over automaton-definable graphs abstract slides
Orna Kupferman, Synthesis of reactive systems abstract slides
14:00 - 15:30 Martin Grohe, The Complexity of First-Order and Monadic Second-Order Logic revisited abstract slides
Moshe Vardi, Logic and Automata: A Match Made in Heaven abstract slides
15:30 Closing

Thursday, March 7

9:15 - 11:00 Jeff Ullman, Tutorial on data mining abstract slides

Witold Charatonik
[an error occurred while processing this directive] [an error occurred while processing this directive]