Logic: Between Semantics and Proof Theory

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

1-2 November 2012, Tel-Aviv, Israel

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.

More photos are available here (by courtesy of Petr Cintula), here, and here.

List of Speakers

Sergei Artemov (City University of New York, US) – cancelled due to Hurricane Sandy

Matthias Baaz (Vienna University of Technology, Austria)

Diderik Batens (Universiteit Gent, Belgium)

Libor Behounek (Academy of Sciences of the Czech Republic, Czech Republic)

Jean-Yves Béziau (Federal University of Rio de Janeiro and Brazilian Research Council, Brazil)

Maria Paola Bonacina (Università degli Studi di Verona, Italy)

Walter Carnielli (State University of Campinas, Brazil)

Agata Ciabattoni (Vienna University of Technology, Austria)

Petr Cintula (Academy of Sciences of the Czech Republic, Czech Republic)

Nachum Dershowitz (Tel Aviv University, Israel)

Gilles Dowek (INRIA, France)

Michael Dunn (Indiana University Bloomington, US)

Christian Fermüller (Vienna University of Technology, Austria)

Nissim Francez (Technion, Israel)

Dov Gabbay (Bar Ilan University, Israel; King's College, London, UK; University of Luxembourg, Luxembourg)

Furio Honsell (University of Udine, Italy)

Beata Konikowska (Polish Academy of Sciences, Poland)

Ori Lahav (Tel Aviv University, Israel)

Johann (Janos) A. Makowsky (Technion, Israel)

Joke Meheus (Universiteit Gent, Belgium)

George Metcalfe (University of Bern, Switzerland)

Sara Negri (University of Helsinki, Finland)

Nicola Olivetti (Paul Cézanne University, France)

Itala M. L. D'Ottaviano (State University of Campinas, Brazil)

Anatol Slissenko (University Paris-East-Créteil, France)

Heinrich Wansing (Ruhr University Bochum, Germany)

Tentative Programme

Abstracts of all talks are available here.

Each talk is scheduled for 25 minutes, including questions.

Thursday, November 01

09:00 – 09:30	Registration
09:30 – 10:00	Opening
10:00 – 11:15	Session 1 (chair: Michael Dunn) Furio Honsell - LF_P – A Logical Framework with External Predicates Matthias Baaz - Sequents of relations and first order logic Heinrich Wansing - Falsification, natural deduction, and bi-intuitionistic logic
11:15 – 11:45	Coffee break
11:45 – 13:25	Session 2 (chair: Furio Honsell) Diderik Batens - Spoiled for Choice? Itala D'Ottaviano - Relations between the classical differential calculus and a paraconsistent differential calculus Walter Carnielli - Paraconsistent set theories by predicating on (in)consistency Joke Meheus - Which Style of Reasoning to Choose in the Face of Conflicting Information?
13:30 – 15:00	Lunch
15:00 – 16:15	Session 3 (chair: Matthias Baaz) Maria Paola Bonacina - Interpolation for resolution and superposition George Metcalfe - RM Revisited Nissim Francez - Relevant Harmony
16:15 – 16:45	Coffee break
16:45 – 18:00	Session 4 (chair: Dov Gabbay) Beata Konikowska - Modular Construction of Cut-Free Sequent Calculi for Paraconsistent Logics Jean-Yves Béziau - Linking Proof and Truth through Abstract Logic Ori Lahav - Semantic Investigation of Canonical Gödel Hypersequent Systems

18:15	Transportation to social dinner
19:00 – 22:00	Social dinner
22:00	Transportation back (to hotels Maxim, Lusky, and Orchid)

Friday, November 02

09:00 – 10:15	Session 5 (chair: Itala D'Ottaviano) Michael Dunn - Arrow Logics, Relevance Logics, and Relation Algebras Dov Gabbay - Logical Foundations for Bipolar Argumentation Networks Christian Fermüller - On Matrices, Nmatrices, and Games
10:15 – 10:45	Coffee break
10:45 – 12:25	Session 6 (chair: Walter Carnielli) Agata Ciabattoni - Standard completeness via proof theory: an automated approach Libor Behounek and Petr Cintula - The Local, the Global and the Ugly Nicola Olivetti - Conditional logics: from semantics to proof theory Sara Negri - From semantics to proofs: Provability logics and modal embeddings
12:25 – 13:45	Lunch
13:45 – 15:00	Session 7 (chair: Beata Konikowska) Anatol Slissenko - Introducing Metrics in Computations Johann Makowsky - Characterizing word functions recognized by multiplicity automata Nachum Dershowitz and Gilles Dowek - A Two-Dimensional Programming Language for Two-Dimensional Data
15:00 – 15:15	Concluding remarks
15:30	Transportation to Jaffa
16:00 – 18:30	Excursion (to Jaffa)

Logistics

The workshop will take place in Tel Aviv University:

· Melamed Hall in Shenkar Building for Physics & Astronomy on the first day (#25 on this map).

· Room 006 in Shreiber Building for Mathematics and CS on the second day (#27 on this map).

Wireless internet connection is available in Tel Aviv University:

Network name: Free-TAU Key: free-tau

Hotel and travel information is available here.

Transportation from hotels to workshop on both days: bus leaves at 8:20 from entrance to Maxim Hotel.

The social dinner will take place at the Bistro 56 restaurant located at the Herzlia Marina.

The cost of social dinner for accompanying person is 215 NIS.

Note that a bus will take us to the restaurant directly from the conference venue.

Transportation from social dinner to hotels: bus leaves at 22:00 from Herzlia Marina.

A Google map of the conference venue, restaurant and hotels is available here.

Scientific Committee

Anna Zamansky (Vienna University of Technology) (Chair)

Ofer Arieli (The Academic College of Tel Aviv-Yafo)

Beata Konikowska (Polish Academy of Sciences)

Alexander Rabinovich (Tel Aviv University)

Organizing Committee

Anna Zamansky (Vienna University of Technology) (Chair)

Ofer Arieli (The Academic College of Tel Aviv-Yafo)

Liron Cohen (Tel Aviv University)

Ori Lahav (Tel Aviv University)

Yoni Zohar (Tel Aviv University)

logo_I_CORE_ with_support- Eng.jpg