FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
MC PROGRAM
Thursday, August 11th

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

08:30-09:00Coffee & Refreshments
09:00-10:30 Session 120D: Model Counting: Applications
Location: Ullmann 302
09:00
Quantifying Software Reliability via Model-Counting (abstract)
PRESENTER: Samuel Teuber
09:30
Stochastic Constraint Optimisation with Applications in Network Analysis (abstract)
PRESENTER: Anna Latour
10:00
Rushing and Strolling among Answer Sets - Navigation Made Easy (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 125H: Model Counting: Applications & Experiments
Location: Ullmann 302
11:00
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation (abstract)
PRESENTER: Andreas Gittis
11:20
Generating Random Weighted Model Counting Instances: An Empirical Analysis with Varying Primal Treewidth (abstract)
11:50
Extending Partially Directed Graphs and Determine the Size of their Markov Equivalence Class (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 127H: Algorithms & Complexity
Location: Ullmann 302
14:00
Heuristic computation of exact treewidth - some improvements and more experimental evaluations (abstract)
14:30
Counting Complexity for Projected Reasoning in Abstract Argumentation (abstract)
15:00
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 131F: Sampling and First Order
Location: Ullmann 302
16:00
Recursive Solutions to First-Order Model Counting (abstract)
PRESENTER: Paulius Dilkas
16:30
Scalable Uniform Sampling via Efficient Knowledge Compilation (abstract)
PRESENTER: Yong Lai
17:00
Designing Samplers is Easy: The Boon of Testers (abstract)
PRESENTER: Priyanka Golia
18:00-19:30Workshop Dinner (at the Technion, Taub Terrace Floor 2) - Paid event