Federated Logic Conference 2026 — Author Index (AIMACS)

AIMACS TALK AUTHOR INDEX

Shortcuts: A B C D H I J K P S T Y

PROGRAM | AUTHORS

A
Ahmadi, Rita	(AIMACS) Poster Lightning Session #1
B
Barrett, Clark	(AIMACS) Second morning session
Bergsträßer, Pascal	(AIMACS) Poster Lightning Session #1
Bourigault, Pauline	(AIMACS) Poster Lightning Session #3
C
Carvalho, Rui	(AIMACS) Poster Lightning Session #1
Chaudhuri, Swarat	(AIMACS) Second morning session (AIMACS) Poster Lightning Session #1 (AIMACS) Afternoon session (AIMACS) Panel
D
D'Antoni, Loris	(AIMACS) Morning session
H
Hall, Bethel	(AIMACS) Poster Lightning session
I
Itty, Nathaniel	(AIMACS) Poster Lightning session
J
Jana, Prithwish	(AIMACS) Poster Lightning Session #3
Johansson, Moa	(AIMACS) Afternoon session
K
Klaus, Natalia	(AIMACS) Poster Lightning Session #3
Krishnamurthi, Shriram	(AIMACS) Panel
P
Prabhakar, Pavithra	(AIMACS) Poster Lightning session
S
Solar-Lezama, Armando	(AIMACS) Morning session (AIMACS) Poster Lightning session (AIMACS) Afternoon Session #2 (AIMACS) Poster Lightning Session #3
T
Tsoukalas, George	(AIMACS) Afternoon Session #2
Y
Yang, Kaiyu	(AIMACS) Morning session