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: Sep 17, 2025 - Sep 19, 2025 Submission Deadline: Jun 30, 2025
The International Symposium on Parameterized and Exact Computation (IPEC, https://algo-conference.org/2025/ipec/) is an annual conference covering all aspects of parameterized and exact algorithms an...
COMPUTER SCIENCE   ALGORITHMS   THEORETICAL COMPUTER SCIENCE  

When: Jul 7, 2024 - Jul 7, 2024 Submission Deadline: Apr 18, 2024
Learning and Automata (LearnAut) -- ICALP 2024 workshop • July 7th - Tallinn, Estonia • Website: https://learnaut24.github.io/ • Deadline: April 18 • Submission portal: https:...
GRAMMATICAL INFERENCE   THEORETICAL COMPUTER SCIENCE   MACHINE LEARNING   FORMAL VERIFICATION  



Submission Deadline: Mar 17, 2024
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 16, 2024 - Sep 20, 2024 Submission Deadline: Dec 15, 0022
CALL FOR PRESENTATIONS AND PARTICIPATION TO HIGHLIGHTS’24, AUTOMATHA’24, • AND HCRW (Bordeaux, France, 16-20 September 2024) • *HIGHLIGHTS’24* and *AUTOMATHA’24* are jointly sched...
THEORETICAL COMPUTER SCIENCE   LOGIC   GAMES   AUTOMATA  

When: Dec 18, 2023 - Dec 20, 2023 Submission Deadline: Jul 19, 2023
...

When: Feb 19, 2024 - Feb 24, 2024 Submission Deadline: Jul 31, 2023
===================================== • Call for papers (CSL'24) • https://csl2024.github.io/Home/ • Abstract submission deadline: July 24th, 2023 (AoE) • ====================...
FORMAL METHODS   LOGIC   AUTOMATA AND GAMES   THEORETICAL COMPUTER SCIENCE  

When: Sep 5, 2023 - Sep 7, 2023 Submission Deadline: Jun 4, 2023
• ======================================================== • AFL 2023 - Call for Papers • 16th International Conference on Automata and Formal Languages • September 5 - 7, 2023...
NLP   THEORETICAL COMPUTER SCIENCE  

When: Oct 11, 2023 - Oct 13, 2023 Submission Deadline: Jul 4, 2023
-------------------------------------------------- • RP 2023: Call For Papers • 11-13 October 2023 Nice, France • -------------------------------------------------- • The 17th...
THEORETICAL COMPUTER SCIENCE   LOGIC   ALGORITHMS   VERIFICATION  

When: Mar 7, 2023 - Mar 10, 2023 Submission Deadline: Sep 25, 2022
The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7 March to 10 March 2023 in Hamburg, Germany. • For the first time, STACS 2023 will con...
THEORETICAL COMPUTER SCIENCE   COMPUTER SCIENCE   THEORY  

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  





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
ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
MAS-GAIN 2025: 1st International Workshop on Multi-Agent Systems using Generative Artificial INtelligence for Automated Software Engineering
Seoul, South Korea
Nov 16, 2025
WoSC 2025: 11th International Workshop on Serverless Computing (WoSC11)
Vanderbilt University Nashville, TN, US
Dec 15, 2025
Ecology and Indian Transgender Cinema 2025: Ecological Book Chapters for 'The Handbook of Indian Trans Cinema: Film, Television, and Web Series' Exploring Transgender Themes
Publication
Jul 1, 2025
COMINDS 2025: 4th Workshop on Collaboration Mining for Distributed Systems (COMINDS) @ ICPM 2025
Montevideo, Uruguay
Oct 20, 2025
EG 2026: Eurographics
Aachen, Germany
May 4, 2026
DCC 2025: Data Compression Conference
123
Jan 1, 2025
ArIT 2025: 6th International Conference on Advances in Artificial Intelligence Techniques
Toronto, Canada
Jul 19, 2025
SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
GamiFIN 2026: 10th International GamiFIN Conference
Saariselkä, Lapland, Finland
Mar 23, 2026
Neuroscience Congress 2026: 4th International Conference on Neuroscience and Mental Health
Kuala Lumpur, Malaysia
May 14, 2026
PQMI 2025: The 10th International Workshop on Process Querying, Manipulation, and Intelligence
Montevideo, Uruguay
Oct 20, 2025
ICCAR 2026: 2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)
Nagoya, Japan
Apr 8, 2026
ICCAR--EI 2026: 2026 12th International Conference on Control, Automation and Robotics (ICCAR 2026)
Nagoya, Japan
Apr 8, 2026
ICMAA 2026: 2026 The 10th International Conference on Mechanical, Aeronautical and Automotive Engineering (ICMAA 2026)
Tokyo, Japan
Apr 1, 2026
ICMAA--EI 2026: 2026 The 10th International Conference on Mechanical, Aeronautical and Automotive Engineering (ICMAA 2026)
Tokyo, Japan
Apr 1, 2026
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICMIP 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
CSP--EI 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026
CSP 2026: 2026 10th International Conference on Cryptography, Security and Privacy (CSP 2026)
Sapporo, Japan
Apr 25, 2026