===== Journées 2019 du GT Scalp =====
==== 17 et 18 octobre 2019 à l'ENS Lyon ====


  * [[gt-scalp:journees-2019#introduction|Introduction]]
  * [[gt-scalp:journees-2019#orateurs_invites|Orateurs invités]]
  * [[gt-scalp:journees-2019#inscriptions_et_propositions_d_expose|Inscriptions et propositions d'exposé]]
  * [[gt-scalp:journees-2019#informations_pratiques|Informations pratiques]]
  * [[gt-scalp:journees-2019#programme|Programme]]
  * [[gt-scalp:journees-2019#liste_des_exposes|Liste des exposés]]
  * [[gt-scalp:journees-2019#participants|Participants]]

==== Introduction ====

La rencontre 2019 du [[http://www.irif.fr/gt-scalp/|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 [[ http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/LHC/journees|rencontre 2019 du GT LHC]] le 16 octobre à Lyon, sur le campus de la Doua.
  * La [[http://chocola.ens-lyon.fr/|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: 

  * [[https://www.cs.bham.ac.uk/~drg/|Dan Ghica]], University of Birmingham;
  * [[https://sites.google.com/site/valeriavignudelli/|Valeria Vignudelli]], Ens-Lyon.

==== Inscriptions et propositions d'exposé ====


Pour vous inscrire ou proposer un exposé, merci de remplir le 
**[[https://forms.gle/H7fLYv8WM2ES2StF7|formulaire suivant]]** qui centralise les inscriptions à LHC, Scalp et Chocola.
/*
[[https://framaforms.org/gt-scalp-rencontres-2019-18-octobre-a-lyon-inscription-1567505861|formulaire suivant]].

*/

==== Informations pratiques ====

Quelques informations pour vous organiser:


== Accès ==

Les journées se dérouleront à l'ENS Lyon. [[http://www.ens-lyon.fr/LIP/index.php/useful-informations#Venir|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
[[https://goo.gl/maps/P2RVMkkM2ZuQpuuc9|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 ==

[[http://www.ens-lyon.fr/LIP/index.php/useful-informations#Hotels|Liste d'hôtels]] et [[http://www.ens-lyon.fr/LIP/index.php/useful-informations#Restaurants|de restaurants]] suggérés par le LIP.


/*
== Horaires ==

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

  * [[https://www.google.fr/maps/dir/Le+Guichet/660,+Rue+Noetzlin,+91190+Gif-sur-Yvette/@48.7095031,2.1616119,14z/data=!3m1!4b1!4m14!4m13!1m5!1m1!1s0x47e678a46da4d41f:0x98e8cdc7ddb3480a!2m2!1d2.191621!2d48.704825!1m5!1m1!1s0x47e67f4f1706c115:0xf7f497934eca22a1!2m2!1d2.1666219!2d48.7124608!3e2?hl=fr|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 [[http://www.legramophone.net/|Gramophone]], à Orsay.

== Hébergement ==

À proximité immédiate du lieu du GT Scalp :
  * [[https://www.hotel-bb.com/fr/hotels/saclay.htm|B&B Hôtel Saclay]]
  * [[https://www.campanile.com/fr/hotels/campanile-paris-saclay |Campanile Paris Saclay]].

Un peu plus loin (10 minutes en bus ou 25 minutes à pied) :
  *  [[https://www.leschevaliersdesbalances.fr/|Les Chevaliers des Balances]]
  *  [[https://www.orsay-hotel.com/|Hôtel d'Orsay]]

Du côté de Massy-Palaiseau (25 minutes en bus) :
  *  [[https://www.adagio-city.com/fr/hotel-8696-aparthotel-adagio-access-paris-massy-gare/index.shtml|Aparthotel Massy Gare TGV]]
  *  [[https://tulip-inn-massy-palaiseau.goldentulip.com/|Tulip Inn Massy Palaiseau]]
  *  [[https://www.sejours-affaires.com/residence-hoteliere-aparthotel-massy-247.html|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 ====

Détails à venir prochainement.

  * Jeudi 17 octobre: exposés invités ([[https://www.cs.bham.ac.uk/~drg/|Dan Ghica]] et [[https://sites.google.com/site/valeriavignudelli/|Valeria Vignudelli]]) en lien avec le [[http://chocola.ens-lyon.fr/|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
  * <del>Paul-André Melliès. Template games and differential linear logic</del> (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.
/*
Voici la liste des participants inscrits : 

  Thibaut Balabonski (LRI, Univ. Paris-Sud)
  Damiano Mazza (CNRS, LIPN, Univ. Paris 13)
  Alexis Saurin (IRIF)
*/