 |
||
| When: Jun 20, 2022 - Jun 21, 2022 Submission Deadline: Mar 18, 2022 | ||
| HPlan • ICAPS Hierarchical Planning Workshop 2022 (HPlan 2022) • An ICAPS'22 Workshop • Singapore • June 20 or 21, 2022 • The motivation for using hierarchical planning ... | ||
| MODELING FORMAL METHODS MACHINE LEARNING THEORETICAL COMPUTER SCIENCE | ||
 |
||
| When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
| 2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
| LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
|
|
||
| When: Jun 28, 2022 - Jul 1, 2022 Submission Deadline: Mar 18, 2022 | ||
| *CALL FOR PRESENTATIONS* • HIGHLIGHTS 2022 will happen from June 28th to July 1st, 2022, in Paris, • France. The conference will be hosted by Université de Paris, and happen on • t... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC GAMES AUTOMATA | ||
 |
||
| When: Oct 13, 2022 - Oct 16, 2022 Submission Deadline: Apr 1, 2022 | ||
| ================================================================================= • Due to COVID-19 uncertainty, DSAA’2022 will be organized in a hybrid mode. • ========================... | ||
| DATA SCIENCE DATA ANALYTICS MACHINE LEARNING COMPUTER SCIENCE | ||
 |
||
| When: Nov 19, 2022 - Nov 20, 2022 Submission Deadline: Mar 15, 2022 | ||
| The conference is an open forum for scholars interested in exploring empirically topics and issues in Arabic applied linguistics. The topics of the conference cover three mains strands: • I. To... | ||
| APPLIED LINGUISTICS THEORETICAL LINGUISTICS SOCIOLINGUISTICS L1, L2, L3 ACQUISITION | ||
 EEICT 2022 : Electrical Engineering, Information and Communication Technologies 2022Brno, Czech Republic |
||
| When: Apr 26, 2022 - Apr 26, 2022 Submission Deadline: Mar 13, 2022 | ||
| The EEICT conference has four prime categories with the list of research areas in each category as given below. Contributions to other areas that fall within the four categories are also welcome. &b... | ||
| SIGNAL PROCESSING, COMMUNICATI POWER ELECTRONICS AND ENERGY AUTOMATION AND CONTROL THEORETICAL AND EXPERIMENTAL E | ||
 TASE 2022 : Theoretical Aspects of Software EngineeringCluj-Napoca, Romania |
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: Feb 13, 2022 | ||
| Overview • TASE is an international symposium that aims to bring together researchers and developers from academia and industry with interest in the theoretical aspects of software engineering.... | ||
| FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS SOFTWARE ENGINEERING | ||
 ICDT 2023 : International Conference on Database TheoryIoannina, Greece |
||
| When: Mar 28, 2023 - Mar 31, 2023 Submission Deadline: Mar 21, 2022 | ||
| CALL FOR PAPERS • 26th International Conference on Database Theory (ICDT 2023) • ICDT is an international conference series on the principles and theory of data management. Since 2009, it... | ||
| DATABASES COMPUTER SCIENCE MACHINE LEARNING THEORETICAL COMPUTER SCIENCE | ||
|
|
||
| When: Aug 25, 2021 - Aug 27, 2021 Submission Deadline: Mar 07, 2021 | ||
| The 15th Theoretical Aspects of Software Engineering Conference (TASE 2021) will be held in Shanghai, China on August 25-27, 2021. TASE 2021 aims to provide a forum for people from academia and indust... | ||
| SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE TESTING | ||
 STACS 2021 : Symposium on Theoretical Aspects of Computer ScienceSaarbrücken, Germany |
||
| When: Mar 16, 2021 - Mar 19, 2021 Submission Deadline: Oct 05, 2020 | ||
| ... | ||
| ALGORITHMS COMPLEXITY THEORY | ||
|
|
||
| When: Dec 02, 2020 - Dec 04, 2020 Submission Deadline: Jun 26, 2020 | ||
| Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practition... | ||
| FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING EMBEDDED SYSTEMS | ||
 |
||
| 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 | ||
 IEEE ICAS 2020 : 2020 IEEE International Conference on Autonomous SystemsMontreal, Quebec, Canada |
||
| When: Aug 12, 2020 - Aug 14, 2020 Submission Deadline: Apr 15, 2020 | ||
| The IEEE International Conference on Autonomous Systems (IEEE ICAS 2020) will take place in Montréal, Québec, Canada on August 12-14, 2020. The IEEE ICAS 2020 will be a premier internati... | ||
| THEORETICAL FOUNDATIONS OF AUTONOMOUS SYSTEMS EMERGING FIELDS OF AUTONOMOUS SYSTEMS AUTONOMOUS SYSTEMS ENGINEERING | ||
 |
||
| 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: Mar 10, 2020 - Mar 13, 2020 Submission Deadline: Sep 30, 2019 | ||
| Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. • Typical areas include (but are not limited to): • Algorithms... | ||
| ALGORITHMS COMPLEXITY THEORY | ||
|
|
||
| Submission Deadline: Jul 31, 2019 | ||
| International Journal of Computer Applications in Technology • ------------------------------------- • Special Issue on: "Theoretical Advances and Applications of Computational Intelligenc... | ||
| COMPUTATIONAL INTELLIGENCE EVOLUTIONARY COMPUTING INTELLIGENT CONTROL ROBOTICS | ||
LingBaW 2019 : Linguistics Beyond And Within 2019Lublin, Poland |
||
| When: Oct 17, 2019 - Oct 18, 2019 Submission Deadline: Jul 20, 2019 | ||
| Dear Colleagues, • We are pleased to announce that the deadline for abstract submission for LingBaW 2019 has been extended until 20 July 2019. • Building on the success of the previous con... | ||
| LINGUISTICS THEORETICAL LINGUISTICS APPLIED LINGUISTICS | ||
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: Dec 5, 2019 - Dec 6, 2019 Submission Deadline: Sep 30, 2019 | ||
| We are pleased to announce the first call for papers for the 3rd Białystok-Kiev Conference on Theoretical and Applied Linguistics, which will be held at the University of Białystok, Poland, 5-6 Dece... | ||
| APPLIED LINGUISTICS TEFL LANGUAGE ACQUISITION LINGUISTICS | ||
 |
||
| 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 | ||
 |
||
| Submission Deadline: May 31, 2019 | ||
| AIΩN-Linguistica (full official name: "Annali del Dipartimento di Studi Letterari, Linguistici e Comparati, sezione linguistica", ISSN 2281-6585) is a journal published by the "Università degli stud... | ||
| HISTORICAL LINGUISTICS THEORETICAL LINGUISTICS APPLIED LINGUISTICS | ||
 |
||
| 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 | ||
TPITA 2019 : International Conference on Theoretical & Practical Implications in Engineering, Information Technology, and Applied sciences (TPITA-JUNE-2019)Hilton London Heathrow Airport Terminal |
||
| When: Jun 15, 2019 - Jun 16, 2019 Submission Deadline: May 15, 2019 | ||
| The invited talk proposals can be submitted to [email protected] • The objective of GIEAS Forum is to provide a platform for researchers, engineers, academicians as well as industrial professional... | ||
| FUNDAMENTAL AND APPLIED SCIENC MATERIAL SCIENCE AND ENGINEERI ELECTRICAL AND ELECTRONIC ENGI COMPUTER ENGINEERING AND SCIEN | ||
|
|
||
| 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 | ||
Find and Compare Upcoming Theoretical Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
