[TYPES/announce] FLOPS 2024: final call for abstracts and papers

[Dale Miller]

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://urldefense.com/v3/__https://conf.researchr.org/home/flops-2024__;!!IBzWLUs!TmY4B4HMO8z2sPYRyjKuYQGKSHszpKyZHLL1QSvwV90KNxki7RBXrKZqTPqiKET7rzeeEAYhwoYRPUqGz06xDMszvZxxKqVr57V5$ 

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

Dale.Miller at inria.fr
https://urldefense.com/v3/__http://www.lix.polytechnique.fr/Labo/Dale.Miller/__;!!IBzWLUs!TmY4B4HMO8z2sPYRyjKuYQGKSHszpKyZHLL1QSvwV90KNxki7RBXrKZqTPqiKET7rzeeEAYhwoYRPUqGz06xDMszvZxxKvovD7Ow$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231201/1ee81a21/attachment.htm>