Difference between revisions of "LOPSTR 2016"

From Openresearch
Jump to: navigation, search
(Created page with "{{Event |Acronym=LOPSTR 2016 |Title=26th International Symposium on Logic-based Program Synthesis and Transformation |Series=LOPSTR |Type=Conference |Start date=2016/09/06 |En...")
 
 
Line 6: Line 6:
 
|Start date=2016/09/06
 
|Start date=2016/09/06
 
|End date=2016/09/08
 
|End date=2016/09/08
 +
|Homepage=http://www.cliplab.org/Conferences/LOPSTR16
 
|City=Edinburgh
 
|City=Edinburgh
 
|Country=UK
 
|Country=UK
 +
|Has coordinator=James Cheney
 +
|has program chair=Manuel Hermenegildo, Pedro López-García
 +
|Has PC member=Slim Abdennadher, Maria Alpuente, Sergio Antoy, Michael Codish, Jérôme Feret
 +
|has Keynote speaker=Francesco Logozzo, Greg Morrisett, Martin Vechev
 
|Submitted papers=38
 
|Submitted papers=38
 
|Accepted papers=20
 
|Accepted papers=20
 
}}
 
}}

Latest revision as of 06:03, 8 April 2020

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