logo
automata

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

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 その他

Developments in Language Theory (DLT)

Rank: COffline
Rouen, France
Jun 30, 2026 - Jul 3, 2026
Language TheoryAutomataModels of Automata

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 その他

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 その他

International Symposium on Theoretical Aspects of Computer Science (STACS)

Rank: AOffline
Grenoble, France
Mar 10, 2026
Algorithm DesignData StructuresComplexity+7 その他

International Colloquium on Automata Languages and Programming (ICALP)

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

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 その他

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

Rank: BOffline
Kraków, Poland
Feb 9, 2026 - Feb 13, 2026
algorithm engineeringalgorithms and data structuresautomata+7 その他