Call for Participation, Conference Program and Registration Form

(Also available as LaTeX-file, dvi-file and Postscript-file)

PLILP'95

Seventh International Symposium on Programming Languages,
Implementations, Logics and Programs.
September 20-22, 1995

LoPSTr'95

Fifth International Workshop on Logic Program Synthesis and Transformation
September 20-22, 1995

CompuLog-Net PD

1995 CompuLog-Net Meeting on Program Development
September 22, 1995

CompuLog-Net ParImp

1995 CompuLog-Net Workshop and Area Meeting on Parallelism and Implementation Technology September 23, 1995

The events take place at Conference Centre `Papendal' near Arnhem, the Netherlands.


Descriptions

PLILP

Seventh International Symposium on Programming Languages,
Implementations, Logics and Programs.

The PLILP symposium aims at stimulating research on declarative programming languages, and seeks to disseminate insights in the relation between the logics of those languages, implementation techniques and the use of these languages in constructing real programs. Typical, but not exclusive topics of interest are: implementation of declarative concepts, compiler specification and construction, program analysis, program transformation techniques, programming environments, implementation issues (system demonstrations), executable specifications, reasoning about language constructs, integration of different paradigms, relation between declarative paradigms, term rewriting, narrowing, resolution, experiences in constructing applications, typing and structuring systems.
Program committee
Guide for authors

LoPSTr

Fifth International Workshop on Logic Program Synthesis and Transformation

The aim of the LoPSTr workshop is to present recent work (including work in progress) and discuss new ideas and trends in the following fields: program synthesis, program transformation, program specialization, partial deduction all in the context of logic programming. Papers pointing out the relationships of the above topics with other topics in the field of automated program development, such as: automated deduction, constructive type theory, implementation techniques, inductive logic programming, meta-languages, program analysis, program specification, query optimization in deductive databases, software engineering, synthesis and transformation in the context of other programming languages, are presented.

CompuLog-Net PD

1995 CompuLog-Net Meeting on Program Development

The aim of the meeting is to bring together researchers (not necessarily network members) working on various methodologies for developing logic programs. The topics of interest include: program specification, synthesis, analysis, transformation, verification, program specialization (and in particular partial deduction), programming environments, compilation and implementation techniques, meta-languages and meta-programming for program development. Submit abstract before July 15, by e-mail to proietti@iasi.rm.cnr.it (Maurizio Proietti). Notification of acceptance for presentation is on July 31.

CompuLog-Net ParImp

1995 CompuLog-Net Workshop and Area Meeting on Parallelism and Implementation Technology

This meeting is intended to be a communication vehicle for people interested in the implementation of Computational Logic systems. The transfer to and exploitation of such technology by industry are also issues of central interest for the meeting. The topics of interest include: implementation techniques, parallelism and concurrency, abstract machines, compilation methods, program optimization, sequential and parallel execution models, automatic parallelization, concurrent/parallel languages, performance evaluation methodologies and studies, experiences in the implementation of systems. Submit 2-3 page extended abstract (or a full paper) before June 30, by e-mail to: compulognet-parimp-meeting@dia.fi.upm.es. Notification of acceptance for presentation is on July 26. See the call for papers.


PLILP Programme

* = shared with LoPSTr. Rest of LoPSTr programme is announced later.

Tuesday, September 19

Wednesday, September 20

Thursday, September 21

Friday, September 22

Saturday, September 23


Invited talks

Programming with Constructor Classes

Wednesday, september 20, 8.30-9.30
Mark P. Jones, Dept Computer Science, University of Nottingham, UK

Polymorphic type systems offer both type security and flexibility, allowing the definition and use of values which behave uniformly across a range of types. Constructor classes are one attempt to increase the expressiveness of such systems without losing the benefits of effective type inference. Combining overloading in the style of Haskell type classes, and a simple form of higher-order polymorphism, constructor classes encourage the definition and use of general purpose operations that behave uniformly across a range of type constructors. We describe a number of examples, concentrating in particular on the application to programming with monads in a functional language, to illustrate the benefits of a language with support for constructor classes.

A Generic Program for Sequential Decision Processes

Thursday, september 21, 8.30-9.30
Oege de Moor, Programming Research Group, Oxford University, UK

Sequential decision processes were introduced in the fifties by Richard Bellman to model certain optimisation problems. We develop a set of combinators to solve such problems in a functional programming language, and we use these combinators to write a single generic program that implements a large class of dynamic programming algorithms. The program was invented using a calculus of relations, and we briefly consider why such a calculus is helpful in achieving this type of result.

Parsing Visual Languages with Constraint Multiset Grammars

Friday, september 22, 8.30-9.30
Kim Marriott, Dept Computer Science, Monash University, Melbourne, Australia

Constraint multiset grammars (CMGs) provide a general, high-level framework for the definition of two-dimensional, i.e. visual, languages. CMGs are a new formalism based on multiset rewriting and are related to logic grammars used in natural language parsing. We give a formal semantics for CMGs and investigate the complexity of parsing. We then describe tools which automatically generate from a CMG a sophisticated user interface consisting of an error-correcting incremental parser and a constraint-based graphic editor. Our research has particular application to user-interfaces for pen-based computers.


PLILP Contributions

Functional Programming

Narrowing

Implementation

Abstract interpretation and Typing

Transformation

Partial evaluation

Graphical User Interfaces

Logic programming Theory

Posters and demonstrations


Conference location

Although the conference is organized by Utrecht University, the conference centre `Papendal' is actually more close to Arnhem (8km). It is situated beautifully in the vast forests of the province Gelderland. Papendal offers a wide range of both indoor and outdoor sports facilities, including swimming pools, tennis courts, golf course, and fitness room.

