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

Office hour (semester B): Mon 9-10

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

Slides of the ISMVL 2001 tutorial on Gentzen-type Methods in Many-valued Logics

Slides of the CADE 1998 tutorial on Gentzen-type Methods in Modal Logics