logo
Program synthesis

نتایج کنفرانس‌ها (5)

Verification, Model Checking and Abstract Interpretation (VMCAI)

Rank: BOffline
Rennes, France
Jan 12, 2026 - Jan 13, 2026
program verificationmodel checkingabstract interpretation+23 بیشتر

International Conference on Managed Programming Languages and Runtimes (MPLR)

Rank: COffline
Singapore
Oct 14, 2025
Managed Programming LanguagesRuntimesLanguages and Compilers+29 بیشتر

International Symposium on Theoretical Aspects of Software Engineering (TASE)

Rank: National: ChinaOffline
Limassol, Cyprus
Jul 14, 2025 - Jul 16, 2025
Software product linesRequirements engineeringComponent-based software engineering+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 بیشتر

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 بیشتر