List of conferences - page 4
- 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
- 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 ******************************************************************- IJCAR 2024: call for co-located events
The International Joint Conference on Automated Reasoning (IJCAR 2024) is
soliciting proposals for co-located events such as workshops, tutorials and
competitions.- SPIN 2024 - Call for Papers - extended deadline: 22 January 2024
The 30th SPIN Symposium on Model Checking of Software will take place on April 10--11, 2024, in Luxembourg City, Luxembourg, colocated with ETAPS 2024. This call for papers solicits three categories of papers: full, short, and special anniversary papers, celebrating the 30th Anniversary of the SPIN Symposium.
