 |
||
| 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: 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 | ||
 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 | ||
 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: 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: 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: 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: 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: 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 | ||
Find and Compare Upcoming Theoretical Computer Science Events in June. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
