Deadline extension: Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics (4 page abstract due April 17)
9 views
Skip to first unread message
Daisuke Bekki
Apr 9, 2015, 4:30:55 AM4/9/15
to logic-ml, sono...@googlegroups.com, linguistics-jp
（重複して受け取られた場合はご容赦ください）
今年の6月にモンペリエ（フランス）で開催される Epsilon2015 国際ワー
クショップの締め切りが4/17に延長されましたので、お知らせ致します。
戸次大介（お茶の水女子大学）
=======================================================================
Call for Papers (4 page abstract due April 17)
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
June 10-12, 2015 — Montpellier, France
https://sites.google.com/site/epsilon2015workshop/
Organised by Stergios Chatzikyriakidis, Fabio Pasquali and Christian Retoré
Workshop information:
This workshop aims at promoting work on Hilbert’s epsilon calculus 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 the Epsilon operator in Bourbaki’s Éléments de
Mathématique. Nowadays the interest in the Epsilon substitution method
has spread in a variety of fields: Mathematics, Logic, Philosophy,
History of Mathematics, Linguistic, Type Theory, Computer science,
Category Theory and others.
Submission
The workshop welcomes submissions of up to 4 (but not less than 2)
pages. Usual spacing, font and margin should be used (single-spaced,
11pt or larger, and 1 inch margin on A4 or letter size paper).
Abstracts should be submitted by April 17, 2015 as pdf files through
the EasyChair conference system (
https://easychair.org/conferences/?conf=epsilon2015). An indicative
list of themes that are of particular interest to the conference are
(non-exhaustive):
- History of Logic
- Philosophy
- Proof theory
- Model theory
- Category theory
- Type theory
- Quantification in Natural language
- Noun-Phrase Semantics
- Proof Assistants (e.g. Coq, Isabelle, ... )
- Other subnectors (e.g. Russell's iota, μ-operator, ... )
Reviewing:
Abstracts will be reviewed by members of the program committee, and,
where appropriate, outside reviewers. The organizers will be
responsible for making decisions partly in consultation with the
program committee. Notifications will be made by May 1st, 2015.
Post-Proceedings:
Selected papers from the workshop will appear as a special volume in
Journal of Logics and their Applications
Important dates:
April 17, 2015: Submission deadline
May 1st,2015: Notification of acceptance
June 10-12, 2015: Workshop
Invited speakers:
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
Vito Michele Abrusci (University of Roma Tre): Hilbert's tau and
epsilon in proof theory.
Hartley Slater (University of Western Australia): Linguistic and
philosophical ramifications of the epsilon calculus
Program Committee
Daisuke Bekki (Ochanomizu University)
Stergios Chatzikyriakidis (co-chair LIRMM-CNRS & University of Montpellier)
Francis Corblin (University of Paris-Sorbonne & Institut Jean Nicod CNRS)
Michael Gabbay (University of Cambridge)
Makoto Kanazawa (National Institute of Informatics of Tokyo)
Ruth Kempson (King's College, London)
Ulrich Kohlenbach (Darmstadt University of Technology)
Alda Mari (CNRS Institut Jean Nicod & ENS & EHESS)
Richard Moot (CNRS LABRI & Université de Bordeaux)
Georg Moser (University of Innsbruck)
Michel Parigot (CNRS-PPS & University of Paris Diderot 7)
Fabio Pasquali (co-chair University of Aix-Marseille & I2M CNRS)
Christian Retoré (co-chair University of Montpellier & LIRMM-CNRS)
Mark Steedman (University of Edimburgh)
Bruno Woltzenlogel Paleo (Vienna University of Technology)
Richard Zach (University of Calgary)
今年の6月にモンペリエ（フランス）で開催される Epsilon2015 国際ワー
クショップの締め切りが4/17に延長されましたので、お知らせ致します。
戸次大介（お茶の水女子大学）
=======================================================================
Call for Papers (4 page abstract due April 17)
Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics
June 10-12, 2015 — Montpellier, France
https://sites.google.com/site/epsilon2015workshop/
Organised by Stergios Chatzikyriakidis, Fabio Pasquali and Christian Retoré
Workshop information:
This workshop aims at promoting work on Hilbert’s epsilon calculus 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 the Epsilon operator in Bourbaki’s Éléments de
Mathématique. Nowadays the interest in the Epsilon substitution method
has spread in a variety of fields: Mathematics, Logic, Philosophy,
History of Mathematics, Linguistic, Type Theory, Computer science,
Category Theory and others.
Submission
The workshop welcomes submissions of up to 4 (but not less than 2)
pages. Usual spacing, font and margin should be used (single-spaced,
11pt or larger, and 1 inch margin on A4 or letter size paper).
Abstracts should be submitted by April 17, 2015 as pdf files through
the EasyChair conference system (
https://easychair.org/conferences/?conf=epsilon2015). An indicative
list of themes that are of particular interest to the conference are
(non-exhaustive):
- History of Logic
- Philosophy
- Proof theory
- Model theory
- Category theory
- Type theory
- Quantification in Natural language
- Noun-Phrase Semantics
- Proof Assistants (e.g. Coq, Isabelle, ... )
- Other subnectors (e.g. Russell's iota, μ-operator, ... )
Reviewing:
Abstracts will be reviewed by members of the program committee, and,
where appropriate, outside reviewers. The organizers will be
responsible for making decisions partly in consultation with the
program committee. Notifications will be made by May 1st, 2015.
Post-Proceedings:
Selected papers from the workshop will appear as a special volume in
Journal of Logics and their Applications
Important dates:
April 17, 2015: Submission deadline
May 1st,2015: Notification of acceptance
June 10-12, 2015: Workshop
Invited speakers:
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
Vito Michele Abrusci (University of Roma Tre): Hilbert's tau and
epsilon in proof theory.
Hartley Slater (University of Western Australia): Linguistic and
philosophical ramifications of the epsilon calculus
Program Committee
Daisuke Bekki (Ochanomizu University)
Stergios Chatzikyriakidis (co-chair LIRMM-CNRS & University of Montpellier)
Francis Corblin (University of Paris-Sorbonne & Institut Jean Nicod CNRS)
Michael Gabbay (University of Cambridge)
Makoto Kanazawa (National Institute of Informatics of Tokyo)
Ruth Kempson (King's College, London)
Ulrich Kohlenbach (Darmstadt University of Technology)
Alda Mari (CNRS Institut Jean Nicod & ENS & EHESS)
Richard Moot (CNRS LABRI & Université de Bordeaux)
Georg Moser (University of Innsbruck)
Michel Parigot (CNRS-PPS & University of Paris Diderot 7)
Fabio Pasquali (co-chair University of Aix-Marseille & I2M CNRS)
Christian Retoré (co-chair University of Montpellier & LIRMM-CNRS)
Mark Steedman (University of Edimburgh)
Bruno Woltzenlogel Paleo (Vienna University of Technology)
Richard Zach (University of Calgary)
Reply all
Reply to author
Forward
0 new messages