Federated Logic Conference 2026 — Author Index (WiL)

WIL TALK AUTHOR INDEX

Shortcuts: B C D G K L M O P R S T W Y

PROGRAM | AUTHORS

B
Biagioni, Giulia	(WiL) Answer Set Programming
Bilotta, Antonella	(WiL) Formal Verification
C
Carlucci, Lorenzo	(WiL) Computability
Cissell, Isabella	(WiL) Modal Logic
Cowie, Nox	(WiL) Proof Theory
D
Dennison, Racquel	(WiL) Answer Set Programming
Dennison, Racquel Nina	(WiL) Answer Set Programming
G
Gamsakhurdia, Mariami	(WiL) Proof Theory
K
Katamashvili, Mariam	(WiL) Automata
Kiefer, Sandra	(WiL) Graph Theory
Koronkevich, Paulette	(WiL) Type Theory
Kubyshkina, Ekaterina	(WiL) Epistemic Logic
Kumar, Arun	(WiL) Algebraic Logic
Kumari, Ankita	(WiL) Graph Theory
L
Leitsch, Alexander	(WiL) Proof Theory
Leon, Gwenaelle	(WiL) Formal Verification
Lerouvillois, Clara	(WiL) Dynamic Epistemic Logic (WiL) Modal Logic
Li, Thea	(WiL) Quantum Logic
M
Madzime, Ruvarashe	(WiL) Logic and ML
O
Oeynhausen, Ragna Talea	(WiL) Semantics
P
Pedersen, Mina Young	(WiL) Epistemic Logic
R
Ramanujam, R	(WiL) Formal Verification
S
Sariyanto, Happy Khairunnisa	(WiL) Modal Logic
Sousa, Ana Catarina	(WiL) Type Theory
Spadoni, Stella	(WiL) Computability
T
Taprogge, Melanie	(WiL) Formal Verification
Ternovska, Eugenia	(WiL) Algebraic Logic
W
Wu, Shuwen	(WiL) Semantics
Y
Yi, Yutong	(WiL) Epistemic Logic