LOPSTR 2020

From Openresearch
Jump to: navigation, search
LOPSTR 2020
30th International Symposium on Logic-Based Program Synthesis and Transformation
Event in series LOPSTR
Dates 2020/09/07 (iCal) - 2020/09/09
Homepage: https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020
Location
Location: Bologna, Italy
Loading map...

Important dates
Abstracts: 2020/06/05
Papers: 2020/06/12
Notification: 2020/07/12
Committees
Organizers: Maurizio Gabbrielli
PC chairs: Maribel Fernández
Table of Contents


Event


Facts about "LOPSTR 2020"
Abstract deadlineJune 5, 2020 +
AcronymLOPSTR 2020 +
End dateSeptember 9, 2020 +
Event in seriesLOPSTR +
Has coordinates44° 29' 37", 11° 20' 35"Latitude: 44.493672222222
Longitude: 11.343033333333
+
Has coordinatorMaurizio Gabbrielli +
Has location cityBologna +
Has location countryCategory:Italy +
Has program chairMaribel Fernández +
Homepagehttps://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020 +
IsAEvent +
NotificationJuly 12, 2020 +
Paper deadlineJune 12, 2020 +
Start dateSeptember 7, 2020 +
Submission deadlineJune 12, 2020 +
Title30th International Symposium on Logic-Based Program Synthesis and Transformation +