logo
automata theory

Résultats des conférences (6)

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

Rank: COffline
Institute of Mathematics of the Polish Academy of Sciences, Będlewo, Poland
Apr 7, 2026 - Apr 10, 2026
relation algebrasKleene algebrasalgebraic structures+29 plus

Developments in Language Theory (DLT)

Rank: COffline
Seoul, South Korea
Aug 19, 2025 - Aug 22, 2025
Formal LanguagesAutomata TheoryGrammars+21 plus

Machines, Computations and Universality (MCU)

Rank: COffline
Nice, France
Jun 5, 2024 - Jun 7, 2024
computation in the setting of various discrete models (Turing machinesregister machinescellular automata+45 plus

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 plus

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Rank: A*Offline
The Westin Josun Seoul, Seoul, South Korea
Jun 16, 2025 - Jun 20, 2025
Programming Language DesignProgramming Language ImplementationProgramming Language Theory+19 plus

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
University of Wrocław, Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 plus