logo
Computer-aided verification

نتائج المؤتمرات (2)

International Symposium on Mathematical Foundations of Computer Science (MFCS)

Rank: AOffline
Warsaw, Poland
Aug 25, 2025 - Aug 29, 2025
and other structurescomputational complexity (structural and model-related)computational geometry+23 المزيد

International Conference on Implementation and Application of Automata (CIAA)

Rank: COffline
Palermo, Italy
Sep 22, 2025 - Sep 25, 2025
Algorithms on automataAutomata and logicBioinformatics+32 المزيد