FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
MODREF PROGRAM
Sunday, July 31st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:30-09:00Coffee & Refreshments
09:00-09:40 Session 1G: Invited talk -- dr. Ruth Hoffmann
Chair:
Jip J. Dekker
Location: Ullmann 310
09:00
Ruth Hoffmann
Constraint modelling and solving: Learning from observing people (abstract)
09:40-10:30 Session 4: Paper presentations
Chair:
Jip J. Dekker
Location: Ullmann 310
09:40
Martin Mariusz Lester
Solving XCSP3 constraint problems using tools from software verification (abstract)
10:05
Neng-Fa Zhou
Constraint-based Part-of-Speech Tagging (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 10J: Paper presentations
Chair:
Ciaran McCreesh
Location: Ullmann 310
11:00
Nguyen Dang
A portfolio-based analysis method for competition results (abstract)
11:25
Emilio Gamba, Bart Bogaerts and Tias Guns
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (extended abstract) (abstract)
PRESENTER: Emilio Gamba
11:50
Jimmy H. M. Lee and Allen Z. Zhong
Automatic Generation of Dominance Breaking Nogoods for Constraint Optimization (abstract)
PRESENTER: Allen Z. Zhong
12:30-14:00Lunch Break

Lunches will be held in Taub hall and in The Grand Water Research Institute.

14:00-14:40 Session 14J: Invited talk -- dr. Nguyen Dang
Chair:
Peter J. Stuckey
Location: Ullmann 310
14:00
Nguyen Dang
A Constraint-Based Tool for Generating Benchmark Instances (abstract)
14:40-17:15 Session 16: Modelling Competition
Chair:
Peter J. Stuckey
Location: Ullmann 310
15:30-16:00Coffee Break