root:https://www.call4paper.com
current_path:/cfp/listBySubject
current_url:https://www.call4paper.com/cfp/listBySubject
Call For Papers - The World's Largest Index/List of Call For Papers
No. Title Location Date Submission Due Date
1 5th Workshop on Formal Reasoning about Causation, Responsibility, & Explanations in Science & Technology
(CREST 2020)
 ()
Dublin, Ireland 2020-04-25
~
2020-04-25
2020-01-25
[Passed]
2 4th Workshop on Learning in Verification
(LiVe 2020)
 ()
Dublin, Ireland 2020-04-25
~
2020-04-25
2020-02-15
[Passed]
3 4th Workshop on Models for Formal Analysis of Real Systems
(MARS 2020)
 ()
Dublin, Ireland 2020-04-26
~
2020-04-26
2020-01-12
[Passed]
4 12th NASA Formal Methods Symposium
(NFM 2020)
 ()
Moffett Field, CA, USA 2020-05-11
~
2020-05-15
2019-12-19
[Passed]
(Abstract Submission Due Date:
2019-12-12
[Passed])
5 14th International Workshop on the Implementation of Logics - IWIL 2020  () Spain, Alicante 2020-05-22
~
2020-05-22
2020-05-15 (Abstract Submission Due Date:
2020-04-12)
6 8th International Conference on Formal Methods in Software Engineering
(FormaliSE 2020)
 ()
Seoul, South Korea 2020-05-25
~
2020-05-26
2020-01-16
[Passed]
(Abstract Submission Due Date:
2020-01-09
[Passed])
7 ABZ 2020 – 7th International Conference on Rigorous State Based Methods  () Ulm, Germany 2020-05-27
~
2020-05-29
2020-01-20
[Passed]
(Abstract Submission Due Date:
2020-01-13
[Passed])
8 FUN with Algorithms
(FUN 2020)
 ()
Island of Favignana, Italy 2020-06-08
~
2020-06-10
2020-02-10
[Passed]
9 15th Conference on the Theory of Quantum Computation, Communication and Cryptography
(TQC 2020)
 ()
Riga, Latvia 2020-06-09
~
2020-06-12
2020-02-15
[Passed]
10 International Federated Conference on Distributed Computing Techniques
(DisCoTec 2020)
 ()
Malta 2020-06-15
~
2020-06-19
2020-02-14
[Passed]
(Abstract Submission Due Date:
2020-02-03
[Passed])
11 14th International Baltic Conference on Databases and Information Systems
(DBIS 2020)
 ()
Estonia, Tallinn 2020-06-16
~
2020-06-19
2020-03-02
[Passed]
12 Computer Aided Verification
(CAV 2020)
 ()
Los Angeles, USA 2020-06-21
~
2020-06-24
2020-01-23
[Passed]
13 Scandinavian Workshop on Algorithm Theory
(SWAT 2020)
 ()
Faroe Islands 2020-06-22
~
2020-06-24
2020-02-14
[Passed]
14 10th International Joint Conference on Automated Reasoning
(IJCAR 2020)
 ()
Paris, France 2020-06-29
~
2020-07-05
2020-01-23
[Passed]
(Abstract Submission Due Date:
2020-01-16
[Passed])
15 4th International Joint Conference on Rules and Reasoning 2020
(RuleML+RR 2020)
 ()
Norway, Oslo 2020-06-29
~
2020-07-01
2020-05-01
16 10th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
(SIMULTECH 2020)
 ()
Lieusaint - Paris, France 2020-07-08
~
2020-07-10
2020-02-14
[Passed]
17 19th International Conference on Unconventional Computation and Natural Computation
(UCNC 2020)
 ()
Vienna, Austria 2020-08-17
~
2020-08-21
2020-04-01
[Passed]
18 25th International Conference on Formal Methods for Industrial Critical Systems
(FMICS 2020)
 ()
Vienna, Austria 2020-09-02
~
2020-09-03
2020-05-15 (Abstract Submission Due Date:
2020-05-08)
19 26th International Conference on DNA Computing and Molecular Programming
(DNA 2020)
 ()
Oxford, UK 2020-09-13
~
2020-09-18
2020-04-20
20 11th International Symposium on Games, Automata, Logics, and Formal Verification
(GandALF 2020)
 ()
Brussels, Belgium 2020-09-21
~
2020-09-23
2020-06-15 (Abstract Submission Due Date:
2020-06-13)
21 The 22nd International Conference on Formal Engineering Methods (2020)
(ICFEM 2020)
 ()
Singapore 2020-11-02
~
2020-11-06
2020-05-01
22 Foundations of Computer Science
(FOCS 2020)
 ()
Durham, NC USA 2020-11-16
~
2020-11-19
2020-04-09
23 23rd International Symposium on Fundamentals of Computation Theory
(FCT 2021)
 ()
Athens, Greece 2021-09-05
~
2021-09-08
Refer to Website