Difference between revisions of "LOPSTR 2018"
Jump to navigation
Jump to search
(Created page with "{{Event |Acronym=LOPSTR 2018 |Title=28th International Symposium on Logic-based Program Synthesis and Transformation |Series=LOPSTR |Type=Conference |Start date=2018/09/04 |En...") |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 11: | Line 11: | ||
|Has coordinator=David Sabel | |Has coordinator=David Sabel | ||
|has program chair=Fred Mesnard, Peter Stuckey | |has program chair=Fred Mesnard, Peter Stuckey | ||
| − | |Has PC member= | + | |Has PC member=Elvira Albert, Sandrine Blazy, Mats Carlsson, Vitor Santos Costa, Agostino Dovier |
|Submitted papers=29 | |Submitted papers=29 | ||
|Accepted papers=11 | |Accepted papers=11 | ||
| + | |pageCreator=Kirsten.Goschenhofer | ||
| + | |pageEditor=Kirsten.Goschenhofer | ||
| + | |contributionType=1 | ||
}} | }} | ||
Latest revision as of 19:53, 1 April 2022
| LOPSTR 2018 | |
|---|---|
28th International Symposium on Logic-based Program Synthesis and Transformation
| |
| Event in series | LOPSTR |
| Dates | 2018/09/04 (iCal) - 2018/09/06 |
| Homepage: | http://ppdp-lopstr-18.cs.uni-frankfurt.de/lopstr18.html |
| Location | |
| Location: | Frankfurt am Main, Germany |
| Papers: | Submitted 29 / Accepted 11 (37.9 %) |
| Committees | |
| Organizers: | David Sabel |
| PC chairs: | Fred Mesnard, Peter Stuckey |
| PC members: | Elvira Albert, Sandrine Blazy, Mats Carlsson, Vitor Santos Costa, Agostino Dovier |
| Table of Contents | |