IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools

Theoretical Computer Science Events

Find Events


When: Mar 3, 2022 - Mar 5, 2022 Submission Deadline: Oct 2, 2022
ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, f...
FORMAL METHODS   LOGIC   THEORETICAL COMPUTER SCIENCE   ARTIFICIAL INTELLIGENCE  

When: Oct 17, 2022 - Oct 21, 2022 Submission Deadline: Jun 28, 2022
The 16th International Conference on Reachability Problems (RP'22) will be organised by the Max Planck Institute for Software Systems (MPI-SWS) and the University of Kaiserslautern. • In 2020 a...
THEORETICAL COMPUTER SCIENCE   LOGIC   ALGORITHMS   VERIFICATION  



When: Nov 27, 2022 - Nov 28, 2022 Submission Deadline: Aug 20, 2022
ICCSAITCS ‘2022 is an International Conference on Cyber Security, Artificial Intelligence and Theoretical Computer Science. • The Faculty of Sciences, of the University M’Hamed Bougara – ...
ARTIFICIAL INTELLIGENCE   CYBER SECURITY   FORMAL METHODS  

Submission Deadline: May 28, 2022
International Journal of Recent advances in Physics (IJRAP)Scope and TopicsInternational Journal of Recent advances in Physics (IJRAP) is a peer-reviewed, open access journal, addresses the impacts an...
PHYSICS   QUANTUM PHYSICS   MAGNETICS   THEORETICAL COMPUTER SCIENCE  

When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Jun 5, 2022
The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Sci...
LOGIC   FORMAL METHODS   THEORETICAL COMPUTER SCIENCE  

When: Jun 20, 2022 - Jun 21, 2022 Submission Deadline: Mar 18, 2022
HPlan • ICAPS Hierarchical Planning Workshop 2022 (HPlan 2022) • An ICAPS'22 Workshop • Singapore • June 20 or 21, 2022 • The motivation for using hierarchical planning ...
MODELING   FORMAL METHODS   MACHINE LEARNING   THEORETICAL COMPUTER SCIENCE  

When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022
2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J...
LOGIC   FORMAL METHODS   THEORETICAL COMPUTER SCIENCE   PROGRAMMING LANGUAGES  

When: Jun 28, 2022 - Jul 1, 2022 Submission Deadline: Mar 18, 2022
*CALL FOR PRESENTATIONS* • HIGHLIGHTS 2022 will happen from June 28th to July 1st, 2022, in Paris, • France. The conference will be hosted by Université de Paris, and happen on • t...
THEORETICAL COMPUTER SCIENCE   LOGIC   GAMES   AUTOMATA  

When: Mar 28, 2023 - Mar 31, 2023 Submission Deadline: Mar 21, 2022
CALL FOR PAPERS • 26th International Conference on Database Theory (ICDT 2023) • ICDT is an international conference series on the principles and theory of data management. Since 2009, it...
DATABASES   COMPUTER SCIENCE   MACHINE LEARNING   THEORETICAL COMPUTER SCIENCE  

When: Sep 21, 2020 - Sep 23, 2020 Submission Deadline: Jun 15, 2020
The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GANDALF will be organised together with...
COMPUTER SCIENCE   FORMAL METHODS   GAMES   THEORETICAL COMPUTER SCIENCE  

When: Aug 31, 2020 - Aug 31, 2020 Submission Deadline: Jun 26, 2020
The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has tr...
FORMAL METHODS   SEMANTICS   THEORETICAL COMPUTER SCIENCE   LOGIC  

When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020
TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with th...
COMPUTER SCIENCE   MACHINE LEARNING   FORMAL METHODS   SECURITY  

When: Mar 02, 2020 - Mar 06, 2020 Submission Deadline: Oct 18, 2019
AIMS: • LATA is a conference series on theoretical computer science and its applications. LATA 2020 will reserve significant room for young scholars at the beginning of their career. It will aim ...
AUTOMATA   FORMAL LANGUAGES   THEORETICAL COMPUTER SCIENCE   COMPUTATIONAL COMPLEXITY  

When: Oct 10, 2019 - Oct 11, 2019 Submission Deadline: Aug 25, 2019
Call for Papers • Middle-European Conference on Applied Theoretical Computer Science • (MATCOS-19) • *** EXTENDED DEADLINE *** • Koper, Slovenia, October 10th and 11th, 2019. ...
COMPUTER SCIENCE   THEORETICAL COMPUTER SCIENCE  

When: Jul 17, 2019 - Jul 17, 2019 Submission Deadline: May 7, 2019
• ----------------------------------------------------------------------- • First CALL FOR PAPERS • GCM 2019 • Tenth International Workshop on • Graph Computation Models ...
THEORETICAL COMPUTER SCIENCE   FORMAL METHODS   MODEL TRANSFORMATION   GRAPH REWRITING  

When: Nov 30, 2019 - Nov 30, 2019 Submission Deadline: Jun 15, 2019
David Hyland-Wood, Shahan Khatchadourian and Sandra Johnson announce a Call for Chapters for a new book to be entitled Blockchain Consensus Algorithms. • First proposal submissions are due 30 Ap...
BLOCKCHAIN   CONSENSUS   ALGORITHMS   THEORETICAL COMPUTER SCIENCE  

When: Aug 26, 2019 - Aug 28, 2019 Submission Deadline: May 12, 2019
• --------------------------------------------------------------------------- • Prague Stringology Conference 2019 • 23rd Prague Stringology Conference • http://www.stringology...
NLP   THEORETICAL COMPUTER SCIENCE   INFORMATION RETRIEVAL  

When: Jul 2, 2019 - Jul 3, 2019 Submission Deadline: Apr 8, 2019
• --- First Call for Papers – NCMA 2019 --- • 11th International Workshop on • "Non-Classical Models of Automata and Applications" • (NCMA 2019) • July 2 - 3, 2019, Val...
NLP   THEORETICAL COMPUTER SCIENCE  

When: Sep 11, 2019 - Sep 13, 2019 Submission Deadline: Jun 17, 2019
ABOUT • The Applied Mathematics Department at UCLouvain and the Computer Science Department at ULB jointly organize the 13th International Conference on Reachability Problems (RP'19). The event ...
THEORETICAL COMPUTER SCIENCE   VERIFICATION   ALGORITHMS   LOGIC  

When: Jun 23, 2019 - Jun 23, 2019 Submission Deadline: Apr 6, 2019
Learning and Automata (LearnAut) -- LICS 2019 workshop • June 23rd, Vancouver, Canada • Website: https://learnaut19.github.io • SUBMISSION DEADLINE EXTENDED to April 6th • Lear...
GRAMMATICAL INFERENCE   THEORETICAL COMPUTER SCIENCE   LOGIC   MACHINE LEARNING  


When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Feb 18, 2019
• ================================== • ICALP 2019 - Second Call for Papers • ================================== • https://icalp2019.upatras.gr/ • The 46th International C...
LOGIC   THEORETICAL COMPUTER SCIENCE  

When: Jun 24, 2019 - Jun 27, 2019 Submission Deadline: Jan 11, 2019
• CALL FOR PAPERS • Thirty-Fourth Annual ACM/IEEE Symposium on • LOGIC IN COMPUTER SCIENCE (LICS) • 24-27 June 2019, Vancouver • https://lics.siglog.org/lics19/ • S...
LOGIC   THEORETICAL COMPUTER SCIENCE  

When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Apr 12, 2019
• WORDS 2019 • 12th International Conference • Loughborough, September 9–13, 2019 • http://words2019.lboro.ac.uk • *Announcement* • WORDS is a biannual internatio...
NLP   THEORETICAL COMPUTER SCIENCE   LINGUISTICS  




Find and Compare Upcoming Theoretical Computer Science Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.

Events Recently Added
ICAKMPET 2022: 3rd International Conference on Advancing Knowledge from Multidisciplinary Perspectives in Engineering & Technology
Turkey
Dec 23, 2022
ICMRP 2022: International Conference On Multidisciplinary Research and Practices
Phuket
Nov 22, 2022
FAVPQC 2022: International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
TBD
Oct 24, 2022
MASE 2022: Modeling in Automotive System and Software Engineering Workshop
Montreal, Canada
Oct 23, 2022
Open Theology / call for proposals for t 2022: Open Theology / call for proposals for topical issues 2023
Online
May 25, 2022
RCRA 2022: 29th RCRA workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion
Genova, Italy
Sep 5, 2022
ECIR 2023: 45th European Conference on Information Retrieval
Dublin, Ireland
Apr 2, 2023
PDCTA 2022: 11th International Conference on Parallel, Distributed Computing Technologies and Applications
London, United Kingdom
Jul 30, 2022
NC 2022: 10th International Conference of Networks and Communications
Toronto, Canada
Jul 23, 2022
Open-SOFOS 2022: Open Data Science for Food Security
Online Event
Sep 19, 2022
CCY 2022: The 4th World Conference on Children and Youth (CCY 2022)
Virtual Conference
Jul 7, 2022
ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
ACM ICMLSC 2023: ACM--2023 The 7th International Conference on Machine Learning and Soft Computing (ICMLSC 2023)
Chongqing, China
Jan 5, 2023
ACIE--EI 2023: 2023 The 3rd Asia Conference on Information Engineering (ACIE 2023)
Chongqing, China
Jan 5, 2023
ACIE 2023: 2023 The 3rd Asia Conference on Information Engineering (ACIE 2023)
Chongqing, China
Jan 5, 2023
IPMV--Ei 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
IPMV 2023: 2023 5th International Conference on Image Processing and Machine Vision (IPMV 2023)
Macau, China
Jan 13, 2023
ICESP--EI 2023: 2023 4th International Conference on Electronics and Signal Processing (ICESP 2023)
Macau, China
Jan 13, 2023
ICESP 2023: 2023 4th International Conference on Electronics and Signal Processing (ICESP 2023)
Macau, China
Jan 13, 2023
WSES--Ei 2022: 2022 The 3rd World Symposium on Electrical Systems (WSES 2022)
Sanya, Hainan, China
Dec 9, 2022