JICSLP'98/LOPSTR'98/ID Programme

1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98)

15-19 June 1998

Eighth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'98)

15-19 June 1998

Compulog Net Industrial Conference (IC)

18 June 1998

Manchester, UK


Outline Programme

Monday 15 June 1998

0800 LOPSTR Registration
0845 LOPSTR Welcome
0900 LOPSTR Paper Session 1
1030 Coffee/tea
1100 LOPSTR Paper Session 2
1230 Buffet lunch
1400 LOPSTR Paper Session 3
1530 Coffee/tea
1600 LOPSTR Paper Session 4
1730 JICSLP Registration
1900 JICSLP/LOPSTR Reception

Tuesday 16 June 1998

0800 JICSLP Registration
0915 JICSLP Welcome
0930 JICSLP Invited Talk: Ken McAloon
1030 Coffee/tea
1100 JICSLP Paper Session 1 and LOPSTR Paper Session 5
1230 Buffet lunch
1400 JICSLP Tutorial 1 and JICSLP Tutorial 2
1530 Coffee/tea
1600 JICSLP Paper Session 2 and LOPSTR Paper Session 6
1730 End
1900 Programming contest

Wednesday 17 June 1998

0900 Registration
0930 JICSLP Keynote Talk: Robin Milner
1030 Coffee/tea
1100 JICSLP Paper Session 3 and LOPSTR Paper Session 7
1230 Buffet lunch
1515 Birthday Party
1900 Halle Prom

Thursday 18 June 1998

0900 Registration
0930 JICSLP Invited Talk: Nada Lavrac
1030 Coffee/tea
1100 JICSLP Paper Session 4 and IC Paper Session 1
1230 Buffet lunch
1400 JICSLP Paper Session 5 and IC Paper Session 2
1530 Coffee/tea
1600 JICSLP posters + LOPSTR demos and IC Paper Session 3
1730 End
1800 ALP meeting
1900 Conference Dinner

Friday 19 June 1998

0930 LOPSTR Invited Talk: Pierre Wolper
1030 Coffee/tea
1100 JICSLP Paper Session 6 and LOPSTR Paper Session 8
1230 Buffet lunch
1400 JICSLP Tutorial 3 and JICSLP Tutorial 4
1530 Coffee/tea
1600 JICSLP Paper Session 7 and LOPSTR Paper Session 9
1730 End
1900 Musical evening featuring the LP Trio

Detailed Programme

Monday 15 June 1998

0800 LOPSTR Registration
0845 LOPSTR Welcome
0900 LOPSTR Paper Session 1: Specification
NP-SPEC: An Executable Specification Language for Solving all Problems in NP
M. Cadoli, L. Palopoli, A. Schaerf, D. Vasile
Attempto Controlled English: Not Just Another Logic Specification Language
N. Fuchs, U. Schwertel, R. Schwitter
Specialising Logic Programs wrt Pre and Post Specifications
A. Bossi, S. Rossi
1030 Coffee/tea
1100 LOPSTR Paper Session 2: Synthesis I
Synthesizing Imperative Object-Oriented Programs Using a Logic of Actions
P. Bellot
Synthesis of Programs in Abstract Data Types
A. Avellone, M. Ferrari, P. Miglioli
Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems
J. Van Baalen, S. Roach
1230 Buffet lunch
1400 LOPSTR Paper Session 3: Transformation
An Exhaustive-Search Method using Layered Streams Obtained through a Meta-Interpreter for Chain Programs
D. Rosenblueth
A Calculus of Program Transformations and Its Applications
R. Ben Ayed, J. Desharnais, M. Frappier, A. Mili
Preventing Instantiation Errors and Loops for Logic Programs with Several Modes Using Block Declarations
J.-G. Smaus, P. Hill, A. King
1530 Coffee/tea
1600 LOPSTR Paper Session 4: Verification
Invariant Discovery via Failed Proof Attempts
J. Stark, A. Ireland
Verifying Protocols with Executable Linear Logic
P. Merino, J.-M. Troya
1700 JICSLP Registration
1900 JICSLP/LOPSTR Reception

Tuesday 16 June 1998

0800 JICSLP Registration
0915 JICSLP Welcome
0930 JICSLP Invited Talk:
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming
Ken McAloon, ILOG Inc. and City University of New York
1030 Coffee/tea
1100 JICSLP Paper Session 1: Constraints LOPSTR Paper Session 5: Specialisation
Co-definite Set Constraints with Membership Expressions
P. Devienne, J.-M. Talbot, S. Tison
On the Representation and Management of Finite Sets in
CLP-languages

A. Dovier, C. Piazza, E. Pontelli, G. Ross
Meta Linear Constraint in Constraint Logic Programming
P. Refalo
A Formal Comparison of Well-Quasi and Well-Founded Orders for Online Termination
M. Leuschel
Generalization in Hierarchies of Online Program Specialization Systems
R. Gluck, J. Hatcliff, J. Jørgensen
Bottom Up Specialisation: Towards General Foundations
W. Vanhoof, D. De Schreye, B. Martens
1230 Buffet lunch
1400 JICSLP Tutorial 1: JICSLP Tutorial 2:
SICStus Prolog and Agent-Based Systems
Olle Olsson
Logic Program Transformation
Alberto Pettorossi and Maurizio Proietti
1530 Coffee/tea
1600 JICSLP Paper Session 2: Systems/Implementations LOPSTR Paper Session 6: Synthesis II and Schemas
A High-Level Intermediate Language and the Algorithms
for Compiling Finite-Domain Constraints

N.-F. Zhou
Distance: a New Metric for Controlling Granularity for
Parallel Execution

