Journées inaugurales du GT Scalp 26 et 27 novembre 2018 au LRI Les premières journées du GT Scalp se dérouleront au LRI (Orsay) dans l'amphi Shannon (bâtiment 660), les 26 et 27 novembre 2018. Orateurs invités Inscriptions et propositions d'exposé Informations pratiques Programme Participants Orateurs invités Pour les journées 2018, les orateurs invités du GT-Scalp sont: Claudia Faggian (IRIF) Rodolphe Lepigre (LSV) Guillaume Munch-Maccagnoni (INRIA Bretagne, Gallinette) Inscriptions et propositions d'exposé Pour vous inscrire ou proposer un exposé, merci de remplir le formulaire suivant. Informations pratiques Quelques informations pour vous organiser: Horaires La réunion du GT débutera le lundi à 13H et s'achèvera mardi en fin d'après-midi. Accès Les journées se dérouleront au LRI, dans l'amphi Shannon (bâtiment 660) Accès au campus et transports en commun: https://www.lri.fr/info.pratiques.php Plan du campus Pour venir, pensez à regarder les horaires d'arrivée à la gare TGV de Massy-palaiseau Événement social Le dîner aura lieu lundi soir au Gramophone, à Orsay. Hébergement À proximité immédiate du lieu du GT Scalp : B&B Hôtel Saclay Campanile Paris Saclay. Un peu plus loin (10 minutes en bus ou 25 minutes à pied) : Les Chevaliers des Balances Hôtel d'Orsay Du côté de Massy-Palaiseau (25 minutes en bus) : Aparthotel Massy Gare TGV Tulip Inn Massy Palaiseau Séjours & Affaires Apparthotel Note : la présence sur cette page d'un hôtel ne préjuge en rien de sa qualité. Ils ont été choisis uniquement sur un critère d'accessibilité au lieu des journées du GT Scalp… nous ne les avons pas testés! Programme Lundi 26 novembre: 13h-13h30: Accueil Session 1 13h30-14h30: Guillaume Munch : From systems programming to linear logic, and back 14h30-15h: Kenji Maillard : Computational monads 15h-15h30: Hugo Herbelin : Trees with only finite branches vs inductively well-founded tree: investigations into Dependent Choice, Bar Induction, König's Lemma, and the Fan Theorem 15h30-15h50: Pause Session 2 15h50-16h20: Quentin Garchery : Une tactique pour SMTCoq 16h20-16h50: Olivier Laurent : Formalizing quantifiers 16h50-17h20: Rémi Nollet : Toward local validity for circular proofs in linear logic with fixed points 17h20-18h: Business meeting 20h-...: Dîner au Gramophone à Orsay (proche RER Orsay) Mardi 27 novembre: 8h30-9h: Accueil (informel) Session 3 9h-10h: Claudia Faggian : Probabilistic Lambda Calculus: Beyond Deterministic Evaluation 10h-10h30: Paul-André Melliès : Template games 10h30-10h50: Pause Session 4 10h50-11h20: Khalil Ghorbal : Symbolic methods for automated checking and generation of invariant sets 11h20-11h50: Pierre Pradic : Linear MSO and Church synthesis 11h50-12h20: Lê Thành Dũng Nguyễn : Implicit complexity in the simply typed lambda-calculus 12h20-13h50: Déjeuner Session 5 13h50-14h50: Rodolphe Lepigre : Une vue d'ensemble de PML₂ : réalisabilité, sous-typage et preuves cycliques 14h50-15h20: Delia Kesner : Refined quantitative types systems 15h20-15h40: Pause Session 6 15h40-16h10: Adrien Durier : Open call-by-value and the pi-calculus 16h10-16h40: Federico Olimpieri : Characterizing normalization properties of the lambda-calculus through Taylor expansion 16h40-17h10: Véronique Benzaken et Évelyne Contejean : Une sémantique formelle pour SQL mécanisée en Coq Participants Voici la liste des participants inscrits : Aurore Alcolei (LIP, ENS Lyon) David Baelde (LSV) Thibaut Balabonski (LRI, Univ. Paris-Sud) Davide Barbarossa (LIPN, Univ. Paris 13) Véronique Benzaken (Univ. Paris-Sud — Paris Saclay) Valentin Blot (LSV, Inria) Sylvie Boldo (Inria) Flavien Breuvart (LIPN, Univ. Paris 13) Guillaume Burel (ENSIIE - Inria) Jules Chouquet (IRIF) Évelyne Contejean (CNRS) Abhishek De (Univ. Paris-Diderot) Adrien Durier (ENS Lyon) Claudia Faggian (IRIF) Jean-Christophe Filliâtre (CNRS) Quentin Garchery (LRI, Univ. Paris-Sud) Guillaume Genestier (ENS Paris-Saclay, Inria, Mines ParisTech) Khalil Ghorbal (Inria) Alexis Ghyselen (ENS Lyon) Stéphane Graham-Lengrand (CNRS, LIX) Stefano Guerrini (LIPN, Univ. Paris 13) Hugo Herbelin (Inria, IRIF) Olivier Hermant (CRI, Mines ParisTech - PSL) Chantal Keller (LRI, Univ. Paris-Sud) Delia Kesner (IRIF, Univ. Paris-Diderot) Olivier Laurent (CNRS, ENS Lyon) Maico Leberle (Parsifal - LIX/Inria) Dongho Lee (LRI, Univ. Paris-Sud) Rodolphe Lepigre (Inria) Kenji Maillard (ENS, Inria Paris) Matteo Manighetti (Parsifal - LIX/Inria) Guido Martínez (Inria Paris) Micaela Mayero (LIPN, Univ. Paris 13) Damiano Mazza (CNRS, LIPN, Univ. Paris 13) Paul-André Melliès (IRIF) Samuel Mimram (École Polytechnique) Guillaume Munch-Maccagnoni (Inria) Nicolas Nalpon (LRI, Univ. Paris-Sud) Lê Thành Dũng Nguyễn (LIPN, Univ. Paris 13) Rémi Nollet (IRIF) Carlos Olarte (Universidade Federal do Rio Grande do Norte) Federico Olimpieri (Aix-Marseille Université) Michele Pagani (IRIF) Robin Pelle (LRI, Univ. Paris-Sud) Luc Pellissier (Universidad de la República, Montevideo) Elaine Pimentel (UFRN Brésil) Pierre Pradic (ENS Lyon, MIMUW) Colin Riba (LIP, ENS de Lyon) Alexis Saurin (IRIF) Gabriel Scherer (Inria) Christine Tasson (IRIF) François Thiré (LSV, Deducteam) Benoît Valiron (LRI) Andres Viso (Universidad Buenos Aires)