logo
constructive mathematics

会议结果 (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 更多

Annual Conference on Computer Science Logic (CSL)

Rank: BHybrid
Paris, France
Mar 2, 2026
automated deductioninteractive theorem provingconcurrency+7 更多