<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
</head>
<body style="background-color: #fff;">
<span style="display:none"> </span>
<!--~-|**|PrettyHtmlStartT|**|-~-->
<div id="ygrp-mlmsg" style="position:relative;">
<div id="ygrp-msg" style="z-index: 1;">
<!--~-|**|PrettyHtmlEndT|**|-~-->
<div id="ygrp-text" >
<p><p><span><br class="yui-cursor"></span></p><p>Call for Papers</p><p>Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics</p><p>Dates: June 10-12, 2015</p><p>Location: Montpellier, France</p><p>Workshop Webpage: https://sites.google.com/site/epsilon2015workshop/</p><p>Contact email: Epsilon2015@easychair.org</p><p>Submission deadline: April 1st, 2015</p><p>Submission webpage: https://easychair.org/conferences/?conf=epsilon2015</p><p><br></p><p>Organizers / workshop co-chairs:</p><p>Stergios Chatzikyriakidis, LIRMM-CNRS, University of Montpellier </p><p>Fabio Pasquali, University of Marseille</p><p>Christian Retoré, University of Montpellier & LIRMM-CNRS</p><p>Host: I2M-CNRS and University of Montpellier</p><p><br></p><p>Workshop information:</p><p>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.</p><p><br></p><p>Submission</p><p>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 1st, 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):</p><p><br></p><p>- History of Logic</p><p>- Philosophy</p><p>- Proof theory</p><p>- Model theory</p><p>- Category theory</p><p>- Type theory</p><p>- Quantification in Natural language</p><p>- Noun Phrases</p><p>- Proof Assistants (e.g. Coq, Isabelle, ... )</p><p>- Other subnectors (e.g. Russell's iota, μ-operator, ... )</p><p> </p><p>Reviewing:</p><p>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. </p><p><br></p><p>Post-Proceedings:</p><p>Selected papers from the workshop will appear as a special volume in Journal of Logics and their Applications</p><p><br></p><p>Important dates:</p><p>April 1st, 2015: Submission deadline</p><p>May 1st,2015: Notification of acceptance</p><p>June 10-12, 2015: Workshop</p><p><br></p><p>Invited speakers:</p><p>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</p><p><br></p><p>Vito Michele Abrusci (University of Roma Tre): Hilbert's tau and epsilon in proof theory.</p><p><br></p><p>Hartley Slater (University of Western Australia): Linguistic and philosophical ramifications of the epsilon calculus</p><p><br></p><p> </p><p>Program Committee</p><p>Daisuke Bekki (Ochanomizu University)</p><p><br></p><p>Stergios Chatzikyriakidis (LIRMM-CNRS & University of Montpellier)</p><p><br></p><p>Francis Corblin (University of Paris-Sorbonne & Institut Jean Nicod CNRS)</p><p><br></p><p>Michael Gabbay (University of Cambridge)</p><p><br></p><p>Makoto Kanazawa (National Institute of Informatics of Tokyo)</p><p><br></p><p>Ruth Kempson (King's College, London)</p><p><br></p><p>Alda Mari (CNRS Institut Jean Nicod & ENS & EHESS)</p><p><br></p><p>Georg Moser (University of Innsbruck)</p><p><br></p><p>Bruno Woltzenlogel Paleo (Vienna University of Technology)</p><p><br></p><p>Michel Parigot (CNRS-PPS & University of Paris Diderot 7)</p><p><br></p><p>Fabio Pasquali (University of Aix-Marseille & I2M CNRS)</p><p><br></p><p>Christian Retoré (University of Montpellier & LIRMM-CNRS)</p><p><br></p><p>Mark Steedman (University of Edimburgh)</p><p><br></p><p>Richard Zach (University of Calgary) </p><p><br></p><p><br></p></p>
</div>
<!--~-|**|PrettyHtmlStart|**|-~-->
<div style="color: #fff; height: 0;">__._,_.___</div>
<div style="clear:both"> </div>
<div id="fromDMARC" style="margin-top: 10px;">
<hr style="height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;">
Envoyé par : chatzikyriakidis@yahoo.fr <hr style="height:2px ; border-width:0; color:#E3E3E3; background-color:#E3E3E3;">
</div>
<div style="clear:both"> </div>
<table cellspacing=4px style="margin-top: 10px; margin-bottom: 10px; color: #2D50FD;">
<tbody>
<tr>
<td style="font-size: 12px; font-family: arial; font-weight: bold; padding: 7px 5px 5px;" >
<a style="text-decoration: none; color: #2D50FD" href="https://fr.groups.yahoo.com/neo/groups/parislinguists/conversations/messages/5982;_ylc=X3oDMTJwdnVwNXN2BF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BG1zZ0lkAzU5ODIEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxNDI0MzQxMjYx?act=reply&messageNum=5982">Répondre en mode Web</a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;" >
<a href="mailto:chatzikyriakidis@yahoo.fr?subject=Re%A0%3A%20Call%20for%20Papers%20%3A%20Hilbert%E2%80%99s%20Epsilon%20and%20Tau%20in%20Logic%2C%20Informatics%20and%20Linguistics%20%284%20page%20abstract%20due%20April%201st%29%E2%80%8F" style="text-decoration: none; color: #2D50FD;">
Répondre à expéditeur </a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;">
<a href="mailto:parislinguists@yahoogroupes.fr?subject=Re%A0%3A%20Call%20for%20Papers%20%3A%20Hilbert%E2%80%99s%20Epsilon%20and%20Tau%20in%20Logic%2C%20Informatics%20and%20Linguistics%20%284%20page%20abstract%20due%20April%201st%29%E2%80%8F" style="text-decoration: none; color: #2D50FD">
Répondre à groupe </a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;" >
<a href="https://fr.groups.yahoo.com/neo/groups/parislinguists/conversations/newtopic;_ylc=X3oDMTJlcjI3NTBvBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTQyNDM0MTI2MQ--" style="text-decoration: none; color: #2D50FD">Nouvelle discussion</a>
</td>
<td>•</td>
<td style="font-size: 12px; font-family: arial; padding: 7px 5px 5px;color: #2D50FD;" >
<a href="https://fr.groups.yahoo.com/neo/groups/parislinguists/conversations/topics/5982;_ylc=X3oDMTM0OHZxY2pxBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BG1zZ0lkAzU5ODIEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQMxNDI0MzQxMjYxBHRwY0lkAzU5ODI-" style="text-decoration: none; color: #2D50FD;">Toute la discussion</a>
(1)
</td>
</tr>
</tbody>
</table>
<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<!-- |**|end egp html banner|**| -->
<div id="ygrp-grfd" style="font-family: Verdana; font-size: 12px; padding: 15px 0;">
<!-- |**|begin egp html banner|**| -->
Pour se desinscire, envoyer un mel à parislinguists-unsubscribe@yahoogroups.com<BR>
Pour s'inscrire, envoyer un mel à parislinguists-subscribe@yahoogroups.com
<!-- |**|end egp html banner|**| -->
</div>
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #f2f2f2; font-family: Verdana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
<span id="vithd" style="font-weight: bold; color: #333; text-transform: uppercase; "><a href="https://fr.groups.yahoo.com/neo/groups/parislinguists/info;_ylc=X3oDMTJlazM0NG5xBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTQyNDM0MTI2MQ--" style="text-decoration: none;">Aller sur votre groupe</a></span>
<ul style="list-style-type: none; margin: 0; padding: 0; display: inline;">
<li style="border-right: 1px solid #000; font-weight: 700; display: inline; padding: 0 5px; margin-left: 0;">
<span class="cat"><a href="https://fr.groups.yahoo.com/neo/groups/parislinguists/members/all;_ylc=X3oDMTJmYXZiMHJpBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwN2dGwEc2xrA3ZtYnJzBHN0aW1lAzE0MjQzNDEyNjE-" style="text-decoration: none;">Nouveaux membres</a></span>
<span class="ct" style="color: #ff7900;">4</span>
</li>
</ul>
</div>
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
<a href="https://fr.groups.yahoo.com/neo;_ylc=X3oDMTJkdWViaTc5BF9TAzk3NDkwNDY2BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxNDI0MzQxMjYx" style="float: left;"><img src="http://l.yimg.com/ru/static/images/yg/img/email/new_logo/yahoo_groups_fr-FR_145x19.png" height="19" width="145" alt="Yahoo! Groupes" style="border: 0;"/></a>
<div style="color: #747575; float: right;"> • <a href="https://info.yahoo.com/privacy/fr/yahoo/groups/details.html" style="text-decoration: none;">Confidentialité</a> • <a href="mailto:parislinguists-desabonnement@yahoogroupes.fr?subject=Désinscription" style="text-decoration: none;">Désinscription</a> • <a href="https://info.yahoo.com/legal/fr/yahoo/utos/terms/" style="text-decoration: none;">Conditions dutilisation</a> </div>
</div>
<br>
<!-- |**|end egp html banner|**| -->
</div> <!-- ygrp-msg -->
<!-- Sponsor -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-sponsor" style="width:160px; float:right; clear:none; margin:0 0 25px 0; background: #fff;">
<!-- Start Recommendations -->
<div id="ygrp-reco">
</div>
<!-- End Recommendations -->
</div> <!-- |**|end egp html banner|**| -->
<div style="clear:both; color: #FFF; font-size:1px;">.</div>
</div>
<img src="http://geo.yahoo.com/serv?s=97490468/grpId=3149124/grpspId=2123812528/msgId=5982/stime=1424341261" width="1" height="1"> <br>
<img src="http://y.analytics.yahoo.com/fpc.pl?ywarid=515FB27823A7407E&a=10001310322279&js=no&resp=img" width="1" height="1">
<div style="color: #fff; height: 0;">__,_._,___</div>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</body>
<!--~-|**|PrettyHtmlStart|**|-~-->
<head>
<style type="text/css">
<!--
#ygrp-mkp {
border: 1px solid #d8d8d8;
font-family: Arial;
margin: 10px 0;
padding: 0 10px;
}
#ygrp-mkp hr {
border: 1px solid #d8d8d8;
}
#ygrp-mkp #hd {
color: #628c2a;
font-size: 85%;
font-weight: 700;
line-height: 122%;
margin: 10px 0;
}
#ygrp-mkp #ads {
margin-bottom: 10px;
}
#ygrp-mkp .ad {
padding: 0 0;
}
#ygrp-mkp .ad p {
margin: 0;
}
#ygrp-mkp .ad a {
color: #0000ff;
text-decoration: none;
}
#ygrp-sponsor #ygrp-lc {
font-family: Arial;
}
#ygrp-sponsor #ygrp-lc #hd {
margin: 10px 0px;
font-weight: 700;
font-size: 78%;
line-height: 122%;
}
#ygrp-sponsor #ygrp-lc .ad {
margin-bottom: 10px;
padding: 0 0;
}
#actions {
font-family: Verdana;
font-size: 11px;
padding: 10px 0;
}
#activity {
background-color: #e0ecee;
float: left;
font-family: Verdana;
font-size: 10px;
padding: 10px;
}
#activity span {
font-weight: 700;
}
#activity span:first-child {
text-transform: uppercase;
}
#activity span a {
color: #5085b6;
text-decoration: none;
}
#activity span span {
color: #ff7900;
}
#activity span .underline {
text-decoration: underline;
}
.attach {
clear: both;
display: table;
font-family: Arial;
font-size: 12px;
padding: 10px 0;
width: 400px;
}
.attach div a {
text-decoration: none;
}
.attach img {
border: none;
padding-right: 5px;
}
.attach label {
display: block;
margin-bottom: 5px;
}
.attach label a {
text-decoration: none;
}
blockquote {
margin: 0 0 0 4px;
}
.bold {
font-family: Arial;
font-size: 13px;
font-weight: 700;
}
.bold a {
text-decoration: none;
}
dd.last p a {
font-family: Verdana;
font-weight: 700;
}
dd.last p span {
margin-right: 10px;
font-family: Verdana;
font-weight: 700;
}
dd.last p span.yshortcuts {
margin-right: 0;
}
div.attach-table div div a {
text-decoration: none;
}
div.attach-table {
width: 400px;
}
div.file-title a, div.file-title a:active, div.file-title a:hover, div.file-title a:visited {
text-decoration: none;
}
div.photo-title a, div.photo-title a:active, div.photo-title a:hover, div.photo-title a:visited {
text-decoration: none;
}
div#ygrp-mlmsg #ygrp-msg p a span.yshortcuts {
font-family: Verdana;
font-size: 10px;
font-weight: normal;
}
.green {
color: #628c2a;
}
.MsoNormal {
margin: 0 0 0 0;
}
o {
font-size: 0;
}
#photos div {
float: left;
width: 72px;
}
#photos div div {
border: 1px solid #666666;
height: 62px;
overflow: hidden;
width: 62px;
}
#photos div label {
color: #666666;
font-size: 10px;
overflow: hidden;
text-align: center;
white-space: nowrap;
width: 64px;
}
#reco-category {
font-size: 77%;
}
#reco-desc {
font-size: 77%;
}
.replbq {
margin: 4px;
}
#ygrp-actbar div a:first-child {
/* border-right: 0px solid #000;*/
margin-right: 2px;
padding-right: 5px;
}
#ygrp-mlmsg {
font-size: 13px;
font-family: Arial, helvetica,clean, sans-serif;
*font-size: small;
*font: x-small;
}
#ygrp-mlmsg table {
font-size: inherit;
font: 100%;
}
#ygrp-mlmsg select, input, textarea {
font: 99% Arial, Helvetica, clean, sans-serif;
}
#ygrp-mlmsg pre, code {
font:115% monospace;
*font-size:100%;
}
#ygrp-mlmsg * {
line-height: 1.22em;
}
#ygrp-mlmsg #logo {
padding-bottom: 10px;
}
#ygrp-msg p a {
font-family: Verdana;
}
#ygrp-msg p#attach-count span {
color: #1E66AE;
font-weight: 700;
}
#ygrp-reco #reco-head {
color: #ff7900;
font-weight: 700;
}
#ygrp-reco {
margin-bottom: 20px;
padding: 0px;
}
#ygrp-sponsor #ov li a {
font-size: 130%;
text-decoration: none;
}
#ygrp-sponsor #ov li {
font-size: 77%;
list-style-type: square;
padding: 6px 0;
}
#ygrp-sponsor #ov ul {
margin: 0;
padding: 0 0 0 8px;
}
#ygrp-text {
font-family: Georgia;
}
#ygrp-text p {
margin: 0 0 1em 0;
}
#ygrp-text tt {
font-size: 120%;
}
#ygrp-vital ul li:last-child {
border-right: none !important;
}
-->
</style>
</head>
<!--~-|**|PrettyHtmlEnd|**|-~-->
</html>
<!-- end group email -->