To reach the conference by train

Arnhem can be reached by train from the airport of Amsterdam (1h22, twice an hour) or Düsseldorf (1h13, every two hours).

From Amsterdam Schiphol airport: railway station is at the airport. Take the train heading for Hilversum (x.02) or Lelystad (x.32). Change trains at Duivendrecht, take stairs to other platform. Train costs NLG 25 one way.

                      x=6...23   |                   x=8...23
Amsterdam Schiphol  x.02   x.32  |  Arnhem         x.08    x.38
Duivendrecht        x.16   x.46  |  Duivendrecht  Sx.02   Sx.32
Duivendrecht        x.29   x.59  |  Duivendrecht  Sx.16   Sx.46
Arnhem             Sx.24  Sx.55  |  Schiphol      Sx.31  SSx.01
From Düsseldorf airport: take city transportation to Düsseldorf Hauptbahnhof. From there take direct Eurocity train heading for Amsterdam.
    x=7..(odd)..21  x=18,19 |    x=7,8..(even)..20 x=9,10
Düsseldorf   x.39   x.26    | Arnhem       x.05   x.05  21.27  22.14
Arnhem       Sx.52  Sx.52   | Düsseldorf  Sx.19  Sx.32  23.18  23.52
In Arnhem, the best way to reach the conference centre `Papendal' is to buy a `train taxi ticket' at the railway station (NLG 6), and take a taxi designated as `train taxi' (=cheap group taxi). Other taxis cost around NLG 25.

The hard way is to go by bus: buy a `strip ticket' (NLG 11, valid for 5 bus rides) at the railway station, and take the yellow VAD bus direction Lelystad (leaves x.13, x=7...23 and x.43, x=6...8,14...17), exit at stop `West-end'.

To reach the conference by car}

Motorway A12 from Arnhem in direction Utrecht, 8 km east from Arnhem take exit `Ede Oost'. Drive south on road N224, after 1 km turn right to `Papendal'.

Excursion

On thursday afternoon there will be an excursion to the Dutch Open Air Museum. Here, you not only see what Holland used to look like, but even more so how the Dutch lived, worked and played at the time. Original buildings from throughout the country (farms, mills, houses, factories etc.) have been carefully reconstructed in the museum. Paper dippers, millers, farmers, engineers and bakers give a personal touch to a remarkable journey back into time.

Registration form

This form is available as LaTeX-file, dvi-file and Postscript-file, which you can fax or send by surface mail. You can also fill in the form below. In that case you will asked for an confirmation by e-mail.

Please register before July 17, otherwise availability of hotel accommodation cannot be guaranteed.

Name           
Department     
Institution    
Address        
Postcode/city  
Country        
Telephone      
Fax            
e-mail         
remarks        

The fee for the conference includes:

The excursion and the conference banquet on September 21 are optional, and charged separately. PLILP and LoPSTr are held in parallel, with shared invited talks. You can switch between sessions. The CompuLog-Net ParImp workshop is an independent one-day event (no registration fee is needed to attend it). Also, CompuLog-Net PD could be attended in principle independent from LoPSTr, without fee. Hotel accomodation is available in single rooms, and includes breakfast.
Fees are payable in Dutch Guilders (NLG). At the moment of writing, NLG 1 exchanges to GBP 0.40, US$ 0.64, DM 0.89, FFr 3.15, DKKr 3.49, BF 18, Yen 54, Pts 78, LIt 1040.

Check which events you want to attend:
PLILP/LoPSTr (wed-fri) @ NLG 425
CompuLog-Net PD (fri PM) @ NLG 0
CompuLog-Net ParImp (sat) @ NLG 0
Excursion and banquet @ NLG 150

Hotel accomodation is available in two classes:
Two star (shower) @ NLG 70 per night
Three star (bath) @ NLG 110 per night

Check for which nights you want to reserve hotel accomodation:
September 19
September 20
September 21
September 22

Payments should be made before july 17, otherwise the availability of hotel rooms cannot be guaranteed.
Please check your payment method:
Bank transfer (net of bank charges) into: account 42.47.37.744 of PLILP95, Bank ABN-AMRO, Houten, the Netherlands.
International money order payable to PLILP95, send with your registration form.
We can not accept credit cards, sorry.

After checking that all fields are filled in,
or


plilp@cs.ruu.nl