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:6183@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20220124T000000
DTEND;TZID=Europe/Paris:20220128T000000
DTSTAMP:20241221T195325Z
URL:https://www.i2m.univ-amu.fr/evenements/linear-logic-winter-school-them
 atic-month-2022/
SUMMARY:School (CIRM\, Luminy\, Marseille): Linear Logic Winter School (The
 matic Month 2022)
DESCRIPTION:School: \n\n\n\nTHEMATIC MONTH\n\n\n\n\n Time Schedule\n\n\n\n 
 Abstracts \n\n\n\n\n\n Participants\n\n\n\n\n\n\n\n\n[su_spacer size="10"]
 \n\n\n\n\n\n\n\nRESEARCH SCHOOL - ECOLE DE RECHERCHE\n\nLinear Logic Wint
 er School\nÉcole d'hiver de logique linéaire\n​24 - 28 January 2022\n\
 n\n\n\n\n\n\n\n\n\n\n\n[su_spacer size="10"]\n\n\n\n\n\n\n\nScientific Com
 mittee \nComité scientifique\nThomas Ehrhard (CNRS\, Université de Paris
 )\nClaudia Faggian (CNRS\, Université de Paris)\nOlivier Laurent (CNRS\, 
 ENS Lyon)\nLaurent Regnier (Université d'Aix-Marseille)\nLorenzo Tortora
  de Falco (Roma Tre University)\nLionel Vaux Auclair (Université d'Aix-Ma
 rseille)\n\nOrganizing Committee\nComité d'organisation\nLorenzo Tortora 
 de Falco (Roma Tre University)\nLionel Vaux Auclair (Université d'Aix-Ma
 rseille)\n\n\n\n\n\n\n[su_spacer size="10"]\nDescription\n\n\n\n\n\n\n\n\n
 The rôle Linear Logic as an underlying structure of logic and computation
  is widely acknowledged. As such\, it is not only a research subject in it
 self\, but also a conceptual framework\, offering an original and fruitful
  viewpoint on the objects of logic and computer science.This school will o
 ffer an introduction to the main concepts and essential results in Linear 
 Logic\, based on an undergoing project to produce a reference textbook\, w
 ithin the International Research Network on Linear Logic. The lectures wi
 ll be given by some of the foremost experts of the subject\, involved in t
 hat collaborative effort. The school will moreover include a lab work sess
 ion\, using recently developed software to construct and manipulate Linear
  Logic proofs.In addition to the lectures\, the week will be concluded by 
 a series of tutorial talks on a selection of advanced subjects\, reflectin
 g current research directions involving Linear Logic.\n\n\n\n\n\nLe rôle 
 de la Logique Linéaire comme structure sous-jacente de la logique et du 
 calcul est largement reconnu. En tant que telle\, elle constitue non seule
 ment un sujet de recherche en elle-même\, mais aussi un cadre conceptuel
 \, qui offre un point de vue original et fructueux sur les objets de la l
 ogique et de l’informatique.\n\nCette école proposera une introduction
  aux principaux concepts et résultats de la Logique Linéaire\, sur la b
 ase d’un livre de cours\, actuellement en cours de rédaction au sein d
 u Réseau de recherche international en Logique Linéaire. Les cours sero
 nt donnés par certains des meilleurs experts du domaine\, impliqués dan
 s cet effort collaboratif. L’école comprendra également une session d
 e travaux pratiques\, à l’aide de logiciels récemment développés\, 
 permettant de construire et manipuler des preuves de Logique Linéaire.\n
 \nÀ la suite des cours\, la semaine se concluera par une série d’expos
 és\, toujours sur un mode introductif\, abordant une sélection de sujet
 s avancés\, reflétant les thèmes de recherche actuels nourris par la L
 ogique Linéaire.\n\n\n\n\n\n\n\n\n\n\n\n\nSpeakers \n\nBeniamino Accatol
 i (LIX\, École Polytechnique)\nThomas Ehrhard (IRIF\, Paris)\nJean-Yves G
 irard (I2M\, Aix-Marseille)\nMarie Kerjean (LIPN\, Paris 13)\nOlivier Laur
 ent (LIP\, ÉNS Lyon)\nGiulio Manzonetto (LIPN\, Paris 13)\nDamiano Mazza 
 (LIPN\, Paris 13)\nPaul-André Melliès (IRIF\, Sorbonne)\nDale Miller (LI
 X\, École Polytechnique)\nKoko Muroya (KURIMS\, Kyoto)\nMichele Pagani (I
 RIF\, Paris)\nLaurent Regnier (I2M\, Aix-Marseille)\nAlexis Saurin (IRIF\,
  Paris)\nChristine Tasson (LiP6\, Paris)\nLorenzo Tortora de Falco (Roma T
 re University)\nLionel Vaux Auclair (I2M\, Aix-Marseille)\n\n\n\n\n\nPreli
 minary program :\n\nMonday:\nIntroduction (Ehrhard\, Regnier)\nMultiplica
 tive proof nets (Laurent)\n\nTuesday:\nFull LL sequent calculus (Pagani\, 
 Saurin)\nLab sessions on proof construction and proof transformations\n\nW
 ednesday:\nMELL proof nets (Tortora de Falco\, Vaux Auclair)\n\nThursday:\
 nDenotational models of LL (Ehrhard\, Mellies\, Tasson)\nGeometry of inter
 action (Regnier)\n\nFriday:\nSeries of invited talks: reaping the fruits o
 f linear logic (Accatoli\, Kerjean\, Manzonetto\, Mazza\, Miller\, Muroya)
 \nClosing lecture (Girard)\n\n[su_spacer size="10"]\n\n\n\nSPONSORS\n\n\n 
  \n\n
CATEGORIES:École ou Master class,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