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
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
×