Journées 2019 du GT Scalp 17 et 18 octobre 2019 à l'ENS Lyon Introduction Orateurs invités Inscriptions et propositions d'exposé Informations pratiques Programme Liste des exposés Participants 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: Dan Ghica, University of Birmingham; Valeria Vignudelli, Ens-Lyon. 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.