Language, Logic, and Computation

A‫ ‬ Workshop in Honor of Prof. Nachum Dershowitz' 60th Birthday

Thursday, 27.12.2012

Schreiber 309, Tel Aviv University

You are invited to join us in honoring Nachum Dershowitz's rich and prolific work in numerous computer science fields: termination, system rewriting, Church-Turing thesis, ASM, calendars, natural language processing, SAT, verification, logic, programming, analog computation, theorem proving, and more…

Confirmed Speakers

David Harel (Weizmann Institue)

Idan Dershowitz (The Hebrew University of Jerusalem)

Gilles Dowek (INRIA, Paris)

Johan Makowsky (Technion)

Kfir Bar (Tel Aviv University)

Moshe Y. Vardi (Rice University)

Olivier Bournez (L'Ecole Polytechnique, France)

Orna Kupferman (The Hebrew University of Jerusalem)

Robert L. Constable (Cornell University)

Shmuel Zaks (Technion)

Tzevi Mazeh (Tel Aviv University)

Yaacov Choueka (Bar Ilan University, The Friedberg Genizah Project)

Zohar Manna (Stanford University)

and more...

Scientific Commitee

Arnon Avron (Tel Aviv University)

Alex Rabinovich (Tel Aviv University)

Lior Wolf (Tel Aviv University)

Organizing Commitee

Udi Boker (IST Austria)

Jenny Falkovich (Tel Aviv University)

Lena Dankin (Tel Aviv University)

Kfir Bar (Tel Aviv University)