PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

A
Abdulla, Parosh Aziz	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Akshay, S.	(CAV) Program Analysis Session
Aleksandrov, Andrei	(CAV) Machine Learning, AI and Verification
Alexaj, Ondrej	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
An, Chenyang	(CAV) Machine Learning, AI and Verification
Avni, Guy	(CAV) Synthesis
Azzopardi, Shaun	(CAV) Synthesis
B
Becchi, Anna	(CAV) Software: Tools, Verification and Synthesis
Benerecetti, Massimo	(CAV) Hybrids, Controls and Probabilistic Systems
Beyer, Dirk	(CAV) Software: Tools, Verification and Synthesis (CAV) Liveness/Termination
Bocevska, Ivana	(CAV) SMT, SAT & Decision Procedures
Bonakdarpour, Borzoo	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Braicu, Tudor	(CAV) Security, Privacy and Hyperproperties
Brice, Léonard	(CAV) Synthesis
C
Cai, Xuran	(CAV) Program Analysis Session
Calinescu, Radu	(CAV) Hybrids, Controls and Probabilistic Systems
Ceska, Milan	(CAV) Hybrids, Controls and Probabilistic Systems
Chakraborty, Debraj	(CAV) Automata
Chakraborty, Supratik	(CAV) Hardware Verification
Chassot, Samuel	(CAV) Deductive Verification & Certified Verification
Cheng, Ruotong	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Chida, Nariyoshi	(CAV) Synthesis
Chocholatý, David	(CAV) SMT, SAT & Decision Procedures
Christakis, Maria	(CAV) Invited Talk
Christensen, René Bødker	(CAV) Quantum
Cimatti, Alessandro	(CAV) Software: Tools, Verification and Synthesis (CAV) Quantum (CAV) CAV Award
Cunha, Alcino	(CAV) Security, Privacy and Hyperproperties
D
Darulova, Eva	(CAV) Invited Talk
Desfrene, Gabriel	(CAV) Hardware Verification
Dillig, Isil	(CAV) CAV Award
Dillig, Işıl	(CAV) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
Ding, Yuantian	(CAV) Quantum
Duret-Lutz, Alexandre	(CAV) Synthesis
E
Eichler, Paul	(CAV) Automata
Enea, Constantin	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
F
Ferreira, Tiago	(CAV) Automata
Fisher, Kathleen	(CAV) Logic Lounge
Froleyks, Nils	(CAV) Liveness/Termination
Frtunikj, Jelena	(CAV) Hybrids, Controls and Probabilistic Systems
G
Giacobbe, Mirco	(CAV) Logic Lounge
Gladshtein, Vladimir	(CAV) Deductive Verification & Certified Verification
Greutmann, Micha	(CAV) Deductive Verification & Certified Verification
Grumberg, Orna	(CAV) Liveness/Termination
Guan, Yawen	(CAV) Deductive Verification & Certified Verification
H
Haak, Lars van den	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Hattori, Joe	(CAV) Program Analysis Session
Heck, Linus	(CAV) Machine Learning, AI and Verification
Henzinger, Thomas A.	(CAV) Automata
Hsu, Tzu-Han	(CAV) Security, Privacy and Hyperproperties
Huisman, Marieke	(CAV) Deductive Verification & Certified Verification
J
Jam, Mehran Moeini	(CAV) Automata
Johnson, Andrew	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
K
Katz, Guy	(CAV) Invited Talk (CAV) Machine Learning, AI and Verification
Kupferman, Orna	(CAV) Synthesis
L
Ladner, Tobias	(CAV) Hybrids, Controls and Probabilistic Systems
Laumen, Jasper	(CAV) Automata
Leenen, Jort van	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Lengál, Ondřej	(CAV) Automata
LI, JIANLIN	(CAV) Hybrids, Controls and Probabilistic Systems
Li, Jiqi	(CAV) Quantum
Li, Xuyang	(CAV) Program Analysis Session
Liu, Hengjie	(CAV) Machine Learning, AI and Verification
Liu, Yuehao	(CAV) Machine Learning, AI and Verification
Lommen, Nils	(CAV) Liveness/Termination
M
Ma, Runzhe	(CAV) Automata
Maeyer, Rieke de	(CAV) Hybrids, Controls and Probabilistic Systems
Mazowiecki, Filip	(CAV) Automata
Mei, Jingyi	(CAV) Quantum
Mishra, Ashish	(CAV) Synthesis
Moura, Leonardo de	(CAV) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact
N
na, TBA	(CAV) CAV Award
Naik, Ajinkya	(CAV) Machine Learning, AI and Verification
O
Otoni, Rodrigo	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
P
Pertseva, Elizaveta	(CAV) Deductive Verification & Certified Verification
Prabhakar, Pavithra	(CAV) Hybrids, Controls and Probabilistic Systems
Preiner, Mathias	(CAV) SMT, SAT & Decision Procedures
Prokop, Maximilian	(CAV) Synthesis
R
Reynolds, Andrew	(CAV) Deductive Verification & Certified Verification
Rinaldi, Luigi	(CAV) Hardware Verification
Roy, Ann	(CAV) Machine Learning, AI and Verification
Rümmer, Philipp	(CAV) Invited Talk
S
Sagonas, Konstantinos	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Sallinger, Sarah	(CAV) Software: Tools, Verification and Synthesis
Scheerer, Frederik	(CAV) Security, Privacy and Hyperproperties
Schön, Oliver	(CAV) Hybrids, Controls and Probabilistic Systems
Schreiber, Dominik	(CAV) SMT, SAT & Decision Procedures
Schröer, Philipp	(CAV) Hybrids, Controls and Probabilistic Systems
Sprokholt, Dennis	(CAV) Deductive Verification & Certified Verification
Sun, Youcheng	(CAV) Program Analysis Session
T
Tafese, Joseph	(CAV) Software: Tools, Verification and Synthesis
Tinelli, Cesare	(CAV) Security, Privacy and Hyperproperties (CAV) SMT, SAT & Decision Procedures
Tsai, Wei-Lun	(CAV) Quantum
W
Walch, Armin	(CAV) Program Analysis Session
Wang, Han	(CAV) Machine Learning, AI and Verification
Wang, Pei	(CAV) Verification of Parallel, Concurrent, and Distributed Systems
Wu, Xinlong	(CAV) Program Analysis Session
X
Xu, Ming	(CAV) Quantum
Y
Ye, Leiqi	(CAV) Hardware Verification
Z
Zhang, Xiang	(CAV) SMT, SAT & Decision Procedures
Zhou, Xiaofeng	(CAV) Hardware Verification

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: