LOPSTR 2016

From Openresearch
Jump to: navigation, search
LOPSTR 2016
26th International Symposium on Logic-based Program Synthesis and Transformation
Event in series LOPSTR
Dates 2016/09/06 (iCal) - 2016/09/08
Homepage: http://www.cliplab.org/Conferences/LOPSTR16
Location
Location: Edinburgh, UK
Loading map...

Papers: Submitted 38 / Accepted 20 (52.6 %)
Committees
Organizers: James Cheney
PC chairs: Manuel Hermenegildo, Pedro López-García
PC members: Slim Abdennadher, Maria Alpuente, Sergio Antoy, Michael Codish, Jérôme Feret
Keynote speaker: Francesco Logozzo, Greg Morrisett, Martin Vechev
Table of Contents