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 更多