IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial
 

Theoretical Computer Science Events

Find Events


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

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

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.

Events Recently Added
LBIS 2021: Law, Business and Innovation Studies (LBIS) Conference
London
Sep 09, 2021
SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
AMICT 2021: 15th Workshop on Advances in Methods of Information and Communication Technology
Oulu, Finland
Oct 28, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
ICPaH 2021: International Conference Photography and History
Funchal (Portugal)
Dec 15, 2021
SoICT 2021: THE 11TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY
Hanoi, Vietnam
Dec 02, 2021
RAID 2021: Research in Attacks, Intrusions and Defenses
Donostia / San Sebastian, Spain
Oct 06, 2021
CCCG 2021: Canadian Conference on Computational Geometry
Halifax, Nova Scotia, Canada
Aug 10, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
SILM 2021: 3rd Workshop on the Security of Software / Hardware Interfaces
Online
Sep 06, 2021
DLonSC 2021: The 6th International Workshop on Deep Learning on Supercomputers
Frankfurt, Germany
Jul 02, 2021
PACBB 2021: 15th International Conference on Practical Applications of Computational Biology & Bioinformatics
Salamanca, Spain
Oct 06, 2021
ICNLP 2021: 3rd International Conference on Natural Language Processing
Beijing, China
Mar 26, 2021
FGIP 2021: International Workshop on Frontiers of Graphics and Image Processing
Xi'an, China
May 21, 2021
ICICA 2021: 10th International Conference on Intelligent Computing and Applications
Melbourne, Australia
Jun 25, 2021
ICCMS 2021: The 13th International Conference on Computer Modeling and Simulation
Melbourne, Australia
Jun 25, 2021
ICITIES 2021: SECOND INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGIES IN EDUCATION AND SCIENCE
Melitopol, Ukraine
Jun 10, 2021
IJCTCM 2021: International Journal of Control Theory and Computer Modelling

IPPR 2021: 7th International Conference on Image Processing and Pattern Recognition
Copenhagen, Denmark
Apr 24, 2021
ITCSE 2021: 10th International Conference on Information Technology Convergence and Services
Sydney, Australia
Jun 26, 2021