List of conferences - page 2
- ICTCS 2024: Call for Papers (deadline June 9, 2024)
ICTCS is the conference of the Italian Chapter of the European Association for Theoretical Computer Science.
- 1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering
We are pleased to invite you to submit papers to the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024), held in conjunction with SPLASH 2024.
---------------------------
Important Dates
---------------------------* Abstract Submissions: Fri 14 Jun, 2024
* Paper Submissions: Mon 24 Jun, 2024
* Authors Response Period: Mon 12 Aug - Sat 17 Aug, 2024
* Authors Notification: Fri 30 Aug 2024
* Conference: Sun 20 October - Fri 25 October 2024http://www.sleconf.org/2024/
https://2024.splashcon.org/track/sle-2024- ICLP 2024: Final Call for Papers
The paper submission deadline (May 6) for the 40th International Conference on Logic Programming to be held in Dallas, TX, USA, is fast approaching.
- FMICS 2024 - DEADLINE EXTENSION
29th International Conference on Formal Methods for Industrial Critical Systems
New abstract submission deadline: 4 May 2024
New full paper submission deadline: 8 May 2024
For more info, see: https://fmics.inria.fr/2024/- IFL 2024 first Call for Papers
IFL 2024 -- 36rd Symposium on Implementation and Application of Functional Languages.
venue: Radboud University Nijmegen, The Netherlands
August 26 - 28 2024
https://ifl24.cs.ru.nl- MPLR 2024 Call for Papers
21st International Conference on Managed Programming Languages & Runtimes (MPLR, formerly ManLang, originally PPPJ).
September 19, 2024 (together with ECOOP and ISSTA from September 16-20).Submission Deadline: May 16, 2024
https://conf.researchr.org/home/issta-ecoop-2024/mplr-2024
Submissions: https://mplr24.hotcrp.com/
- IJCAR 2024: Call for Participation
IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr- LOPSTR 2024 -- Call for Papers
34th International Symposium on Logic-Based Program Synthesis
and Transformation (LOPSTR 2024).
Part of FM 2024 and co-located with PPDP 2024, FACS 2024, FMICS 2024,
and TAP 2024.September 9-11, 2024 - Milan, Italy
https://lopstr.github.io/2024/
Important dates:
- Abstract submission: May 6, 2024 (AoE)
- Paper submission: May 10, 2024 (AoE)
- Author notification: June 26, 2024 (AoE)
- Camera-ready: July 17, 2024 (AoE)
- Symposium: September 9-11, 2024