[Event at CIG] LOPSTR 2024 - Call for Participation

[Daniel Jurjo]

** 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://lopstr.github.io/2024

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

 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://www.fm24.polimi.it/?page_id=559

 INVITED SPEAKERS

 - Vitor Santos Costa
   Logic-Based Neural Networks

 - Ningning Xie
   Safe and Easy Compile-Time Generative Programming

 FULL PROGRAM

  See https://lopstr.github.io/2024/#program