Logic and transdiciplinarity: Mathematics/Computer Science/Philosophy/Linguistics (Thematic Month 2022)
School
CIRM, Luminy, Marseille
https://conferences.cirm-math.fr/2687.html
Date(s) : 07/02/2022 - 11/02/2022 iCal
0h00
|
RESEARCH SCHOOL – ECOLE DE RECHERCHE
Logic and transdiciplinarity: Mathematics/Computer Science/ Philosophy/Linguistics La Logique et la transdisciplinarité : Maths/Info/Philo/Linguistique 7 – 11 February 2022
|
|
|
Scientific Committee
Comité scientifique Gabriella Crocco (Aix-Marseille Université) Paolo Pistone (University of Bologna) Myriam Quatrini (Aix-Marseille Université) Christian Retoré (Université de Montpellier) Lorenzo Tortora de Falco (Roma Tre University) |
Organizing Committee
Comité d’organisation Myriam Quatrini (Aix-Marseille Université) Lorenzo Tortora de Falco (Roma Tre University) |
[su_spacer size= »10″]
|
The goal of this week is to draw a picture of the situation of logic at the interface of several disciplines: mathematics, computer science, philosophy, linguistics.
Seven half-days will be devoted to courses presenting a series of selected themes: 1. Logic, Language, Representation 2. Completeness 3. Incompleteness 4. Curry-Howard-Lambek correspondence 5. Proofs and Meaning 6. Looking for the essence of proofs with their mathematical representation 7. Meaning and InteractionTwo afternoons will be devoted to research presentations by guest speakers that will present alternative and recent approaches, thus showing the timeliness of the questions discussed during the courses. |
L’objectif de cette semaine est de porter un regard sur la situation de la logique à la frontière de plusieurs disciplines : les mathématiques, l’informatique, la philosophie, la linguistique.
L’essentiel de la semaine, sous forme de cours, sera consacré à la présentation des questions que nous avons choisies de mettre en lumière : 1. Logique, langage, représentation 2. Complétude 3. Incomplétude 4. Correspondance de Curry-Howard-Lambek 5. Preuves et sens 6. Recherche de l’essence des preuves par leur représentation mathématique 7. Sens et interaction.Deux après-midis seront consacrés à des exposés de recherche par des orateurs invités afin d’ouvrir et élargir les thématiques abordées. |
Courses
Gabriella Crocco (Aix-Marseille Université)
Vincenzo de Risi (CNRS – Université de Paris)
Jonathan Ginzburg (Université de Paris)
Jean-Baptiste Joinet (Université Lyon 3)
Luc Pélissier (Université Paris-Est Créteil)
Antonio Piccolomini d’Aragona (Aix-Marseille Université)
Paolo Pistone (University of Bologna)
Myriam Quatrini (Aix-Marseille Université)
Christian Rétoré (Université de Montpellier)
Italo Testa (University of Parma)
Lorenzo Tortora de Falco (Roma Tre University)
Luca Tranchini (University of Tübingen)
Invited talks
Michele Abrusci (Roma Tre University)
Marianna Antonutti Marfori (Ludwig Maximilian University of Munich)
Paola Cantù (Aix-Marseille Université)
Jean-Yves Girard (CNRS, Aix-Marseille Université)
Ansten Klev (Czech Academy of Sciences in Prague)
Emiliano Lorini (Université Toulouse III)
Thomas Seiller (CNRS, Université Sorbonne Paris-Nord)
Lutz Strasburger (INRIA, Saclay)
[su_spacer size= »10″]
Catégories Pas de Catégories
