Federated Logic Conference 2026 — Author Index (ASPOCP)

ASPOCP TALK AUTHOR INDEX

Shortcuts: A B E F H M N O S T

PROGRAM | AUTHORS

A
Alviano, Mario	(ASPOCP) Opening + Neurosymbolic and Metaprogramming
B
Baumeister, Joachim	(ASPOCP) Industrial applications
Becker, Arvid	(ASPOCP) Planning and Temporal Reasoning
Bertrand, Nikolas	(ASPOCP) Planning and Temporal Reasoning
E
Eiter, Thomas	(ASPOCP) Opening + Neurosymbolic and Metaprogramming
El-Kholany, Mohammed M. S.	(ASPOCP) Industrial applications
F
Fandinno, Jorge	(ASPOCP) System and Tools + Closing
H
Hahn, Susana	(ASPOCP) System and Tools + Closing
Heyninck, Jesse	(ASPOCP) Opening + Neurosymbolic and Metaprogramming
M
marco, Marco Gavanelli	(ASPOCP) Invited Speaker
Markovic, Djordje	(ASPOCP) Planning and Temporal Reasoning
Muñiz, Brais	(ASPOCP) Opening + Neurosymbolic and Metaprogramming (ASPOCP) Invited Speaker (ASPOCP) Industrial applications
Murphy, Ryan	(ASPOCP) Planning and Temporal Reasoning
N
Nemes, Amadé	(ASPOCP) Opening + Neurosymbolic and Metaprogramming
O
Olivier, François	(ASPOCP) Planning and Temporal Reasoning
S
Skvortsov, Evgeny	(ASPOCP) System and Tools + Closing
T
Tarzariol, Alice	(ASPOCP) System and Tools + Closing