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 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  


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
ICSTR 2023: 5th International Conference on Stem Cells, Tissue Engineering & Regenerative Medicine
Rome, Italy
May 18, 2023
ASLE/ASEAN 2023: 5th ASLE-ASEAN Ecocritical Conference: Posthuman Southeast Asia
Chiang Rai, Thailand
Nov 23, 2023
ICGEEE 2022: 7th INTERNATIONAL CONFERENCE ON GLOBALIZATION, ENTREPRENEURSHIP AND EMERGING ECONOMIES (ICGEEE)-2022
Virtual Conference
Dec 8, 2022
WAMTA 2023: Workshop on Asynchronous Many-Task Systems and Applications
Baton Rouge, LA, USA
Feb 15, 2023
RTNS 2023: International conference on Real-Time Networks and Systems
Dortmund, Germany
Jun 7, 2023
DFAfrica 2022: Digital Finance Africa 2022
Rivonia Rd &, Grayston Dr, Sandton.
Sep 22, 2022
Nature Scientific Reports 2022: Special Issue on Bioinspired Robotic Locomotion
n/a
Jun 1, 2022
4 Elements of Fashion 2023: INTERNATIONAL FASHION CONFERENCE: EARTH, WATER, AIR, AND FIRE: THE FOUR ELEMENTS OF FASHION
Venice, Italy
Mar 16, 2023
DV2-AVSS 2022: DeepView2 AVSS
Online
Nov 29, 2022
KST 2023: 2023 15th International Conference on Knowledge and Smart Technology (KST)
Novotel Vintage Park, Phuket, Thailand
Feb 21, 2023
St. John's Law Review Symposium 2022: St. John's Law Review Symposium: 40th Anniversary of Plyler v. Doe and Immigration Law in the United States
Zoom
Nov 4, 2022
DISCC 2022: First Workshop on Data Integrity and Secure Cloud Computing
Chicago, Illinois, USA
Oct 2, 2022
DGE&D 2022: Decoloniality, Gender, Equity & Diversity - International Conference
University of Johannesburg
Nov 3, 2022
DMBD 2022: The Seventh International Conference on Data Mining and Big Data
Beijing
Nov 21, 2022
Book_Algorithm 2023: Novel Research and Development Approaches in Heterogeneous Systems and Algorithms
USA
Jan 1, 2000
IAIM 2023: International Conference on Artificial Intelligence and Machine Learning
Chennai, India
Mar 29, 2023
ETTIS 2023: 3rd International Conference on Emerging Trends and Technologies on Intelligent Systems
New Delhi, India
Feb 23, 2023
AISC 2023: IEEE International Conference on Artificial Intelligence and Smart Communication
Noida, India
Jan 27, 2023
ICDMAI 2023: 7th International Conference on Data Management, Analytics and Innovation
Pune, India
Jan 20, 2023
ETCIA 2023: International Conference on Emerging Trends in Computational Intelligence and Applications
Bhopal, India
Jan 27, 2023