PROGRAM FOR TUESDAY, AUGUST 2ND: SESSION VIEW
Days:
previous day
next day
all days
View: with abstractstalk overview
8:30
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
08:50-09:00
Session 43A
Welcome
08:50-09:00
Session 43B
Welcome Sesssion
09:00-10:30
Session 44A
ML
09:00-10:30
Session 44B
Theory
09:00-09:15
Session 44D
Welcome
09:00-09:30
Session 44E
Opening
09:00-10:30
Session 44G
QBF-1
09:15-10:15
Session 45A
FSCD Invited Speaker
09:15-10:30
Session 45B
Semantics
09:30-10:30
Session 46
Invited Talk
12:10-12:40
Session 49A
Epistemic Logic
12:10-12:40
Session 49B
Knowledge Graphs
12:30-14:00
Session
KR SC Lunch
14:00-15:30
Session 50A
Tutorial
14:00-15:30
Session 50B
Applications
14:00-15:30
Session 50C
Semantics
14:00-15:30
Session 50E
Multi-Agent Systems
14:00-14:30
Session 50F
Doctoral Consortium
14:00-15:30
Session 50H
SAT
14:30-15:00
Session 51
Doctoral Consortium
15:00-15:35
Session 52B
Doctoral Consortium
15:30-16:00
Session 53
Doctoral Consortium Poster Session
16:00-17:30
Session 54A
OR
16:00-17:30
Session 54B
Tutorial + ML
16:00-17:30
Session 54C
Unification and Matching
16:00-17:30
Session 54E
Temporal Reasoning
16:00-17:30
Session 54F
Description Logics
16:00-17:30
Session 54G
Type and Category Theory
16:00-17:30
Session 54H
MaxSAT
08:30-09:00 Coffee & Refreshments
10:30-11:00 Coffee Break
11:00-11:10
11:10-12:10
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break
17:30-18:30
19:00-21:00