logo
program synthesis

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

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
AI-based algorithms and techniquesalgorithmsautomata+36 その他

Asia-Pacific Software Engineering Conference (APSEC)

Rank: COffline
Macao, China
Dec 2, 2025 - Dec 5, 2025
Software EngineeringAgile processesDevOps and Container+46 その他

International Conference on Generative Programming and Component Engineering (GPCE)

Rank: BOffline
Bergen, Norway
Jul 3, 2025
program transformationstagingmacro systems+16 その他

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