PROGRAM FOR SUNDAY, JULY 31ST: SESSION VIEW
Days:
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
21:30
22:00
22:30
09:00-10:30
Session 1A
09:00-10:00
Session 1B
09:00-10:30
Session 1C
DatalogMTL tutorial, part 1/2
09:00-10:30
Session 1D
09:00-10:30
Session 1E
09:00-10:30
Session 1F
09:00-09:40
Session 1G
Invited talk -- dr. Ruth Hoffmann
09:00-10:30
Session 1H
09:00-09:50
Session 1I
09:00-10:30
Session 1J
09:00-10:30
Session 1K
09:15-10:30
Session 2
Teaching logic
09:30-10:30
Session 3A
09:30-10:30
Session 3B
Invited Talk
09:40-10:30
Session 4
Paper presentations
09:50-10:30
Session 5
10:00-10:30
Session 6
10:30-12:00
Session 7
10:35-10:45
Session 8
Opening
10:45-12:30
Session 9
Extensions of ASP
11:00-12:30
Session 10A
11:00-12:00
Session 10B
11:00-12:30
Session 10C
DatalogMTL tutorial, part 2/2
11:00-12:30
Session 10D
Teaching formal methods
11:00-12:30
Session 10E
11:00-12:30
Session 10F
11:00-12:30
Session 10G
11:00-12:30
Session 10H
learning interpretable ML models
11:00-12:30
Session 10I
11:00-12:30
Session 10J
Paper presentations
11:00-12:30
Session 10K
11:00-11:30
Session 10L
11:00-12:30
Session 10M
Talks (1)
11:00-12:30
Session 10N
11:00-12:30
Session 10P
11:35-12:05
Session 11
12:10-12:40
Session 12A
12:10-12:40
Session 12B
12:30-12:40
Session 13
Spotlight talks
14:00-15:00
Session 14A
14:00-15:30
Session 14C
14:00-14:30
Session 14D
14:00-15:00
Session 14E
Teaching proofs
14:00-15:30
Session 14F
14:00-15:30
Session 14G
14:00-15:30
Session 14I
14:00-14:40
Session 14J
Invited talk -- dr. Nguyen Dang
14:00-15:30
Session 14K
14:00-15:30
Session 14L
14:00-14:30
Session 14M
Welcome Session
14:00-14:50
Session 14N
14:00-15:30
Session 14P
Talks (2)
14:00-15:30
Session 14Q
14:00-15:30
Session 14R
14:30-15:30
Session 15A
14:30-15:30
Session 15B
14:40-17:15
Session 16
Modelling Competition
14:50-15:30
Session 17
15:00-16:30
Session 18
16:00-17:30
Session 19A
Modelling and Applications
16:00-17:30
Session 19B
16:00-16:30
Session 19C
16:00-17:00
Session 19D
16:00-17:30
Session 19E
16:00-17:30
Session 19F
16:00-17:30
Session 19H
16:00-17:30
Session 19I
16:00-17:00
Session 19J
16:00-17:30
Session 19K
16:00-16:40
Session 19L
16:00-17:30
Session 19M
Talks (3)
16:00-17:00
Session 19N
16:00-18:00
Session 19P
16:45-17:05
Session 20
17:00-17:30
Session 21A
17:00-17:45
Session 21B
17:10-18:00
Session 22
17:15-18:15
Session 23
Discussion and Open Problems
17:30-18:30
Session 24A
CAUSAL and EELP
17:30-18:00
Session 24B
discussion and outlook
17:30-19:00
Session 24C
08:30-09:00 Coffee & Refreshments
10:30-11:00 Coffee Break
12:30-14:00 Lunch Break
15:30-16:00 Coffee Break