logo
type theory

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

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 その他

Workshop on Logic, Language, Information and Computation (WoLLIC)

Rank: COffline
Lima, Peru
Mar 8, 2026
foundations of computingprogramming theoryArtificial Intelligence+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 その他

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 その他

Annual Conference on Computer Science Logic (CSL)

Rank: BHybrid
Paris, France
Mar 2, 2026
automated deductioninteractive theorem provingconcurrency+7 その他

International Colloquium on Theoretical Aspects of Computing (ICTAC)

Rank: COffline
Marrakech, Morocco
Nov 24, 2025 - Nov 28, 2025
Formal languages and automataSemantics of programming languagesLogic in computer science+23 その他