[TYPES/announce] Call for Participation to the Second Workshop on Automated Deduction for Separation Logics (ADSL 2020)

[Radu Iosif]

Second Workshop on Automated Deduction for Separation Logics, New Orleans, USA, January 20th 2020

https://popl20.sigplan.org/home/adsl-2020

The workshop is affiliated with the 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020).

Invited speakers: 

 * Robbert Krebbers (Delft University of Technology) : Relational reasoning using concurrent separation logic
 * Josh Berdine (Facebook) : SLEdge: Bounded Model Checking in Separation Logic
 * Nadia Polikarpova (University of California, San Diego) : Programs Synthesis with Separation Logic
 * Thomas Wies (New York University) : Local Reasoning for Global Graph Properties

The final program is available here: 

https://popl20.sigplan.org/home/adsl-2020#program

Program committee

Josh Berdine (Facebook)
James Brotherston (University College London)
Stephane Demri (LSV, CNRS, ENS Paris-Saclay)
Nikos Gorogiannis (Middlesex University London, Facebook)
Lukas Holik (Brno Univ. of Technology)
Radu Iosif (Verimag, CNRS, University of Grenoble Alpes)
Dominique Larchey-Wendling (CNRS, LORIA)
Quang Loc Le (Teeside University)
Alekandar Nanevski (IMDEA Software)
Peter O'Hearn (Facebook)
Nadia Polikarpova (University of California San Diego)
David Pym (University College London)
Mihaela Sighireanu (IRIF, CNRS, Universite Paris Diderot)
Thomas Wies (New York University)
Zhilin Wu (Chinese Academy of Sciences)
Florian Zuleger (Technical University of Vienna)

Organisation

Radu Iosif (VERIMAG, CNRS, University of Grenoble Alpes)
Nikos Gorogiannis (Middlesex University London, Facebook)