|
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 |
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 |
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 |
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 |
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 |
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 Systems | LOPSTR 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 Analysis | IC 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: Databases | LOPSTR 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: Algorithms | LOPSTR 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 |