Browse wiki

Jump to: navigation, search
LOPSTR 2016
Acceptance rate
52.6  +
Accepted papers
20  +
Acronym
LOPSTR 2016  +
End date
September 8, 2016  +
Event in series
LOPSTR +
Event type
Conference  +
Has Keynote speaker
Francesco Logozzo + , Greg Morrisett + , Martin Vechev +
Has PC member
Slim Abdennadher + , Maria Alpuente + , Sergio Antoy + , Michael Codish + , Jérôme Feret +
Has coordinates
55° 57' 12", -3° 11' 18"Latitude: 55.953344444444
Longitude: -3.188375  +
Has coordinator
James Cheney +
Has location city
Edinburgh +
Has location country
Category:UK +
Has program chair
Manuel Hermenegildo + , Pedro López-García +
Homepage
http://www.cliplab.org/Conferences/LOPSTR16  +
IsA
Event  +
Start date
September 6, 2016  +
Submitted papers
38  +
Title
26th International Symposium on Logic-based Program Synthesis and Transformation  +
Has query
"Has query" is a predefined property that represents meta information (in form of a subobject) about individual queries and is provided by Semantic MediaWiki.
LOPSTR 2016 + , LOPSTR 2016 + , LOPSTR 2016 +
Creation date
"Creation date" is a predefined property that corresponds to the date of the first revision of a subject and is provided by Semantic MediaWiki.
04:58:40, 8 April 2020  +
Categories
UK , Stand-alone event , Logic
Last editor is
"Last editor is" is a predefined property that contains the page name of the user who created the last revision and is provided by Semantic MediaWiki.
User:Kirsten.Goschenhofer +
Modification date
"Modification date" is a predefined property that corresponds to the date of the last modification of a subject and is provided by Semantic MediaWiki.
05:03:31, 8 April 2020  +
hide properties that link here 
No properties link to this page.
 
Retrieved from "https://www.openresearch.org/wiki/Special:Browse/:Category:Event-20series"