THEORETICAL COMPUTER SCIENCE EVENTS
Filter:
Theoretical Computer Science
 Vienna, Austria |
||
| 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 traditionally been on the comparison between programming concepts (such as concurrent, functional, imp... | ||
| FORMAL METHODS SEMANTICS THEORETICAL COMPUTER SCIENCE LOGIC | ||
 Milan |
||
| 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 at attracting contributions from classical theory fields as well as application areas. • VENUE:... | ||
| AUTOMATA FORMAL LANGUAGES THEORETICAL COMPUTER SCIENCE COMPUTATIONAL COMPLEXITY | ||
 Koper, Slovenia |
||
| 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. • http://matcos.iam.upr.si • Held in conjunction with • the 22nd Multi-Conference o... | ||
| COMPUTER SCIENCE THEORETICAL COMPUTER SCIENCE | ||
 Eindhoven, 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 • Eindhoven, The Netherlands, July 17th, 2019 • http://gcm2019.imag.fr/ • Part of ... | ||
| THEORETICAL COMPUTER SCIENCE FORMAL METHODS MODEL TRANSFORMATION GRAPH REWRITING | ||
 N/A |
||
| 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 April 2019 to d.hylandwood@uq.edu.au CC to shahan.khatchadourian@consensys.net and sandra.johnson@cons... | ||
| BLOCKCHAIN CONSENSUS ALGORITHMS THEORETICAL COMPUTER SCIENCE | ||
 Prague, Czech Republic |
||
| When: Aug 26, 2019 - Aug 28, 2019 Submission Deadline: May 12, 2019 | ||
| • --------------------------------------------------------------------------- • Prague Stringology Conference 2019 • 23rd Prague Stringology Conference • http://www.stringology.org • Call for Papers • Prague, Czech Republic, August 26-28, 2019 • ------------... | ||
| NLP THEORETICAL COMPUTER SCIENCE INFORMATION RETRIEVAL | ||
 Valencia, Spain |
||
| 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, Valencia, Spain • http://ncma2019.blogs.upv.es • NCMA welcomes research papers that contain... | ||
| NLP THEORETICAL COMPUTER SCIENCE | ||
 BRUSSELS, BELGIUM |
||
| 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 will take place in the Brussels city center. • Papers presenting original contributions relate... | ||
| THEORETICAL COMPUTER SCIENCE VERIFICATION ALGORITHMS LOGIC | ||
 Vancouver, Canada |
||
| 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 • Learning models defining recursive computations, like automata and formal grammars, are the core of the ... | ||
| GRAMMATICAL INFERENCE THEORETICAL COMPUTER SCIENCE LOGIC MACHINE LEARNING | ||
 Athens, Greece |
||
| When: Sep 5, 2021 - Sep 8, 2021 Submission Deadline: TBD | ||
| ... | ||
| THEORETICAL COMPUTER SCIENCE ALGORITHMS COMPLEXITY FORMAL METHODS | ||
 Patras, Greece |
||
| 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 Colloquium on Automata, Languages, and Programming (ICALP) • will take place in Patras, Greece,... | ||
| LOGIC THEORETICAL COMPUTER SCIENCE | ||
|
Vancouver |
||
| 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/ • SCOPE • The LICS Symposium is an annual international forum on theoretical and practical topics... | ||
| LOGIC THEORETICAL COMPUTER SCIENCE | ||
 Loughborough, 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 international conference covering the mathematical theory of words (sequences of symbols) from all points of v... | ||
| NLP THEORETICAL COMPUTER SCIENCE LINGUISTICS | ||
Event Type
EVENTS RECENTLY ADDED |
 KEOD 2020 : 12th International Conference on Knowledge Engineering and Ontology Development
Budapest, Hungary Nov 02, 2020 |
|
KMIS 2020 : 12th International Conference on Knowledge Management and Information Systems
Budapest, Hungary Nov 02, 2020 |
|
ROBOVIS 2020 : International Conference on Robotics, Computer Vision and Intelligent Systems
Budapest, Hungary Nov 04, 2020 |
|
IN4PL 2020 : Innovative Intelligent Industrial Production and Logistics
Budapest, Hungary Nov 02, 2020 |
|
EAI BROADNETS 2020 : 11th EAI International Conference on Broadband Communications, Networks, and Systems
Qingdao, People's Republic of China Oct 23, 2020 |
 Assertiveness Skills 2020 : Assertive or Aggressive? Assertiveness Skills for Executives, Managers, Supervisors and HR Professionals
Online Feb 27, 2020 |
 |
 |
|
ISSRE 2020 : The 31st International Symposium on Software Reliability Engineering
Coimbra, Portugal Oct 12, 2020 |
 ETFA 2020 : IEEE International Conference on Emerging Technologies and Factory Automation
Vienna, Austria Sep 08, 2020 |
|
ICCLL 2020 : 6th International Conference on Culture, Languages and Literature
Ming Chuan University, Taiwan Aug 15, 2020 |
|
ICSET 2020 : The 4th International Conference on E-Society, E-Education and E-Technology - Ei Compendex, Scopus
Ming Chuan University, Taipei, Taiwan Aug 15, 2020 |
 CPESE 2020 : 7th International Conference on Power and Energy Systems Engineering - Ei Compendex, Scopus
Fukuoka, Japan Sep 26, 2020 |
|
ICRED 2020 : 6th International Conference on Renewable Energy and Development - Ei Compendex, Scopus
Fukuoka, Japan Sep 26, 2020 |
|
EEET 2020 : 3rd International Conference on Electronics and Electrical Engineering Technology - Ei Compendex, Scopus
Kitakyushu, Japan Sep 27, 2020 |
|
Gastroenterology 2020 : 2nd International Conference on Gastroenterology and Hepatology
Paris, France Apr 23, 2020 |
|
ICBSP 2020 : 5th International Conference on Biomedical Imaging, Signal Processing - Ei Compendex, Scopus
Kitakyushu, Japan Sep 27, 2020 |
|
ICBEE 2020 : 12th International Conference on Chemical, Biological and Environmental Engineering
Paris, France Sep 22, 2020 |
|
ICBEM 2020 : 10th International Conference on Biotechnology and Environmental Management - EI Compendex, Scopus
Paris, France Sep 22, 2020 |
|
ICSGCE 2020 : 8th International Conference on Smart Grid and Clean Energy Technologies - Ei Compendex, Scopus
Kuching, Sarawak, Malaysia Oct 04, 2020 |