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

Theoretical Computer Science
Events (Conferences or Workshops) | Journals (or Book Chapters)

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

Event Promotion

2nd International Virtual Conference on Multidisciplinary Research 2020 (IVCMR 2020)
11/14/2020 ~ 11/14/2020
The 74th World Foundry Congress (The 74th WFC)
10/18/2020 ~ 10/22/2020
Asia-Pacific Conference on Giftedness 2020 (APCG2020)
07/30/2020 ~ 08/03/2020

Journal Promotion

Journal of Information Processing Systems (JIPS)
Journal of Internet Computing and Services (KSII - JICS)
Journal of Multimedia Information System (JMIS)


MANUSCRIPTLINK © 2015 -