[TYPES/announce] program and registration: Hilbert’s Epsilon and Tau In Logic, Informatics and Linguistics (Montpellier June 10-12)

[Christian RETORE]

Dear colleagues, 
You are cordially invited to participate in the following conference (Montpellier, June 10 11 12) on quantification using Hilbert’s epsilon and tau operators and its applications in logic, informatics and linguistics. 
Looking forward to meeting you in Montpellier, 
—
Stergios CHATZIKYRIAKIDIS Fabio PASQUALI  Christian RETORE 

Epsilon 2015 HILBERT’S EPSILON AND TAU IN LOGIC, INFORMATICS AND LINGUISTICS
Université de Montpellier 10 11 12 juin 2015 
Organised by LIRMM CNRS with the support of ANR Polymnie and Unviersité de Montpellier 
https://sites.google.com/site/epsilon2015workshop/

This workshop aims at promoting work on Hilbert's Epsilon in a number of relevant fields ranging from Philosophy and Mathematics to Linguistics and Informatics. The Epsilon and Tau operators were introduced by David Hilbert, inspired by Russell's Iota operator for definite descriptions, as binding operators that form terms from formulae. One of their main features is that substitution with Epsilon and Tau terms expresses quantification. This leads to a calculus which is a strict and conservative extension of First Order Predicate Logic. The calculus was developed for studying first order logic in view of the program of providing a rigorous foundation of mathematics via syntactic consistency proofs. The first relevant outcomes that certainly deserve a mention are the two "Epsilon Theorems" (similar to quantifiers elimination), the first correct proof of Herbrand's theorem or the use of Epsilon operator in Bourbaki’s Éléments de Mathématique. In the nineties, renewing Russell's ideas on definite descriptions, there has been some work on the interpretation of determiners and noun phrases with Hilbert’s epsilon.  Nowadays the interest in the Epsilon substitution method has spread in a variety of fields : Mathematics, Logic, Philosophy, History of Mathematics, Linguistics, Type Theory, Computer science, Category Theory and others.


PROGRAM 

WEDNESDAY 

13.30 - 14.30    INVITED LECTURE  Claus-Peter Wirth (University of Saarland) The descriptive operators iota, tau and epsilon - on their origin, partial and complete specification, model-theoretic semantics, practical applicability
15.00 - 15.30     Bhupinder Singh Anand (independent scholar, Mumbai) Why Hilbert’s and Brouwer’s interpretations of quantification are complementary and not contradictory
15.30 - 16.00     David DeVidi (University of Waterloo)  and Corey Mulvihill (University of Waterloo) Buying Logic with Ontological Coin
16.00 - 16.30     Hartley Slater (University of Western Australia) Gödel’s Theorems and the Epsilon Calculus
16.30 - 17.00     Norbert Gratzl (LMU/MCMP) and Georg Schiemer (University of Vienna) Hilbert’s ε-termes, Russell’s Indefinites and Indexed ε-terms

THURSDAY 

09.30 - 10.30     INVITED LECTURE Vito Michele Abrusci (University of Roma Tre) Hilbert's tau and epsilon in proof theory
11.00 - 11.30     Alexander Leitsch (Vienna University of Technology), Giselle Reis (Inria Saclay) and Bruno Woltzenlogel Paleo (Vienna University of Technology) Epsilon Terms in Intuitionistic Sequent Calculus
11.30 - 12.00     ThomasPowell (University of Innsbruck) Variations on learning: Relating the epsilon calculus to proof interpretations
12.00 - 12.30     Matthias Baaz (Vienna University of Technology) and Daniel Weller (Vienna University of Technology) Cut-free epsilon-calculus allows a non-elementary speed-up
12.30 - 13.00     Fabio Pasquali (University of Aix-Marseille & I2M CNRS) A categorical approach to the typed Epsilon Calculus

14.30 - 15.00     Wilfried Meyer-Viol (King's College London) Non-Monotonic Logic in the Epsilon Calculus
15.00 - 15.30     Federico Aschieri (Vienna University of Technology) Type Theory, Realizability and Epsilon Substitution Method
15.30 - 16.00     Nissim Francez (Technion) and Bartosz Wieckowski (University of Frankfurt) A proof-theory for first-order logic with definiteness
16.30 - 17.00     Sergei Soloviev (University of Toulose III, IRIT) Studies of Hilbert’s epsilon operator in the USSR
17.00 - 17.30     Hans Leiß (University of Munich) Equality of Contexts in the Indexed Epsilon-Calculus

FRIDAY

09.30 - 10.30    INVITED LECTURE   Hartley Slater (University of Western Australia) Linguistic and philosophical ramifications of the epsilon calculus
11.00 - 11.30     Ruth Kempson (King's College London), Stergios Chatzikyriakidis (University of Montpellier, LIRMM) and Ronnie Cann (University of Edimburgh) The interactive Building of Names
11.30 - 12.00     Sumiyo Nishiguchi (Tokyo University of Science) Noun Phrases in Japanese and Epsilon-Iota Calculi
12.00 - 12.30     Koji Mineshima (Ochanomizu University) Epsilon Calculus as Presupposition Theory
12.30 - 13.00     Bruno Mery (University of Bordeaux, LaBRI), Richard Moot (University of Bordeaux, LaBRI) and Christian Retoré (University of Montpellier, LIRMM) Typed Hilbert’s Operators for the Lexical Semantics of Singular and Plural Determiner Phrases


REGISTRATION 

Registration (120 euros)  includes coffee breaks, Thursday and Friday lunches, conference dinner.
One can register on line from: https://sites.google.com/site/epsilon2015workshop/ 

PROGRAM COMMITTEE 

Daisuke BEKKI, Stergios CHATZIKYRIAKIDIS, Francis CORBLIN, Michael GABBAY, Makoto KANAZAWA, Ulrich KOHLENBACH, Alda MARI, Richard MOOT, Georg MOSER, Michel PARIGOT , Fabio PASQUALI , Christian RETORÉ, Mark STEEDMAN, Bruno WOLTZENLOGEL PALEO, Richard ZACH

--
Christian RETORE 
Université de Montpellier  & LIRMM 
http://www.lirmm.fr/~retore