logo
categorical models and logics

会议结果 (2)

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 更多

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 更多