|
Wednesday – June 10, 2026
|
| 08:30 – 09:10 |
Registration |
| 09:10 – 09:15 |
Opening |
| 09:15 – 10:30 |
Title: TBA
Roderick Bloem – Technical University of Graz – Austria
|
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 12:30 |
Session 1: Security / Authentication
-
– A Lightweight Authentication Using Binary Fuse Filters in Resource Constrained IoT
Iain Baird, Isam Wadhaj, Baraq Ghaleb, Gordon Russell and Craig Thomson
-
– RAV: A Unified Two-Stage Recognition and Verification Framework for Biometric Authentication
Younes Ouialane, Anas Moutaoikil, Rihab Elyousfi and Yassin Terraf
-
– Representation Collapse in Self-Supervised EEG Models: A Cross-Subject Analysis of Foundation Model Failures
Soma Tohidinia and Zakarya Farou
|
| 12:30 – 14:00 |
Lunch |
| 14:00 – 15:30 |
Title: Automating Concurrent Separation Logic
Thomas Wies – New York University – USA
|
| 15:30 – 16:00 |
Coffee Break |
| 16:00 – 17:00 |
Session 2: NLP / LLM
-
– VoteRE: Multi-LLM Consensus for Relation Extraction
Mounir Ourekouch, Mohammed-Amine Koulali and Mohammed Erradi
-
– S-GBT: Smooth Growth Bound Tensor for Certified Robustness Against Word Substitution Attacks in NLP
Mohammed Bouri, Mohammed Erradi and Adnane Saoud
|
|
Thursday – June 11, 2026
|
| 09:15 – 10:30 |
Title: A Gentle Introduction to LLM Reasoning
Salem Lahlou – MBZUAI – UAE
|
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 12:30 |
Session 3: Distributed Computing
-
– Deterministic Asynchronous Consensus with Some Crash-Immune Processes
Ajay Kshemkalyani and Anshuman Misra
-
– Byzantine Cheap Talk: Adversarial Resilience and Topology Effects in LLM Coordination Games
Aya El Mir, Martin Takáč and Salem Lahlou
-
– FLAIR: Distributed Federated Learning with Dynamic Clustering
Ihssan Boutebicha, Bilel Zaghdoudi, Mohamed Amine Legheraba and Maria Potop-Butucaru
|
| 12:30 – 14:00 |
Lunch |
| 14:00 – 15:30 |
Title: TBA
Faouzi Atig
|
| 15:30 – 16:00 |
Coffee Break |
| 16:00 – 17:00 |
Session 4: Verification 1
-
– Adaptive Bitwidth Abstraction for Distributed Bounded Model Checking of Concurrent Programs
Anna Lisa Ferrara, Bernd Fischer, Salvatore La Torre, Gennaro Parlato and Peter Schrammel
-
– Identifying Conditionally Relevant Variables for Safety-Critical Controllers under Single-Event Upsets
Ganesha and Sujit Kumar Chakrabarti
|
|
Friday – June 12, 2026
|
| 09:00 – 10:30 |
Session 5: Networking
-
– Quantifying CPU Configuration Effects on DNS Resolver Power Consumption
Capucine Barré, Francesca Bassi and Sébastien Tixeuil
-
– A Methodology to Assess Power Modeling in Energy-Aware Federated Learning on Heterogeneous Mobile Devices
Chaimae Jallouli, Karim Boubouh and Robert Basmadjian
-
– Deep Graph Learning for Structural Vulnerability Assessment in IPv6 Transition Networks
Mouataz Hamdou, Ali El Ksimi, Samir Bouali, M’Barek El Haloui and Badia Ettaki
|
| 10:30 – 11:00 |
Coffee Break |
| 11:00 – 12:00 |
Session 6: Verification 2
-
– Verifying Sequential Consistency under Bounded Preemptions
R Govind, S Krishna, Sanchari Sil and B Srivathsan
-
– On computing reachable configurations of Pushdown Systems with an Upper Stack
Shijie Lin and Tayssir Touili
|
| Closing |
