Federated Logic Conference 2026 — Author Index (SAIV)

SAIV TALK AUTHOR INDEX

Shortcuts: A B C G I J K L M N P R S T V W Z

PROGRAM | AUTHORS

A
Abate, Alessandro	(SAIV) Contributed talks 2
Avni, Guy	(SAIV) Invited talks + round table discussion (SAIV) Keynote presentation
B
Boetius, David	(SAIV) Contributed talks and short presentations
C
Cohen, Itay	(SAIV) Contributed talks and short presentations
G
Giacobbe, Mirco	(SAIV) Contributed talks 2
Girard-Satabin, Julien	(SAIV) Contributed talk, short presentations, and case studies
Grastien, Alban	(SAIV) Contributed talks 2
I
Isac, Omri	(SAIV) Contributed talks and short presentations (SAIV) Contributed talks
J
Jana, Prithwish	(SAIV) Contributed talk, short presentations, and case studies
Johnson, Taylor T.	(SAIV) VNN-COMP (SAIV) Contributed talk
K
Kamath, Salil	(SAIV) Contributed talk, short presentations, and case studies
Kaulen, Konstantin	(SAIV) Contributed talks
Komendantskaya, Ekaterina	(SAIV) Contributed talks and short presentations
L
Lindemann, Lars	(SAIV) Invited talks and round-table discussions
Liu, Hengjie	(SAIV) Contributed talks and short presentations
Lutz, Sterre	(SAIV) Contributed talks and short presentations
M
Machado, João	(SAIV) Contributed talks
Magliacane, Sara	(SAIV) Invited talks + round table discussion
Mallik, Kaushik	(SAIV) Contributed talk, short presentations, and case studies
Mathiesen, Frederik Baymler	(SAIV) Contributed talk, short presentations, and case studies
N
Nenchev, Vladislav	(SAIV) Contributed talks 2
P
Pham, Quang	(SAIV) Contributed talks and short presentations
R
Refaeli, Idan	(SAIV) Contributed talk, short presentations, and case studies
S
Schilling, Christian	(SAIV) Invited talks and round-table discussions
Senthilkumar, Rithik Appachi	(SAIV) Contributed talks 2
Shmuel, Ido	(SAIV) Contributed talk
Sirman, Alistair	(SAIV) Contributed talk, short presentations, and case studies
Solar-Lezama, Armando	(SAIV) Keynote presentation
T
Tetková, Lenka	(SAIV) Invited talks and round-table discussions
Teuber, Samuel	(SAIV) Contributed talk, short presentations, and case studies
Tumlin, Anne M	(SAIV) Contributed talks
V
Varghese, Sherwin	(SAIV) Contributed talks
Vos, Daniël	(SAIV) Contributed talks 2
W
Wooding, Ben	(SAIV) Contributed talks
Z
Zikelic, Djordje	(SAIV) Invited talks + round table discussion