1998 Joint International Conference and Symposium on Logic Programming (JICSLP'98) Eighth International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'98) 15-19 June 1998 Manchester, UK

Call for Participation

The 1998 Joint International Conference and Symposium on Logic Programming JICSLP'98 will be held on 15-19 June 1998 (technical programme from 16 to 19 June) at the University of Manchester, UK.

The conference is the fourth joint event for the International Conference on Logic Programming and the International Logic Programming Symposium, and is the fifteenth conference in each of the two series of premier international conferences on Logic Programming, both sponsored by the the Association for Logic Programming.

It will also coincide with the celebration of the 50th Anniversary of the World's First Stored-Progam Computer, the Baby, built at Manchester in 1948.

• JICSLP'98 Outline Provisional Programme

  The technical programme for JICSLP'98 will contain:

  • 1 keynote talk and 2 invited talks
  • 4 tutorials
  • 21 papers
  • a poster session
  • 8 post-conference workshops

• JICSLP'98 Keynote Speaker

  Robin Milner, Cambridge University, UK

• JICSLP'98 Invited Speakers

  • Nada Lavrac, Jozef Stefan Institute, Slovenia
  • Ken McAloon, City University of New York, USA

• JICSLP'98 Tutorials

  1. SICStus Prolog and Agent-based Systems (Olle Olsson)
  2. Logic Program Transformation (Alberto Pettorossi and Maurizio Proietti)
  3. Inheritance with Exceptions and LP (Jia-Huai You and Li Yan Yuan)
  4. Model Checking and XSB (C.R. Ramakrishnan)

• JICSLP'98 Post-Conference Workshops

  • Logic Programming and Soft Computing (LPSC'98)
  • Transactions and Change in Logic Databases (DYNAMICS'98)
  • Automated Software Engineering and Logic Programming
  • CompulogNet Area Meeting on Computational Logic and Machine Learning
  • Deductive Databases and Logic Programming (DDLP'98)
  • Implementation Technologies for Programming Languages based on Logic
  • Types for Constraint Logic Programming

As a workshop, LOPSTR'98 will continue the tradition of being a lively and friendly forum for presenting recent and current research as well as discussing future trends in the synthesis and transformation of programs.

The scope encompasses any computational-logic-based techniques, languages, and tools for the interactive or automated development of any kinds of programs, programming-in-the-large issues, practical applications, or practical applicability of theoretical results.

• LOPSTR'98 Outline Provisional Programme

The technical programme for LOPSTR'98 will contain:
• 1 invited talk by Pierre Wolper, Université de Liège, Belgium.
• 27 working papers
• 1 session of system demos

LOPSTR'98 participants can also attend any parts of the JICSLP'98 technical programme. The post-JICSLP'98 workshop on on Automated Software Engineering and Logic Programming should be of particular interest to LOPSTR'98 delegates.

Other planned joint events with JICSLP'98 include:

• A Prolog Programming Contest
• A Birthday Party for the World's First Stored-Program Computer
• A promenade concert given by the Halle Orchestra
• A reception
• A conference dinner
• A musical evening featuring the Logic Programming Trio

• Detailed JICSLP'98 & LOPSTR'98 Provisional Programme

• JICSLP'98 & LOPSTR'98 Registration

JICSLP'98 Conference Organisation

• Conference Chair

  Kung-Kiu Lau, University of Manchester, UK.

  Email: kung-kiu@cs.man.ac.uk

• Programme Chair

  Joxan Jaffar, National University of Singapore.

  Email: joxan@iscs.nus.edu.sg

• Tutorial and Workshop Chair

  Pat Hill, University of Leeds, UK.

  Email: hill@scs.leeds.ac.uk

• Local Arrangements Chair

  Ian Pratt, University of Manchester, UK

  Email: ipratt@cs.man.ac.uk

• Programme Committee

• Organising Committee

LOPSTR'98 Workshop Organisation

• Workshop Chair

  Kung-Kiu Lau, University of Manchester, UK.

  Email: kung-kiu@cs.man.ac.uk

• Programme Chair

Pierre Flener, Bilkent University, Turkey.

Email: pf@cs.bilkent.edu.tr

• Programme Committee

Back to JICSLP'98 home page

Back to LOPSTR'98'98 home page