 LearnAut 2024 : Learning and AutomataTallinn, Estonia |
||
| When: Jul 7, 2024 - Jul 7, 2024 Submission Deadline: Apr 18, 2024 | ||
| Learning and Automata (LearnAut) -- ICALP 2024 workshop • July 7th - Tallinn, Estonia • Website: https://learnaut24.github.io/ • Deadline: April 18 • Submission portal: https:... | ||
| GRAMMATICAL INFERENCE THEORETICAL COMPUTER SCIENCE MACHINE LEARNING FORMAL VERIFICATION | ||
 |
||
| Submission Deadline: Mar 17, 2024 | ||
| International Journal of Recent advances in Physics (IJRAP)Scope and TopicsInternational Journal of Recent advances in Physics (IJRAP) is a peer-reviewed, open access journal, addresses the impacts an... | ||
| PHYSICS QUANTUM PHYSICS MAGNETICS THEORETICAL COMPUTER SCIENCE | ||
 Highlights 2024 : Highlights of Logic, Games and AutomataBordeaux, France |
||
| When: Sep 16, 2024 - Sep 20, 2024 Submission Deadline: Dec 15, 0022 | ||
| CALL FOR PRESENTATIONS AND PARTICIPATION TO HIGHLIGHTS’24, AUTOMATHA’24, • AND HCRW (Bordeaux, France, 16-20 September 2024) • *HIGHLIGHTS’24* and *AUTOMATHA’24* are jointly sched... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC GAMES AUTOMATA | ||
 SAMLA 2024 : Special Session on Applied and Theoretical LinguisticsJacksonville, FL |
||
| When: Nov 15, 2024 - Nov 17, 2024 Submission Deadline: Jul 28, 2024 | ||
| Research in linguistics seems to indicate that Anaxagoras was correct when remarking over two-thousand years ago that "appearances are a glimpse of the unseen." Indeed, linguistic landscapes provide ... | ||
 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: Apr 8, 2024 - Apr 10, 2024 Submission Deadline: Feb 10, 2024 | ||
| It is with great pleasure that we welcome all the researchers in the field of Condensed Matter Physics to the 3rd International Forum on Condensed Matter Physics which will be held in Munich, Germany... | ||
| PHYSICS CONDENSED MATTER PHYSICS QUANTUM PHYSICS THEORETICAL PHYSICS | ||
STACS 2024 : Symposium on Theoretical Aspects of Computer ScienceClermont-Ferrand, France |
||
| When: Mar 12, 2024 - Mar 14, 2024 Submission Deadline: Sep 28, 2023 | ||
| • Call for Papers • The 41st International Symposium on Theoretical Aspects of Computer Science is planned to take place from 12th March to 14th March 2024 in Clermont-Ferrand, France. &b... | ||
| THEORY ALGORITHMS COMPLEXITY | ||
|
|
||
| Submission Deadline: Jan 16, 2024 | ||
| International Journal of Advances in Chemistry (IJAC)Scope and TopicsInternational Journal of Advances in Chemistry (IJAC) is a peer-reviewed, open access journal, addresses the impacts and challenge... | ||
| CHEMISTRY ENVIRONMENTAL THEORETICAL BIOLOGICAL SCIENCES | ||
|
|
||
| Submission Deadline: Sep 28, 2023 | ||
| Temes de Disseny is a scientific publication born from the research anxiety and vocation of Elisava Research. Annually since 1986 the school makes the journal available for the readers. The publicati... | ||
| DESIGN ROLE OF THE DESIGNER DESIGN ETHICS DESIGN THEORY | ||
LATIN 2024 : 16th Latin American Theoretical Informatics SymposiumPuerto Varas/Chile |
||
| When: Mar 18, 2024 - Mar 24, 2024 Submission Deadline: Oct 9, 2023 | ||
| =============================================================== • Call for Papers • LATIN 2024 • The 16th Latin American Theoretical Informatics Symposium will be held in Puerto Var... | ||
|
|
||
| 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 | ||
SBMF 2023 : SBMF 2023Manaus, Brazil |
||
| When: Dec 4, 2023 - Dec 8, 2023 Submission Deadline: Jul 28, 2023 | ||
| ========================================================================= • CALL FOR PAPERS • 26th Brazilian Symposium on Formal Methods • Manaus, Brazil, 4th to 8th of December,... | ||
| FORMAL METHODS FORMAL VERIFICATION THEORETICAL FOUNDATIONS SPECIFICATION AND MODELING LAN | ||
|
|
||
| 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 | ||
STACS 2023 : Symposium on Theoretical Aspects of Computer ScienceHamburg, Germany |
||
| When: Mar 7, 2023 - Mar 10, 2023 Submission Deadline: Sep 25, 2022 | ||
| The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7 March to 10 March 2023 in Hamburg, Germany. • For the first time, STACS 2023 will con... | ||
| THEORETICAL COMPUTER SCIENCE COMPUTER SCIENCE THEORY | ||
|
|
||
| Submission Deadline: Mar 25, 2023 | ||
| International Journal of Advances in Chemistry (IJAC)Scope and TopicsInternational Journal of Advances in Chemistry (IJAC) is a peer-reviewed, open access journal, addresses the impacts and challenge... | ||
| CHEMISTRY ENVIRONMENTAL THEORETICAL BIOLOGICAL SCIENCES | ||
 |
||
| When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: Jul 31, 2022 | ||
| High levels of safety, security, and privacy standards require formal methods to specify and develop compliant software (sub-)systems. Any standard comes with an assessment process, which requires a ... | ||
| FORMAL METHODS THEORETICAL COMPUTE SCIENCE | ||
|
|
||
| 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 | ||
RP 2022 : Reachability ProblemsKaiserslautern |
||
| When: Oct 17, 2022 - Oct 21, 2022 Submission Deadline: Jun 28, 2022 | ||
| The 16th International Conference on Reachability Problems (RP'22) will be organised by the Max Planck Institute for Software Systems (MPI-SWS) and the University of Kaiserslautern. • In 2020 a... | ||
| THEORETICAL COMPUTER SCIENCE LOGIC ALGORITHMS VERIFICATION | ||
|
|
||
| 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 | ||
|
|
||
| Submission Deadline: May 28, 2022 | ||
| International Journal of Recent advances in Physics (IJRAP)Scope and TopicsInternational Journal of Recent advances in Physics (IJRAP) is a peer-reviewed, open access journal, addresses the impacts an... | ||
| PHYSICS QUANTUM PHYSICS MAGNETICS THEORETICAL COMPUTER SCIENCE | ||
 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: Sep 27, 2022 - Sep 29, 2022 Submission Deadline: May 28, 2022 | ||
| The 19th International Colloquium on Theoretical Aspects of Computing (ICTAC) will be held in Tbilisi, Georgia, September 27-29, 2022. The conference will be organized by Ivane Javakhishvili Tbilisi ... | ||
| COMPUTER SCIENCE | ||
|
|
||
| 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 | ||
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.
