[TYPES/announce] Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for Participation

RADU IOSIF radu.iosif at univ-grenoble-alpes.fr
Fri Jul 1 13:09:00 EDT 2022


Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022

Homepage: https://urldefense.com/v3/__https://asl-workshop.github.io/asl22/__;!!IBzWLUs!Sqqhg-MpymJXTlbQS8YfB3jsHESkjw5AH7N9hBNFFhIMS0JvtVxWwk5lQp36BmOdSw-naSAgDuoPW9FcYWA3X0QUPxubcnK25QvR8PjdGeIgd44$ 
Program:  https://urldefense.com/v3/__https://easychair.org/smart-program/FLoC2022/ASL-index.html__;!!IBzWLUs!Sqqhg-MpymJXTlbQS8YfB3jsHESkjw5AH7N9hBNFFhIMS0JvtVxWwk5lQp36BmOdSw-naSAgDuoPW9FcYWA3X0QUPxubcnK25QvR8Pjd4f8xrdU$ 

Keynote Speakers

  * Philippa Gardner, Imperial College London
  * Ralf Jung, MIT CSAIL

ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022.
In-person registration is done via the FLOC 2022 registration link:

	  https://urldefense.com/v3/__https://www.floc2022.org/registration__;!!IBzWLUs!Sqqhg-MpymJXTlbQS8YfB3jsHESkjw5AH7N9hBNFFhIMS0JvtVxWwk5lQp36BmOdSw-naSAgDuoPW9FcYWA3X0QUPxubcnK25QvR8Pjd9Vr7GuA$ 

Virtual participation is free of charge but requires registration via the following link:

	  https://urldefense.com/v3/__https://asl2022.rsvpify.com/__;!!IBzWLUs!Sqqhg-MpymJXTlbQS8YfB3jsHESkjw5AH7N9hBNFFhIMS0JvtVxWwk5lQp36BmOdSw-naSAgDuoPW9FcYWA3X0QUPxubcnK25QvR8PjdDP4ag-I$ 

Program Committee

   Nadia Polikarpova (UCSD, San Diego, USA)
   James Brotherston (UCL, London, UK)
   Qinxiang Cao (Shanghai Jiaotong University)
   Dan Frumin (University of Groningen, The Netherlands)
   Lennart Beringer (Princeton University, USA)
   Arthur Charguéraud (INRIA Strasbourg, France)
   Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
   Le Quang Loc (UCL, London, UK)
   Alessio Mansutti (University of Oxford, UK)
   Christoph Matheja (DTU, Lyngby, Denmark)
   Daniel Méry (University of Loraine, France)
   Koji Nakazawa (Nagoya University, Japan)
   Nicolas Peltier (LIG, CNRS, Grenoble, France)
   Adam Rogalewicz (Brno University of Technology, Czech Republic)
   Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
   Florian Zuleger (Vienna University of Technology, Austria)

Organizing committee

   Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France)
   Nikos Gorogiannis (Meta, London, UK)
   Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands)
   Mihaela Sighireanu (LMF, ENS Paris-Saclay, France)
   Makoto Tatsuta (NII, Tokyo, Japan)
   Thomas Noll (RWTH, Aachen, Germany)


More information about the Types-announce mailing list