Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!howland.reston.ans.net!pipex!lyra.csx.cam.ac.uk!warwick!bsmail!miki!jwl
From: jwl@miki.cs.bris.ac.uk (John Lloyd)
Subject: Third Workshop on Programming in G"odel
Message-ID: <D4GA9H.BBD@info.bris.ac.uk>
Sender: jwl@miki (John Lloyd)
Nntp-Posting-Host: miki.cs.bris.ac.uk
Organization: University of Bristol, Dept of Computer Science
Date: Thu, 23 Feb 1995 11:22:29 GMT
Lines: 240



             Third Workshop on Programming in G"odel
         -------------------------------------------------

                 GMD-FIRST, Berlin, June 1-3, 1995
                 ---------------------------------

                      Call for Participation
                      ----------------------


The Third Workshop on Programming in G"odel will be held at GMD-FIRST in 
Berlin on June 1st to June 3rd, 1995.  Previous workshops in this series 
were held at the University of Bristol and the University of Manchester. 
The third workshop is sponsored by the ESPRIT Network of Excellence,
COMPULOG-NET, the GLP (associated to ALP) and the German Society for
Informatics (GI, special group 1.1.1 ''Declarative AI-programming). 

G"odel is a new declarative, general-purpose programming language 
in the family of logic programming languages. It is a strongly 
typed language, the type system being based on many-sorted logic 
with parametric polymorphism. It also has a module system.
G"odel supports infinite precision integers, infinite precision 
rationals, and also floating point numbers. It can solve constraints
over finite domains of integers and also linear rational constraints.
It supports processing of finite sets. It also has a flexible 
computation rule and pruning operator which generalises the commit
of concurrent logic programming languages. Considerable emphasis is
placed on G"odel's meta-logical facilities which provide significant 
support for meta-programs that do analysis, transformation, compilation, 
verification, debugging, and so on.

The workshop will be presented by Antony Bowers, Corin Gurr, Pat Hill, and 
John Lloyd, all of whom have been deeply involved in the development of
G"odel. The workshop will partly consist of talks describing the facilities 
of the G"odel language, its implementation, and its applications.  There 
will also be ample time in programming practice sessions for participants
to become familiar with the language. In addition, some of the participants 
with experience of using G"odel for teaching, research, or applications 
will describe their work.  Anyone wishing to present such a talk at the 
workshop should contact John Lloyd at jwl@compsci.bristol.ac.uk.
General enquiries concerning the technical programme should also be sent 
to this address.

The workshop should be of interest to:

1. those who want to use G"odel for teaching;
2. those who are doing research in program analysis, program transformation, 
   and similar meta-programming tasks;
3. those who are developing knowledge base systems;
4. those who are developing parallel systems;
5. those who are interested in declarative programming language design.



Provisional Programme
---------------------

Thursday 1st June
-----------------

1400  Introduction             John Lloyd (Bristol University)
1430  Basic language features  John Lloyd 
1500  Using Bristol G"odel    Antony Bowers (Bristol University)
1530  Coffee break
1600  Programming practice 
1800  Close


Friday 2nd June
---------------

0900  Language features        Pat Hill (Leeds University)
0945  System modules           Pat Hill
1030  Coffee break
1100  Implementation           Antony Bowers
1130  Semantics                John Lloyd
1145  Programming style        Antony Bowers 
1215  G"odel for teaching     John Lloyd
1230  Lunch
1400  Programming practice 
1700  Discussion and review
1800  Close


Saturday 3rd June
-----------------

0900  Meta-programming         Corin Gurr (Edinburgh University)
1000  Partial evaluation       Corin Gurr
1030  Coffee break
1100  Applications of G"odel  (Speakers to be arranged)
1230  Lunch
1400  Programming practice 
1600  Discussion and review
1700  Close



Information
-----------

Places are still available, but please book as soon as possible.
The number of participants is limited to 35. For each participant 
a computer with access to the G"odel system will be available for 
programming exercises.

     
For further information, please contact:

     Ulrich Geske
     GMD-FIRST
     Rudower Chaussee 5
     D-12489 Berlin
     
     Germany

     Email: geske@first.gmd.de
     Tel: +44 30 6392 1862
     Fax: +49 30 6392 1805


