SAIV 2025
About
Call for Papers
Committees
Program
Talks
Speakers & Authors
Editions
SAIV 2025
SAIV 2024
FoMLAS 2023
WOLVERINE 2023
FoMLAS 2022
WOLVERINE 2022
FoMLAS 2021
WOLVERINE 2021
FoMLAS 2020
FoMLAS 2019
FoMLAS 2018
SAIV 2025
Speakers & Authors
A
Reynald Affeldt
Viraj Agashe
Eric Alsmann
Rajeev Alur
Nora Ammann
Luca Arnaboldi
B
Clark Barrett
Annelot Willemijn Bosman
Alessandro Bruni
C
Matteo Capucci
Marco Casadio
Saikat Chakraborty
Marcel Chwiałkowski
Arthur Clavière
Darren Cofer
Andreea Costea
D
David L. Dill
E
Yizhak Yisrael Elboher
G
Mohamed Ghazel
Eleonora Giunchiglia
Divya Gopinath
Eric Goubault
H
Holger Hoos
I
Omri Isac
K
Guy Katz
Konstantin Kaulen
Philipp Daniel Kern
Colin Kessler
Siau-Cheng Khoo
Lionel Kielhofer
Dmitrii Kirov
Ekaterina Komendantskaya
L
Tobias Ladner
Shuvendu K Lahiri
Martin Lange
M
Alistair Malhotra
Ravi Mangal
Edoardo Manino
Enrico Marchioni
Jairo Miguel Marulanda-Giraldo
Robbie McPherson
Pierre-Jean Meyer
O
Albaraa Ammar Othman
P
Corina S. Pasareanu
Sylvie Putot
Guillermo A. Pérez
Q
Xiaokang Qiu
S
Abdelrahman Sayed Sayed
Carsten Sinz
Chuyue Sun
T
Jubi Taneja
V
Jan N. van Rijn
Ignazio Maria Viola
W
Masaki Waga
Christopher Watson
Haoze Wu
X
Hanping Xu
Z
Shaun Tan Zong Zhi
Yuyi Zhong
×