K. Shen, V. Santos Costa, A. King
VisAll: A new Tool to Visualise Parallel Execution of
Logic Programs

N. Fonseca, V. Santos Costa, I. de Castro Dutra
A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury
D. Baldan, B. Le Charlier, C. Leclère, I. Pollet
Schema-Guided Synthesis of Constraint Logic Programs
H. Zidoum, P. Flener, B. Hnich
Proof Planning with Schema Frameworks
J. Richardson
1730 End
1900 Prolog Programming Contest

Wednesday 17 June 1998

0900 Registration
0930 JICSLP Keynote Talk:
The Pi Calculus and its Applications
Robin Milner, University of Cambridge
1030 Coffee/tea
1100 JICSLP Paper Session 3: Proof SystemsLOPSTR Paper Session 7: Analysis
Proof-Theoretic Foundation of Compilation in
Logic Programming Languages

I. Cervesato
Abstract Compilation of Lambda Prolog
F. Malesieux, O. Ridoux, P. Boizumault
Efficient Implementation of a Linear Logic
Programming Language

J.S. Hodas, K.M. Watkins, N. Tamura, K.-S. Kang
Successes in Logic Programs
A. Bossi, N. Cocco
Inferring and Compiling Termination for Constraint Logic Programs
S. Hoarau, F. Mesnard
Strictness Analysis as Finite-Domain Constraint Solving
T. Gabric´, H. Søndergaard
1230 Buffet lunch
1515 Birthday Party
1900 Halle Prom

Thursday 18 June 1998

0900 Registration
0930 JICSLP Invited Talk:
Inductive Logic Programming for Relational Knowledge Discovery
Nada Lavrac, Jozef Stefan Institute
1030 Coffee/tea
1100 JICSLP Paper Session 4: Semantics IC Paper Session 1
Normal Forms for Defeasible Logic
G. Antoniou, D. Billington, M.J. Maher
Regular Extension Semantics and Disjunctive
Eshghi-Kowalski Procedure

J.-H. You, L.Y. Yuan, R. Goebel
Beyond Success and Failure
S. Etalle, F. van Raamsdonk
The Prolog-CORBA Combination in the Maya Spoken Language System
Ed Kaneen, BT Laboratories, UK
Crew Scheduling at North Western Trains using CHIP
Iain Maclean, PA Consulting, UK
1230 Buffet lunch
1400 JICSLP Paper Session 5: Program AnalysisIC Paper Session 2
Source-to-source Prolog Program Compression
P. Devienne, A. Parrain, P. Tallibert, S. Varennes
Program Specialisation and Abstract Interpretation
Reconciled

M. Leuschel
Termination Analysis: Some Practical Properties of
the Norm and Level Mapping Space

S. Decorte, D. De Schreye
Configuration Spreadsheet for Interactive Constraint Problem Solving
Martin Renschler, Ericsson Eurolab, Germany
D-WMS: Distributed Workforce Management using CLP. An Application from British Telecom
Steve Gregory, University of Bristol, UK
1530 Coffee/tea
1600 JICSLP posters and LOPSTR demos SewEx - A Flex Based Expert System for Sewege Treatment at Welsh Water
Philip Grant, University of Wales, Swansea, UK
The Application of Inductive Logic Programming to Problems Related to Drug Design
Ashwin Srinivasan, Oxford University, UK
1730 End IC Closing Discussion
1800 ALP meeting
1900 Conference Dinner

Friday 19 June 1998

0930 LOPSTR Invited Talk:
Algorithms for Synthesizing Reactive Systems: A Perspective
Pierre Wolper, Université de Liège
1030 Coffee/tea
1100 JICSLP Paper Session 6: DatabasesLOPSTR Paper Session 8: Composition and Reuse
On Logically Justified Updates
M. Dekhtyar, A. Dikovsky, N. Spyratos
Iterated Logic Program Updates
J. Leite, L.M. Pereira
Specialising The Other Way Around
W. Vanhoof, B. Martens, D. De Schreye, K. De Vlaminck
OOD Frameworks in Component-based Software Development in Computational Logic
K.-K. Lau, M. Ornaghi
Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes
A. Hamfelt, J. Fischer Nilsson
The Use of Renaming in Composing General Programs
A. Brogi, S. Contiero, F. Turini
1230 Buffet lunch
1400 JICSLP Tutorial 3: JICSLP Tutorial 4:
Inheritance with Exceptions and Logic Programming
Jia-Huai You, Li Yan Yuan
Model Checking and XSB
C.R. Ramakrishnan
1530 Coffee/tea
1600 JICSLP Paper Session 7: AlgorithmsLOPSTR Paper Session 9: Industrial Applications
Greedy Algorithms in Datalog with Choice and Negation
S. Greco, C. Zaniolo
On the Optimality of Scheduling Strategies in
Subsumption-based Tabled Resolution

P. Rao, C.R. Ramakrishnan, I.V. Ramakrishnan
Admissible Graph Rewriting and Narrowing
R. Echahed, J.-C. Janodet
Pragmatics in the Synthesis of Logic Programs
D. Robertson, J. Agustí
Set Constraints: Validation for Set-based Specification
A. Tellez-Arenas
A Set-Oriented Meta-Interpreter Driven by a "Relational" Trace for Deductive Databases Debugging
S. Mallet, M. Ducassé
1730 End
1900 Musical evening featuring the LP Trio

Back to JICSLP'98 home page

Back to LOPSTR'98 home page


Kung-Kiu Lau
Department of Computer Science
University of Manchester
Manchester M13 9PL
United Kingdom
Phone: +44 161 275 5716
Fax: +44 161 275 6204
Email: kung-kiu@cs.man.ac.uk