Logic and Algorithms in Database Theory and AI Boot Camp

Program

Logic and Algorithms in Database Theory and AI

Location

Calvin Lab Auditorium

Date

Monday, Aug. 21 – Friday, Aug. 25, 2023

Back to calendar

All talks are listed in Pacific Time.

9 – 9:25 a.m.

Coffee and Check-in

9:25 – 9:30 a.m.

Opening Remarks

9:30 – 10:30 a.m.

Query Optimization and Evaluation 1: Output Size Bounds and Information Theory

Hung Ngo (RelationalAI)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Query Optimization and Evaluation 2: Worst-Case Optimal Join Algorithms

Hung Ngo (RelationalAI)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Query Optimization and Evaluation 3: Variable Elimination and Tensor Decomposition

Hung Ngo (RelationalAI)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Query Optimization and Evaluation 4: Instance Optimality

Mahmoud Abo Khamis (RelationalAI)

4:30 – 5:30 p.m.

Reception

9 – 9:30 a.m.

Coffee and Check-in

9:30 – 10:30 a.m.

Logic and Probabilistic Circuits 1

Guy Van den Broeck (UCLA)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Logic and Probabilistic Circuits 2

YooJung Choi (ASU)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Logic and Probabilistic Circuits 3

YooJung Choi (ASU)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Logic and Probabilistic Circuits 4

Guy Van den Broeck (UCLA)

9 – 9:30 a.m.

Coffee and Check-in

9:30 – 10:30 a.m.

Algebraic Structures in Logic and Query Evaluation 1

Val Tannen (University of Pennsylvania)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Algebraic Structures in Logic and Query Evaluation 2

Val Tannen (University of Pennsylvania)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Fine-Grained Complexity 1

Virginia Vassilevska Williams (MIT)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Fine-Grained Complexity 2

Nicole Wein (University of Michigan)

9 – 9:30 a.m.

Coffee and Check-in

9:30 – 10:30 a.m.

Algebraic Structures in Logic and Query Evaluation 3

Dan Suciu (University of Washington)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Algebraic Structures in Logic and Query Evaluation 4

Dan Suciu (University of Washington)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Fine-Grained Complexity 3

Virginia Vassilevska Williams (MIT)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Fine-Grained Complexity 4

Yinzhan Xu (MIT)

4:45 – 6 p.m.

Town Hall Meeting for Logic and Algorithms in Database Theory and AI Program

9 – 9:30 a.m.

Coffee and Check-in

9:30 – 10:30 a.m.

Incremental View Maintenance 1

Dan Olteanu (University of Zurich)

10:30 – 11 a.m.

Break

11 a.m. – 12 p.m.

Incremental View Maintenance 2

Dan Olteanu (University of Zurich)

12 – 2 p.m.

Lunch (on your own)

2 – 3 p.m.

Sampling in Query Evaluation 1

Marcelo Arenas (Pontificia Universidad Católica de Chile and RelationalAI)

3 – 3:30 p.m.

Break

3:30 – 4:30 p.m.

Sampling in Query Evaluation 2

Marcelo Arenas (Pontificia Universidad Católica de Chile and RelationalAI)