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
Algorithms and Data StructuresAlgorithms for Big DataApproximation Algorithms+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
Classical computabilityComputable structuresDecidability+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 بیشتر