Difference between revisions of "LOPSTR 2016"
Jump to navigation
Jump to search
(modified through wikirestore by orapi) |
(modified through wikirestore by orapi) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|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 | ||
− | | | + | |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 | ||
− | | | + | |Submitted papers=38}} |
Revision as of 21:27, 3 November 2021
Event Rating
median | worst |
---|---|
![]() |
![]() |
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 |
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 | |