** 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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
