Logic List Mailing Archive

CfP: FLOPS 2024: 17th International Symposium on Functional and Logic Programming, 15 - 17 May 2024, Kumamoto (Japan)

Dear all,

===================================================
Call For Papers

FLOPS 2024: 17th International Symposium on Functional and Logic Programming
===================================================

This is a reminder that the deadline for FLOPS 2024 submissions is rapidly approaching:

*** Important Dates ***

All deadlines are Anywhere on Earth (AoE = UTC-12).

* Abstract due: Wed 6th Dec 2023
* Submission deadline: Wed 13th Dec 2023
* Notifications: Wed 31st Jan 2024
* Final versions due: Wed 28th Feb 2024
* Conference: 15th to 17th May 2024, Kumamoto, Japan

We are delighted to announce Youyou Cong (Tokyo Institute of Technology), Katsumi Inoue (National Institute of Informatics), and Yuliya Lierler (University of Nebraska) as keynote speakers, and hope to be able to add one more shortly.

For details, please see the website: https://conf.researchr.org/home/flops-2024

We look forward to seeing your papers!
Dale and Jeremy (PC co-chairs)

Dale.Miller@inria.fr<mailto:Dale.Miller@inria.fr>
http://www.lix.polytechnique.fr/Labo/Dale.Miller/

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php