FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
PCCR PROGRAM

Days: Sunday, July 31st Monday, August 1st

Sunday, July 31st

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 1H
Location: Ullmann 203
09:00
Welcome and Introduction
09:30
TBA
10:30-11:00Coffee Break
11:00-12:30 Session 10K
Location: Ullmann 203
11:00
Parameterized Approximations and CSPs (abstract)
12:00
Kemeny Rank Aggregation: Width Measure and Diversity Notion (abstract)
12:30-14:00Lunch Break

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

14:00-15:30 Session 14L
Location: Ullmann 203
14:00
Resolving Inconsistency of Linear Equations (abstract)
14:30
Towards Tractable QSAT for Structural Parameters Below Treewidth (abstract)
15:00
Learning Small Decision Trees (abstract)
15:30-16:00Coffee Break
16:00-17:00 Session 19J
Location: Ullmann 203
16:00
The Tournament Fixing Problem (abstract)
17:15-18:15 Session 23: Discussion and Open Problems

Open problem session and discussions.

Location: Ullmann 203
Monday, August 1st

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 26F
Location: Ullmann 203
09:00
Parameterized algorithmics in access control: linking theory and practice (abstract)
10:00
MaxSAT: Parameterized, Parallel, Absolute (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 31I
Location: Ullmann 203
11:00
The Parameterized Complexity of SAT (abstract)
12:00
Parameterized Algorithmics and Counting: Treewidth in Practice (abstract)
12:30-14:00Lunch Break

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

14:00-15:30 Session 34J
Location: Ullmann 203
14:00
Decompositions and algorithms for interpretations of sparse graphs (abstract)
15:00
Tractable Abstract Argumentation via Backdoor-Treewidth (abstract)
PRESENTER: Matthias König
15:30-16:00Coffee Break
18:30-20:00Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event