DO, Minh Canh
（DO, Minh Canh ）講師
情報科学, コンピューティング科学研究領域
社会貢献活動
5件
・ 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