Sponsors
2025 JAIST-Vietnam Research Exchange Meeting (JVREM 2025) is an exclusive research exchange meeting that aims to recognize and highlight the achievements of early-career researchers from Vietnam who have completed their doctoral studies at JAIST. This invitation-only event provides a platform for intellectual exchange, collaborative networking, and the dissemination of cutting-edge research.
Designed to strengthen academic ties and promote interdisciplinary dialogue, the research exchange meeting will feature presentations, discussions, and opportunities to explore innovative research directions. With the generous support of the president Minoru Terano, international travel expenses for invited participants will be covered, further emphasizing JAIST's commitment to fostering global academic partnerships and supporting its alumni.
February 27, Thursday
| 8:45 ~ 9:00 | Opening | |
|
Session 1: Formal Verification: Quantum Computing and Large Language Models 9:00 ~ 10:30 Chair: Kazuhiro Ogata |
||
| 9:00 ~ 9:30 | QRAT: A Reachability Analysis Tool for Quantum Programs [abstract] | Canh Minh Do (JAIST) |
| 9:30 ~ 10:00 | Concurrent Dynamic Quantum Logic for Verification of Quantum Protocols | Tsubasa Takagi (JAIST) |
| 10:00 ~ 10:30 | Apply Formal Methods to Large Language Models | Dang Duy Bui (University of Science, VNU-HCMC) |
| 10:30 ~ 11:00 | Break Time | |
|
Session 2: Nanotechnology for Semiconductor and Energy Applications 11:00 ~ 12:30 Chair: Eisuke Tokumitsu |
||
| 11:00 ~ 11:30 | Development of Low-Temperature Process for Quality Improvement of Silicon Oxide Films Deposited by Atmospheric Pressure Chemical Vapor Deposition (APCVD) at Lower Than 200°C | Susumu Horita (JAIST) |
| 11:30 ~ 12:00 | Solution-Processable P-Type Oxide Semiconductor Thin Films and Devices [abstract] | Trinh Nguyen Quoc Bui (Vietnam Japan University, VNU-Hanoi) |
| 12:00 ~ 12:30 | Nanomaterials for Electrochemical Energy Storage [abstract] | Tran Viet Thu (LQDTU) |
| 12:30 ~ 14:00 | Lunch | |
|
Session 3: Nanomaterials: Bioapplications, AI and Beyond 14:00 ~ 15:30 Chair: Shun Nishimura |
||
| 14:00 ~ 14:30 | Developing New Bioapplications for Inorganic Nanoparticles | Shinya Maenosono (JAIST) |
| 14:30 ~ 15:00 | Scaling Materials Discovery with High-Throughput and AI Approaches | Toshiaki Taniike (JAIST) |
| 15:00 ~ 15:30 | Design and Facilitate Nanomedicines for Cancer Therapy | Anh T.N. Dao (Nagasaki University) |
| 17:00 ~ 20:00 | Reception at Collaboration Room 7 (5th floor between IS Buildings 2 & 3) | |
February 28, Friday
|
Session 4: Cybersecurity 9:00 ~ 10:30 Chair: Kazuhiro Ogata |
||
| 9:00 ~ 9:30 | Malware Analysis With Vietnamese Students | Mizuhito Ogawa (JAIST) |
| 9:30 ~ 10:00 | Unveiling Android Malware Through Symbolic Execution | Anh Van Nguyen (Yokohama National University) |
| 10:00 ~ 10:30 | Applications of Artificial Intelligence to Cybersecurity | Razvan Beuran (JAIST) |
| 10:30 ~ 11:00 | Break Time | |
|
Session 5: Machine Learning and Field-programmable Gate Array (FPGA) 11:00 ~ 12:30 Chair: Yuto Lim |
||
| 11:00 ~ 11:30 | High Speed Audio Watermark Detection Using FPGA | Yasushi Inoguchi (JAIST) |
| 11:30 ~ 12:00 | Learning Textual and Structural Relations for Complex Legal Information Retrieval [abstract] | Phan Xuan Hieu (University of Engineering and Technology, VNU-Hanoi) |
| 12:00 ~ 12:30 | Applying Deep Learning for Rainfall Prediction in Mountainous Area in Vietnam [abstract] | Doan Duy (University of Information Technology, VNU-HCMC) |
| 12:30 ~ 14:00 | Lunch | |
|
Session 6: Natural Language Processing and Field-programmable Gate Array (FPGA) 14:00 ~ 15:30 Chair: Natthawut Kertkeidkachorn |
||
| 14:00 ~ 14:30 | Design and Implementation of ECC Accelerators on FPGAs | Kiyofumi Tanaka (JAIST) |
| 14:30 ~ 15:00 | Understanding Reasoning in Large Language Models [abstract] | Nguyen Le Minh (JAIST) |
| 15:00 ~ 15:30 | How Rationals Boost Textual Entailment Modeling: Insights from Large Language Models [abstract] | Le Thanh Tung (University of Science, VNU-HCMC) |
| 15:30 ~ 16:00 | Break Time | |
|
Session 7: Robotics and Communication 16:00 ~ 17:30 Chair: Nhan Huu Nguyen |
||
| 16:00 ~ 16:30 | Human AI Interaction Based on Social Signal Processing | Shogo Okada (JAIST) |
| 16:30 ~ 17:00 | Soft Rotation-Based Grippers: Bio-Inspired Innovations and Advances [abstract] | Bui Tien Son (Hanoi University of Industry) |
| 17:00 ~ 17:30 | Embodied Intelligence in Mobile Soft Robots | Van Anh Ho (JAIST) |
| 17:30 ~ 18:00 | Closing | |