Arnon Avron

Professor

School of Computer Science
Tel-Aviv University
Tel-Aviv, Israel

Email: aa-@-math-dot-tau-dot-ac-dot-il

phone: +972 3 6406352

fax: +972 3 6409357

Professional interests

  1. Applications of Logic in Computer Science and Artificial Intelligence
  2. Automated Reasoning
  3. Non-Classical Logics
  4. Foundation of Mathematics
  5. Proof Theory
  6. Philosopical Logic

General interests

  1. Modern History
  2. History of the Classical World
  3. Mythology
  4. Childern Literature
  5. Geometry
  6. Philosophy

Curriculum Vitae

List of Publications

Online Available Papers

Slides of the ESSLLI 2009 Course on Non-deterministic Semantics

Slides of the TABLEAUX 2009 tutorial on Canonical Gentzen-type Systems