 |
||
| 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 | ||
 RP 2022 : Reachability ProblemsKaiserslautern |
||
| 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 | ||
 EBL 2022 : 20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic ConferenceSalvador - Bahia, Brazil |
||
| 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 | ||
ICDT 2023 : International Conference on Database TheoryIoannina, Greece |
||
| 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 | ||
 TTCS 2020 : Topics in Theoretical Computer ScienceTehran, Iran |
||
| 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 | ||
GCM 2019 : 10th International Workshop on Graph Computation ModelsEindhoven, The Netherlands |
||
| 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: Sep 5, 2021 - Sep 8, 2021 Submission Deadline: TBD | ||
| ... | ||
| THEORETICAL COMPUTER SCIENCE ALGORITHMS COMPLEXITY FORMAL METHODS | ||
|
|
||
| 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 | ||
 WORDS 2019 : 12th International Conference on WordsLoughborough, UK |
||
| 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.
