BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:6158@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220207T000000
DTEND;TZID=Europe/Paris:20220211T000000
DTSTAMP:20241120T200924Z
URL:https://www.i2m.univ-amu.fr/evenements/logic-and-transdiciplinarity-ma
 thematics-computer-science-philosophy-linguistics-thematic-month-2022/
SUMMARY:School (CIRM\, Luminy\, Marseille): Logic and transdiciplinarity: M
 athematics/Computer Science/Philosophy/Linguistics (Thematic Month 2022)
DESCRIPTION:School: \n\n\n\nTHEMATIC MONTH\n\n\n\n\nTime Schedule\n\n\n\nAb
 stracts\n\n\n\n Participants \n\n\n\n\n\n\n[su_spacer size="10"]\n\n\n\n\n
 \n\n\nRESEARCH SCHOOL - ECOLE DE RECHERCHE\n\nLogic and transdiciplinarit
 y: Mathematics/Computer Science/ Philosophy/Linguistics\nLa Logique et la 
 transdisciplinarité : Maths/Info/Philo/Linguistique \n7 - 11 February 20
 22\n\n\n\n\n\n\n\n\n\n\n\n\n[su_spacer size="10"]\n\n\n\n\n\n\n\nScientifi
 c Committee \nComité scientifique\nGabriella Crocco (Aix-Marseille Univer
 sité)\nPaolo Pistone (University of Bologna)\nMyriam Quatrini (Aix-Marsei
 lle Université)\nChristian Retoré (Université de Montpellier)\nLorenzo 
 Tortora de Falco (Roma Tre University)\n\nOrganizing Committee\nComité d'
 organisation\nMyriam Quatrini (Aix-Marseille Université)\nLorenzo Tortora
  de Falco (Roma Tre University)\n\n\n\n\n\n\n[su_spacer size="10"]\nDescri
 ption\n\n\n\n\n\n\n\n\n\nThe 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.\nSeven half-days will be dev
 oted to courses presenting a series of selected themes:\n1. Logic\, Langua
 ge\, Representation\n2. Completeness\n3. Incompleteness\n4. Curry-Howard-L
 ambek correspondence\n5. Proofs and Meaning\n6. Looking for the essence of
  proofs with their mathematical representation 7. Meaning and InteractionT
 wo afternoons will be devoted to research presentations by guest speakers 
 that will present alternative and recent approaches\, thus showing the tim
 eliness of the questions discussed during the courses.\n\n\n\n\n\nL'object
 if de cette semaine est de porter un regard sur la situation de la logique
  à la frontière de plusieurs disciplines : les mathématiques\, l'inf
 ormatique\, la philosophie\, la linguistique.\nL'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\, r
 eprésentation\n2. Complétude\n3. Incomplétude\n4. Correspondance de 
 Curry-Howard-Lambek\n5. Preuves et sens\n6. Recherche de l'essence des pre
 uves par leur représentation mathématique\n7. Sens et interaction.Deux
  après-midis seront consacrés à des exposés de recherche par des o
 rateurs invités afin d'ouvrir et élargir les thématiques abordées.
 \n\n\n\n\n\n\n\n\n\nCourses\n\nGabriella Crocco (Aix-Marseille Université
 )\nVincenzo de Risi (CNRS - Université de Paris)\nJonathan Ginzburg (Univ
 ersité de Paris)\nJean-Baptiste Joinet (Université Lyon 3)\nLuc Pélis
 sier (Université Paris-Est Créteil)\nAntonio Piccolomini d'Aragona (Aix
 -Marseille Université)\nPaolo Pistone (University of Bologna)\nMyriam Qua
 trini (Aix-Marseille Université)\nChristian Rétoré (Université de M
 ontpellier)\nItalo Testa (University of Parma)\nLorenzo Tortora de Falco (
 Roma Tre University)\nLuca Tranchini (University of Tübingen)\n\nInvited
  talks\n\nMichele Abrusci (Roma Tre University)\nMarianna Antonutti Marfor
 i (Ludwig Maximilian University of Munich)\nPaola Cantù (Aix-Marseille U
 niversité)\nJean-Yves Girard (CNRS\, Aix-Marseille Université)\nAnsten K
 lev (Czech Academy of Sciences in Prague)\nEmiliano Lorini (Université To
 ulouse III)\nThomas Seiller (CNRS\, Université Sorbonne Paris-Nord)\nLutz
  Strasburger (INRIA\, Saclay)\n\n&nbsp\;\n\n\n[su_spacer size="10"]\n\n\n\
 nSPONSORS\n\n\n  \n\n
CATEGORIES:Manifestation scientifique,Mois thématique
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20211031T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR