TASE 2024 : 18th Theoretical Aspects of Software Engineering ConferenceGuiyang City, China |
||
When: Jul 29, 2024 - Aug 1, 2024 Submission Deadline: Feb 24, 2024 | ||
Call for papers: TASE 2024, Guiyang City, China, July 29 - August 1, 2024 • https://tase2024.github.io/ • Overview • ----------------------------------------------------------------... | ||
FORMAL METHODS CYBER PHYSICAL SYSTEMS MODEL CHECKING SOFTWARE ENGINEERING | ||
|
||
When: Feb 19, 2024 - Feb 24, 2024 Submission Deadline: Jul 31, 2023 | ||
===================================== • Call for papers (CSL'24) • https://csl2024.github.io/Home/ • Abstract submission deadline: July 24th, 2023 (AoE) • ====================... | ||
FORMAL METHODS LOGIC AUTOMATA AND GAMES THEORETICAL COMPUTER SCIENCE | ||
|
||
When: Dec 7, 2023 - Dec 8, 2023 Submission Deadline: Sep 15, 2023 | ||
FIRST CALL FOR PAPERS • The Białystok-Kyiv series of conferences on theoretical and applied linguistics, co-organized by the University of Białystok (Poland) and the Borys Grinchenko Kyiv Uni... | ||
LINGUISTICS | ||
|
||
When: Sep 5, 2023 - Sep 7, 2023 Submission Deadline: Jun 4, 2023 | ||
• ======================================================== • AFL 2023 - Call for Papers • 16th International Conference on Automata and Formal Languages • September 5 - 7, 2023... | ||
NLP THEORETICAL COMPUTER SCIENCE | ||
|
||
When: Oct 11, 2023 - Oct 13, 2023 Submission Deadline: Jul 4, 2023 | ||
-------------------------------------------------- • RP 2023: Call For Papers • 11-13 October 2023 Nice, France • -------------------------------------------------- • The 17th... | ||
THEORETICAL COMPUTER SCIENCE LOGIC ALGORITHMS VERIFICATION | ||
|
||
When: Oct 12, 2023 - Oct 13, 2023 Submission Deadline: Jul 15, 2023 | ||
Dear Colleagues, • We would like to inform you that the deadline for abstract submission to LingBaW 2023 has been extended until 15 July. • The 10th meeting of Linguistics Beyond and With... | ||
LINGUISTICS THEORETICAL LINGUISTICS APPLIED LINGUISTICS | ||
|
||
When: Mar 3, 2022 - Mar 5, 2022 Submission Deadline: Oct 2, 2022 | ||
ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, f... | ||
FORMAL METHODS LOGIC THEORETICAL COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE | ||
|
||
When: Oct 13, 2022 - Oct 14, 2022 Submission Deadline: Jun 30, 2022 | ||
Dear Colleagues, • Building on the success of the previous conferences, the Institute of Linguistics at the John Paul II Catholic University of Lublin, Poland, is organising the 9th meeting of ... | ||
LINGUISTICS THEORETICAL LINGUISTICS APPLIED LINGUISTICS | ||
|
||
When: Nov 27, 2022 - Nov 28, 2022 Submission Deadline: Aug 20, 2022 | ||
ICCSAITCS ‘2022 is an International Conference on Cyber Security, Artificial Intelligence and Theoretical Computer Science. • The Faculty of Sciences, of the University M’Hamed Bougara – ... | ||
ARTIFICIAL INTELLIGENCE CYBER SECURITY FORMAL METHODS | ||
EBL 2022 : 20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic ConferenceSalvador - Bahia, Brazil |
||
When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Jun 5, 2022 | ||
The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Sci... | ||
LOGIC FORMAL METHODS THEORETICAL 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 | ||
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 | ||
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 | ||
|
||
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: 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 | ||
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: Sep 5, 2021 - Sep 8, 2021 Submission Deadline: TBD | ||
... | ||
THEORETICAL COMPUTER SCIENCE ALGORITHMS COMPLEXITY FORMAL METHODS | ||
|
||
When: Oct 30, 2019 - Nov 4, 2019 Submission Deadline: May 26, 2019 | ||
Call for papers: 16th International Colloquium on Theoretical Aspects of Computing (ICTAC 2019). • http://ictac2019.redcad.org • We are pleased to invite you to submit papers for the 16th ... | ||
THEORETICAL ASPECT COMPUTING | ||
|
||
When: Dec 14, 2019 - Dec 15, 2019 Submission Deadline: Nov 20, 2019 | ||
We invite the scholars /scientists / engineers/ researchers / practitioners / students to join with us and share the new innovative trends in their respective field. This common platform is expected t... | ||
BUSINESS ARTS, HUMANITIES ENVIRONMENTAL STUDIES ORGANIZATIONAL STUDIES | ||
|
||
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 | ||
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 internatio... | ||
NLP THEORETICAL COMPUTER SCIENCE LINGUISTICS | ||
|
||
When: May 11, 2019 - May 12, 2019 Submission Deadline: Apr 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 ELECTRICAL AND ELECTRONIC ENGI MECHANICAL ENGINEERING BIOLOGICAL ENGINEERING | ||
Find and Compare Upcoming Theoretical Conferences. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.