TRAN, Duong Dinh
Assistant Professor
Information Science, Next-Generation Digital Infrastructure
Committee Memberships
7 items
・ 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