logo
Automata theory

カンファレンス検索結果 (6)

International Conference on Relational and AlgebraicMethods in Computer Science (RAMiCS)

Rank: COffline
Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
semigroupsresiduated latticessemirings+7 その他

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
Institute of Computer Science, University of Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 その他

International Symposium on Latin American Theoretical Informatics (LATIN)

Rank: BOffline
Florianópolis, Brazil
Apr 13, 2026 - Apr 17, 2026
algorithmic game theoryalgorithmsautomata theory+7 その他

Machines, Computations and Universality (MCU)

Rank: COffline
Trier, Germany
Jul 27, 2026
Analog computationAutomata theoryCellular automata+7 その他

Computability in Europe: Logic and Theory of Algorithms (CiE)

Rank: COffline
Trier, Germany
Jul 27, 2026 - Jul 31, 2026
Algorithmic Information TheoryAlgorithmic Measure TheoryAnalog Computation Models+7 その他

IEEE Symposium on Logic in Computer Science (LICS)

Rank: A*Offline
Singapore
Jun 23, 2025 - Jun 26, 2025
automata theoryautomated deductioncategorical models and logics+35 その他