HWSW - Workshop on Verification & Validation & Runtime Analysis, Patagonia, Argentina
The Workshop on Verification, Validation, and Runtime Analysis around the Hardware/Software Boundary (HWSW), part of ICTAC 2026, will take place on 15 November 2026 in Bariloche, Patagonia, Argentina, and invites researchers and practitioners to discuss emerging challenges at the intersection of hardware and software verification. The one-day workshop emphasizes interactive exchange, encouraging presentations of early-stage ideas, work-in-progress, tool demos, and visionary perspectives.
in Workshops by Martin Leucker on May 11, 2026

================================================================================
HWSW - CALL FOR PAPERS / PRESENTATIONS
================================================================================

Workshop on Verification & Validation & Runtime Analysis
around the Hardware/Software Boundary
https://users.sussex.ac.uk/~mfb21/bariloche2026/

Part of ICTAC 2026 (19th International Colloquium on Theoretical Aspects of Computing)
15 November 2026, Bariloche, Patagonia, Argentina

================================================================================
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.

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.

The workshop welcomes an interactive atmosphere with short presentations, 
tool demos, work-in-progress talks, and breakout discussions centered on 
the hardware/software verification frontier.

================================================================================
TOPICS OF INTEREST
================================================================================

Submissions and presentations on the following topics are welcome
(including, but not restricted to):

  • 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

We particularly welcome contributions that combine hardware-level observability, 
runtime verification, and AI-driven verification techniques.

================================================================================
SUBMISSION DETAILS
================================================================================

Format:
  Short abstracts or position papers (2–4 pages, any reasonable style)
  
Submissions will be reviewed through a light review process to ensure the 
quality of proposed presentations. Accepted contributions will be curated 
to stimulate active exchange and discussion.

Submission Deadline:
  18 October 2026

Notification of Acceptance:
  Decisions will be provided within one week of submission (rolling feedback).
  Early submissions are encouraged.

No formal proceedings will be published. This encourages sharing of preliminary 
results, open problems, and work-in-progress ideas.

How to Submit:
  Please visit the official workshop website:
  https://users.sussex.ac.uk/~mfb21/bariloche2026/
  
  For inquiries, contact any of the organizers.

================================================================================
WORKSHOP DETAILS
================================================================================

Date:           15 November 2026 (1-day workshop)
Location:       Bariloche, Patagonia, Argentina
Participants:   8–20 researchers and practitioners
Conference:     Part of ICTAC 2026
Website:        https://users.sussex.ac.uk/~mfb21/bariloche2026/
ICTAC Main:     https://ictac2026.github.io/

For local information, venue details and ICTAC logistics, please contact 
the local organizers or visit the ICTAC main conference website.

================================================================================
ORGANIZING COMMITTEE
================================================================================

Martin Berger
  University of Sussex & Montanarius Ltd
  Email: contact@martinfriedrichberger.net
  Web: https://martinfriedrichberger.net/

Martin Leucker
  Institute for Software Engineering, Universität zu Lübeck
  Email: leucker@isp.uni-luebeck.de
  Web: https://www.isp.uni-luebeck.de/leucker

LOCAL ORGANIZING COMMITTEE

Carlos Gustavo López Pombo
  Universidad de Buenos Aires / UNRN
  Email: cglopezpombo@unrn.edu.ar
  Web: https://staff.dc.uba.ar/clpombo/

Pablo Castro
  UNRC / CONICET
  Email: pcastro@dc.exa.unrc.edu.ar
  Web: https://pablofcastro.github.io

================================================================================

For questions or further information, please reach out to any of the organizers.