Program
MIVELSA2026 will be held at Kanazawa city, Japan from Friday, September 25 to Monday,
September 28, 2026. The
four-day program features regular paper sessions and a poster session covering diverse topics in Malware
Intelligence, Vulnerability Evaluation, and Logical Security Analysis.
Day 1 — September 25 (Fri)
Time
Session
Details
09:00–10:00
Registration
On-site registration and badge pickup
10:00–10:30
Opening Ceremony
Welcome remarks & conference overview
10:30–12:00
Keynote 1
Invited talk by a distinguished researcher
12:00–13:30
Lunch Break
Lunch provided at the venue
13:30–15:00
Session MI‑1
Malware behavior analysis & classification
15:00–15:30
Coffee Break
Refreshments & networking
15:30–17:00
Session VE‑1
Vulnerability discovery & exploitation
17:30–19:00
Welcome Reception
Networking event
Day 2 — September 26 (Sat)
Time
Session
Details
09:00–10:30
Keynote 2
Invited talk on formal security analysis
10:30–11:00
Coffee Break
Refreshments & networking
11:00–12:30
Session LSA‑1
Formal verification & theorem proving
12:30–13:30
Lunch Break
Lunch provided at the venue
13:30–15:00
Session MI‑2
Threat intelligence & ML-based detection
15:00–15:30
Coffee Break
Refreshments & networking
15:30–17:00
Poster Session
Interactive poster presentations
17:15–18:00
Industry Talk
Insights from cybersecurity practitioners
18:30–20:00
Banquet
Conference dinner
Day 3 — September 27 (Sun)
Time
Session
Details
09:00–10:30
Session VE‑2
Automated vulnerability detection
10:30–11:00
Coffee Break
Refreshments & networking
11:00–12:30
Session LSA‑2
Model checking & static analysis
12:30–13:30
Lunch Break
Lunch provided at the venue
13:30–15:00
Session X‑1
AI/ML for reasoning & integrated analysis
15:00–15:30
Coffee Break
Refreshments & networking
15:30–17:00
Panel Discussion
Future of malware & logic-driven security
17:15–18:00
Lightning Talks
Short talks by early-career researchers
Day 4 — September 28 (Mon)
Time
Session
Details
09:00–10:30
Session X‑2
Datasets, reproducibility, integrated analysis
10:30–11:00
Coffee Break
Refreshments & networking
11:00–12:00
Closing Session
Awards & closing remarks
12:00–
Departure
End of conference