View source for LOPSTR 2016

Jump to: navigation, search

You do not have permission to edit this page, for the following reason:

The action you have requested is limited to users in the group: Users.

You can view and copy the source of this page.

Templates used on this page:

Return to LOPSTR 2016.

Retrieved from "https://www.openresearch.org/wiki/LOPSTR_2016"
Facts about "LOPSTR 2016"
RDF feed
Acceptance rate52.6 +
Accepted papers20 +
AcronymLOPSTR 2016 +
End dateSeptember 8, 2016 +
Event in seriesLOPSTR +
Event typeConference +
Has Keynote speakerFrancesco Logozzo +, Greg Morrisett + and Martin Vechev +
Has PC memberSlim Abdennadher +, Maria Alpuente +, Sergio Antoy +, Michael Codish + and Jérôme Feret +
Has coordinates55° 57' 12", -3° 11' 18"Latitude: 55.953344444444
Longitude: -3.188375 +
Has coordinatorJames Cheney +
Has location cityEdinburgh +
Has location countryCategory:UK +
Has program chairManuel Hermenegildo + and Pedro López-García +
Homepagehttp://www.cliplab.org/Conferences/LOPSTR16 +
IsAEvent +
Start dateSeptember 6, 2016 +
Submitted papers38 +
Title26th International Symposium on Logic-based Program Synthesis and Transformation +