Upload
others
View
2
Download
0
Embed Size (px)
Citation preview
Welcome to Melbourne!
We welcome you to the most liveable city in the world,1 which is hosting the 23rdInternational Conference on Principles and Practice of Constraint Programming, the 33rdInternational Conference on Logic Programming and the 20th International Conference onTheory and Applications of Satisfiability Testing.
Venue
Rooms: Most workshop and conference sessions will take place at Level 1 of theMelbourne Convention Centre (see detailed program for room allocations), accessible viaStairs 1 (see map on the next page) or the lifts.
Work space: In addition to the workshop and conference rooms, you can use room 112on Monday and room 207 (on Level 2) from Tuesday to Friday to work, meet or relax.
Catering: Morning coffee/tea (before the first session) and two coffee/tea breaks withlight snacks (10:00 am and 3:30 pm) are included in your registration. Lunch is not provided.There is a wide selection of restaurants and food courts in the immediate neighbourhood ofthe Convention Centre. We recommend you exit towards the Yarra River and choose one ofthe restaurants in the Restaurant Precinct, one of the vendors in the food court within theDFO, or one of the many restaurants and food courts along the Southbank Promenade.
Free WiFi: is available throughout the Convention Centre via the M Connect network.
Social Program
Doctoral Program Dinner: On Monday, 28th August, all students in the DoctoralProgram are invited to the Spaghetti Tree restaurant in 59 Bourke St (near Exhibition St).
Opening Reception: The opening reception with canapes and drinks will take place inRoom 110 on Tuesday, 29th August, from 6:00 pm. It will include a celebration of the life ofAlain Colmerauer, one of the founders of the ICLP and CP communities, who passed away inMay 2017.
Guided Tours: On Thursday, 31st August, you can choose between a guided tour ofMelbourne’s world-renowned street art, a guided tour of the Australian Collection of theNational Gallery of Victoria, and a self-guided tour of the Sea Life Melbourne Aquarium.Tours start around 4:00 pm.
Banquet: The conference banquet will take place at the Sea Life Melbourne Aquarium onThursday, 31st August, from 6:30 pm. Please use the side entrance in King Street.
1depending on your objective function
2
Useful Numbers
Emergency (police, ambulance, fire): 000International access code (from rest of the world to Australia): 61International dialling prefix (from Australia to rest of the world): 0011
Venue Map
101 102
103 107
108
109 110
111 112
Foyer
Lifts
StairsC
D
A
BB
C
A
AA
A A
A
A
A
A
A
A
A
A
A
AC
A
C
A
CA
B B
B
L C
L C
L C
SR:23
SR:23
CL1
C
B1 B2
101 102
103 104105 106
107
108
112111
110109
STAIR1
HILTONACCESS
SPEAKERSPREP
RM 101
BACK OFHOUSEAREA
BACK OFHOUSEAREA
BACK OFHOUSEAREA
BACK OFHOUSEAREA
TRUCKLIFT
BACK OF HOUSELIFTS
PUBLIC ACCESSLIFTS
ACCESSFROM / TO LEVEL 2
ACCESSFROM / TO LEVEL 2
ACCESSFROM / TO
GROUND LEVEL
ACCESSFROM / TO
GROUND LEVEL
ORGANISEROFFICE 101
ORGANISEROFFICE 101STORAGE
RM
DISABLEDAMENITIES
109 110 111 112
108
107
106105104103
102101
MELBOURNE CONVENTION CENTRE: LEVEL 01 - MEETING ROOMS 101-112
EVENT DATE:
EVENT NAME: EVENT NO:
DRAWN BY:
DOOR SIGNAGEDDA ENTRY BUTTON
C
D
A
BB
C
A
AA
A A
A
A
A
A
A
A
A
A
A
AC
A
C
A
CA
B B
B
L C
L C
L C
SR:23
SR:23
CL1
C
B1 B2
101 102
103 104105 106
107
108
112111
110109
STAIR1
HILTONACCESS
SPEAKERSPREP
RM 101
BACK OFHOUSEAREA
BACK OFHOUSEAREA
BACK OFHOUSEAREA
BACK OFHOUSEAREA
TRUCKLIFT
BACK OF HOUSELIFTS
PUBLIC ACCESSLIFTS
ACCESSFROM / TO LEVEL 2
ACCESSFROM / TO LEVEL 2
ACCESSFROM / TO
GROUND LEVEL
ACCESSFROM / TO
GROUND LEVEL
ORGANISEROFFICE 101
ORGANISEROFFICE 101STORAGE
RM
DISABLEDAMENITIES
109 110 111 112
108
107
106105104103
102101
MELBOURNE CONVENTION CENTRE: LEVEL 01 - MEETING ROOMS 101-112
EVENT DATE:
EVENT NAME: EVENT NO:
DRAWN BY:
DOOR SIGNAGEDDA ENTRY BUTTON
ConventionCentreLevel 1
Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual 20 December 2012
8
Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual
7
MCEC Location within Melbourne Including Public Transport
TransportTrams: run along Spencer, Clarendon and Flinders Streets.
Trains: Southern Cross Station is a seven minute walk from the MCEC.
Taxi ranks are located outside all major hotels within the CBD, Southern Cross Station, Crown Casino Complex and Hilton Hotel South Wharf.
Coach pick-up and drop-off bays are located at the front entrance of each building. These bays are for drop off and pick-up only, coach parking is not permitted. Please discuss your requirements with your Event Planner.
Contact
Melbourne Convention and Exhibition Centre GPO Box 777 Melbourne 3001Tel: +61 3 9235 8000 Fax: +61 3 9235 8001
Melbourne Convention Centre 1 Convention Centre Place, South Wharf 3006
Melbourne Exhibition Centre 2 Clarendon Street, South Wharf 3006
MCEC venue within immediate location
Restaurant precinct opening August 2011
Etihad
Stadium
Bourke
Street
Collins
Street
HiltonMelbourne
SouthWharf
EXHI
BITI
ON C
ENTR
E
Melbourne CBD
Southern Cross Station
South Wharf Promenade
North Wharf
Yarra River
DFO
Offices
HomemakerHub
Orrs
Wal
k
Wrig
ht W
alk
Rona Walk
Mon
tagu
e St
reet
Orrs Dock
Norm
anby
Roa
d
Flinder
s Stre
et
Siddele
y Stre
et
Seafarers Bridge
World TradeCentre
Car ParkEntrance
Exhibition CentreLoading Dock
Convention CentreLoading Dock
Convention Centre Place
Wurundj
eri W
ay
Spencer Street
Clarendon Street
CONVENTION CENTRE
The Plenary
LOAD
ING
DOCK
Exit
Entry
South Melbourne
Docklands
N
Docklands
Central
Business
District
Southern
Cross Station
Car ParkEntranceFreeway Car Park
South WharfRetail Car Park
Car Park
Dukes Walk
Dukes Walk
Montague Street
Lorimer Street
96
109
112
48
Car ParkEntrance
Car ParkEntrance
Car ParkEntrance
Munro
Freeway Ramp
Freeway Ramp
Normanby Road
Polly Woodside Maritime Precinct
5
67 8 9
10
10
9
8
7
6
5
4
3
2
1
Stre
et
Entry
Entry
EntryEntry
ATM
ATM
ATM
Link
1 2
3
70
ATM
96
3
ATM
Berthing Dock
Bike Racks
Bike Share Station
Business Centre
Cafe
Cloak Room
Customer Service
Disabled Access
Door Numbers
Lift
Parents Room
Parking
Polly Woodside
Prayer Room
Public Access
Security
Stairway
Taxi Rank
Ticket Office
Tramline
Tram Number
MCEC Venue Map
www.visitmelbourne.com (Melbourne Visitor Information) www.metlink.com.au (Public Transport Information)
WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)
NSt Kilda Road
Southern Cross Station
City Road
Normanby
Road
Clarendon Street
Kings Way
Brunton Avenue
Bourke Street
Harbour Esplanade
Collins Street
TelstraDome
Flinders Street
Station
Federation
Square
Crown
Comple
x
CENTRAL BUSINESSDISTRICT
Spencer Streeet
Flinders Street
Collins Street
Bourke Street
ARTSPRECINCT
SPORTSPRECINCT
Westgate Freeway
Wurundjeri W
ay
Montague Street
Crown
Complex
HiltonHotel
Retail
Retail
OfficeTowerConvention Centre Place Exhibition
Centre
ConventionCentre
Footbridge
YARRA RIVER
112
109
96
96
109112
4870
4870
75
Wurundjeri Way
DOCKLANDS
WorldTradeCentre
Clarendon Street
WESTGATE FREEWAY
FLINDERS
STREET STATION
Melbourne Convention Centre1 Convention Centre Place, South Wharf 3006
Melbourne Exhibition Centre2 Clarendon Street, South Wharf 3006
96
South Wharf Precinct
Foyer
Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual 20 December 2012
8
Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual
7
MCEC Location within Melbourne Including Public Transport
TransportTrams: run along Spencer, Clarendon and Flinders Streets.
Trains: Southern Cross Station is a seven minute walk from the MCEC.
Taxi ranks are located outside all major hotels within the CBD, Southern Cross Station, Crown Casino Complex and Hilton Hotel South Wharf.
Coach pick-up and drop-off bays are located at the front entrance of each building. These bays are for drop off and pick-up only, coach parking is not permitted. Please discuss your requirements with your Event Planner.
Contact
Melbourne Convention and Exhibition Centre GPO Box 777 Melbourne 3001Tel: +61 3 9235 8000 Fax: +61 3 9235 8001
Melbourne Convention Centre 1 Convention Centre Place, South Wharf 3006
Melbourne Exhibition Centre 2 Clarendon Street, South Wharf 3006
MCEC venue within immediate location
Restaurant precinct opening August 2011
Etihad
Stadium
Bourke
Street
Collins
Street
HiltonMelbourne
SouthWharf
EXHI
BITI
ON C
ENTR
E
Melbourne CBD
Southern Cross Station
South Wharf Promenade
North Wharf
Yarra River
DFO
Offices
HomemakerHub
Orrs
Wal
k
Wrig
ht W
alk
Rona Walk
Mon
tagu
e St
reet
Orrs Dock
Norm
anby
Roa
d
Flinder
s Stre
et
Siddele
y Stre
et
Seafarers Bridge
World TradeCentre
Car ParkEntrance
Exhibition CentreLoading Dock
Convention CentreLoading Dock
Convention Centre Place
Wurundj
eri W
ay
Spencer Street
Clarendon Street
CONVENTION CENTRE
The Plenary
LOAD
ING
DOCK
Exit
Entry
South Melbourne
Docklands
N
Docklands
Central
Business
District
Southern
Cross Station
Car ParkEntranceFreeway Car Park
South WharfRetail Car Park
Car Park
Dukes Walk
Dukes Walk
Montague Street
Lorimer Street
96
109
112
48
Car ParkEntrance
Car ParkEntrance
Car ParkEntrance
Munro
Freeway Ramp
Freeway Ramp
Normanby Road
Polly Woodside Maritime Precinct
5
67 8 9
10
10
9
8
7
6
5
4
3
2
1
Stre
et
Entry
Entry
EntryEntry
ATM
ATM
ATM
Link
1 2
3
70
ATM
96
3
ATM
Berthing Dock
Bike Racks
Bike Share Station
Business Centre
Cafe
Cloak Room
Customer Service
Disabled Access
Door Numbers
Lift
Parents Room
Parking
Polly Woodside
Prayer Room
Public Access
Security
Stairway
Taxi Rank
Ticket Office
Tramline
Tram Number
MCEC Venue Map
www.visitmelbourne.com (Melbourne Visitor Information) www.metlink.com.au (Public Transport Information)
WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)
N
St Kilda Road
Southern Cross Station
City Road
Normanby
Road
Clarendon Street
Kings Way
Brunton Avenue
Bourke Street
Harbour Esplanade
Collins Street
TelstraDome
Flinders Street
Station
Federation
Square
Crown
Comple
x
CENTRAL BUSINESSDISTRICT
Spencer Streeet
Flinders Street
Collins Street
Bourke Street
ARTSPRECINCT
SPORTSPRECINCT
Westgate Freeway
Wurundjeri W
ay
Montague Street
Crown
Complex
HiltonHotel
Retail
Retail
OfficeTowerConvention Centre Place Exhibition
Centre
ConventionCentre
Footbridge
YARRA RIVER
112
109
96
96
109112
4870
4870
75
Wurundjeri Way
DOCKLANDS
WorldTradeCentre
Clarendon Street
WESTGATE FREEWAY
FLINDERS
STREET STATION
Melbourne Convention Centre1 Convention Centre Place, South Wharf 3006
Melbourne Exhibition Centre2 Clarendon Street, South Wharf 3006
96
South Wharf Precinct
Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual 20 December 2012
8
Melbourne Convention and Exhibition Centre. PB-OP-7100000 MCEC Operations Manual
7
MCEC Location within Melbourne Including Public Transport
TransportTrams: run along Spencer, Clarendon and Flinders Streets.
Trains: Southern Cross Station is a seven minute walk from the MCEC.
Taxi ranks are located outside all major hotels within the CBD, Southern Cross Station, Crown Casino Complex and Hilton Hotel South Wharf.
Coach pick-up and drop-off bays are located at the front entrance of each building. These bays are for drop off and pick-up only, coach parking is not permitted. Please discuss your requirements with your Event Planner.
Contact
Melbourne Convention and Exhibition Centre GPO Box 777 Melbourne 3001Tel: +61 3 9235 8000 Fax: +61 3 9235 8001
Melbourne Convention Centre 1 Convention Centre Place, South Wharf 3006
Melbourne Exhibition Centre 2 Clarendon Street, South Wharf 3006
MCEC venue within immediate location
Restaurant precinct opening August 2011
Etihad
Stadium
Bourke
Street
Collins
Street
HiltonMelbourne
SouthWharf
EXHI
BITI
ON C
ENTR
E
Melbourne CBD
Southern Cross Station
South Wharf Promenade
North Wharf
Yarra River
DFO
Offices
HomemakerHub
Orrs
Wal
k
Wrig
ht W
alk
Rona Walk
Mon
tagu
e St
reet
Orrs Dock
Norm
anby
Roa
d
Flinder
s Stre
et
Siddele
y Stre
et
Seafarers Bridge
World TradeCentre
Car ParkEntrance
Exhibition CentreLoading Dock
Convention CentreLoading Dock
Convention Centre Place
Wurundj
eri W
ay
Spencer Street
Clarendon Street
CONVENTION CENTRE
The Plenary
LOAD
ING
DOCK
Exit
Entry
South Melbourne
Docklands
N
Docklands
Central
Business
District
Southern
Cross Station
Car ParkEntranceFreeway Car Park
South WharfRetail Car Park
Car Park
Dukes Walk
Dukes Walk
Montague Street
Lorimer Street
96
109
112
48
Car ParkEntrance
Car ParkEntrance
Car ParkEntrance
Munro
Freeway Ramp
Freeway Ramp
Normanby Road
Polly Woodside Maritime Precinct
5
67 8 9
10
10
9
8
7
6
5
4
3
2
1
Stre
et
Entry
Entry
EntryEntry
ATM
ATM
ATM
Link
1 2
3
70
ATM
96
3
ATM
Berthing Dock
Bike Racks
Bike Share Station
Business Centre
Cafe
Cloak Room
Customer Service
Disabled Access
Door Numbers
Lift
Parents Room
Parking
Polly Woodside
Prayer Room
Public Access
Security
Stairway
Taxi Rank
Ticket Office
Tramline
Tram Number
MCEC Venue Map
www.visitmelbourne.com (Melbourne Visitor Information) www.metlink.com.au (Public Transport Information)
WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)WELCOME TO THE MELBOURNE CONVENTION AND EXHIBITION CENTRE (MCEC)
N
St Kilda Road
Southern Cross Station
City Road
Normanby
Road
Clarendon Street
Kings Way
Brunton Avenue
Bourke Street
Harbour Esplanade
Collins Street
TelstraDome
Flinders Street
Station
Federation
Square
Crown
Comple
x
CENTRAL BUSINESSDISTRICT
Spencer Streeet
Flinders Street
Collins Street
Bourke Street
ARTSPRECINCT
SPORTSPRECINCT
Westgate Freeway
Wurundjeri W
ay
Montague Street
Crown
Complex
HiltonHotel
Retail
Retail
OfficeTowerConvention Centre Place Exhibition
Centre
ConventionCentre
Footbridge
YARRA RIVER
112
109
96
96
109112
4870
4870
75
Wurundjeri Way
DOCKLANDS
WorldTradeCentre
Clarendon Street
WESTGATE FREEWAY
FLINDERS
STREET STATION
Melbourne Convention Centre1 Convention Centre Place, South Wharf 3006
Melbourne Exhibition Centre2 Clarendon Street, South Wharf 3006
96
South Wharf Precinct
CitySouthbank Promenade
Melb
ourn
e C
onve
ntion a
nd E
xhib
itio
n C
entr
e.
PB
-OP-7
100000 M
CEC O
pera
tions
Manual 20 D
ece
mber
2012
8
Melb
ourn
e C
onve
ntion a
nd E
xhib
itio
n C
entr
e.
PB
-OP-7
100000 M
CEC O
pera
tions
Manual
7
MCEC L
ocation w
ithin
Melb
ourn
e Inclu
din
g P
ublic T
ransp
ort
Transp
ort
Tram
s: r
un a
long S
pencer, C
lare
ndon a
nd F
linders
Str
eets
.
Train
s: S
outh
ern
Cro
ss S
tation is
a s
eve
n m
inute
walk
fro
m t
he M
CEC.
Taxi
ranks
are
locate
d o
uts
ide a
ll m
ajo
r hote
ls w
ithin
the C
BD
, South
ern
Cro
ss S
tation, Cro
wn C
asi
no C
om
ple
x
and H
ilto
n H
ote
l South
Wharf
.
Coach p
ick-u
p a
nd d
rop-o
ff b
ays
are
locate
d a
t th
e f
ront
entr
ance o
f each b
uildin
g. These
bays
are
for
dro
p o
ff a
nd
pic
k-u
p o
nly
, coach p
ark
ing is
not
perm
itte
d. Ple
ase
dis
cuss
your
requirem
ents
with y
our
Eve
nt
Pla
nner.
Conta
ct
Melb
ourn
e C
onve
ntion a
nd E
xhib
itio
n C
entr
e
GPO B
ox 7
77
Melb
ourn
e 3
001
Tel: +61 3
9235 8
000
Fax:
+
61 3
9235 8
001
Melb
ourn
e C
onve
ntion C
entr
e
1 C
onve
ntion C
entr
e P
lace, South
Wharf
3006
Melb
ourn
e E
xhib
itio
n C
entr
e
2 C
lare
ndon S
treet,
South
Wharf
3006
MCEC v
enue w
ithin
im
media
te location
Restaura
nt pre
cinct
openin
g August
2011
Etihad
Stadium
Bourke Street
CollinsStre
et
Hilto
n
Melb
ourn
e
South
Wharf
EXHIBITION CENTREMelb
ourn
e C
BD
South
ern
Cro
ss Sta
tion
South W
harf Pro
menade
Nort
h Wharf
Yarra R
iver
DFO
Off
ices
Hom
em
aker
Hub
Orrs Walk
Wright Walk
Rona Walk
Montague Street
Orr
s Dock Normanby
RoadFlinders Stre
et
Siddeley Stre
et
Seafarers Bridge
World T
rade
Centr
e
Car
Park
Entr
ance
Exhib
itio
n C
entr
e
Loadin
g D
ock
Conve
nti
on C
entr
e
Loadin
g D
ock
Conve
ntion C
entr
e P
lace
Wurundjeri Way
Spencer Street Clarendon Street
CO
NVEN
TIO
N C
EN
TR
E
The P
lenary
LOADING DOCK
Exit
Entr
y
South
Melb
ourn
e
Dock
lands
N
Docklands
Central
Business
Distric
t
Southern
Cross
Sta
tion
Car
Park
Entr
ance
Freew
ay C
ar
Park
South
Wharf
Reta
il C
ar
Park
Car
Park
Dukes W
alk
Dukes Walk
Montague Street
Lorimer S
treet
96
109
112
48
Car
Park
Entr
ance
Car
Park
Entr
ance
Car
Park
Entr
ance
Munro
Freew
ay R
am
p
Freew
ay Ram
p
Normanby R
oad
Polly W
oodside Marit
ime P
recin
ct
5
6
7
8
910
10
9
8
7
6
5
4
3
2
1
Street
Entr
y
Entr
y
Entr
y
Entr
y
ATM
ATM
ATM
Lin
k
1
2
3
70
ATM
96
3
ATM
Bert
hin
g D
ock
Bik
e R
ack
s
Bik
e Share
Sta
tion
Busin
ess C
entr
e
Cafe
Clo
ak R
oom
Custo
mer
Serv
ice
Dis
able
d A
ccess
Door
Num
bers
Lift
Pare
nts
Room
Park
ing
Polly W
oodsid
e
Pra
yer
Room
Public
Acc
ess
Secu
rity
Sta
irw
ay
Taxi R
ank
Tic
ket
Off
ice
Tram
line
Tram
Num
ber
MCEC V
enue M
ap
www.v
isitm
elbourn
e.com
(Melb
ourne V
isito
r Info
rmatio
n)
www.m
etlink.c
om.a
u (Public
Tra
nsport
Info
rmatio
n)
WELCO
ME T
O T
HE M
ELB
OU
RN
E C
ON
VEN
TIO
N A
ND
EXH
IBIT
ION
CEN
TR
E (
MCEC)
WELCO
ME T
O T
HE M
ELB
OU
RN
E C
ON
VEN
TIO
N A
ND
EXH
IBIT
ION
CEN
TR
E (
MCEC)
N
St Kilda Road
South
ern
Cro
ss Sta
tion
City R
oad
Normanby
RoadClarendon Street
Kings Way
Brunton Avenue
Bourke S
treet
Harbour EsplanadeColli
ns Str
eetTe
lstr
a
Dom
e
Flinders
Str
eet
Statio
n
Federa
tion
Square
CrownComplex
CEN
TR
AL
BU
SIN
ESS
DIS
TR
ICT
Spencer Streeet
Flinders
Stre
et
Collins S
treet
Bourke S
treet
AR
TS
PR
ECIN
CT
SPO
RTS
PR
ECIN
CT
Westg
ate F
reew
ay
Wurundjeri Way
Montague Street
Crown
Complex
Hilto
n
Hote
l
Reta
il
Reta
ilO
ffic
e
Tow
er
Convention Centre
Place
Exhib
itio
n
Centr
e
Conve
nti
on
Centr
e
Footb
ridge
YARRA RIVER
1121
099
6
96
109
112
48
70
48
70
75
Wuru
ndjeri
Way
DO
CK
LAN
DS
Worl
d
Trade
Centr
e Clarendon Street
WESTGATE FREEWAY
FLINDERS
STREET STATIO
N
Melb
ourn
e C
onve
ntion C
entr
e
1 C
onve
ntion C
entr
e P
lace, South
Wharf
3006
Melb
ourn
e E
xhib
itio
n C
entr
e
2 C
lare
ndon S
treet,
South
Wharf
3006
96 S
outh
Wharf
Pre
cin
ct
3
Monday, 28th August
8:00–8:30 Registration and morning coffee (Foyer)
8:30–10:00 Workshops and Doctoral Program
R. 101 Colloquium on Implementation of Constraint Logic Programming Sys-tems (CICLOPS) / Workshop on Parallel Methods for Constraint Solving(PaSeO)
R. 103 Doctoral ProgramR. 107 Pragmatics of Constraint Reasoning (PoCR)R. 108 Constraint Solvers in Testing, Verification and Analysis (CSTVA)R. 111 Logic and Search (LaSh)
10:00–10:30 Coffee, tea, refreshments (Foyer)
10:30–12:00 Workshops and Doctoral Program
R. 101 CICLOPS / PaSeOR. 103 Doctoral ProgramR. 107 PoCRR. 108 CSTVAR. 111 LaSh
12:00–13:30 Lunch break (lunch not provided)
13:30–15:30 Workshops and Doctoral Program
R. 101 Progress Towards the Holy Grail (PTHG)R. 102 Constraint Modeling and Reformulation (ModRef)R. 103 Doctoral ProgramR. 107 PoCRR. 108 CSTVAR. 111 LaSh
15:30–16:00 Coffee, tea, refreshments (Foyer)
4 (Monday)
16:00–18:00 Workshops and Doctoral Program
R. 101 PTHGR. 102 ModRefR. 103 Doctoral ProgramR. 107 PoCRR. 108 CSTVAR. 111 LaSh
19:00–21:00 Doctoral Program Dinner
Spaghetti Tree, 59 Bourke St
Tuesday, 29th August
8:00–8:45 Registration and morning coffee (Foyer)
8:45–9:00 Room 109 Plenary
Welcome
9:00–10:00 Room 109 Invited talk: Holger Hoos
The best of both worlds: Machine learning meets logical reasoning
10:00–10:30 Coffee, tea, refreshments (Foyer)
10:30–12:10 Room 109 CP1: Graphs and Graphical Models(chair: John Hooker)
10:30 On Maximum Weight Clique Algorithms, and How They Are EvaluatedCiaran McCreesh, Patrick Prosser, Kyle Simpson and James Trimble
10:55 Rotation-Based Filtering for Stable MatchingMohamed Siala and Barry O’Sullivan
11:20 A Constraint Composite Graph-Based ILP Encoding of the Weighted CSPHong Xu, Sven Koenig and T. K. Satish Kumar
11:45 MDDs: Sampling and Probability ConstraintsGuillaume Perez and Jean-Charles Regin
5 (Tuesday)
10:30–12:10 Room 112 CP2: Theory(chair: George Katsirelos)
10:30 Kernelization of Constraint Satisfaction Problems: A Study through Uni-versal AlgebraVictor Lagerqvist and Magnus Wahlstrom
10:55 All or nothing: toward a promise problem dichotomy for constraint prob-lemsLucy Ham and Marcel Jackson
11:20 Analyzing lattice point feasibility in UTVPI constraintsK. Subramani and Piotr Wojciechowski
11:45 Conditions Beyond Treewidth for Tightness of Higher-order LP RelaxationsMark Rowland, Aldo Pacchiano and Adrian Weller
10:30–12:00 Room 111 ICLP1: Semantics(chair: Manuel Hermenegildo)
10:30 Fixpoint Semantics and Optimization of Recursive Datalog Programs withAggregatesCarlo Zaniolo, Mohan Yang, Matteo Interlandi, Ariyam Das, Alexander Shkapsky
and Tyson Condie
11:00 Program Completion in the Input Language of GRINGOAmelia Harrison, Vladimir Lifschitz and Dhananjay Raju
11:30 Well-Founded Operators for Normal Hybrid MKNF Knowledge BasesJianmin Ji, Fangfang Liu and Jia-Huai You
10:30–12:00 Room 110 SAT1: MaxSAT and Minimal Correction Sets(chair: Nina Narodytska)
10:30 On Tackling the Limits of Resolution in SAT SolvingAlexey Ignatiev, Antonio Morgado and Joao Marques-Silva
10:55 MaxPre: An Extended MaxSAT Preprocessor (tool paper)Tuukka Korhonen, Jeremias Berg, Paul Saikko and Matti Jarvisalo
11:10 short break
11:20 (I Can Get) Satisfaction: Preference-based Scheduling for Concert-Goersat Multi-Venue Music FestivalsEldan Cohen, Guoyu Huang and J. Christopher Beck
11:45 Improving MCS Enumeration via CachingAlessandro Previti, Carlos Mencia, Matti Jarvisalo and Joao Marques-Silva
12:10–13:30 Lunch break (lunch not provided)
6 (Tuesday)
13:30–14:30 Room 109 Tutorial 1: Pietro Belotti
Mixed Integer Nonlinear Programming
13:30–14:30 Room 110 Tutorial 2: Armin Biere
Introduction to SAT
14:30–15:20 Room 109 CP3: Search(chair: Willem-Jan van Hoeve)
14:30 Learning Rate Based Branching Heuristic for SAT SolversJia Liang, Vijay Ganesh, Pascal Poupart and Krzysztof Czarnecki
14:55 Search strategies for solving floating point constraint systemsHeytem Zitoun, Claude Michel, Laurent Michel and Michel Rueher
14:30–15:20 Room 112 CP4: Probabilistic Reasoning(chair: Mark Wallace)
14:30 Minimum-Width Confidence Bands via Constraint OptimizationJeremias Berg, Emilia Oikarinen, Matti Jarvisalo and Kai Puolamaki
14:55 Combining Stochastic Constraint Optimization and Probabilistic Program-ming: From Knowledge Compilation to Constraint SolvingAnna Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den
Broeck, Luc De Raedt and Siegfried Nijssen
15:20–15:30 Room 109 CP: upcoming conferences(chair: Chris Beck)
15:20 CPAIOR2018 and CP2018 Presentation
14:30–15:30 Room 111 ICLP2: Systems and Tools(chair: Mario Alviano)
14:30 Inspecting Maude Variants with GLINTS (Tool paper)Marıa Alpuente, Angel Cuenca-Ortega, Santiago Escobar and Julia Sapina
15:00 Computing LPMLN Using ASP and MLN SolversJoohyung Lee, Samidh Talsania and Yi Wang
7 (Tuesday)
14:30–15:20 Room 110 SAT2: QBF SAT 1(chair: Olaf Beyersdorff)
14:30 A Resolution-style Proof System for DQBFMarkus N. Rabe
14:55 From DQBF to QBF by Dependency EliminationRalf Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl and Bernd
Becker
15:30–16:00 Coffee, tea, refreshments (Foyer)
16:00–17:00 Room 109 CP: Awards(chairs: Laurent Michel, Tias Guns)
16:00 ACP Research Excellence Award16:30 ACP Dissertation Award
16:00–17:00 Room 111 ICLP3: Test of Time Award (10 years)(chair: Mirek Truszczynski)
16:00 User-Definable Resource Bounds Analysis for Logic ProgramsJorge Navas, Edison Mera, Pedro Lopez-Garcia, and Manuel V. Hermenegildo
16:00–17:30 Room 110 SAT3: Best Paper Awards(chair: Friedrich Slivovsky)
16:00 Introducing Pareto Minimal Correction Subsets (Best Student PaperAward)Miguel Terra-Neves, Ines Lynce and Vasco Manquinho
16:30 Shortening QBF Proofs with Dependency Schemes (Best Paper Award)Joshua Blinkhorn and Olaf Beyersdorff
17:00 An Empirical Study of Branching Heuristics through the Lens of GlobalLearning Rate (Best Student Paper Honourable Mention)Jia Liang, Vijay Ganesh, Krzysztof Czarnecki, Pascal Poupart and Hari Govind V
K
17:00–17:50 Room 109 CP5: Modeling(chair: Jimmy Lee)
17:00 Optimizing SAT Encodings for Arithmetic ConstraintsNeng-Fa Zhou and Hakan Kjellerstrand
17:25 Modeling with Metaconstraints and Semantic Typing of VariablesAndre Cire, John Hooker and Tallys Yunes
8 (Tuesday)
17:00–17:50 Room 112 CP6: Security and Attacks(chair: Ciaran McCreesh)
17:00 A Tolerant Algebraic Side-Channel Attack on AES Using CPFanghui Liu, Waldemar Cruz, Chujiao Ma, Gregory Johnson and Laurent Michel
17:25 Android Database Attacks RevisitedBehnaz Hassanshahi and Roland Yap
17:00–18:00 Room 111 ICLP4: Technical Communications: Implementation & Tools(chair: Amelia Harrison)
17:00 A Hitchhiker’s Guide to Reinventing a Prolog MachinePaul Tarau
17:12 Term Hiding and its Impact on Run-time Check SimplificationNataliia Stulova, Jose F. Morales and Manuel V. Hermenegildo
17:24 Semantic Versioning Checking in a Declarative Package ManagerMichael Hanus
17:36 Logic Programming with Max-Clique and its Application to Graph ColoringMichael Codish, Michael Frank, Amit Metodi and Morad Muslimany
17:48 Efficient Declarative Solutions in Picat for Optimal Multi-Agent Pathfind-ingNeng-Fa Zhou and Roman Bartak
18:00–20:00 Room 110 Opening reception
Drinks and canapesColette Colmerauer: Alain Colmerauer, a few clues...
Wednesday, 30th August
8:15–9:00 Registration and morning coffee (Foyer)
9:00–10:00 Room 109 Invited talk: Mark Wallace
Constraints and the 4th Industrial Revolution
10:00–10:30 Coffee, tea, refreshments (Foyer)
9 (Wednesday)
10:30–12:10 Room 109 CP7: Clustering, Mining, & Synthesis(chair: Mohamed Siala)
10:30 Constraint Programming for Multi-criteria Conceptual ClusteringMaxime Chabert and Christine Solnon
10:55 A New Declarative Framework for Constrained Community DetectionMohadeseh Ganji, James Bailey and Peter J. Stuckey
11:20 CoverSize: A Global Constraint for Frequency-based Itemset MiningPierre Schaus, John Aoga and Tias Guns
11:45 Constraint-Based Synthesis of Datalog ProgramsAws Albarghouthi, Paraschos Koutris, Mayur Naik and Calvin Smith
10:30–12:10 Room 112 CP8: Scheduling(chair: Ken Brown)
10:30 An Incomplete Constraint-Based System for Scheduling With RenewableResourcesCedric Pralet
10:55 Integer and Constraint Programming for Batch Annealing Process PlanningWillem-Jan Van Hoeve and Sridhar Tayur
11:20 NightSplitter: a scheduling tool to optimize (sub)group activitiesTong Liu, Jacopo Mauro, Maurizio Gabbrielli and Roberto Di Cosmo
11:45 Time-aware Test Case Execution Scheduling for Cyber-Physical SystemsMorten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling and Mats Carlsson
10:30–12:00 Room 111 ICLP5: Knowledge Representation and Reasoning(chair: Esra Erdem)
10:30 Representing Hybrid Automata by Action Language Modulo TheoriesJoohyung Lee, Nikhil Loney and Yunsong Meng
11:00 Productive Corecursion in Logic ProgrammingEkaterina Komendantskaya and Yue Li
11:30 Model Enumeration in Propositional Circumscription via Unsatisfiable CoreAnalysisMario Alviano
10:30–12:00 Room 110 SAT4: Clause learning and symmetry handling(chair: Gilles Audemard)
10:30 Symmetric explanation learning: Effective dynamic symmetry handling forSATJo Devriendt, Bart Bogaerts and Maurice Bruynooghe
10 (Wednesday)
10:55 An adaptive prefix-assignment technique for symmetry reductionTommi Junttila, Matti Karppa, Petteri Kaski and Jukka Kohonen
11:20 On the community structure of Bounded Model Checking SAT problemsGuillaume Baud-Berthier, Jesus Giraldez-Cru and Laurent Simon
11:45 Coverage-based Clause Reduction Heuristics for CDCL SolversHidetomo Nabeshima and Katsumi Inoue
12:10–13:30 Lunch break (lunch not provided)
13:30–14:30 Room 109 Tutorial 3: Guido Tack
Introduction to Constraint Programming
13:30–14:30 Room 110 Tutorial 4: Tias Guns
Machine Learning and Data Science
14:30–15:30 Room 109 Invited talk: Enrico Pontelli
Back to the Future – Parallelism and Logic Programming
15:30–16:00 Coffee, tea, refreshments (Foyer)
16:00–17:40 Room 204 CP: Best Papers(chair: Chris Beck)
16:00 Arc consistency via Linear ProgrammingGrigori German, Olivier Briant, Hadrien Cambazard and Vincent Jost
16:25 Reduced Cost Fixing in MaxSATFahiem Bacchus, Matti Jarvisalo, Paul Saikko and Antti Hyttinen
16:50 Optimal Torpedo SchedulingAdrian Goldwaser and Andreas Schutt
17:15 Improved Filtering for the Bin-Packing with Cardinality ConstraintGuillaume Derval, Jean-Charles Regin and Pierre Schaus
17:40–18:10 Room 204 CP: Competitions(chair: Chris Beck)
17:40 XCSP Competition and MiniZinc Challenge Results
11 (Wednesday)
16:00–17:30 Room 209 ICLP6: Reasoning(chair: Vladimir Lifschitz)
16:00 Finite Model Reasoning over Existential Rules (Best Student Paper)Giovanni Amendola, Nicola Leone and Marco Manna
16:30 Ticker: A System for Incremental ASP-based Stream ReasoningHarald Beck, Thomas Eiter and Christian Folie
17:00 When You Must Forget: Beyond Strong Persistence when Forgetting inAnswer Set ProgrammingRicardo Goncalves, Matthias Knorr, Joao Leite and Stefan Woltran
16:00–17:30 Room 210 SAT5: SAT encoding(chair: Serge Gaspers)
16:00 SAT-Encodings for Special Treewidth and PathwidthNeha Lodha, Sebastian Ordyniak and Stefan Szeider
16:25 CNFgen: a Generator of Crafted Benchmarks (tool paper)Massimo Lauria, Jan Elffers, Jakob Nordstrom and Marc Vinyals
16:40 short break
16:50 A lower bound on CNF encodings of the at-most-one constraintPetr Kucera, Petr Savicky and Vojtech Vorel
17:15 SAT-Based Local Improvement for Finding Tree Decompositions of SmallWidthJohannes K. Fichte, Neha Lodha and Stefan Szeider
17:30–19:00 Room 209 ICLP7: Technical Communications: Knowledge Representa-tion & Probabilistic Logic Programming
(chair: Paul Tarau)
17:30 Entity Set Expansion from the Web via Answer Set Programming (appli-cation paper)Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, and
Marek Adrian
17:42 Understanding Restaurant Stories Using an ASP Theory of IntentionsDaniela Inclezan, Qinglin Zhang, Marcello Balduccini and Ankush Israney
17:54 Reasoning on Anonymity in Datalog+/-Giovanni Amendola, Nicola Leone, Marco Manna and Pierfrancesco Veltri
18:06 The Ingredients of the Argumentation Reasoner pyglaf: Python, Circum-scription, and Glucose to Taste (system and tool paper)Mario Alviano
18:18 Learning Effect Axioms via Probabilistic Logic ProgrammingRolf Schwitter
12 (Wednesday)
18:30 Rule Based Temporal InferenceMelisachew Wudage Chekol and Heiner Stuckenschmidt
17:30–18:30 Room 210 SAT Plenary
17:30 SAT Business Meeting
19:30–21:30 Room 207 ICLP Programming Competition
Thursday, 31st August
8:00–8:45 Registration and morning coffee (Foyer)
8:45–9:00 Room 109 Industry presentation: Daniel Hulme
Optimisation-as-a-Service with the Satalia SolveEngine
9:00–10:00 Room 109 Invited talk: Nina Narodytska
Recent advances in Maximum Satisfiability
10:00–10:30 Coffee, tea, refreshments (Foyer)
10:30–12:10 Room 109 CP9: Explanations, Nogoods, Cuts, and Preferences(chair: Claude-Guy Quimper)
10:30 Combining Nogoods in Restart-Based SearchGael Glorian, Frederic Boussemart, Jean-Marie Lagniez, Christophe Lecoutre and
Bertrand Mazure
10:55 Preference Elicitation for DCOPsAtena M.Tabakhi, Tiep Le, Ferdinando Fioretto and William Yeoh
11:20 Generating Linear Invariants for a Conjunction of Automata ConstraintsEkaterina Arafailova, Nicolas Beldiceanu and Helmut Simonis
11:45 Clique Cuts in Weighted Constraint SatisfactionSimon De Givry and George Katsirelos
13 (Thursday)
10:30–12:10 Room 112 CP10: Scheduling & Sequencing(chair: Cedric Pralet)
10:30 An efficient SMT approach to solve MRCPSP/max instances with tightconstraints on resourcesJordi Coll, Miquel Bofill, Josep Suy and Mateu Villaret
10:55 Constraint Programming applied to the Multi-Skill Project SchedulingProblemKenneth D. Young, Thibaut Feydy and Andreas Schutt
11:20 Hybrid Optimization Methods for Time-Dependent Sequencing ProblemsJoris Kinable, Andre Augusto Cire and Willem-Jan Van Hoeve
11:45 Job Sequencing Bounds from Decision DiagramsJohn Hooker
10:30–12:00 Room 111 ICLP8: Higher Order Logic(chair: Agostino Dovier)
10:30 The Intricacies of 3-Valued Extensional Semantics for Higher-Order LogicPrograms (Best Paper)Panos Rondogiannis and Ioanna Symeonidou
11:00 Constraint Handling Rules with Binders, Patterns and ∇ QuantificationAlejandro Serrano and Jurriaan Hage
11:30 Best ICLP Doctoral Program Presentation
10:30–12:00 Room 110 SAT6: Algorithms, Complexity, and Lower Bounds(chair: Fahiem Bacchus)
10:30 Backdoor Treewidth for SATRobert Ganian, M. S. Ramanujan and Stefan Szeider
10:55 Probabilistic Model Counting with Short XORsDimitris Achlioptas and Panos Theodoropoulos
11:20 New Width Parameters for Model CountingRobert Ganian and Stefan Szeider
11:45 Hard satisfiable formulas for splittings by linear combinationsDmitry Itsykson and Alexander Knop
12:10–13:30 Lunch break (lunch not provided)
13:30–14:00 Room 109 Plenary
Session in Honour of Alain Colmerauer. Chair: Chris Beck
14 (Thursday)
14:00–15:30 Room 109 CP Plenary
14:00 ACP Annual Meeting
14:00–15:30 Room 111 ICLP Plenary
14:00 ALP General Meeting
14:00–15:30 Room 110 SAT7: Competition results(chair: Laurent Simon)
14:00 MaxSAT Evaluation 2017Carlos Ansotegui, Fahiem Bacchus, Matti Jarvisalo and Ruben Martins
14:30 Competitive Evaluation of QBF Solvers (QBFEVAL’17)Luca Pulina and Martina Seidl
15:00 SAT competition 2017Marijn Heule, Matti Jarvisalo and Tomas Balyo
15:30–18:00 Guided tours
18:30–22:30 Conference banquet
Sea Life Melbourne Aquarium, King St entrance
Friday, 1st September
8:15–9:00 Registration and morning coffee (Foyer)
9:00–10:00 Room 109 Invited talk: Agostino Dovier
The role of SAT, CP, and Logic Programming in Computational Biology
10:00–10:30 Coffee, tea, refreshments (Foyer)
15 (Friday)
10:30–12:10 Room 109 CP11: SAT(chair: Christophe Lecoutre)
10:30 Integrating ILP and SMT for Shortwave Radio Broadcast Resource Alloca-tion and Frequency AssignmentLinjie Pan, Jiwei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin and Jian Zhang
10:55 Weight-Aware Core Extraction in SAT-Based MaxSAT SolvingJeremias Berg and Matti Jarvisalo
11:20 MaxSAT-Based Large Neighborhood Search For High School TimetablingEmir Demirovic and Nysret Musliu
11:45 Solving Multiobjective Discrete Optimization Problems with PropositionalMinimal Model GenerationTakehide Soh, Mutsunori Banbara, Naoyuki Tamura and Daniel Le Berre
10:30–12:10 Room 112 CP12: Constraint Types(chair: Nicolas Beldiceanu)
10:30 A Novel Approach to String Constraint SolvingRoberto Amadini, Graeme Gange, Peter J. Stuckey and Guido Tack
10:55 Solving Constraint Satisfaction Problems Containing Vectors of UnknownSizeErez Bilgory, Eyal Bin and Avi Ziv
11:20 Defining and Evaluating Heuristics for the Compilation of Constraint Net-worksJean Marie Lagniez, Pierre Marquis and Anastasia Paparrizou
11:45 Extending Compact-Table to Basic Smart TablesHelene Verhaeghe, Christophe Lecoutre, Yves Deville and Pierre Schaus
10:30–12:00 Room 111 ICLP9: Answer Set Programming(chair: Jia-Huai You)
10:30 Achievements in Answer Set ProgrammingVladimir Lifschitz
11:00 Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empiri-cal AnalysisBernardo Cuteri, Carmine Dodaro, Francesco Ricca and Peter Schuller
11:30 Clingo goes Linear Constraints over Reals and IntegersTomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian
Schellhorn and Philipp Wanko
16 (Friday)
10:30–12:00 Room 110 SAT8: SMT and certificates(chair: Armin Biere)
10:30 On Simplification of Formulas with Unconstrained Variables and QuantifiersMartin Jonas and Jan Strejcek
10:55 Theory Refinement for Program VerificationAntti Hyvarinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich,
Hana Chockler and Natasha Sharygina
11:20 A Benders Decomposition Approach to Deciding Modular Linear IntegerArithmeticBishoksan Kafle, Graeme Gange, Peter Schachte, Harald Sondergaard and Peter
J. Stuckey
11:45 The GRAT Tool Chain: Efficient (UN)SAT Certificate Checking with For-mal Correctness Guarantees (tool paper)Peter Lammich
12:10–13:30 Lunch break (lunch not provided)
13:30–15:35 Room 109 CP13: Global Constraints(chair: Roland Yap)
13:30 Among Implied Constraints for Two Families of Time-Series ConstraintsEkaterina Arafailova, Nicolas Beldiceanu and Helmut Simonis
13:55 Ranking ConstraintsChristian Bessiere, Emmanuel Hebrard, George Katsirelos, Zeynep Kiziltan and
Toby Walsh
14:20 Three Generalizations of the Focus ConstraintNina Narodytska, Thierry Petit, Mohamed Siala and Toby Walsh
14:45 Conjunctions of Among ConstraintsVictor Dalmau
15:10 Learning the Parameters of Global Constraints Using Branch-and-BoundEmilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper and Jason
Sweeney
13:30–15:35 Room 112 CP14: Routing and Transportation(chair: Andreas Schutt)
13:30 Constraint Handling in Flight PlanningAnders Nicolai Knudsen, Marco Chiarandini and Kim S. Larsen
13:55 Constraint-Based Fleet Design Optimisation for Multi-Compartment Split-Delivery Rich Vehicle RoutingTommaso Urli and Philip Kilby
17 (Friday)
14:20 A Column-Generation Algorithm for Evacuation Planning with ElementaryPathsMohd. Hafiz Hasan and Pascal Van Hentenryck
14:45 Branch-and-Check with Explanations for the Vehicle Routing Problem withTime WindowsEdward Lam and Pascal Van Hentenryck
15:10 An Optimization Model for 3D Pipe Routing with Flexibility ConstraintsGleb Belov, Tobias Czauderna, Maria Garcia de La Banda, Mark Wallace, Michael
Wybrow and Amel Dzaferovic
13:30–14:30 Room 111 ICLP10: Test of Time Award (20 years)(chair: Gopal Gupta)
13:30 Hybrid Probabilistic ProgramsAlex Dekhtyar and V.S. Subrahmanian
13:30–14:35 Room 110 SAT9: Parallel SAT solving(chair: Alexey Ignatiev)
13:30 A Distributed Version of SyrupGilles Audemard, Jean Marie Lagniez, Nicolas Szczepanski and Sebastien Tabary
13:55 PaInleSS: a Framework for Parallel SAT SolvingLudovic Le Frioux, Souheib Baarir, Julien Sopena and Fabrice Kordon
14:20 A Propagation Rate based Splitting Heuristic for Divide-and-ConquerSolversSaeed Nejati, Zack Newsham, Joseph Scott, Jia Liang, Catherine Gebotys, Pascal
Poupart and Vijay Ganesh
14:45–15:35 Room 110 SAT10: QBF SAT 2(chair: Olaf Beyersdorff)
14:45 Dependency Learning for QBFTomas Peitl, Friedrich Slivovsky and Stefan Szeider
15:10 A Little Blocked Literal Goes a Long WayBenjamin Kiesl, Marijn Heule and Martina Seidl
14:30–15:30 Room 111 ICLP11: Defeasible and Default Reasoning(chair: Francesco Ricca)
14:30 Annotated Defeasible LogicGuido Governatori and Michael Maher
18 (Friday)
15:00 A New Algorithm to Automate Inductive Learning of Default TheoriesFarhad Shakerin, Elmer Salazar and Gopal Gupta
15:30–16:00 Coffee, tea, refreshments (Foyer)
16:00–17:30 Room 111 ICLP12: Applications(chair: Michael Codish)
16:00 Hybrid Conditional Planning using Answer Set ProgrammingIbrahim Faruk Yalciner, Ahmed Nouman, Volkan Patoglu and Esra Erdem
16:30 Improving Adherence to Heart Failure Management Guidelines via Abduc-tive Reasoning (Application Paper)Zhuo Chen, Elmer Salazar, Kyle Marple, Lakshman Tamil, Gopal Gupta, Sandeep
Das and Alpesh Amin
17:00 Logic Programming Approaches for Routing Fault-free and Maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)Marco Gavanelli, Maddalena Nonato, Andrea Peano and Davide Bertozzi
17:30 Conference closes (Foyer)
19 (Friday)
Sponsors
SATAssociation
IBM and the IBM logo are trademarks of International Business Machines Corp., registered in manyjurisdictions worldwide.