Registration
------------

The registration fee is 


          DM 200.- (Members of Compulog Net, ALP, GLP, GI)
          DM 250.- (Others)
          DM 100.- (Students)
 


The registration fee includes all computing and printing costs, lunches,
and coffees during the workshop.


Accommodation
-------------

Below you will find a list of hotels with reserved rooms. These are available 
at a reduced rate. For reservation, please contact the hotels yourself
and mention the key word ''GMD-I''. The rooms are reserved up to May, 2.


Travel
------

There are direct flights to Berlin Tegel Airport (TXL) from most international 
airports. 
The workshop will take place in the building of GMD FIRST in Berlin-Adlershof.
It takes about 1 hour to go from TXL to GMD-FIRST by taxi and about 2 hours by 
public transport (by bus 109 or X9 to S-Bahn station ''Zoologischer Garten'', 
S-Bahn to station ''Adlershof'', 12 minutes walk or 2 stations by bus).


Registration Form
-----------------
To
Ulrich Geske
GMD-FIRST
Rudower Chaussee 5                              Tel: +49 30 6392 1862
D-12489 Berlin                                  Fax: +49 30 6392 1805
Germany                                         Email: geske@first.gmd.de



Name: 
Position:
Company/Institution:
Address:
Telephone:
Email address:
Membership No. of  [       ]Compulog,  [        ]ALP/GLP,   [       ]GI


Please tick appropriate boxes.

Payments:
 Registration Fee: [] member of Compulog, ALP, GI  (  DM 200.00 )
                   [] others                       (  DM 250.00 )
                   [] student                      (  DM 100.00 )


I enclose a cheque for this amount made payable to GMD.


Please return the registration form to Ulrich Geske before 16 May 1994.



%------- Hotels (please, mention the key word ''GMD-I'') ------------------
Trans Hotel, Radickestr. 76, D-12489 Berlin
Tel: +49 30 6774071      Fax: +49 30 6775890
Single room: DM 115.-
200 m to the S-Bahn station ''Adlershof'' (+ 12min walk)

Hotel Gropiusstadt, Neuk"ollner Str. 284, D-12357 Berlin
Tel. an Fax.:: +49 30 6613031
Single room: DM 120.- ; Double room DM 160.- 
One station by Underground (U7 to ''Rudow'') and 7 stations (15 min)
by bus No. 360 (+2min walk)


Hotel Unter den Linden, Unter den Linden 14, D-10117 Berlin
Tel: +49 30 23811-0     Fax: +49 30 23811-100
Single room: DM 130.-
Located at the corner Friedrichstra"se - Unter den Linden;
800 m to the gate ''Brandenburger Tor'',
300 m to the S-Bahn station ''Friedrichstra"se'', 
29 min to ''Adlershof'' by S-Bahn (+ 12min walk)


Hotel Bogota, Schl"uterstr 45, D-10707 Berlin
Tel: +49 30 8815001     Fax: +49 30 8835887
Single room: DM 125.- ; Double room: DM 180.-
100m to the boulevard ''Kurf"urstendamm''
600m to the S-Bahn station ''Savignyplatz'', 
40 min to ''Adlershof'' by S-Bahn (+ 12min walk)


Hotel Berlin Congress Center, M"arkisches Ufer 54, D-10179 Berlin
Tel: +49 30 2758-0      Fax: +49 30 2758-2165
Single room: DM 175.-
Next S-Bahn station ''Jannowitzbr"ucke'' (100 m) is under 
reconstruction; take U-Bahn (Underground) to the next S-Bahn station 
''Alexanderplatz'' (''Alex''), 
24 min to ''Adlershof'' by S-Bahn (+12min walk)


Berlin Excelsior Hotel, Hardenbergstr. 14, D-10623 Berlin
Tel.: +49 30 3155-0   Fax: +49 30 3155-1053
Single room: DM 210.-   Double room: DM 260.-
500 m to the boulevard ''Kurf"urstendamm''
300 m to the S-Bahn station ''Zoologischer Garten'' (''Zoo'')
37 min to ''Adlershof'' by S-Bahn (+ 12min walk)


