Federated Logic Conference 2026 — Author Index (ACV)

Skip to content

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

ACV TALK AUTHOR INDEX

Shortcuts: B F H J K L M P S U W

PROGRAM | AUTHORS

B
Basgöze, Daniel	(ACV) 24pm2
Batz, Kevin	(ACV) 24am2
Beyer, Dirk	(ACV) 24pm1
F
Fatmi, Syyeda Zainab	(ACV) 24pm1
H
Hasuo, Ichiro	(ACV) 25pm2
Heck, Linus	(ACV) 24am2
Hsu, Justin	(ACV) 25am1-1
Hu, Bingqing	(ACV) 24am1
J
Jaber, Guilhème	(ACV) 25am2
K
Kaminski, Benjamin	(ACV) 24am1
Kori, Mayuko	(ACV) 24pm2
L
Liell-Cock, Jack	(ACV) 24pm1
M
Matache, Cristina	(ACV) 25pm1
P
Park, Seo Jin	(ACV) 24am2
Partow, Pouya	(ACV) 25am1-2
Prince, Tephilla	(ACV) 24pm2
S
Shirazi, Zev	(ACV) 25am2
U
Urban, Caterina	(ACV) 25pm1
W
Wang, Theo	(ACV) 25am2
Wittbold, Florian	(ACV) 25pm2

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

🔍

↑