BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2022/newsitem/13673/21 ---23-September-2022-32nd-International-Symposium- on-Logic-based-Program-Synthesis-and-Transformatio n-LOPSTR-2022-Tbilisi-Georgia-Virtual DTSTAMP:20220515T234700 SUMMARY:32nd International Symposium on Logic-base d Program Synthesis and Transformation (LOPSTR 202 2), Tbilisi (Georgia) & Virtual DTSTART;VALUE=DATE:20220921 DTEND;VALUE=DATE:20220923 LOCATION:Tbilisi (Georgia) & Virtual DESCRIPTION:The aim of the LOPSTR series is to sti mulate and promote international research and coll aboration on logic-based program development. LOPS TR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum fo r presenting and discussing work in progress. The 32nd International Symposium on Logic-based Progr am Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-pe rson (at the Ivane Javakhishvili Tbilisi State Uni versity -TSU- in Tbilisi, Georgia) and virtual. LO PSTR 2022 will be co-located with PPDP 2022 as par t of the Computational Logic Autumn Summit 2022. Submissions can be made in two categories: Full Pa pers and Extended Abstracts. All submissions must be written in English. Submissions of Full Papers must describe original work, and must not substant ially overlap with papers that have been published or that are simultaneously submitted to a journal , conference, or workshop with refereed proceeding s. Topics of interest cover all aspects of logic- based program development, all stages of the softw are life cycle, and issues of both programming-in- the-small and programming-in-the-large. Both full papers and extended abstracts describing foundatio ns and applications in these areas are welcome. Su rvey papers that present some aspects of the above topics from a new perspective and papers that des cribe experience with industrial applications are also welcome. X-ALT-DESC;FMTTYPE=text/html:
\n

The aim o f the LOPSTR series is to stimulate and promote in ternational research and collaboration on logic-ba sed program development. LOPSTR is open to contrib utions in logic-based program development in any l anguage paradigm. LOPSTR has a reputation for bein g a lively, friendly forum for presenting and disc ussing work in progress.

\n

The 32nd Intern ational Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2022) will be held as a hybrid (blended) meeting, both in-person (at the Ivane Javakhishvili Tbilisi State University -TSU - in Tbilisi, Georgia) and virtual. LOPSTR 2022 wi ll be co-located with PPDP 2022 as part of the Com putational Logic Autumn Summit 2022.

\n
\n

Submissions can be made in two categorie s: Full Papers and Extended Abstracts. All submiss ions must be written in English. Submissions of Fu ll Papers must describe original work, and must no t substantially overlap with papers that have been published or that are simultaneously submitted to a journal, conference, or workshop with refereed proceedings.

\n

Topics of interest cover al l aspects of logic-based program development, all stages of the software life cycle, and issues of b oth programming-in-the-small and programming-in-th e-large. Both full papers and extended abstracts d escribing foundations and applications in these ar eas are welcome. Survey papers that present some a spects of the above topics from a new perspective and papers that describe experience with industria l applications are also welcome.

\n URL:http://lopstr2022.webs.upv.es/ CONTACT:alvilga1 at upv.es END:VEVENT END:VCALENDAR