Federated Logic Conference 2026 — Author Index (HYPER)

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

HYPER TALK AUTHOR INDEX

Shortcuts: A C E F G K M R S T

PROGRAM | AUTHORS

A
Aleksandrov, Andrei	(HYPER) Contributed talks 4
C
Carelli, Mishel	(HYPER) Contributed talks 4
Correnson, Arthur	(HYPER) Contributed talks 3
Cunha, Alcino	(HYPER) Contributed talks 4
E
Eilers, Marco	(HYPER) Contributed talks 3
F
Farzan, Azadeh	(HYPER) Invited talk 1
G
Gospodinov, Trayan	(HYPER) Contributed talks 1
K
Kremer, Steve	(HYPER) Invited talk 4
Kuhn, Iona	(HYPER) Contributed talks 3
M
Marquardt, Lars-Eric	(HYPER) Contributed talks 2
Myers, Andrew	(HYPER) Invited talk 3
R
Rafieioskouei, Arshia	(HYPER) Contributed talks 2
S
Sallinger, Sarah	(HYPER) Contributed talks 1
Sánchez, César	(HYPER) Invited talk 2
T
tzuhan@msu.edu, Tzu-Han	(HYPER) Contributed talks 2

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

🔍

↑