<!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><div><font class="Apple-style-span" color="#0080ff">Site du projet: http://iml.univ-mrs.fr/~seiller/Projet.html</font></div><div><br></div><div><i>Le projet "Vérité et Preuves" a pour but la création d'un réseau de recherche pluridisciplinaire entre doctorants centré autour de la logique. Les participants à ce projet proviennent de domaines variés : mathématiques, philosophie, informatique, et histoire des sciences.</i></div><div><br></div><div>- Ecole Doctorale ED184 (Marseille)</div><div>- Ecole Doctorale ED280 (Paris 1)</div><div>- Ecole Doctorale ED386 (Paris 7)</div><div>- Ecole Doctorale ED400 (Paris 7)</div><div>- Ecole Doctorale ED540 (ENS)</div><div><br></div><div>___________________</div><div><br></div><div><br></div><div><b>Friday, October 21: Université Paris Diderot – Paris 7</b></div><div><b> SALLE KLIMT (366A), 3ème étage, bâtiment CONDORCET</b></div><div><b>(4, rue Elsa Morante - 75013 Paris - Métro: Bibliothèque François Mitterand</b></div><div><b>http://www.rehseis.cnrs.fr/spip.php?rubrique74&lang=en )</b></div><div><br></div><div>9h45 - 10h: Jean-Baptiste Joinet (Univeristé Paris 1) – Presentation </div><div>of the PhD project "Vérité & Preuves"</div><div><br></div><div>10h - 11h: Volker Peckhaus (Universität Paderborn) – The Pragmatism of </div><div>Hilbert's Programme</div><div><br></div><div>11h - 11h15: break</div><div><br></div><div>11h15 - 12h15: Giorgio Venturi (doctorant, Université Paris 7 / Scuola </div><div>Normale di Pisa) - The concept of axiom between Hilbert and set theory</div><div><br></div><div>12h30 - 14h30: lunch</div><div><br></div><div>14h30 - 15h30: Vito Michele Abrusci (Università Roma Tre) - Main </div><div>contributions of linear logic to general developments of logic, </div><div>philosophy and computer science.</div><div><br></div><div>15h30 - 16h30: Thomas Seiller (doctorant, Université Aix-Marseille 2 / </div><div>Université de Savoie) - Graphs of interaction</div><div><br></div><div>16h30 - 16h45: break</div><div><br></div><div>16h45 – 17h15: Jean-Baptiste Midez (doctorant, Université </div><div>Aix-Marseille 2) –- Operads and the resource lambda-calculus</div><div><br></div><div>20h00: conference social dinner</div><div><br></div><div><br></div><div><b>Saturday, October 22: Université Paris 1 – Panthéon-Sorbonne</b></div><div><b><br></b></div><div><b>SALLE HALBWACHS, escalier C, 1er étage</b></div><div><b>(17, rue de la Sorbonne - 75005 Paris - Metro: Luxembourg or Cluny-Sorbonne</b></div><div><b>http://samos.univ-paris1.fr/archives/wsom/plansorb.pdf)</b></div><div><br></div><div>9h30 - 10h30: Mario Piazza (Università di Chieti-Pescara) - </div><div>Deflationism, Incompleteness, and omega-rule</div><div><br></div><div>10h30 - 10h45: break</div><div><br></div><div>10h45 – 11h45: Méven Cadet (doctorant, Université Paris 1) -– Models </div><div>and Modalities: what logical system(s)?</div><div><br></div><div>11h45 – 12h15: Manuel Gustavo Isaac (doctorant, Université Paris 7) - </div><div>Syntax and semantic before their time. Setting up the dichotomisation </div><div>via intension vs extension: the Frege-Husserl case</div><div><br></div><div>12h30 - 14h: lunch</div><div><br></div><div>14h00 - 15h00: Alexandre Miquel (ENS de Lyon) - Krivine's theory of classical</div><div>realizability: A genuine alternative to the Brouwer-Heyting-Kolmogorov </div><div>interpretation of proofs</div><div><br></div><div>15h00 - 16h00: Sylvain Cabanaq (doctorant, Université Paris 7) - TBA</div><div><br></div><div>16h00 - 16h15: break</div><div><br></div><div>16h15 - 16h45: Alberto Naibo (doctorant, Université Paris 1) & Mattia </div><div>Petrolo (doctorant, Université Paris 7 / Università Roma Tre) - </div><div>Towards a verificationist theory for classical logic</div><div><br></div><div>16h45 - 17h15: Round table</div><div><br></div>
</p>
</div>
<!--~-|**|PrettyHtmlStart|**|-~-->
<div style="color: #fff; height: 0;">__._,_.___</div>
<div id="ygrp-actbar" style="clear: both; margin-bottom: 10px; white-space: nowrap; color: #666; padding-top: 15px;">
<div>
<a href="mailto:mg.isaac@voila.fr?subject=Re%A0%3A%20Projet%20V%26P%3A%20Colloque%20final%20%28Paris%2C%2021-22%20octobre%202011" style="margin-right: 0; padding-right: 0;">
Répondre à <span style="font-weight: 700;">expéditeur</span></a> |
<a href="mailto:parislinguists@yahoogroupes.fr?subject=Re%A0%3A%20Projet%20V%26P%3A%20Colloque%20final%20%28Paris%2C%2021-22%20octobre%202011">
Répondre à <span style="font-weight: 700;">groupe</span></a> |
<a href="http://fr.groups.yahoo.com/group/parislinguists/post;_ylc=X3oDMTJwMDZoZTVmBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BG1zZ0lkAzM1MDMEc2VjA2Z0cgRzbGsDcnBseQRzdGltZQMxMzE4ODg3MzYz?act=reply&messageNum=3503">Répondre <span style="font-weight: 700;">en mode Web</span></a> |
<a href="http://fr.groups.yahoo.com/group/parislinguists/post;_ylc=X3oDMTJlNmx2MzZmBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwNmdHIEc2xrA250cGMEc3RpbWUDMTMxODg4NzM2Mw--" style="font-weight: 700;">Nouvelle discussion</a>
</div>
<a href="http://fr.groups.yahoo.com/group/parislinguists/message/3503;_ylc=X3oDMTM0MHQ2ZWFsBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BG1zZ0lkAzM1MDMEc2VjA2Z0cgRzbGsDdnRwYwRzdGltZQMxMzE4ODg3MzYzBHRwY0lkAzM1MDM-">Toute la discussion</a>
(<span style="font-weight: 700;">1</span>)
</div>
<!------- Start Nav Bar ------>
<!-- |**|begin egp html banner|**| -->
<!-- |**|end egp html banner|**| -->
<!-- |**|begin egp html banner|**| -->
<div id="ygrp-vital" style="background-color: #e0ecee; font-family: Verdana; font-size: 10px; margin-bottom: 10px; padding: 10px;">
<span id="vithd" style="font-weight: bold; color: #333; text-transform: uppercase; ">Activités récentes:</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="http://fr.groups.yahoo.com/group/parislinguists/members;_ylc=X3oDMTJmMjJucmwwBF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwN2dGwEc2xrA3ZtYnJzBHN0aW1lAzEzMTg4ODczNjM-?o=6" style="text-decoration: none;">Nouveaux membres</a></span>
<span class="ct" style="color: #ff7900;">3</span>
</li>
</ul>
<div style="clear: both; padding-top: 2px; color: #1e66ae;">
<a href="http://fr.groups.yahoo.com/group/parislinguists;_ylc=X3oDMTJldDV1OHE5BF9TAzk3NDkwNDY4BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwN2dGwEc2xrA3ZnaHAEc3RpbWUDMTMxODg4NzM2Mw--" style="text-decoration: none;">Aller sur votre groupe</a>
</div>
</div>
<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>
<div id="ft" style="font-family: Arial; font-size: 11px; margin-top: 5px; padding: 0 2px 0 0; clear: both;">
<a href="http://fr.groups.yahoo.com/;_ylc=X3oDMTJkcmo5dWU2BF9TAzk3NDkwNDY2BGdycElkAzMxNDkxMjQEZ3Jwc3BJZAMyMTIzODEyNTI4BHNlYwNmdHIEc2xrA2dmcARzdGltZQMxMzE4ODg3MzYz" style="float: left;"><img src="http://l.yimg.com/a/i/us/yg/logo/fr.gif" height="19" width="145" alt="Yahoo! Groupes" style="border: 0;"/></a>
<div style="color: #747575; float: right;">Passer à : <a href="mailto:parislinguists-traditional@yahoogroupes.fr?subject=Changer le format : Traditionnel" style="text-decoration: none;">Texte seulement</a>, <a href="mailto:parislinguists-digest@yahoogroupes.fr?subject=Messages du groupe : Résumé" class="margin-rt" style="text-decoration: none;">Résumé du jour</a> • <a href="mailto:parislinguists-desabonnement@yahoogroupes.fr?subject=Désinscription" style="text-decoration: none;">Désinscription</a> • <a href="http://fr.docs.yahoo.com/info/utos.html" style="text-decoration: none;">Conditions d’utilisation</a></div>
</div>
<!-- |**|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=3503/stime=1318887363" width="1" height="1"> <br>
<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;
}
a {
color: #1e66ae;
}
#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-mlmsg a {
color: #1E66AE;
}
#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 -->