A summer school exploring disobedience as an artistic, cultural, and political practice. The program examines various forms of dissent, resistance, and refusal across different ...
A comprehensive international conference focusing on computational science, covering six main tracks including computational methods, high-performance computing, geometric model...
The XAISEC Workshop aims to bridge the computer security and machine-learning communities at the intersection of Explainable AI (XAI) and security. It focuses on using XAI for c...
The International Workshop on Privacy Engineering focuses on privacy engineering research, addressing the challenges of developing privacy-preserving and data-protection complia...
A forum for presenting results and challenges in control, automation, and diagnosis. The conference brings together experts from industry, governments, and academia to address n...
The Automotive Cyber Security Workshop brings together researchers and practitioners interested in automotive systems security. It aims to present recent advances in the state-o...
A doctoral consortium providing Ph.D. students the opportunity to present and discuss their research in logic and constraint programming. Students can obtain feedback from peers...
A workshop focusing on Answer Set Programming (ASP) and its relationships with various computing paradigms. The event explores theoretical and practical aspects of ASP, includin...
A workshop focused on developing principled logic-based methods for handling inconsistent data across different research communities. The event aims to bring together researcher...
A conference dedicated to advancing the theory and practice of computer-aided formal analysis methods for hardware and software systems. The conference covers theoretical result...