SAIV 2025
About
Call for Papers
Committees
Program
Talks
Speakers & Authors
Posters
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
Mohammad Afzal
Viraj Agashe
S Akshay
Eric Alsmann
Rajeev Alur
Guy Amir
Nora Ammann
Marie Anastacio
Jonathan Andreasen
Paolo Arcaini
Luca Arnaboldi
Guy Avni
B
Suguman Bansal
Clark Barrett
Jan Baumeister
Bernhard Beckert
Aaron Berger
David Boetius
Annelot Willemijn Bosman
Alessandro Bruni
Benedikt Brückner
C
Matteo Capucci
Marco Casadio
Saikat Chakraborty
Satyankar Chandra
Marcel Chwiałkowski
Arthur Clavière
Darren Cofer
Davide Corsi
Andreea Costea
D
Matthew Davis
Florent Delgrange
David L. Dill
Yatis Dodia
Steven Drager
E
Yizhak Yisrael Elboher
F
Letian Fang
Alessandro Farinelli
Bernd Finkbeiner
Thomas Flinkow
G
Vijay Ganesh
Yuang Geng
Benedict Gerlach
Mohamed Ghazel
Eleonora Giunchiglia
Divya Gopinath
Eric Goubault
Ashutosh Gupta
H
Patrick Henriksen
Thomas A Henzinger
Holger Hoos
Rongbin Hou
Chao Huang
I
Omri Isac
Fuyuki Ishikawa
J
Marvin Janzen
K
Salil Kamath
Guy Katz
Konstantin Kaulen
Philipp Daniel Kern
Colin Kessler
Siau-Cheng Khoo
Lionel Kielhofer
Dmitrii Kirov
Ekaterina Komendantskaya
Panagiotis Kouvaros
Fabian Kresse
Shankaranarayanan Krishna
Konstantin Kueffner
Matthias König
L
Tobias Ladner
Shuvendu K Lahiri
Christoph H Lampert
Martin Lange
Stefan Leue
Jing Liu
Alessio Lomuscio
Anna Lukina
M
Alistair Malhotra
Kaushik Mallik
Ravi Mangal
Edoardo Manino
Enrico Marchioni
Jairo Miguel Marulanda-Giraldo
Robbie McPherson
Pierre-Jean Meyer
Rosemary Monahan
N
Ann Nowe
O
Albaraa Ammar Othman
P
David Pape
Corina S. Pasareanu
Barak A Pearlmutter
Sylvie Putot
Guillermo A. Pérez
Q
Xiaokang Qiu
R
Venkatesh R
Ivan Ruchkin
S
Abdelrahman Sayed Sayed
Frederik Scheerer
Christian Schilling
Julian Siber
Carsten Sinz
Jannick Strobel
Vignesh Subramanian
Chuyue Sun
Sukanth Sundaran
T
Jubi Taneja
Samuel Teuber
V
Jan N van Rijn
Jan N. van Rijn
Namrita Varshney
Ignazio Maria Viola
W
Masaki Waga
Christopher Watson
Daniel Wiedenmann
Haoze Wu
X
Jiang Xiong
Hanping Xu
Y
Emily Yu
Z
Shaun Tan Zong Zhi
Yuyi Zhong
Ž
Đorđe Žikelić
×