logo
Program synthesis

カンファレンス検索結果 (5)

International Conference on Managed Programming Languages and Runtimes (MPLR)

Rank: COffline
Singapore
Oct 14, 2025
Managed Programming LanguagesRuntimesLanguages and Compilers+29 その他

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 その他

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Limassol, Cyprus
Jul 14, 2025 - Jul 16, 2025
Software processes and workflowsSoftware architectures and designSoftware product lines+39 その他

Current Trends in Theory and Practice of Computer Science (SOFSEM)

Rank: BOffline
Bratislava, Slovakia
Jan 20, 2025 - Jan 23, 2025
nature-inspired computingnetwork scienceneural network theory+36 その他

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 その他