logo
automata

Résultats des conférences (10)

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
Systems theory and computational modelsSystem specification and verificationFormal testing and quality assurance+52 plus

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 plus

Foundations of Software Science and Computational Structures (FOSSACS)

Rank: AOffline
Hamilton, Canada
May 5, 2025 - May 8, 2025
Software ScienceCategorical Models and LogicsLanguage Theory+25 plus

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

Rank: COffline
Prague, Czech Republic
Aug 19, 2024 - Aug 22, 2024
relation algebrasKleene algebrassemigroups+14 plus

International Symposium on Theoretical Aspects of Computer Science (STACS)

Rank: AOffline
Jena, Germany
Mar 4, 2025 - Mar 7, 2025
AlgorithmsData Structures and ComplexityAutomata+3 plus

International Colloquium on Automata Languages and Programming (ICALP)

Rank: AOffline
Aarhus, Denmark
Jul 8, 2025 - Jul 11, 2025
AutomataLanguagesand Programming

International Conference on Testing Software and Systems (ICTSS)

Rank: COffline
Limassol, Cyprus
Sep 17, 2025 - Sep 19, 2025
Test CoverageTest ConcretizationTest Implementation+73 plus

Foundations of Software Technology and Theoretical Computer Science (FST&TCS)

Rank: National: IndiaOffline
BITS Pilani, K K Birla Goa Campus
Dec 17, 2025 - Dec 19, 2025
Algebraic ComplexityAlgorithms and Data StructuresAlgorithmic Graph Theory and Combinatorics+35 plus

Current Trends in Theory and Practice of Computer Science (SOFSEM)

Rank: BOffline
Bratislava, Slovakia
Jan 20, 2025 - Jan 23, 2025
AI-based algorithms and techniquesalgorithmsautomata+36 plus

International Conference on Computing and Combinatorics (COCOON)

Rank: National:ChinaOffline
Chengdu, China
Aug 15, 2025 - Aug 17, 2025
AlgorithmsTheory of ComputationComputational Complexity+27 plus