OVERLAY 2025: 7TH INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE AND FORMAL VERIFICATION, LOGIC, AUTOMATA, AND SYNTHESIS
PROGRAM FOR SUNDAY, OCTOBER 26TH: TALK VIEW

View: with abstractssession overview

7:00
7:30
8:00
8:30
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
07:00-14:00 Registration - Managed by ECAI
09:00-09:15 Opening
09:15-09:30
Asger Horn Brorholt, Kim Guldstrand Larsen, Christian Schilling
09:30-09:45
Stefano Calzavara, Lorenzo Cazzaro, Claudio Lucchese, Giulio Ermanno Pibiri
09:45-10:00
Greta Dolcetti, Vincenzo Arceri, Agostino Cortesi, Enea Zaffanella
10:00-10:15
F. Labbaf, T. Kolárik, M. Blicha, G. Fedyukovich, M. Wand, N. Sharygina
10:15-10:30
Dennis Groß, Helge Spieker, Arnaud Gotlieb
10:30-11:00 Coffee break
11:00-11:15
Charles Pert, Dalal Alrajeh, Alessandra Russo
11:15-11:30
Jaouhar Slimi, Tristan Le Gall, Augustin Lemesle
11:30-11:45
Riccardo Borsetto, Margherita Zorzi
11:45-12:00
J.J. Ferreira, N. Policarpo, J. Fragoso Santos, A. Cunha, A. Gianola
12:15-12:30
Hazem Dewidar, Elena Umili
12:30-14:00 Lunch
14:00-14:15
Ishan Saxena, Dominik Grundt, Eike Möhlmann, Bernd Westphal
14:15-14:30
Lorenzo Balboni, Federico Manzella, Guido Sciavicco
14:30-14:45
Gogoladze, Alechina, van Jaarsveld, De Jong, Al Khalil, Kuiper, Logan, Ruurda
14:45-15:00
Arshad Beg, Diarmuid O'Donoghue, Rosemary Monahan
15:00-15:15
Lucas Fortunato Das Neves, Chrysoula Zerva, Alessandro Gianola
15:15-15:30
Celeste Veronese, Daniele Meli, Alessandro Farinelli
15:30-16:00 Coffee break
16:00-16:15
Shenghui Chen, Shufang Zhu, Giuseppe De Giacomo, Ufuk Topcu
16:15-16:30
Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli
16:30-16:33
Melissa Antonelli, Arnaud Durand, Juha Kontinen
16:39-16:42
Ana Maria Gomez-Ruiz, Alexandre Donzé, Thao Dang
16:48-16:51
Mohammad Afzal, Ashutosh Gupta, R Venkatesh, S. Akshay
16:54-16:57
Yilian Huang, Cosimo Perini Brogi, Rocco De Nicola
16:57-17:00
Sandamali Yashodhara Wickramasinghe, Jacob M. Howe, Laure Daviaud
17:00-17:45 Poster session
17:45-17:50 Closing remarks