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