[Agda] FLOPS 2024: final call for abstracts and papers

[Jeremy Gibbons]

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 <https://conf.researchr.org/home/flops-2024>

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

Jeremy.Gibbons at cs.ox.ac.uk
Oxford University Department of Computer Science,
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
+44 1865 283521
http://www.cs.ox.ac.uk/people/jeremy.gibbons/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20231130/4880e507/attachment.html>