[Om-announce] LOPSTR 2024 - Call for Participation

Daniel Jurjo daniel.jurjo at imdea.org
Thu Aug 1 11:37:18 CEST 2024


** Apologies for multiple postings **

 ------------------------------------------------------------------------------------------------
                        Call for Participation

                             LOPSTR 2024
           The 34th International Symposium on Logic-Based
                Program Synthesis and Transformation

                  Milan, Italy, 9-10 September 2024
       Co-located with PPDP 2024 as part of Formal Methods 2024  

                    https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.github.io%2F2024&data=05%7C02%7C%7C29f596c04f0549699f9d08dcb20de53f%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638581023111743511%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C20000%7C%7C%7C&sdata=DcdKcsRbNNHlLTzajZgd7XjYSG%2BspGrJWC%2BWKuDV98E%3D&reserved=0

 ------------------------------------------------------------------------------------------------

 Registration is open for LOPSTR 2024!

 The 34th International Symposium on Logic-Based Program Synthesis and
 Transformation will be held at Politecnico Milano in Milan, Italy,
 co-located with PPDP 2024, TAP 2024, FACS 2024, FMICS 2024, and FM 2024.
 LOPSTR 2024 takes place September 9-10, 2024.

 LOPSTR aims to stimulate and promote research and collaboration on
 logic-based program development. LOPSTR is open to contributions in 
 any language paradigm. It has a reputation for being a lively, friendly 
 forum.

 REGISTRATION

 Registration to be completed through the FM registration pages; see
 instructions at:

     https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.fm24.polimi.it%2F%3Fpage_id%3D559&data=05%7C02%7C%7C29f596c04f0549699f9d08dcb20de53f%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638581023111743511%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C20000%7C%7C%7C&sdata=LfQxIQjYMwau3g%2BW%2BRgieSOnnnAWae6qwr1nZXXR3Kw%3D&reserved=0

 INVITED SPEAKERS

 - Vitor Santos Costa
   Logic-Based Neural Networks

 - Ningning Xie
   Safe and Easy Compile-Time Generative Programming

 FULL PROGRAM

  See https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.github.io%2F2024%2F%23program&data=05%7C02%7C%7C29f596c04f0549699f9d08dcb20de53f%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638581023111743511%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C20000%7C%7C%7C&sdata=iVHy4lJ%2BZ%2BUxccUFLwH6q%2B5Ui8FsZuC4HWeKpan1e3s%3D&reserved=0



More information about the Om-announce mailing list