32nd International Conference on Logic Programming
October 16​-​21 2016, New York City, USA

Schedule


Registration 08:30 - 11:00 08:30 - 11:00
17:45 - 18:30		 08:15 - 11:00 08:30 - 11:00 08:30 - 11:00
Sun 16 Mon 17 Tue 18 Wed 19 Thu 20 Fri 21
08:45 - 09:00 Welcome
09:00 - 09:30 w11_low w21_low introA_low introB_low introC_low introD_low
09:30 - 10:00
10:00 - 10:30 fp1_low fp5_low fp8_low tc1_low
10:30 - 11:00 Coffee break Coffee break Coffee break Coffee break Coffee break Coffee break
11:00 - 11:30 w12_low w22_low fp2_low dc_low fp6_low fp9_low fp11_low
11:30 - 12:00
12:00 - 12:30
12:30 - 14:00 Lunch (on your own) Lunch (on your own) Lunch (on your own) Lunch (on your own) Lunch (on your own) Lunch (on your own)
14:00 - 14:30 w13_low w23_low fp3_low dc_low fp7_low fp10_low tc2_low
14:30 - 15:00
15:00 - 15:30
15:30 - 16:00 Coffee break Coffee break Coffee break Coffee break Coffee break Coffee break
16:00 - 16:30 w14_low w24_low fp4_low dc_low tutorialA tutorialB tc3_low
16:30 - 17:00
17:00 - 17:30
17:30 - 18:00 General ALP Meeting
18:00 - 18:30 Conference Reception
18:30 - 19:00 Cocktail
19:00 - 19:30 Programming Contest
19:30 - 20:00 banquet_low
20:00 - 20:30
20:30 - 21:00
21:00 - 23:00

Sunday 16 October

registration ( 08:30 - 11:00 )

09:00 - 10:30

w11

school
aspocp

10:30 - 11:00

Coffee Break

11:00 - 12:30

w12

school
aspocp

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

w13

school
aspocp

15:30 - 16:00

Coffee Break

16:00 - 17:30

w14

school
aspocp

Monday 17 October

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

09:00 - 10:30

w21

school
lash
applp

10:30 - 11:00

Coffee Break

11:00 - 12:30

w22

school
lash
applp

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

w23

school
applp
cslp

15:30 - 16:00

Coffee Break

16:00 - 17:30

w24

school
applp
cslp

18:00 - 20:00

Conference Reception

Tuesday 18 October

registration ( 08:15 - 11:00 )

08:45 - 09:00

Welcome

09:00 - 10:00

introAchair: ch11

authors_a1 title_a1 Abstract

abstract_a1

10:00 - 10:30

fp1chair: ch11

authors_11 title_11 arXiv_11TPLP_11

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp2chair: ch12

authors_21 title_21 arXiv_21TPLP_21
authors_22 title_22 arXiv_22TPLP_22
authors_23 title_23 arXiv_23TPLP_23

dc

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

fp3chair: ch13

authors_31 title_31 arXiv_31TPLP_31
authors_32 title_32 arXiv_32TPLP_32
authors_33 title_33 arXiv_33TPLP_33

dc

15:30 - 16:00

Coffee Break

16:00 - 17:30

fp4chair: ch14

authors_41 title_41 arXiv_41TPLP_41
authors_42 title_42 arXiv_42TPLP_42
authors_43 title_43 arXiv_43TPLP_43

dc

19:00 - 21:00

Programming contest

Wednesday 19 October

registration ( 08:30 - 11:00 )

09:00 - 10:00

introBchair: ch21

authors_b1 title_b1 Abstract

abstract_b1

10:00 - 10:30

fp5chair: ch21

authors_51 title_51 arXiv_51TPLP_51

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp6chair: ch22

authors_61 title_61 arXiv_61TPLP_61
authors_62 title_62 arXiv_62TPLP_62
authors_63 title_63 arXiv_63TPLP_63

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

fp7chair: ch23

authors_71 title_71 arXiv_71TPLP_71
authors_72 title_72 arXiv_72TPLP_72
authors_73 title_73 arXiv_73TPLP_73

15:30 - 16:00

Coffee Break

16:00 - 17:30

tutorialAchair: ch24

authors_t1 title_t1 Abstract

abstract_t1

18:30 - 19:30

Cocktail (details)

19:30 - 23:00

banquet

authors_banquet
title_banquet

Thursday 20 October

registration ( 08:30 - 11:00 )

09:00 - 10:00

introCchair: ch31

authors_c1 title_c1 Abstract

abstract_c1

10:00 - 10:30

fp8chair: ch31

authors_81 title_81 arXiv_81TPLP_81

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp9chair: ch32

authors_91 title_91 arXiv_91TPLP_91
authors_92 title_92 arXiv_92TPLP_92
authors_93 title_93 arXiv_93TPLP_93

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

fp10chair: ch33

authors_101 title_101 arXiv_101TPLP_101
authors_102 title_102 arXiv_102TPLP_102
authors_103 title_103 arXiv_103TPLP_103

15:30 - 16:00

Coffee Break

16:00 - 17:30

tutorialBchair: ch34

authors_t2 title_t2 Abstract

abstract_t2

17:30 - 19:00

General ALP Meeting

Friday 21 October

09:00 - 10:00

introDchair: ch41

authors_d1 title_d1 Abstract

abstract_d1

10:00 - 10:30

tc1chair: ch41

authors_tc11 title_tc11 arXiv_tc11TPLP_tc11
authors_tc12 title_tc12 arXiv_tc12TPLP_tc12

10:30 - 11:00

Coffee Break

11:00 - 12:30

fp11chair: ch42

authors_111 title_111 arXiv_111TPLP_111
authors_112 title_112 arXiv_112TPLP_112
authors_113 title_113 arXiv_113TPLP_113

12:30 - 14:00

Lunch (on your own)

14:00 - 15:30

tc2chair: ch43

authors_tc21 title_tc21 arXiv_tc21TPLP_tc21
authors_tc22 title_tc22 arXiv_tc22TPLP_tc22
authors_tc23 title_tc23 arXiv_tc23TPLP_tc23
authors_tc24 title_tc24 arXiv_tc24TPLP_tc24
authors_tc25 title_tc25 arXiv_tc25TPLP_tc25
authors_tc26 title_tc26 arXiv_tc26TPLP_tc26
authors_tc27 title_tc27 arXiv_tc27TPLP_tc27

15:30 - 16:00

Coffee Break

16:00 - 17:30

tc3chair: ch44

authors_tc31 title_tc31 arXiv_tc31TPLP_tc31
authors_tc32 title_tc32 arXiv_tc32TPLP_tc32
authors_tc33 title_tc33 arXiv_tc33TPLP_tc33
authors_tc34 title_tc34 arXiv_tc34TPLP_tc34
authors_tc35 title_tc35 arXiv_tc35TPLP_tc35
authors_tc36 title_tc36 arXiv_tc36TPLP_tc36
authors_tc37 title_tc37 arXiv_tc37TPLP_tc37