logo
constructive mathematics and type theory

Kết quả hội nghị (2)

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 thêm

Annual Conference on Computer Science Logic (CSL)

Rank: BOffline
Paris, France
Feb 23, 2026 - Feb 28, 2026
logical foundations of programming paradigmsverification and program analysislinear logic+27 thêm