[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