Difference between revisions of "LOPSTR 2016"
Jump to navigation
Jump to 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 | ||
}} | }} | ||
Revision as of 07: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 |
| 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 | |