TRAN, Duong Dinh
（TRAN, Duong Dinh）助教
情報科学, 次世代デジタル社会基盤研究領域
審議会等への参画状況
7件
・ The 8th International Workshop on Formal Methods for Autonomous Systems (FMAS 2026) , PC member , 2026-
・ The 38th International Conference on Software Engineering & Knowledge Engineering (SEKE 2026) , PC member , 2026-
・ The 27th International Conference on Formal Engineering Methods (ICFEM 2026) , PC member , 2026-
・ The 17th International Conference on Knowledge and Systems Engineering (KSE 2025) , PC member , 2025-
・ The 15th International Workshop on Rewriting Logic and its Applications (WRLA 2024) , Publicity Chair , 2024-
・ The 25th International Conference on Formal Engineering Methods (ICFEM 2024) , PC member , 2024-
・ International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols , Publicity Chair , 2022- 2023