Return-Path: Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id aa09513; 15 Dec 93 7:24:27 EST Received: from m1.cs.man.ac.uk by GLINDA.OZ.CS.CMU.EDU id aa29152; 15 Dec 93 7:21:22 EST Received: from rdf004.cs.man.ac.uk by m1.cs.man.ac.uk (4.1/SMI-4.1:AL4) id AA21837; Wed, 15 Dec 93 12:10:45 GMT Date: Wed, 15 Dec 93 12:09:56 GMT From: Kung-Kiu Lau Message-Id: <9312151209.AA15697@rdf004.cs.man.ac.uk> To: A.D.Sherratt@compsci.liverpool.ac.uk, ADP@iasi.rm.cnr.it, Ahmed.Guessoum@idt.unit.no, BS_S024@neptune.kingston.ac.uk, Bern.Martens@cs.kuleuven.ac.be.ac, Bertol@informatik.uni-stuttgart.dbp.de, C.Higgins@cit.gu.edu.au, CHAUDRON@rulwinw.leidenuniv.nl, CIZ2@vaxa.newcastle-poly.ac.uk, David.Martland@brunel.ac.uk, ERASMUS@cs.ufh.ac.za, FLEUREY@esonvm2.vnet.ibm.com, Hakan.Millroth@csd.uu.se, Jonathan.Bowen@prg.ox.ac.uk, M.Cooper@computer-science.ac.uk, Mark_Kantrowitz@GLINDA.OZ.CS.CMU.EDU, Mats.Svensson@eua.ericsson.se, Micha.Meier@ecrc.de, Olivier.Ridoux@irisa.fr, P.G.Greenfield@computer-science.birmingham.ac.uk, P.J.Soper@ecs.soton.ac.uk, Pascal.Chambre@inria.fr, R.Knott@mcs.surrey.ac.uk, Reissenberger@informatik.uni-stuttgart.dbp.de, Rui.Camacho@prg.ox.ac.uk, Stephen.Cooper@csd.uu.se, Steven.Prestwich@ecrc.de, Thomas.Lindgren@csd.uu.se, Ton.Hospel@cs.kuleuven.ac.be, Tore.Amble@idt.unit.no, Volker.Stahl@risc.uni-linz.ac.at, ahuttune@delta.hut.fi, akurpiel@ie.tcd.maths.tcd.ie, alan@geg.mot.com, alvaro@cee.heriot-watt.ac.uk, amp@cbl.leeds.ac.uk, andrea@sssup2.sssup.it, antoy@mailhost.cs.pdx.edu, arai@dia.ucm.es, arc1@uk.ac.ukc.ac.uk, arvind@cs.ait.ac.th, bachmaye@picasso.informatik.rwth-aachen.de, baechtel@baechtel.icd.ab.com, bevan@cs.man.ac.uk, bew@cix.compulink.co.uk, bimbart@cs.kuleuven.ac.be, binks@cs.bris.ac.uk, bond@sce.carleton.ca, bowers@acrc.bris.ac.uk, brogi@di.unipi.it, bueno@sol.dia.fi.upm.es, burton@cs.sfu.ca, cabestre@irit.fr, calla%dspcl1@sdsu.edu, cannam@sc.zib-berlin.de, carlos@dsic.upv.es, cd@fct.unl.pt, chambre@montlouis.inria.fr, chaminad@aar.alcatel-alsthom.fr, chitta@cs.ep.utexas.edu, christian@ai.univie.ac.at, clearyd@latcs1.lat.oz.au, conery@kiwanda.cs.uoregon.edu, corin@cogsci.ed.ac.uk, dmn@comp.lancs.ac.uk, drg@cs.city.ac.uk, dsmith@berry.cs.brandeis.edu, feliks@mimuw.edu.pl, fjh@cs.mu.oz.au, frankt@cwi.nl, fromherz@parc.xerox.com, fuchs@ifi.unizh.ch, gakh@saturn.cs.swin.oz.au, gaspari@achille.csr.unibo.it, george@jupiter.cca.ucy.cy, geraint@aisb.ed.ac.uk, goedel@di.unipi.it, goldman@src.honeywell.com, goodwin@cs.uregina.ca, grzes@uci.agh.edu.pl, hag@aisb.ed.ac.uk, hamish@cee.heriot-watt.ac.uk, hans@de.rwth-aachen.informatik.zeus.informatik.rwth-aachen.de, harvey@u-aizu.ac.jp, henning@ruc.dk, hensm@essex.ac.uk, heuerd@iam.unibe.ch, idc@dcs.warwick.ac.uk, igor@oefai.ai.univie.ac.at, ikaranta@cs.hut.fi, iliano@cs.uh.edu, inak@aisb.ed.ac.uk, isozaki@theory.ntt.jp, jampel@cs.city.ac.uk, jan@cs.uq.oz.au, jgs@camis.stanford.edu, jhodgson@sju.edu, jiwei@cs.bris.ac.uk, jneves@di-ia.uminho.pt, joh@cs.man.ac.uk Cc: acstaff@cs.man.ac.uk, rastaff@cs.man.ac.uk, phd@cs.man.ac.uk, msc@cs.man.ac.uk Subject: Goedel workshop Workshop on Programming in Goedel --------------------------------- University of Manchester, 14-15 April, 1994 -------------------------------------------- First Call for Participation ---------------------------- Goedel 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. Goedel 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 Goedel's meta-logical facilities which provide significant support for meta-programs that do analysis, transformation, compilation, verification, debugging, and so on. Goedel should be of interest to researchers in program development, parallel language implementation, and the theory of logic programming, as well as teachers of logic programming. The workshop at Manchester is sponsored by ALP UK. It will be run by the team that developed Goedel, consisting of John Lloyd, Pat Hill, Antony Bowers, Jiwei Wang, and Corin Curr. The workshop will mainly consist of talks describing the Goedel language and its implementation together with programming practice sessions. In addition, some of the participants with experience of using Goedel in teaching or in developing applications programs in Goedel will describe their work. Draft Programme --------------- Thursday 14th April ------------------- 0900 Introduction John Lloyd (Bristol University) 0930 Language features Pat Hill (Leeds University) 1030 Coffee 1100 System modules John Lloyd 1130 Programming style Antony Bowers (Bristol University) 1215 Using `Bristol' Goedel Jiwei Wang (Bristol University) 1230 Lunch 1400 Programming practice 1700 Discussion and review 1800 Close Friday 15th April ----------------- 0900 Goedel for teaching John Lloyd 0915 Semantics Pat Hill 0930 Implementation Jiwei Wang 1000 Meta-programming Antony Bowers 1030 Coffee 1100 Partial evaluation Corin Gurr (Edinburgh University) 1200 Applications of Goedel (Speaker(s) to be organised) 1245 Lunch 1400 Programming practice 1600 Discussion and review 1700 Close Places will be limited, so early booking is strongly recommended, especially if you require accommodation. Costs, registration and accommodation details will be announced later. There are direct flights to Manchester International Airport from most international airports. For further information, please contact: Kung-Kiu Lau Dept of Computer Science University of Manchester Manchester M13 9PL UK Email: kung-kiu@cs.man.ac.uk Tel: +44 61 275 5716 Fax: +44 61 275 6236 From kung-kiu@cs.man.ac.uk Thu Jan 27 19:27:07 EST 1994 Article: 9492 of comp.lang.prolog Xref: glinda.oz.cs.cmu.edu comp.lang.prolog:9492 Path: honeydew.srv.cs.cmu.edu!rochester!cornell!batcomputer!caen!sol.ctr.columbia.edu!howland.reston.ans.net!pipex!uknet!nessie!mucs!kung-kiu From: kung-kiu@cs.man.ac.uk (Kung-Kiu Lau) Newsgroups: comp.lang.prolog Subject: Goedel workshop Message-ID: <14860@m1.cs.man.ac.uk> Date: 27 Jan 94 16:02:20 GMT Sender: news@cs.man.ac.uk Lines: 170 Workshop on Programming in Goedel --------------------------------- University of Manchester, 14-15 April, 1994 -------------------------------------------- Second Call for Participation ---------------------------- Goedel 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. Goedel 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 Goedel's meta-logical facilities which provide significant support for meta-programs that do analysis, transformation, compilation, verification, debugging, and so on. Goedel should be of interest to researchers in program development, parallel language implementation, and the theory of logic programming, as well as teachers of logic programming. The workshop at Manchester is sponsored by ESPRIT Network of Excellence COMPULOG NET and ALP UK. It will be run by the team that developed Goedel, consisting of John Lloyd, Pat Hill, Antony Bowers, Jiwei Wang, and Corin Curr. The workshop will mainly consist of talks describing the Goedel language and its implementation together with programming practice sessions. In addition, some of the participants with experience of using Goedel in teaching or in developing applications programs in Goedel will describe their work. Draft Programme --------------- Thursday 14th April ------------------- 0900 Introduction John Lloyd (Bristol University) 0930 Language features Pat Hill (Leeds University) 1030 Coffee 1100 System modules John Lloyd 1130 Programming style Antony Bowers (Bristol University) 1215 Using `Bristol' Goedel Jiwei Wang (Bristol University) 1230 Lunch 1400 Programming practice 1700 Discussion and review 1800 Close Friday 15th April ----------------- 0900 Goedel for teaching John Lloyd 0915 Semantics Pat Hill 0930 Implementation Jiwei Wang 1000 Meta-programming Antony Bowers 1030 Coffee 1100 Partial evaluation Corin Gurr (Edinburgh University) 1200 Applications of Goedel (Speaker(s) to be organised) 1245 Lunch 1400 Programming practice 1600 Discussion and review 1700 Close Places will be limited, so early booking is strongly recommended, especially if you require accommodation. There are direct flights to Manchester International Airport from most international airports. For further information, please contact: Kung-Kiu Lau Dept of Computer Science University of Manchester Manchester M13 9PL UK Email: kung-kiu@cs.man.ac.uk Tel: +44 61 275 5716 Fax: +44 61 275 6236 Registration ------------ The registration fee is Students 40 pounds Non-students 50 pounds (ALP members) 75 pounds (non-ALP member) The registration fee includes all computing and printing costs, lunches, and coffees during the workshop. Accommodation ------------- Accommodation will be at Dalton-Ellis Hall, close to the University. Bed and breakfast 17.00 pounds per day Evening meal 8.50 pounds each Accommodation and meals must be booked when registering. Travel ------ Both the University of Manchester and Dalton-Ellis Hall can be easily and quickly reached from Manchester International Airport and Manchester Piccadilly railway station. Registration Form ----------------- Please tick appropriate boxes. Name: Position: Company/Institution: Address: Telephone: Email address: Payments: Registration Fee: [] non-ALP member ( 75.00 pounds) [] ALP member ( 50.00 pounds) [] student ( 40.00 pounds) [] Evening meal on 13 April ( 8.50 pounds) [] Bed and breakfast on 13 April ( 17.00 pounds) [] Evening meal on 14 April ( 8.50 pounds) [] Bed and breakfast on 14 April ( 17.00 pounds) [] Evening meal on 15 April ( 8.50 pounds) [] Bed and breakfast on 15 April ( 17.00 pounds) [] Evening meal on 16 April ( 8.50 pounds) [] Bed and breakfast on 16 April ( 17.00 pounds) ------------------------------------------------------ Total ( pounds) I enclose a cheque for this amount made payable to the University of Manchester. Please return the registration form to: Lynn Howarth, GOEDEL 94, Dept. of Computer Science, University of Manchester, Manchester M13 9PL, U.K. Telephone: +44 61 275 6154 Fax: +44 61 275 6236 Email: lynn@cs.man.ac.uk before 31 March 1994. Early booking is recommended owing to the limited number of places available.