Difference between revisions of "LOPSTR 2016"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by orapi)
(modified through wikirestore by orapi)
Line 1: Line 1:
 
{{Event
 
{{Event
|Acronym=LOPSTR 2016
 
|Title=26th International Symposium on Logic-based Program Synthesis and Transformation
 
|Series=LOPSTR
 
|Type=Conference
 
|Start date=2016/09/06
 
|End date=2016/09/08
 
|Homepage=http://www.cliplab.org/Conferences/LOPSTR16
 
|City=Edinburgh
 
|Country=UK
 
 
|Has coordinator=James Cheney
 
|Has coordinator=James Cheney
 
|has program chair=Manuel Hermenegildo, Pedro López-García
 
|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 PC member=Slim Abdennadher, Maria Alpuente, Sergio Antoy, Michael Codish, Jérôme Feret
 
|has Keynote speaker=Francesco Logozzo, Greg Morrisett, Martin Vechev
 
|has Keynote speaker=Francesco Logozzo, Greg Morrisett, Martin Vechev
|Submitted papers=38
+
|Acronym=LOPSTR 2016
 +
|End date=2016/09/08
 +
|Series =LOPSTR
 +
|Type  =Conference
 +
|Country=GB
 +
|State  =GB/SCT
 +
|City  =GB/SCT/Edinburgh
 +
|Homepage=http://www.cliplab.org/Conferences/LOPSTR16
 +
|Start date=2016/09/06
 +
|Title  =26th International Symposium on Logic-based Program Synthesis and Transformation
 
|Accepted papers=20
 
|Accepted papers=20
|State=GB/SCT}}
+
|Submitted papers=38}}

Revision as of 21:27, 3 November 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at LOPSTR 2016/rating

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: GB/SCT/Edinburgh, GB/SCT, GB
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