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:
Pour les journées 2019, les orateurs invités du GT-Scalp sont:
Pour vous inscrire ou proposer un exposé, merci de remplir le formulaire suivant qui centralise les inscriptions à LHC, Scalp et Chocola.
Quelques informations pour vous organiser:
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.
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.
Liste d'hôtels et de restaurants suggérés par le LIP.
Détails à venir prochainement.
Voici un version préliminaire du programme, encore susceptible de subir de quelques ajustements:
À l'ENS Lyon
14h-15h: Dan Ghica (invited talk). The next 700 abstract machines
15h30–16h30: Valeria Vignudelli (invited talk). The Theory of Traces for Systems with Nondeterminism and Probability
En amphi G1, ISFA (cf informations pratiques, ci-dessus)
8h30-9h: Accueil (informel)
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
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
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
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
À venir.