- Philippa Gardner, Imperial College.
- Jorge Navas, SRI International.
Constrained Horn Clauses for Verification
- Chung-Chieh Shan, University of Indiana.
- Laure Gonnord, University of Lyon.
Experiences in Designing Scalable Static Analyses
* invited tutorials:
LOPSTR includes two invited tutorials:
- Fabio Fioravanti, University of Chieti-Pescara.
The VeryMAP System for program transformation and verification
- Manuel Hermenegildo, IMDEA Software Institute.
25 Years of Ciao
* a session in Honour of Martin Hofmann
PPDP includes a session in honour of Martin Hofmann with an invited talk given by
Nick Benton, Facebook.
Semantic Equivalence Checking for HHVM Bytecode