List of conferences - page 7
- CGO'24 - Student Research Competition (SRC) and more
CGO'24 Student Research Competition (SRC) is now OPEN!
- FORTE 2024 CfP
CALL FOR PAPERS
FORTE 2024
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems
June 17-21, 2024
Groningen, The NetherlandsSubmit your papers by February 9, 2024!
https://www.discotec.org/2024/forte
- CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages
Call For Papers
COORDINATION 2024
26th International Conference on Coordination Models and LanguagesDates: June 18-20, 2024
Location: University of Groningen, The Netherlands
Website: https://www.discotec.org/2024/coordinationPaper submission deadline: February 09, 2024
Submission Link: https://easychair.org/conferences/?conf=coordination2024- Joint CfP: DisCoTec 2024
19th International Federated Conference on Distributed Computing Techniques
- FM 2024: First Call for Papers
First call for papers for the International Symposium on Formal Methods 2024
- IJCAR 2024: 2nd call for co-located events
IJCAR 2024: call for co-located events
12th International Joint Conference on Automated Reasoning – IJCAR 2024
July 1–6, 2024, Nancy, France
https://ijcar2024.loria.frDEADLINE EXTENSION: submissions open till December 8th, 2023
- IJCAR 2024: 2nd CfP
CALL FOR PAPERS
IJCAR 2024
The 12th International Joint Conference on Automated Reasoning
Nancy, France, July 1-6, 2024
https://ijcar2024.loria.fr/- CFP - 27th Ibero-American Conference on Software Engineering (CIbSE 2024)
******************************************************************
27th Ibero-American Conference on Software Engineering(CIbSE 2024)
Curitiba, Paraná, Brazil, 6-10 May 2024 ******************************************************************
