logo
logic programming and constraints

نتائج المؤتمرات (2)

Logical Foundations of Computer Science (LFCS)

Rank: National: USAOnline
No location
TBD
constructive mathematics and type theoryhomotopy type theorylogic+26 المزيد

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 المزيد