PROGRAM AUTHORS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CompBench | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FLoC | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | HYPER | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | IMLA | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MartaFest | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PIPs | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | WPTE | WST | XLoKR-ExCoS | Full Program

B
Barrault, Romain	(CP) Scheduling, Timetabling
Beldiceanu, Nicolas	(CP) CP Opening (CP) ACP Awards & Next CP/CPAIOR (CP) Best Papers & Competition Results (CP) Theory 2 & Closing
Belmecheri, Nassim	(CP) Application (Production, Timetabling, Automated Driving Systems)
Benoist, Thierry	(CP) Beyond Filtering & Global Hybrid Optimisation Solver
Bernal, Christian Pérez	(CP) Scheduling
Berton, Carl	(CP) SAT, MAXSAT, CP-SAT
Bierlee, Hendrik	(CP) Reformulation, MDD/FLOW
Bit-Monnot, Arthur	(CP) Scheduling
Bleukx, Ignace	(CP) Explanations
Brakensiek, Joshua	(CP) Theory 2 & Closing
BUI, Quoc-Trung	(CP) Application (Production, Timetabling, Automated Driving Systems)
Buire, Clara	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
C
Cantaloube, Théo	(CP) Best Papers & Competition Results
Caudenberg, Daimy Van	(CP) Theory 1
Chen, Yuxiao	(CP) Dynamic Programming & Scheduling
Chuan, Roland Yap Hock	(CP) Decision Diagrams (CP) Routing/Scheduling & GPU for Propagation
Cloutier, Samuel	(CP) Scheduling
Cooper, Martin C.	(CP) Data Mining
Crespin, Augustin	(CP) Data Mining
D
Danzinger, Philipp	(CP) Verification, Certification
Delage-Reid, Arnaud	(CP) Metaheuristics, Portfolio
Delecluse, Augustin	(CP) Routing/Scheduling & GPU for Propagation
Dold, Simon	(CP) Verification, Certification
Dubois, Bérénice	(CP) Scheduling, Timetabling
F
Fages, François	(CP) Verification, Certification (CP) Theory 1
Fernandez, Diego Olivier	(CP) Dynamic Programming & Scheduling
Foschini, Marco	(CP) Application (Production, Timetabling, Automated Driving Systems)
Freuder, Eugene	(CP) Constraint Journal Panel & Constraint Journal Awards (CP) Holy Grail Panel
G
Gallass, Mohamed-Anass	(CP) Scheduling, Timetabling
Gambardella, Camilo Cruz	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Gaspero, Luca Di	(CP) Scheduling, Timetabling
Giacomo, Giuseppe De	(CP) Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence
Giordana, Fabio	(CP) Dynamic Programming & Scheduling
Givry, Simon de	(CP) Metaheuristics, Portfolio
Guns, Tias	(CP) Data Mining
H
Hamdi, Chaima	(CP) Data Mining
Heinz, Vilém	(CP) Scheduling
Hoeve, Willem-Jan van	(CP) Decision Diagrams (CP) Beyond Filtering & Global Hybrid Optimisation Solver (CP) Dynamic Programming & Scheduling
Hu, Hao	(CP) SAT, MAXSAT, CP-SAT
I
Iosif, Panteleimon	(CP) Filtering, Search, Modelling
J
Jagrowski, Liam	(CP) Application: Modelling
K
Khoualdia, Asma	(CP) Verification, Certification
Kirchweger, Markus	(CP) Theory 1
Klapperstueck, Matthias	(CP) Best Papers & Competition Results
Kuroiwa, Ryo	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching) (CP) Dynamic Programming & Scheduling
Kus, Erdem	(CP) Metaheuristics, Portfolio
L
Lazaar, Nadjib	(CP) Explanations (CP) Scheduling, Timetabling (CP) Filtering, Search, Modelling
Lecoutre, Christophe	(CP) Best Papers & Competition Results
Lee, Jimmy H.M.	(CP) ACP Awards & Next CP/CPAIOR (CP) Application: Modelling
Lewander, Frej Knutar	(CP) Metaheuristics, Portfolio
Liang, Jinghu	(CP) SAT, MAXSAT, CP-SAT
Ligny, Lucas	(CP) Application: Modelling
Lu, Zhengyang	(CP) SMT
Lynce, Inês	(CP) SMT
M
Marijnissen, Imko	(CP) SAT, MAXSAT, CP-SAT
McCreesh, Ciaran	(CP) Verification, Certification
Meerbeeck, Damien Van	(CP) Filtering, Search, Modelling
Michel, Laurent	(CP) Scheduling (CP) Routing/Scheduling & GPU for Propagation
N
NGUYEN, Minh Anh	(CP) Reformulation, MDD/FLOW
P
Pearson, Justin	(CP) ASP (CP) Theory 2 & Closing
Pesant, Gilles	(CP) Beyond Filtering & Global Hybrid Optimisation Solver (CP) DEI & General Assembly
Povéda, Guillaume	(CP) Scheduling, Timetabling
R
Rankooh, Masood Feyzbakhsh	(CP) Hybrid MIP/CP, Routing, Pareto
Rosenberg, Gili	(CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Russo, Alessandra	(CP) Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
S
Schaub, Torsten	(CP) ASP
Schmied, Margaux	(CP) Filtering, Search, Modelling
Siala, Mohamed	(CP) DEI & General Assembly
Sidorov, Konstantin	(CP) Scheduling (CP) Verification, Certification
Simón, Manuel Combarro	(CP) Hybrid MIP/CP, Routing, Pareto
Simonis, Helmut	(CP) Application (Production, Timetabling, Automated Driving Systems)
Spallitta, Giuseppe	(CP) Theory 1
Stuckey, Peter	(CP) SAT, MAXSAT, CP-SAT (CP) Application (Logistics, HVAC Optimisation, Playoff Clinching)
Surprise, Surprise	(CP) ACP Awards & Next CP/CPAIOR
Szeider, Stefan	(CP) Verification, Certification
T
Tardivo, Fabio	(CP) Best Papers & Competition Results
Terrien, Tanguy	(CP) Scheduling, Timetabling
V
Vitali, Anna	(CP) Metaheuristics, Portfolio
W
Willemsen, Rick	(CP) Hybrid MIP/CP, Routing, Pareto
Winter, Felix	(CP) Application (Production, Timetabling, Automated Driving Systems)
Y
Yu, Ziyang	(CP) Filtering, Search, Modelling
Z
Zhang, Jialu	(CP) SAT, MAXSAT, CP-SAT
Zheng, Xinda	(CP) Hybrid MIP/CP, Routing, Pareto
Zhou, Neng-Fa	(CP) Reformulation, MDD/FLOW (CP) Hybrid MIP/CP, Routing, Pareto

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time: