 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 | ||
 ComplexCCS 2024 : 8th Workshop on Complex Collective SystemsOstrava, Czechia |
||
| When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 7, 2024 | ||
| 8th Workshop on Complex Collective Systems shall be held in conjunction with the 15-th International Conference on Parallel Processing and Applied Mathematics September 8-11, 2024 • The Worksho... | ||
| CELLULAR AUTOMATA MODELING COMPLEX COLLECTIVE SYSTEMS PEDESTRIAN DYNAMICS | ||
|
|
||
| When: Sep 3, 2024 - Sep 6, 2024 Submission Deadline: Apr 19, 2024 | ||
| Call for Papers • --------------- • The 28th International Conference on Implementation and Application of Automata (CIAA 2024) will be held in Akita, Japan, between September 3 – 6, 20... | ||
| AUTOMATA ALGORITHMS SOFTWARE 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 | ||
 |
||
| When: Jul 8, 2024 - Jul 12, 2024 Submission Deadline: Feb 13, 2024 | ||
| 51st EATCS International Colloquium on Automata, Languages and Programming • ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS)... | ||
| AUTOMATA THEORY | ||
 DCFS 2024 : Descriptional Complexity of Formal SystemsSanta Clara, CA |
||
| When: Jun 25, 2024 - Jun 27, 2024 Submission Deadline: Mar 1, 2024 | ||
| CALL FOR PAPERS • DCFS 2024 • International Conference on Descriptional Complexity of Formal Systems • Santa Clara University • June 25 - 27, 2024 • https://sites.google... | ||
| DESCRIPTIONAL COMPLEXITY AUTOMATA GRAMMARS WORD COMBINATORICS | ||
|
|
||
| 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: 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 | ||
 SEC 2023 : 9th International Conference on Software EngineeringZurich, Switzerland |
||
| When: May 20, 2023 - May 21, 2023 Submission Deadline: Mar 25, 2023 | ||
| 9th International Conference on Software Engineering (SEC 2023)May 20 ~ 21, 2023, Zurich, SwitzerlandTopics of interest include, but are not limited to, the followingPaper SubmissionAuthors are invite... | ||
| COMPUTER SCIENCE SOFTWARE ENGINEERING AUTOMATA THEORY WEB ENGINEERING | ||
 |
||
| When: Aug 26, 2022 - Aug 27, 2022 Submission Deadline: May 30, 2022 | ||
| The workshop is organized by the Faculty of Informatics of the University of Debrecen, directly before DCFS 2022, the 24th International Conference of Descriptional Complexity of Formal Systems (Debr... | ||
| FORMAL METHODS COMPUTER SCIENCE AUTOMATA | ||
|
|
||
| When: Sep 11, 2022 - Sep 14, 2022 Submission Deadline: May 20, 2022 | ||
| The submission deadline is extended till May 20!!! • The 7th Workshop on Complex Collective Systems shall be held in conjunction with the 14th International Conference on Parallel Processing an... | ||
| CELLULAR AUTOMATA PEDESTRIAN DYNAMICS MODELING COMPLEX COLLECTIVE SYSTEMS | ||
LearnAut 2022 : Learning & Automata 2022Paris, France |
||
| When: Jul 4, 2022 - Jul 4, 2022 Submission Deadline: Apr 7, 2022 | ||
| Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexit... | ||
| MACHINE LEARNING FORMAL METHODS COMPLEXITY PROGRAMMING LANGUAGES | ||
|
|
||
| When: Oct 10, 2022 - Oct 12, 2022 Submission Deadline: May 15, 2022 | ||
| The 28th International Workshop on Cellular Automata and Discrete Complex Systems will take place on October 10-12 at the Indian Institute of Technology Kharagpur, India • AUTOMATA 2022 is the ... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS 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: 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: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 24, 2019 | ||
| CAAA 2019: The 5th Workshop on Cellular Automata Algorithms & Architectures • Dublin, Ireland, July 15-19, 2019 • -------------------------- • Workshop website: http://hpcs2019.cised... | ||
| CELLULAR AUTOMATA HIGH PERFORMANCE COMPUTING MOBILE AGENTS | ||
 |
||
| When: Sep 2, 2019 - Sep 4, 2019 Submission Deadline: May 19, 2019 | ||
| The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The 2019 edit... | ||
| GAMES AUTOMATA LOGICS FORMAL VERIFICATION | ||
|
|
||
| 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: Jun 26, 2019 - Jun 28, 2019 Submission Deadline: Feb 17, 2019 | ||
| Dear colleagues and friends, • Please find below the call for papers for the 25th International Workshop on Cellular Automata (CA) and Discrete Complex Systems (DCS), AUTOMATA 2019. • AUTO... | ||
| CELLULAR AUTOMATA DISCRETE COMPLEX SYSTEMS SYMBOLIC DYNAMICS | ||
|
|
||
| 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: Aug 5, 2019 - Aug 9, 2019 Submission Deadline: Mar 17, 2019 | ||
| DLT 2019 - Call for Papers • 23nd International Conference on Developments in Language Theory • Warsaw, Poland • Aug. 05-09, 2019 • http://dlt2019.mimuw.edu.pl/ • The Int... | ||
| FORMAL LANGUAGES AUTOMATA THEORY LOGIC TRANSDUCERS | ||
|
|
||
| When: Jun 30, 2019 - Jul 4, 2019 Submission Deadline: Jan 25, 2019 | ||
| CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas. • In 2019 it will feature invited presentations a... | ||
| AUTOMATA THEORY AND LOGIC CRYPTOGRAPHY AND CODING THEORY COMPUTER ALGEBRA NATURAL AND QUANTUM COMPUTING | ||
|
|
||
| When: Jun 30, 2019 - Jul 4, 2019 Submission Deadline: Jan 15, 2019 | ||
| CAI is the biennial conference serving the community interested in the intersection of theoretical computer science, algebra, and related areas. • In 2019 it will feature invited presentations a... | ||
| AUTOMATA THEORY AND LOGIC CRYPTOGRAPHY AND CODING THEORY COMPUTER ALGEBRA NATURAL AND QUANTUM COMPUTING | ||
Find and Compare Upcoming Automata Events. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
