From OPENRESEARCH th copy Wiki
Jump to navigation
Jump to 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... {"minzoom":false,"maxzoom":false,"mappingservice":"leaflet","width":"280px","height":"280px","centre":false,"title":"","label":"","icon":"","lines":[],"polygons":[],"circles":[],"rectangles":[],"copycoords":false,"static":false,"zoom":false,"defzoom":14,"layers":["OpenStreetMap"],"image layers":[],"overlays":[],"resizable":false,"fullscreen":false,"scrollwheelzoom":true,"cluster":false,"clustermaxzoom":20,"clusterzoomonclick":true,"clustermaxradius":80,"clusterspiderfy":true,"geojson":"","clicktarget":"","imageLayers":[],"locations":[],"imageoverlays":null}
|
|
|
| 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
|
|
|
|
|