Event | When | Where | Deadline | |
MECHAN 2023 |
6th International Conference on Mechanical Engineering | |
Dec 16, 2023 - Dec 17, 2023 |
Dubai, UAE |
Sep 24, 2023 |
IJPLA 2023 |
International Journal of Programming Languages and Applications | |
N/A |
N/A |
Sep 30, 2023 |
NLP 2023 |
12th International Conference on Natural Language Processing | |
Oct 28, 2023 - Oct 29, 2023 |
Vienna, Austria |
Sep 30, 2023 |
AIAP 2024 |
11th International Conference on Artificial Intelligence and Applications | |
Jan 20, 2024 - Jan 21, 2024 |
Zurich, Switzerland |
Oct 1, 2023 |
AVC 2023 |
Advances in Vision Computing: An International Journal | |
N/A |
N/A |
Oct 1, 2023 |
CGDEIJ 2023 |
Computer Game Development and Education: An International Journal | |
N/A |
N/A |
Oct 2, 2023 |
ABZ 2024 |
Abstract State Machines, Alloy, B and Z | |
Jun 25, 2024 - Jun 28, 2024 |
Bergamo, Italy |
Feb 10, 2024 (Feb 3, 2024) |
FM 2024 |
Formal Methods | |
Sep 9, 2024 - Sep 13, 2024 |
Milan, Italy |
Apr 12, 2024 (Apr 5, 2024) |
Expired CFPs |
BCYIoT 2023 |
International Conference on Blockchain, Cybersecurity and Internet of Things | |
Oct 7, 2023 - Oct 8, 2023 |
Virtual Conference |
Sep 23, 2023 |
CIFMA 2023 |
Cognition: Interdisciplinary Foundations, Models and Applications | |
Nov 7, 2023 - Nov 7, 2023 |
Eindhoven |
Sep 8, 2023 |
LANMR 2023 |
15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning | |
Nov 16, 2023 - Nov 17, 2023 |
Mexico City |
Sep 8, 2023 |
FMAS 2023 |
Fifth Workshop on Formal Methods for Autonomous Systems | |
Nov 15, 2023 - Nov 16, 2023 |
Leiden, The Netherlands |
Aug 31, 2023 |
CSL 2024 |
32nd EACSL Annual Conference on Computer Science Logic | |
Feb 19, 2024 - Feb 24, 2024 |
Napoli, Italy |
Jul 31, 2023 (Jul 24, 2023) |
SBMF 2023 |
SBMF 2023 | |
Dec 4, 2023 - Dec 8, 2023 |
Manaus, Brazil |
Jul 28, 2023 |
VSTTE 2023 |
International Conference on Verified Software: Theories, Tools, and Experiments | |
Sep 21, 2023 - Sep 25, 2023 |
Ames, Iowa, United States |
Jul 28, 2023 (Jul 21, 2023) |
AREA 2023 |
Agents and Robots for reliable Engineered Autonomy | |
Sep 30, 2023 - Oct 1, 2023 |
Kraków |
Jul 25, 2023 |
FTSCS 2023 |
Ninth ACM International Workshop on Formal Techniques for Safety-Critical Systems | |
Oct 22, 2023 - Oct 22, 2023 |
Cascais, Portugal |
Jul 21, 2023 |
FAACS 2023 |
The 7th International Workshop on Formal Approaches for Advanced Computing Systems | |
Sep 18, 2023 - Sep 19, 2023 |
Istanbul |
Jun 30, 2023 |
CONISOFT 2023 |
IEEE 11th International Conference on Software Engineering Research and Innovation | |
Nov 6, 2023 - Nov 10, 2023 |
León, Guanajuato, México. |
Jun 25, 2023 |
IFM 2023 |
Integrated Formal Methods | |
Nov 13, 2023 - Nov 15, 2023 |
Leiden, The Netherlands |
Jun 1, 2023 (May 25, 2023) |
|