logo
Program synthesis

会议结果 (2)

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 更多

Workshop on Formal Techniques for Java-like Programs (FTfJP)

Rank: COffline
Bergen, Norway
Jul 3, 2025
Language design and semanticsType systemsConcurrency and new application domains+5 更多