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 Semantic, Logics, Information Extraction and AI
(SLIE 2020)
 ()
North Miami Beach 2020-05-17
~
2020-05-20
2019-11-18
[Passed]
2 The 34th International Workshop on Unification
(UNIF 2020)
 ()
Paris, France 2020-06-29
~
2020-06-29
2020-04-20 (Abstract Submission Due Date:
2020-04-13)
3 Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science
(LICS 2020)
 ()
Beijing, China 2020-07-08
~
2020-07-12
2020-01-10
[Passed]
(Abstract Submission Due Date:
2020-01-06
[Passed])
4 Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2020)
 ()
Vienna, Austria 2020-08-31
~
2020-08-31
2020-06-26
5 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
(ATVA 2020)
 ()
Hanoi, vietnam 2020-10-26
~
2020-10-30
2020-05-03 (Abstract Submission Due Date:
2020-04-26)