resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



THEORETICAL COMPUTER SCIENCE EVENTS

Filter: Theoretical Computer Science

Country



Categories



GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal Verification
Brussels, Belgium
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 a workshop on Stochastic Games organised by the GAMENET network (https://gametheorynetwork.com) whi...
COMPUTER SCIENCE   FORMAL METHODS   GAMES   THEORETICAL COMPUTER SCIENCE  
EXPRESS/SOS 2020 : Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
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  
LATA 2020 : 14th International Conference on Language and Automata Theory and Applications
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  
MATCOS 2019 : Middle-European Conference on Applied Theoretical Computer Science
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  
GCM 2019 : 10th International Workshop on Graph Computation Models
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  
Blockchain-Consensus 2019 : Blockchain Consensus Algorithms (Contributed Book)
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  
Stringology 2019 : 23rd Prague Stringology Conference Conference Series : Prague Stringology Conference  
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  
NCMA 2019 : 11th International Workshop on Non-Classical Models of Automata and Applications Conference Series : Non-Classical Models for Automata and Applications  
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  
RP 2019 : 13th International Conference on Reachability Problems (RP 2019) Conference Series : Reachability Problems  
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  
LearnAut 2019 : Learning and Automata (LearnAut) 2019 -- LICS 2019 Workshop
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  
FCT 2021 : 23rd International Symposium on Fundamentals of Computation Theory Conference Series : Fundamentals of Computation Theory  
Athens, Greece
When: Sep 5, 2021 - Sep 8, 2021 Submission Deadline: TBD
...
THEORETICAL COMPUTER SCIENCE   ALGORITHMS   COMPLEXITY   FORMAL METHODS  
ICALP 2019 : 46th International Colloquium on Automata, Languages, and Programming Conference Series : International Colloquium on Automata, Languages and Programming  
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  
LICS 2019 : Thirty-Fourth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) Conference Series : Logic in 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  
WORDS 2019 : 12th International Conference on Words
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  


EVENTS RECENTLY ADDED

IWRI 2020 : International Workshop on RNA Informatics
Seoul, South Korea
Dec 16, 2020
WBDBI 2020 : 3rd Workshop on Big Data and Business Intelligence
Lisbon, Portugal
Oct 08, 2020
The Polish Journal of Aesthetics - Issue 56 (1/2020) : Art and Aesthetics in Pandemic Time

Cyberknife 2020 : Workshop of InfoSec and Data Leakage Protection and Prevention
Vilamoura, Algarve, Portugal
Oct 21, 2020
CSRIOT 2020 : The Second IEEE Services Workshop on Cyber Security and Resilience in the Internet of Things
Beijing, China
Oct 19, 2020
INC 2020 : 12th International Network Conference
Virtual
Sep 19, 2020
ISOCC 2020 : 17th International SoC Design Conference
Yeosu, Korea
Oct 21, 2020
AH 2021 : 12th Augmented Human International Conference
Geneva, Switzerland
May 27, 2021
EAMS 2020 : E-Assessment In Mathematical Sciences
Online
Jun 22, 2020
WPMC 2020 : The 23rd International Symposium on Wireless Personal Multimedia Communications
Okayama, Japan (online)
Oct 18, 2020
SecMT 2020 : The 1st ACNS Workshop on Security in Mobile Technologies
Rome, Italy
Oct 19, 2020
BSCB 2020 : International Conference on Biological Science and Computational Biology
Guiyang, Guizhou, China
Aug 14, 2020
CLOUD 2020 : 9th International Conference on Cloud Computing
London, United Kingdom
Jul 25, 2020
FDP 2020 : The Frontiers in Development Policy Conference
The Plaza Seoul, Republic of Korea
Sep 17, 2020
Selected Best Papers of CoCoNet'20 : Topical Issue on Smart Multimedia and Applications

ISC 2020 : IEEE International Smart Cities Conference
Online
Sep 28, 2020
SLTC 2020 : 8th Swedish Language Technology Conference
Gothenburg, Sweden
Nov 25, 2020
EPESec 2020 : First International Workshop on Electrical Power and Energy Systems Safety, Security and Resilience
Virtual (Ireland)
Aug 25, 2020
EAIADS 2020 : Empowering Artificial Intelligence in Data Science

SAMLA 2020 : Community Engagement in the Humanities (Roundtable)

Nov 13, 2020