PLILP 90 Program and Registration Information

ton@IDA.LiU.SE (Torbjorn Naslund)
Tue, 12 Jun 90 16:44:08 GMT

          From comp.compilers

Related articles
PLILP 90 Program and Registration Information ton@IDA.LiU.SE (1990-06-12)
| List of all articles for this month |

Newsgroups: comp.lang.prolog,comp.lang.functional,comp.compilers
From: ton@IDA.LiU.SE (Torbjorn Naslund)
Date: Tue, 12 Jun 90 16:44:08 GMT
Organization: CIS Dept, Univ of Linkoping, Sweden
Keywords: conference, prolog

The Second International Workshop on
Programming Language Implementation
Logic Programming

Program Chairmen:

    Pierre Deransart, INRIA, Rocquencourt, France
    Jan Maluszynski, Linkoping University, Sweden

Program Committee:

    Maurice Bruynooghe, Katholieke Univ. Leuven, Belgium
    Saumya Debray, Univ. of Arizona, USA
    Paul Franchi Zannettacci, Univ. of Nice, France
    Harald Ganzinger, Univ. of Dortmund, FRG
    Seif Haridi, SICS, Stockholm, Sweden
    Neil D. Jones, Univ. of Copenhagen, Denmark
    Feliks Kluzniak, Univ. of Bristol, UK, and Warsaw Univ., Poland
    Vadim Kotov, Academy of Sciences, Novosibirsk, USSR
    Bernard Lang, INRIA, Rocquencourt, France
    Giorgio Levi, Univ. of Pisa, Italy
    Gary Lindstrom, Univ. of Utah, Salt Lake City, USA
    Jaan Penjam, Academy of Sciences, Tallinn, Estonia
    Masataka Sassa, Univ. of Tsukuba, Japan
    Peter Szeredi, Univ. of Bristol, UK
    Martin Wirsing, Univ. of Passau, FRG


Monday, August 20, 1990

- Welcome Address 8:50-9:00

- Session 1: Implementation of Term Rewriting
    Chairman: Bernard Lang
   * Implementing Parallel Rewriting 9:00-9:30
Claude Kirchner, Patrick Viry
INRIA Lorraine & CRIN,
Vandoeuvre-Les-Nancy, France
* Compilation of Narrowing 9:30-10:00
Andy Mueck
Universitaet Passau, FRG

- Coffee Break 10:00-10:30

- Session 2: Algorithmic Programming
    Chairman: Masataka Sassa

* Inference-Based Overloading Resolution for ADA 10:30-11:00
Franz-Josef Grosch, Gregor Snelting
Technische Hochschule Darmstadt, FRG
* An Approach to Verifiable Compiling Specification
and Prototyping 11:00-11:30
Jonathan Bowen, He Jifeng, Paritosh Pandya
Oxford University, England
* Bug Localization by Algorithmic Debugging and
Program Slicing 11:30-12:00
Mariam Kamkar, Nahid Shahmehri, Peter Fritzson
Linkoping University, Sweden

- Lunch 12:00-14:00

- Session 3: Constraint Logic Programming
    Chairman: Maurice Bruynooghe

* A Constraint Logic Programming Shell 14:00-14:30
Pierre Lim, Peter J. Stuckey
Monash University, Australia
* Modifying the Simplex Algorithm to a Constraint
Solver 14:30-15:00
Juhani Jaakola
University of Helsinki, Finland
* Implementing a Meta-Logical Scheme 15:00-15:30
Pierre Lim
Monash University, Australia
David Morley
The Australian AI Institute, Carlton, Australia

- Coffee Break 15:30-16:00

- Session 4: Implementation of Logic Programming
    Chairman: Feliks Kluzniak

* The Vienna Abstract Machine 16:00-16:30
Andreas Krall, Ulrich Neumerkel
Technische Universitaet Wien, Austria
* A New Data Structure for Implementing Extensions
to Prolog 16:30-17:00
Serge Le Huitouze
IRISA, Rennes, France

