|
|
 |
|
| Topic of the workshop |
|
Objet du colloque |
The relationship between logic and category theory goes back to the seventies, with the important connection between intuitionistic logic, sheaves and topoi (1) but it extended into other directions, in particular the proof as morphisms semantics (2), and we also include the study of proof normalisation (3). Ideally, the workshop will consider the three levels of foundations , according to the terminology of Jean-Yves Girard, as well as their mutual relationships.
These structures provide models of computation but also models of meaning organisation des lexemes, phrases, sentences, discourses and dialogues: we do not exclude the first application, but we shall privilege the linguistic application which is quite new, although Joachim Lambek suggested to do so more than twenty years ago. |
|
Le lien entre logique et théorie des catégories a une quarantaine d'années,
avec l'importante connexion entre logique intuitionniste, faisceaux et topos (1)
mais il s'est étendu en diverses directions,
notamment la sémantique des démonstrations formelles comme morphismes (2)
et nous y incluons aussi l'étude du processus de normalisation des démonstrations (3).
Idéalement, ces journées porteront, pour reprendre la terminologie introduite
par Jean-Yves Girard, sur les trois niveaux de fondements et sur leurs relations mutuelles.
Ces structures permettent de modéliser le calcul en informatique mais aussi l'organisation du sens des lexèmes, syntagmes, phrases, discours et dialogues:
nous n'excluons pas la première application mais nous
nous privilégierons l'application linguistique, plus novatrice, même si
Joachim Lambek fit des suggestions en ce sens il y a plus de vingt ans.
|
|
PROGRAMME |
|
| 08:45 - 08:55 |
Présentation (Jean Gillibert, Christian Retoré) |
| 09:00 - 09:40 |
Pierre Cartier
(IHES, Bures) |
(Sur les origines de la connexion
entre logique, catégories et faisceaux) |
09:45 - 10:25
|
Jean-Yves Girard
(CNRS, IML, Marseille) |
Interdire ou réfuter ? Le statut ambigu de la normativité |
| 10:30 - 11:00 : pause café |
11:00 - 11:40
|
Nicholas Asher
(CNRS, IRIT, Toulouse)
|
A web of words |
| 11:45 - 12:25 |
Steve Vickers
(University of Birmingham) |
Aspects of geometric logic |
| 12:30-14:00 déjeuner déjeuner in Mélisone Café 337 cours de la Libération |
| 14:00-14:40 |
Thomas Streicher
(Technische Universität Darmstadt) |
Types as Kan complexes |
14:45 - 15:25
|
François Lamarche
(INRIA, LORIA, Nancy) |
The intensional equality predicate in Martin-Löf type theory
and the path functor in topology |
15:30 départ en car |
| 16:00 18:00 visite château Couhins |
| 19:00 arrivée en car dans Bordeaux et dîner au restaurant la belle époque |
|
| 09:00 - 09:40 |
Carl Pollard
(Ohio State University, Columbus)
|
Remarks on categorical semantics of natural language |
09:45 - 10:25
|
Anne Preller
(LIRMM, Université de Montpellier)
|
Pregroup Semantics in compact closed monoidal categories
and in two-sorted first order logic |
| 10:30-11:00 pause café |
11:00 - 11:40
|
Paul-André Melliès
(CNRS, PPS, Paris) |
Logical proofs understood as topological knots |
| 11:45 - 12:25 |
Dion Coumans / Mai Gehrke
(Radbout Universiteit Nijmegen)
|
Semantics and Duality |
| 12:30-14:00 déjeuner in Mélisone Café 337 cours de la Libération |
| 14:00 - 14:40 |
Michael Moortgat
(Universiteit Utrecht) |
Continuation semantics for generalized Lambek calculi |
14:45- 15:25
|
Michele Abrusci
(Università di Roma tre)
|
Ontologies, by means of coherent spaces
Des espaces de cohérence aux ontologies |
| 15:30 - 16:15 |
Everyone |
Discussion, in particular on the interdisciplinary perspectives |
| 16:20 - 18:00 drink |
Inscription/Registration:
Afin de prévoir les pauses et les repas de midi, nous avons besoin que les participants, même locaux, s'inscrivent en remplissant le formulaire ci-dessous — les conférenciers n'ont pas à le remplir. Dans les trois jours suivants, vous recevrez un email de confirmation. Attention, en raison de l'absence de frais d'inscriptions, le nombre de participants est limité à une vingtaine en plus des orateurs et organisateurs. Le repas du vendredi soir n'est pas pris en charge, hormis pour les organisateurs et orateurs.
To order lunches and breaks, we need participants even the ones from Bordeaux to register — but speakers do not need to fill this form. In the next three days you will receive a confirmation by email. Since there are no registration fees, the number of participants in addition to speakers and organisers is limited to twenty persons. The conference diner is not free except for organisers and speakers.
|
|
