17 et 18 octobre 2019 à l'ENS Lyon

Introduction

La rencontre 2019 du GT Scalp se déroulera à l'ENS Lyon les 17 et 18 octobre et sera précédée de trois événements liés:

  • La rencontre 2019 du GT LHC le 16 octobre à Lyon, sur le campus de la Doua.
  • La rencontre d'octobre du séminaire mensuel Chocola qui se commune avec la rencontre du GT et fera la jonction entre les journées LHC et Scalp.
  • La soutenance de thèse d'Aurore Alcolei le 17 octobre après-midi à l'ENS Lyon.

Orateurs invités

Pour les journées 2019, les orateurs invités du GT-Scalp sont:

Inscriptions et propositions d'exposé

Pour vous inscrire ou proposer un exposé, merci de remplir le formulaire suivant qui centralise les inscriptions à LHC, Scalp et Chocola.

Informations pratiques

Quelques informations pour vous organiser:

Accès

Les journées se dérouleront à l'ENS Lyon. Informations pour venir à l'ENS.

!!Attention!! Les exposés de la journée du 18 octobre auront lieu à l'ISFA, amphi G1. Le bâtiment est à 7 minutes de marche de l'ENS de Lyon, en suivant ce plan. Nous prendrons néanmoins le repas de midi à l'ENS de Lyon, site Monod, en salle passerelle, au centre du 4è étage.

Événement social

Pour l'événement social du GT, nous proposons cette année une visite nocturne au musée des confluences le jeudi 17 au soir.

Hébergement

Liste d'hôtels et de restaurants suggérés par le LIP.

Programme

Détails à venir prochainement.

  • Jeudi 17 octobre: exposés invités (Dan Ghica et Valeria Vignudelli) en lien avec le séminaire Chocola (et soutenance de thèse d'Aurore Alcolei).
  • Vendredi 18 octobre: exposés contribués. La journée devrait se dérouler de 9H à environ 17H/17H30 (légères modifications encore possible sur les horaires.)

Voici un version préliminaire du programme, encore susceptible de subir de quelques ajustements:

Jeudi 17 octobre

À l'ENS Lyon

Session 1
14h-15h:  Dan Ghica (invited talk). The next 700 abstract machines 
Session 2
15h30–16h30: Valeria Vignudelli (invited talk). The Theory of Traces for Systems with Nondeterminism and Probability

Vendredi 18 octobre:

En amphi G1, ISFA (cf informations pratiques, ci-dessus)

8h30-9h: Accueil (informel)
Session 3
Modération: Laurent Régnier
9h-9h20:  Karim Nour. Normalisation en lambda mu mu'- calcul 
9h25-9h45:  Loïc Peyrot. Types quantitatifs pour le lambda-calcul atomique
9h50-10H10: Federico Olimpieri. Rigid intersection types as generalized species: a bi-categorical model for pure lambda-calculus.
 
10h15-10h45: Pause
Session 4
Modération: Amina Doumane
10h45-11h05: Abhishek De. Towards Circular Proof Nets
11h10-11h30:  Rémi Nollet. PSPACE-completeness of the thread criterion for circular proofs in MALL with least and greatest fixed points.
11h35-11h55:  Laureline Pinault. Cyclic proofs and Jumping automata
12h - 13h30: Déjeuner
Session 5
13h30-14h30: Business Meeting
Modération: Délia Kesner
14h30-14h50: Claudia Faggian. Factorize your way to normalization (and beyond)
14h55-15h15: Lionel Vaux. The algebraic λ-calculus, 12 years later: a conservativity proof at last
15h20-15h45: Pause
Session 6
Modération: Valentin Blot
15h45-16h05: Olivier Laurent. The Logic of Phase Semantics
16h10-16h30: Christian Retoré. Completeness of first order intuitionistic logic with respect to (pre)sheaves of classical models
16h35-16h55: François Thiré. Interoperability between Cumulative Type Systems
17h15: Fin des journées

Liste des exposés

  • Abhishek De. Towards Circular Proof Nets
  • Claudia Faggian. Factorize your way to normalization (and beyond)
  • Olivier Laurent. The Logic of Phase Semantics
  • Paul-André Melliès. Template games and differential linear logic (annulé)
  • Rémi Nollet. PSPACE-completeness of the thread criterion for circular proofs in MALL with least and greatest fixed points.
  • Karim Nour. Normalisation en lambda mu mu'- calcul
  • Federico Olimpieri. Rigid intersection types as generalized species: a bi-categorical model for pure lambda-calculus.
  • Loïc Peyrot. Types quantitatifs pour le lambda-calcul atomique
  • Laureline Pinault. Cyclic proofs and Jumping automata
  • Christian Retoré. Completeness of first order intuitionistic logic with respect to (pre)sheaves of classical models
  • François Thiré. Interoperability between Cumulative Type Systems
  • Lionel Vaux. The algebraic λ-calculus, 12 years later: a conservativity proof at last

Participants

À venir.