All talks are listed in Pacific Time.

–
Coffee and Check-in
–
Opening Remarks
–
Query Optimization and Evaluation 1: Output Size Bounds and Information Theory
Hung Ngo (RelationalAI)
–
Break
–
Query Optimization and Evaluation 2: Worst-Case Optimal Join Algorithms
Hung Ngo (RelationalAI)
–
Lunch (on your own)
–
Query Optimization and Evaluation 3: Variable Elimination and Tensor Decomposition
Hung Ngo (RelationalAI)
–
Break
–
Query Optimization and Evaluation 4: Instance Optimality
Mahmoud Abo Khamis (RelationalAI)
–
Reception
–
Coffee and Check-in
–
Logic and Probabilistic Circuits 1
Guy Van den Broeck (UCLA)
–
Break
–
Logic and Probabilistic Circuits 2
YooJung Choi (ASU)
–
Lunch (on your own)
–
Logic and Probabilistic Circuits 3
YooJung Choi (ASU)
–
Break
–
Logic and Probabilistic Circuits 4
Guy Van den Broeck (UCLA)
–
Coffee and Check-in
–
Algebraic Structures in Logic and Query Evaluation 1
Val Tannen (University of Pennsylvania)
–
Break
–
Algebraic Structures in Logic and Query Evaluation 2
Val Tannen (University of Pennsylvania)
–
Lunch (on your own)
–
Fine-Grained Complexity 1
Virginia Vassilevska Williams (MIT)
–
Break
–
Fine-Grained Complexity 2
Nicole Wein (University of Michigan)
–
Coffee and Check-in
–
Algebraic Structures in Logic and Query Evaluation 3
Dan Suciu (University of Washington)
–
Break
–
Algebraic Structures in Logic and Query Evaluation 4
Dan Suciu (University of Washington)
–
Lunch (on your own)
–
Fine-Grained Complexity 3
Virginia Vassilevska Williams (MIT)
–
Break
–
Fine-Grained Complexity 4
Yinzhan Xu (MIT)
–
Town Hall Meeting for Logic and Algorithms in Database Theory and AI Program
–
Coffee and Check-in
–
Incremental View Maintenance 1
Dan Olteanu (University of Zurich)
–
Break
–
Incremental View Maintenance 2
Dan Olteanu (University of Zurich)
–
Lunch (on your own)
–
Sampling in Query Evaluation 1
Marcelo Arenas (Pontificia Universidad Católica de Chile and RelationalAI)
–
Break
–
Sampling in Query Evaluation 2
Marcelo Arenas (Pontificia Universidad Católica de Chile and RelationalAI)