Difference between revisions of "LOPSTR 2020"

From OPENRESEARCH fixed Wiki
Jump to navigation Jump to search
(modified through wikirestore by Th)
 
(modified through wikirestore by orapi)
 
(5 intermediate revisions by 2 users not shown)
Line 6: Line 6:
 
|has program chair=Maribel Fernández
 
|has program chair=Maribel Fernández
 
|Acronym=LOPSTR 2020
 
|Acronym=LOPSTR 2020
|End date=2020/09/09
+
|End date=2020-09-09
 
|Series =LOPSTR
 
|Series =LOPSTR
 
|Type  =Conference
 
|Type  =Conference
Line 12: Line 12:
 
|State  =IT/45
 
|State  =IT/45
 
|City  =IT/45/Bologna
 
|City  =IT/45/Bologna
 +
|Year  =2020
 
|Homepage=https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020
 
|Homepage=https://nms.kcl.ac.uk/maribel.fernandez/LOPSTR2020
|Start date=2020/09/07
+
|Start date=2020-09-07
|Title  =30th International Symposium on Logic-Based Program Synthesis and Transformation}}
+
|Title  =30th International Symposium on Logic-Based Program Synthesis and Transformation
 +
}}

Latest revision as of 03:35, 6 December 2021


Event Rating

median worst
Pain1.svg Pain5.svg

List of all ratings can be found at LOPSTR 2020/rating

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: IT/45/Bologna, IT/45, IT
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