DO, Minh Canh
Senior Lecturer
Information Science, Computing Science
Social Contribution
5 items
・ The 27th International Symposium on Formal Methods (FM 2026, Tutorial Track) , Technical Program Committee 2026 - 2026
・ The 17th International Conference on Knowledge and Systems Engineering (KSE 2025) , Technical Program Committee 2025 - 2025
・ The 25th International Conference on Formal Engineering Methods (ICFEM 2024) , Technical Program Committee 2024 - 2024
・ The 15th International Workshop on Rewriting Logic and its Applications (WRLA 2024) , Technical Program Committee 2024 - 2024
・ The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC 2023) , Technical Program Committee 2023 - 2023