Goedel-Workshop 
Author Message
 Goedel-Workshop

We apologize if you receive this more than once.

                   ******************************
                   * 2nd CALL FOR PARTICIPATION *
                   ******************************

             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

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


     Tel: +44 30 6392 1862
     Fax: +49 30 6392 1805

More and latest information will be made available by the WWW-page: http://www.*-*-*.com/

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

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)



Sun, 28 Sep 1997 03:00:00 GMT  
 Goedel-Workshop

We apologize if you receive this more than once.

                   ******************************
                   * 2nd CALL FOR PARTICIPATION *
                   ******************************

             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

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


     Tel: +44 30 6392 1862
     Fax: +49 30 6392 1805

More and latest information will be made available by the WWW-page: http://www.gmd.de/FIRST/goedel95/

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

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)



Sun, 28 Sep 1997 03:00:00 GMT  
 
 [ 2 post ] 

 Relevant Pages 

1. GOEDEL-WORKSHOP

2. Goedel workshop

3. goedel workshop

4. Workshop on Programming in Goedel

5. Proposal for a Workshop on the Goedel Langauge

6. Goedel language available

7. Goedel info needed

8. Goedel & programming languages

9. Goedel

10. Goedel Programming Language

11. ?gggerman doc's around the GOEDEL-language?

12. Goedel release 1.4 now available

 

 
Powered by phpBB® Forum Software