logo
program synthesis

Kết quả hội nghị (5)

International Conference on Managed Programming Languages and Runtimes (MPLR)

Rank: COffline
Singapore
Oct 14, 2025
Managed Programming LanguagesRuntimesLanguages and Compilers+29 thêm

Verification, Model Checking and Abstract Interpretation (VMCAI)

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

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 thêm

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

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

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

Rank: COffline
Bergen, Norway
Jul 3, 2025
Specification and verification of program propertiesProgram analysis (static or dynamic)Program synthesis+5 thêm