ICTAC 2026 · Satellite Workshop
Verification & Validation & Runtime Analysis
around the Hardware/Software Boundary
Intensive discussions bridging formal methods, runtime verification, and HW/SW co-design
About the workshop
Modern computing systems increasingly rely on tight integration between hardware and software. Traditional verification methods often treat the boundary as an afterthought — but subtle bugs, security vulnerabilities, and performance gaps emerge exactly at this interface. This one-day workshop aims to bring together researchers and practitioners working on verification, validation, runtime monitoring, and hardware-assisted techniques.
⚡ Nature of meeting: Rather than a formal
conference with formal proceedings, the event fosters
intensive exchange, collaboration, and open discussion. It
is designed for in-depth, interactive
conversations. Contributions can be presented without
refereed proceedings, encouraging early ideas,
work-in-progress, and visionary perspectives. We invite
presentations describing ongoing research, recent results,
or overviews of prior work within the workshop’s scope.
Topics of interest
- Runtime verification
- Hardware-supported runtime verification
- The new frontier: verification at the hardware/software boundary
- AI in verification
- Algorithms and logics for verification
- Hybrid monitoring architectures
- Trace analysis & hardware instrumentation
- Trace extensions for processors
- Just‑in‑time (JIT) compilation
- Performance‑monitoring units
- Model‑checking of monitor specifications
- Verification of JIT transformations
- Synthesis of hardware‑assisted checks
- Verification-aware hardware design
Key dates
📌 Submission deadline (unrefereed abstracts / position papers): 18 October 2026
Notification of acceptance: within one week of submission (rolling feedback).
Workshop date: 15 November 2026 — co-located with ICTAC 2026.
Organising committee
Martin Leucker
Alexander Weiss
Martin Berger
Local organisers
Carlos Gustavo López Pombo
Pablo Castro
📍 For local information, venue details and ICTAC logistics, please contact the local organisers.