Federated Logic Conference 2026 — Author Index (ModRef)

MODREF TALK AUTHOR INDEX

Shortcuts: A B C D L S T W

PROGRAM | AUTHORS

A
Alòs, Josep	(ModRef) Session 1: Constraint Modelling and Propagation (ModRef) Session 3: Automated Generation and Reformulation
Ansótegui, Carlos	(ModRef) Invited Talk
B
Bierlee, Hendrik	(ModRef) Session 4: Applications
Bofill, Miquel	(ModRef) Session 4: Applications
Butler, Martin	(ModRef) Session 4: Applications
C
Coll, Jordi	(ModRef) Opening (ModRef) TBC
D
Dekker, Jip J.	(ModRef) Session 1: Constraint Modelling and Propagation
L
Lagerkvist, Mikael Zayenz	(ModRef) Session 1: Constraint Modelling and Propagation (ModRef) Session 2: Puzzles
Lewander, Frej Knutar	(ModRef) Session 4: Applications
S
Simonis, Helmut	(ModRef) Session 2: Puzzles
T
Tsouros, Dimos	(ModRef) Session 1: Constraint Modelling and Propagation
W
Wu, Tianchen	(ModRef) Session 3: Automated Generation and Reformulation