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

Theoretical 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  

Submission Deadline: Mar 25, 2023
International Journal of Advances in Chemistry (IJAC)Scope and TopicsInternational Journal of Advances in Chemistry (IJAC) is a peer-reviewed, open access journal, addresses the impacts and challenge...
CHEMISTRY   ENVIRONMENTAL   THEORETICAL   BIOLOGICAL SCIENCES  



When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: Jul 31, 2022
High levels of safety, security, and privacy standards require formal methods to specify and develop compliant software (sub-)systems. Any standard comes with an assessment process, which requires a ...
FORMAL METHODS   THEORETICAL COMPUTE SCIENCE  

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 13, 2022 - Oct 14, 2022 Submission Deadline: Jun 30, 2022
Dear Colleagues, • Building on the success of the previous conferences, the Institute of Linguistics at the John Paul II Catholic University of Lublin, Poland, is organising the 9th meeting of ...
LINGUISTICS   THEORETICAL LINGUISTICS   APPLIED LINGUISTICS  

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: Sep 27, 2022 - Sep 29, 2022 Submission Deadline: May 28, 2022
The 19th International Colloquium on Theoretical Aspects of Computing (ICTAC) will be held in Tbilisi, Georgia, September 27-29, 2022. The conference will be organized by Ivane Javakhishvili Tbilisi ...
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: Oct 13, 2022 - Oct 16, 2022 Submission Deadline: Apr 1, 2022
================================================================================= • Due to COVID-19 uncertainty, DSAA’2022 will be organized in a hybrid mode. • ========================...
DATA SCIENCE   DATA ANALYTICS   MACHINE LEARNING   COMPUTER SCIENCE  

When: Nov 19, 2022 - Nov 20, 2022 Submission Deadline: Mar 15, 2022
The conference is an open forum for scholars interested in exploring empirically topics and issues in Arabic applied linguistics. The topics of the conference cover three mains strands: • I. To...
APPLIED LINGUISTICS   THEORETICAL LINGUISTICS   SOCIOLINGUISTICS   L1, L2, L3 ACQUISITION  

When: Apr 26, 2022 - Apr 26, 2022 Submission Deadline: Mar 13, 2022
The EEICT conference has four prime categories with the list of research areas in each category as given below. Contributions to other areas that fall within the four categories are also welcome. &b...
SIGNAL PROCESSING, COMMUNICATI   POWER ELECTRONICS AND ENERGY   AUTOMATION AND CONTROL   THEORETICAL AND EXPERIMENTAL E  

When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: Feb 13, 2022
Overview • TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering....
FORMAL METHODS   VERIFICATION   CYBER-PHYSICAL SYSTEMS   SOFTWARE ENGINEERING  

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: Aug 25, 2021 - Aug 27, 2021 Submission Deadline: Mar 07, 2021
The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. TASE 2021 aims to provide a forum for people from academia and indust...
SOFTWARE ENGINEERING   FORMAL METHODS   SOFTWARE TESTING  

When: Mar 16, 2021 - Mar 19, 2021 Submission Deadline: Oct 05, 2020
...
ALGORITHMS   COMPLEXITY   THEORY  

When: Dec 02, 2020 - Dec 04, 2020 Submission Deadline: Jun 26, 2020
Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practition...
FORMAL METHODS   COMPUTER SCIENCE   SOFTWARE TESTING   EMBEDDED SYSTEMS  

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: Aug 12, 2020 - Aug 14, 2020 Submission Deadline: Apr 15, 2020
The IEEE International Conference on Autonomous Systems (IEEE ICAS 2020) will take place in Montréal, Québec, Canada on August 12-14, 2020. The IEEE ICAS 2020 will be a premier internati...
THEORETICAL FOUNDATIONS OF AUTONOMOUS SYSTEMS   EMERGING FIELDS OF AUTONOMOUS SYSTEMS   AUTONOMOUS SYSTEMS ENGINEERING  

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: Mar 10, 2020 - Mar 13, 2020 Submission Deadline: Sep 30, 2019
Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. • Typical areas include (but are not limited to): • Algorithms...
ALGORITHMS   COMPLEXITY   THEORY  

Submission Deadline: Jul 31, 2019
International Journal of Computer Applications in Technology • ------------------------------------- • Special Issue on: "Theoretical Advances and Applications of Computational Intelligenc...
COMPUTATIONAL INTELLIGENCE   EVOLUTIONARY COMPUTING   INTELLIGENT CONTROL   ROBOTICS  

When: Oct 17, 2019 - Oct 18, 2019 Submission Deadline: Jul 20, 2019
Dear Colleagues, • We are pleased to announce that the deadline for abstract submission for LingBaW 2019 has been extended until 20 July 2019. • Building on the success of the previous con...
LINGUISTICS   THEORETICAL LINGUISTICS   APPLIED LINGUISTICS  




Find and Compare Upcoming Theoretical 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