================================================================================ 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: [email protected] Web: https://martinfriedrichberger.net/ Martin Leucker Institute for Software Engineering, Universität zu Lübeck Email: [email protected] Web: https://www.isp.uni-luebeck.de/leucker LOCAL ORGANIZING COMMITTEE Carlos Gustavo López Pombo Universidad de Buenos Aires / UNRN Email: [email protected] Web: https://staff.dc.uba.ar/clpombo/ Pablo Castro UNRC / CONICET Email: [email protected] Web: https://pablofcastro.github.io ================================================================================ For questions or further information, please reach out to any of the organizers.
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
