SYNT TALK AUTHOR INDEX
Shortcuts: A B C F G M P S T Z
A
Avissar, Ziv
(SYNT)
Functional & Quantum Synthesis
Avni, Guy
(SYNT)
Games and Synthesis - I
(SYNT)
Games and Synthesis - 2
B
Bahmani, Sarvin
(SYNT)
Games and Synthesis - I
Balasubramanian, A. R.
(SYNT)
Reactive Synthesis
(SYNT)
Functional & Quantum Synthesis
Bose, Sougata
(SYNT)
Games and Synthesis - I
C
Cao, Yujian
(SYNT)
Reactive Synthesis
Chakraborty, Supratik
(SYNT)
Program Synthesis
Chandak, Raj
(SYNT)
Games and Synthesis - I
F
Flugel, Vanessa
(SYNT)
Games and Synthesis - I
G
Gaba, Pranshu
(SYNT)
Games and Synthesis - I
Goswami, Rajarshi
(SYNT)
Program Synthesis
M
Mallik, Kaushik
(SYNT)
Functional & Quantum Synthesis
Meggendorfer, Tobias
(SYNT)
Keynote talk 1
P
Paul, Soumyajit
(SYNT)
Games and Synthesis - 2
S
Schmitt, Frederik
(SYNT)
Reactive Synthesis
Shepherd, Zoey
(SYNT)
Program Synthesis
Slivovsky, Friedrich
(SYNT)
Functional & Quantum Synthesis
T
Thejaswini, K. S.
(SYNT)
Games and Synthesis - 2
Z
Zak, Dekel
(SYNT)
Functional & Quantum Synthesis
Zhu, Shufang
(SYNT)
Keynote talk 3
Zikelic, Djordje
(SYNT)
Keynote talk 2
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