- Visit to the Department of Computer Science,
    Linkoping University 17:30-19:00

Tuesday, August 21, 1990

- Session 5: Logic Programming
    Chairman: Martin Wirsing

* Finding the Least Fixed Point Using Wait-
Declarations in Prolog 8:30-9:00
Dan Sahlin
SICS, Kista, Sweden
* Elementary Logic Programs 9:00-9:30
Paul Tarau
Universite de Moncton, Canada
Michel Boyer
Universite de Montreal, Canada
* A New Presburger Arithmetic Decision Procedure
Based on Extended Prolog Execution 9:30-10:00
Laurent Fribourg
LIENS, Paris, France

- Coffee Break 10:00-10:30

- Session 6: Static Analysis
    Chairman: Anders Haraldsson

* Reasoning About Programs with Effects 10:30-11:00
Ian Mason, Carolyn Talcot
Stanford University, USA
* Towards a Characterization of Termination of Logic
Programs 11:00-11:30
Bal Wang
Pennsylvania State University, USA
R.K. Shyamasunder
Tata Ins. of Fundamental Research, Bombay, India
* Static Type Analysis of Prolog procedures for
Ensuring Correctness 11:30-12:00
Pierre De Boeck, Baudouin Le Charlier
Facultes Universitaires N.D.P. Namur, Belgium

- Lunch 12:00-14:00

- Session 7: Functional Programming
    Chairman: Seif Haridi

* Integrating Strict and Lazy Evaluation:
the lambda-s-l -calculus 14:00-14:30
Andrea Asperti
INRIA, Rocquencourt, France
* Efficient Data Representation in Polymorphic
Languages 14:30-15:00
Xavier Leroy
INRIA, Rocquencourt, France

- Excursion and Banquet 15:30-23:00

Wednesday, 22 August, 1990

- Session 8: Abstract Interpretation
    Chairman: Neil D. Jones

* A Logic-Based Approach to Data Flow Analysis
Problems 8:30-9:00
S. Sagiv, N. Francez, M. Rodeh
The Technion, Haifa, Israel
R. Wilhelm
Universitaet des Saarlandes, Saarbruecken, FRG
* Systematic Semantic Approximations of Logic
Programs 9:00-9:30
Ulf Nilsson
Linkoping University, Sweden
* Interprocedural Abstract Interpretation of Block
Structured Languages with Nested Procedures,
Aliasing, and Recursivity 9:30-10:00
Francois Bourdoncle
Ecole Polytechnique, Palaiseau, France
* On the Automatic Generation of Events in Delta
Prolog 10:00-10:3
Veroniek Dumortier, Maurice Bruynooghe
K.U. Leuven, Belgium

- Coffee Break 10:30-11:00

- Session 9: Implementation of Pattern Matching
    Chairman: Jaan Penjam

* Pattern Matching Compilation 11:00-11:30
Christian Queinnec
Ecole Polytechnique, Palaiseau, France
* Pattern Matching in a Functional Transformation
Language using Treeparsing 11:30-12:00
Christian Ferdinand
Universitaet des Saarlandes, Saarbruecken, FRG

- Lunch 12:00-14:00

- Session 10: Integration of Logic Programming and
Functional Programming

* Logic Programming within a Functional Framework 14:00-14:30
Antonio Brogi, Paolo Mancarella, Dino Pedreschi,
Franco Turini
Universita di Pisa, Italy
* Compiling Logic Programs with Equality 14:30-15:00
Michael Hanus
Universitaet Dortmund, FRG

General Information

The Second International Workshop on Programming Language Implementation
and Logic Programming will be held in Linkoping, Sweden, August 20-22,
1990. The aim of the workshop is to explore new concepts, methods and
techniques relevant for implementation of all kinds of programming
languages, whether algorithmic or declarative. The intention is to bring
together researchers from the fields of algorithmic programming
languages, logic programming, functional programming and object-oriented

