SAIV 2024
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 2024
SAIV 2025
SAIV 2024 has successfully concluded! Stay tuned for the
coming edition
.
×
Speakers & Authors
A
Guy Amir
Ali ArjomandBigdeli
B
Stanley Bak
Debangshu Banerjee
Clark Barrett
Shahaf Bassan
Samik Basu
Annelot Bosman
Elena Botoeva
Trang Bui
C
Davide Corsi
D
Matthew Daggitt
Adnan Darwiche
Ieva Daukantas
Dana Drachsler-Cohen
Krzysztof Dzieciolowski
G
Divya Gopinath
H
Karthik Hanumanthaiah
Holger Hoos
Boyue Caroline Hu
Pei Huang
I
Omri Isac
J
Susmit Jha
Chunxi Ji
Fuqi Jia
Taylor T. Johnson
Kyle Julian
K
Guy Katz
Wen Kokke
Ekaterina Komendantskaya
Marta Kwiatkowska
L
Ori Lahav
Ziyan Luo
M
Ravi Mangal
Andrew Mata
Stefan Mitsch
Paolo Morettin
Anna Münz
N
Nina Narodytska
Stephanie Nawas
P
Oded Padon
André Platzer
Corina Păsăreanu
R
Idan Refaeli
Andoni Rodriguez
Anirban Roy
S
Shahar Shabelman
Yuval Shapira
Ying Sheng
Xujie Si
Gagandeep Singh
Chuyue Sun
César Sánchez
T
Teruhiro Tagomori
Zhe Tao
Samuel Teuber
Aditya Thakur
V
Jan van Rijn
W
Benjie Wang
Naor Wiesel
Haoze Wu
Min Wu
X
Changming Xu
Y
Yuting Yang
Jia Yuan Yu
Z
Aleksandar Zeljić
Min Zhang
Xiyue Zhang
Ningsheng Zhao
Shufang Zhu
×