logo
program synthesis

Résultats des conférences (5)

International Conference on Managed Programming Languages and Runtimes (MPLR)

Rank: COffline
Singapore
Oct 14, 2025
Managed Programming LanguagesRuntimesLanguages and Compilers+29 plus

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 11, 2026 - Jan 17, 2026
program verificationmodel checkingabstract interpretation+23 plus

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 plus

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

Rank: BOffline
Bratislava, Slovakia
Jan 20, 2025 - Jan 23, 2025
machine modelsrewriting systemscomputability+36 plus

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 plus