logo
methods and tools to specify and reason about programs and languages

会议结果 (2)

ASIAN Symposium on Programming Languages and Systems (APLAS)

Rank: BOffline
Bengaluru, India
Oct 27, 2025 - Oct 30, 2025
programming paradigms and stylesmethods and tools to specify and reason about programs and languagesprogramming language foundations+3 更多

European Symposium on Programming (ESOP)

Rank: AOffline
Turin, Italy
Apr 13, 2026 - Apr 16, 2026
programming paradigms and stylesmethods and tools to specify and reason about programs and languagesprogramming language foundations+3 更多