![]() GandALF 2020 : 11th International Symposium on Games, Automata, Logics, and Formal VerificationBrussels, 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 SemanticsVienna, 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 ApplicationsMilan |
||
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 ScienceKoper, 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 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 • 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 ConferencePrague, 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 ApplicationsValencia, 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 ProblemsBRUSSELS, 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 WorkshopVancouver, 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 TheoryAthens, 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 ProgrammingPatras, 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 ScienceVancouver |
||
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 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 international conference covering the mathematical theory of words (sequences of symbols) from all points of v... | ||
NLP THEORETICAL COMPUTER SCIENCE LINGUISTICS | ||
EVENTS RECENTLY ADDED |
![]() |
![]() |
![]() |
![]() |
![]() 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 |
![]() |
![]() 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 |
![]() |
![]() 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 |
![]() |
![]() |
![]() ITCSS 2021 : 7th International Conference on Information Technology Convergence and Services
Vienna, Austria Mar 20, 2021 |
![]() CRIS 2021 : 7th International Conference on Cryptography and Information Security
Sydney, Australia Mar 27, 2021 |
![]() |
![]() |