34th International Conference on Logic Programming
July 14​-​17 2018, Oxford, UK

TENTATIVE Schedule



Fri 13
Sat 14
Sun 15
Mon 16
Tue 17
Wed 18
Thu 19
09:00 - 09:30
RCRA
Workshop

Invited Talk
Language and Reasoning
Probabilistic and Constraint LP
Workshops Workshops
09:30 - 10:00

10:00 - 10:30
Welcome
ASP Extensions
10:30 - 11:00
Coffee Break
Coffee Break
Coffee Break
Coffee Break
Coffee Break
Coffee Break
Coffee Break
11:00 - 11:30
RCRA
Workshop
Foundations I
Implementation I
ASP Systems
Applications Workshops Workshops
11:30 - 12:00
ALP General Meeting
12:00 - 12:30
12:30 - 13:00
Lunch
Lunch
Lunch
Lunch Lunch Lunch Lunch
13:00 - 13:30
13:30 - 14:00
14:00 - 14:30
RCRA
Workshop
Foundations II
Learning and Reasoning

Technical Communications I
Workshops
14:30 - 15:00


15:00 - 15:30


15:30 - 16:00
Coffee Break Coffee Break Coffee Break Coffee Break Coffee Break Coffee Break Coffee Break
16:00 - 16:30
RCRA
Workshop
Invited Talk
Best DC Talk
Programming Contest
Techinical Communications II
Workshops
16:30 - 17:00
Test of Time Awards

17:00 - 17:30
ASP Extensions

17:30 - 18:00

Friday 13th of July

registration ( 08:30 - 11:00 )

09:00 - 10:30

w11

rcra

10:30 - 11:00

Coffee Break

11:00 - 12:30

w12

rcra

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

w13

rcra

15:30 - 16:00

Coffee Break

16:00 - 18:00

w14

rcra

Saturday 14th of July

registration ( 08:30 - 11:00 and 17:45 - 18:30 )

08:45 - 09:00

Welcome

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp1chair: TBA

authors_59 title_59
authors_22 title_22
authors_18 title_18

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

fp2chair: TBA

authors_9 title_9
authors_56 title_56
authors_25 title_25

15:30 - 16:00

Coffee Break

16:00 - 17:00

introAchair: TBA

authors_a1 title_a1

abstract_a1

17:00 - 18:00

fp3chair: TBA

authors_28 title_28
authors_14 title_14

Sunday 15th of July

registration ( 08:15 - 11:00 )

09:00 - 10:00

introDchair: TBA

authors_d1 title_d1

abstract_d1

10:00 - 10:30

fp4chair: TBA

authors_10 title_10

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp5chair: TBA

authors_1 title_1
authors_30 title_30
authors_51 title_51

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

fp6chair: TBA

authors_32 title_32
authors_16 title_16
authors_34 title_34

15:30 - 16:00

Coffee Break

16:00 - 18:00

testchair: TBA

authors_dc1 title_dc1
authors_test1 title_test1
authors_test2 title_test2

Monday 16th of July


registration ( 08:30 - 11:00 )

09:00 - 10:30

fp7chair: TBA

authors_47 title_47
authors_7 title_7
authors_24 title_24

10:30 - 11:00

Coffee Break

11:00 - 11:30

fp8chair: TBA

authors_55 title_55

11:30 - 12:30

General ALP Meeting

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

TBAchair: TBA


15:30 - 16:00

Coffee Break

16:00 - 18:00

Programming contest

Tuesday 17th of July

registration ( 08:30 - 11:00 )

09:00 - 10:30

fp9chair: TBA

authors_52 title_52
authors_49 title_49
authors_48 title_48

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp10chair: TBA

authors_41 title_41
authors_11 title_11
authors_38 title_38

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

tc1chair: TBA

authors_tc11 title_tc11
authors_tc12 title_tc12
authors_tc13 title_tc13
authors_tc14 title_tc14
authors_tc15 title_tc15
authors_tc16 title_tc16

15:30 - 16:00

Coffee Break

16:00 - 18:00

tc2chair: TBA

authors_tc21 title_tc21
authors_tc22 title_tc22
authors_tc23 title_tc23
authors_tc24 title_tc24
authors_tc25 title_tc25
authors_tc26 title_tc26
authors_tc27 title_tc27
authors_tc28 title_tc28

Wednesday 18th of July

registration ( 08:30 - 11:00 )

09:00 - 10:30

w21

aspocp
ciclops
lpop
wcb
lash

10:30 - 11:00

Coffee Break

11:00 - 12:30

w22

aspocp
ciclops
lpop
wcb
lash

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

w23

aspocp
ciclops
lpop
wcb
lash

15:30 - 16:00

Coffee Break

16:00 - 18:00

w24

aspocp
ciclops
lpop
wcb
lash

Thursday 19th of July

registration ( 08:30 - 11:00 )

09:00 - 10:30

w31

lash

10:30 - 11:00

Coffee Break

11:00 - 12:30

w32

lash

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

w33

lash

15:30 - 16:00

Coffee Break

16:00 - 18:00

w34

lash