logo
formal languages

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

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