List of conferences
- Joint Call for Workshop Submissions - Software Technologies: Applications and Foundations (STAF 2024)
Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It was formed after the end of the successful TOOLS federated event in 2012, providing a loose umbrella organisation with a steering committee that aims to provide continuity. The next edition is approaching, and workshops are still open for submissions!
- CPF SBLP 2024
28th Brazilian Symposium on Programming Languages (SBLP 2024) at Curitiba, Brazil
- 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- FMICS 2024 paper submission deadline is very close
Call-for-papers:
29th International Conference on Formal Methods for Industrial Critical SystemsCo-located with FM 2024 in Milan, Italy, 9-11 September 2024
IMPORTANT DATES
- Abstract submission: 25 April 2024
- Paper submission: 1 May 2024
- Notification: 10 June 2024
- Camera-ready version: 23 June 2024
- Conference: 9-11 September 2024For more info, see: https://fmics.inria.fr/2024/
