Federated Logic Conference 2026 — Author Index (ITP)

ITP TALK AUTHOR INDEX

Shortcuts: A B C D E F G K L M N P R S T U W Y Z

PROGRAM | AUTHORS

A
Abdulaziz, Mohammad	(ITP) ITP Papers: AI and ITP
Almeida, Ricardo	(ITP) ITP Papers: Formalisation of Algorithms
Ammer, Thomas	(ITP) ITP Papers: Formalisation of Mathematics & AI
B
Binder, Sage	(ITP) ITP Papers
Blanchette, Jasmin	(ITP) ITP Papers: Automation and Tactics
Bodingbauer, Jonas	(ITP) ITP Papers: Automation and Tactics
Bruni, Alessandro	(ITP) ITP Papers: Verification and Model Checking
Bøving, Oliver Emil	(ITP) ITP Papers
C
Correnson, Arthur	(ITP) ITP Paper: Automata and Coinduction
Cruz-Filipe, Luis	(ITP) ITP Papers: Program Logics
Cunningham, Garett	(ITP) ITP Papers: Formalisation of Mathematics-3
D
Daggitt, Matthew	(ITP) ITP Papers: User Interfaces and Compilers
Dillig, Işıl	(ITP) Keynote: Trustworthy Neuro-Symbolic Programming with Informal Specifications
E
Eberl, Manuel	(ITP) ITP Papers: Formalisation of Mathematics (ITP) ITP Papers: Formalisation of Mathematics-3 (ITP) ITP Papers: Formalisation of Mathematics & AI
F
Forster, Yannick	(ITP) ITP Papers: Formalisation of Algorithms
Freer, Cameron	(ITP) ITP Papers: Formalisation of Mathematics & AI
G
Gallicchio, James	(ITP) ITP Papers: Formalisation of Mathematics-3
Gladshtein, Vladimir	(ITP) ITP Papers: User Interfaces and Compilers
K
Kanazawa, Makoto	(ITP) ITP Papers: Formalisation of Algorithms
Keskin, Omer	(ITP) ITP Papers: Verification and Model Checking
Khakimova, Maria	(ITP) ITP Papers: User Interfaces and Compilers
Komendantskaya, Ekaterina	(ITP) ITP Invited Talk: Dominic Mulligan, Amazon Web Services (ITP) ITP Papers: Proof Theory and Types (ITP) Business meeting: AI and ITP conference Series
L
LAMMICH, Peter	(ITP) ITP Papers: Program Logics
Lennon-Bertrand, Meven	(ITP) ITP Papers: Proof Theory and Types
Lin, Yiming	(ITP) ITP Papers: Proof Theory and Types
M
Mahboubi, Assia	(ITP) ITP Papers: Formalisation of Algorithms
Medley, Zeke	(ITP) ITP Papers: AI and ITP
Mellendijk, Arend	(ITP) ITP Papers: Automation and Tactics
Mikhalchuk, Valentin	(ITP) ITP Papers: Program Logics
Moura, Leonardo de	(ITP) Keynote: The Lean Theorem Prover: Design, Evolution, and Impact
Mullanix, Reed	(ITP) ITP Papers: User Interfaces and Compilers
Mulligan, Dominic	(ITP) ITP Invited Talk: Dominic Mulligan, Amazon Web Services
N
Nipkow, Tobias	(ITP) ITP Invited Talk: Dominique Unruh, RWTH Aachen and University of Tartu (ITP) ITP Papers: Formalisation of Mathematics-3
P
Philantropy, Renaissance	(ITP) AI for Math Happy Hour (“Differentiated” Networking)
Pous, Damien	(ITP) ITP Papers
R
Rizkallah, Christine	(ITP) ITP Paper: Automata and Coinduction (ITP) ITP Papers: Program Logics
Rosain, Johann	(ITP) ITP Papers: Automation and Tactics
S
Sheng, Aeacus	(ITP) ITP Papers: Automation and Tactics
Sonoda, Sho	(ITP) ITP Papers: Formalisation of Mathematics
T
Thakur, Amitayush	(ITP) ITP Papers: AI and ITP
Traytel, Dmitriy	(ITP) ITP Papers
U
Unruh, Dominique	(ITP) ITP Papers: Formalisation of Mathematics
Urban, Josef	(ITP) ITP Papers: Formalisation of Mathematics & AI
W
Wang, Eric Jonathan	(ITP) ITP Papers: Formalisation of Mathematics & AI
Wright, Jamie	(ITP) ITP Paper: Automata and Coinduction
Y
Yan, Fang	(ITP) ITP Papers: Verification and Model Checking
Z
Zhu, Thomas	(ITP) ITP Papers: AI and ITP