Logic: Between Semantics and Proof Theory

A Workshop in Honor of Prof. Arnon Avron's 60th Birthday

1-2 November 2012, Tel-Aviv, Israel

 

Church8.jpg

 

 

The distinguished Israeli logician Arnon Avron is 60. Please join us on November 1-2 for honoring his work, and celebrating the contemporary achievements in proof theory and semantics of non-classical logics, subjects to which he has made fundamental contributions.

A peer-refereed Festschrift will be published as a special issue of the JLC journal.