logo
Computer-aided verification

컨퍼런스 결과 (2)

International Symposium on Mathematical Foundations of Computer Science (MFCS)

Rank: AOffline
Warsaw, Poland
Aug 25, 2025 - Aug 29, 2025
algebraic and co-algebraic methods in computer sciencealgorithms and data structuresautomata and formal languages+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 더 보기