The workshop will be held in Linkoping's Concert- and Congress Hall,
downtown Linkoping. The workshop proceedings will be published by

Arrival in Linkoping

Linkoping is located approximately 250 kilometers southwest of
Stockholm. Trains from Stockholm to Linkoping leave once per hour and
the trip takes 2 hours and 45 minutes. There are also regular flights
from Stockholm and Copenhagen to Norrkoping airport which is 40
kilometers northeast of Linkoping. A local airline, SalAir, offers
flights from Stockholm and Copenhagen to Linkoping.


The registration fee: before July 15 SEK 1250; after July 15 SEK 1500.
The number of participants is limited so early registration is advised.
The fee includes:

- Excursion and banquet
- Lunches on August 20, 21 and 22.
- The workshop proceedings

Payment should be made by cheque payable to ``Link ping University,
PLILP 90''. The cheque must be written in Swedish Crowns or in US
Dollars, in which case a 5% service charge should be added. The
registration desk is open at Hotel Brask on Sunday, August 19, from
15:00-18:00 and also in Linkoping's Concert- and Congress Hall during
the workshop.


A number of rooms for the nights August 19/20 to August 22/23 have been
reserved at

- Stanga City Hotel
Tullgraend 4, and
     - Brask Hotel
Storgatan 70-76

both within walking distance from the workshop site. Prices are given on
the enclosed registration form. Note that room rates include breakfast
buffet. Room reservation at these hotels can only be accepted if full
payment reaches the organizers by July 15.

Otherwise the lodging can be booked individually by contacting hotels on
the following :

- Hotel Ekoxen, Klostergatan 68, S-582 23 Linkoping
Tel: +46 13 14 60 70
(single room; approx. SEK 1100 per night )
- Frimurarehotellet, St. Largsgatan 14, S-581 04 Linkoping
Tel: +46 13 12 91 80
(single room; approx. SEK 1000 per night)
- Stora hotellet, Stora Torget 9, Box 390, S-581 04 Linkoping
Tel: +46 13 12 96 30
(single room; approx. SEK 850 per night)
- Park Hotel, Jaernvaegsgatan 6, S-582 22 Linkoping
Tel: +46 13 12 90 05
(single room; approx. SEK 700 per night)
- Hotel Oestergyllen, Hamngatan 2B, Box 283, S-581 02 Linkoping
Tel: +46 13 10 20 75
(single room; approx. SEK 450 per night)

Other lodging possibilities:

- Private single room (approx. SEK 110 per night);
Linkoping Turistbyra, Agatan 39, S-581 01 Linkoping,
Tel: +46 13 20 68 35
- Camping; Glyttinge Camping, Tel: +46 13 17 49 28


Second International Workshop on
Programming Language Implementation
Logic Programming


Return to
Torbjorn Naeslund -- PLILP 90
Dept. of Comp. and Inf. Science
Linkoping University
S-58183 Linkoping







Phone:_______________________ E-mail:___________________________

I wish to participate in the workshop 20-22 August, 1990.

Attached is check #__________________ payable to ``Linkoping

University, PLILP 90'' in the amount of SEK _____________________

to cover the following:

[ ] Participation fee SEK 1500/SEK 1250 (before 15 July) ___________

[ ] Additional banquet and excursion ticket

        SEK 400 x ______ ticket(s) ___________

Hotel reservation for the nights August

      [ ] 19/20 [ ] 20/21 [ ] 21/22 [ ] 22/23


Stanga City Hotel

      [ ] Single room SEK 525 x ______ night(s) ___________

      [ ] Double room SEK 625 x ______ night(s) ___________

              (Shared with ______________________________)

Brask Hotel

      [ ] Single room SEK 795 x ______ night(s) ___________

      [ ] Double room SEK 905 x ______ night(s) ___________

              (Shared with ______________________________)

Signature: ____________________________________ Date:______________


  * The number of participants is limited; early registration is advised.
  * The organizers can only accept hotel reservation if the full payment
      reaches PLILP by July 15.

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.