aarons@syma.sussex.ac.uk (Aaron Sloman) (07/05/90)
PLEASE DON'T USE REPLY - SEND EMAIL TO ADDRESS BELOW FROM: Jocelyn Paine, Department of Experimental Psychology, South Parks Road, Oxford OX1 3UD, England. JANET: POPX@UK.AC.OX.VAX POPX@VAX.OX.AC.UK Phone: (+44)(0)865 271444 - messages. (+44)(0)865 271339 - direct. ******************************************* * * * POPLOG USERS' GROUP CONFERENCE 1990 * * * * JULY 17TH - 18TH * * * * OXFORD * * * ******************************************* I have asked Aaron Sloman to post this to Usenet, as Oxford still doesn't have access. We still have places left at the PLUG90 conference, and can accept bookings if made quickly. The conference will be held in Oxford on the 17th and 18th of July; accomodation is provided in Keble College, and talks themselves will be in Experimental Psychology. Registration will open at 11 am on the 17th, with the conference proper beginning at 2; it will close at about 4 on the 18th. There will be a conference dinner on the night of the 17th. We are keeping the price at #75 to members of PLUG and #95 to non-members (#15 non-residential without dinner; #37 non-residential with dinner). Integral Solutions Limited, who distribute Poplog commercially, has generously offered to pay for three free places. These will be offered to academic members of PLUG who have not attended a PLUG conference before, and who have difficulty raising funds. NO-ONE has yet taken them up. There's something for everyone here; talks on expert systems and embedded real-time control; demonstration of a new neural-network design tool, written in Poplog, and linkable to existing Poplog programs; talks on applications of Prolog, and a new style of Prolog debugger; ... With such variety, don't be surprised to find this posted to YOUR newsgroup. If you haven't used Poplog seriously, why not start by coming to Oxford; but hurry with your booking. ~~~~~ This is the provisional list of talks: "Pop9X - The Standard", Steve Knight, Hewlett-Packard Labs. (1 hour) Gives a review of the BSI standardisation process and the progress of the Pop standard - the language YOU will be writing soon (ish). "Assembly code translation in Prolog" Ian O'Neill, Program Validation. (30 mins) State of the art assembly language translation in Prolog. "THESEUS: a production-system simulation of the spinning behaviour of an orb-web spider", Nick Gotts, Oxford University Zoology Department. (30 mins) As well as giving a demo, Nick will talk about his experiences of using AlphaPop: Theseus runs on a Macintosh. "MODEL: From Package to Language", James Anderson, Reading University. (1 hour) A six year old software package for model based vision goes up in flames under the heat of self-criticism - to be replaced by a language. TALK INCLUDES VIDEO PRESENTATION "GRIT - General Real-time Interactive Ikbs Toolset", Mark Swabey, Avonicom. (30 mins) Mark will talk about GRIT, but also about his experiences (nice and otherwise) of Poplog as a development environment. "IVE - Interactive Visual Environment" Anthony Worrall, Reading University. (30 mins) The software environment that beat the pants off MODEL (based on MODEL and PWM and quite a lot of other things besides.) TALK INCLUDES VIDEO PRESENTATION "Embedded Systems", Rob Zancanato, Cambridge Consultants. (30 mins) Poplog for embedded systems - especially MUSE for designing real-time controllers. We hope to have a demo of one such self- contained system. "Poplog Neural", Colin Shearer, Integral Solutions Ltd. (30 mins) A demonstration of ISL's new neural-networking system. It's implemented in Poplog, does its number crunching in Fortran, and allows you to build and test nets by drawing on a window. Fully interfaceable with Pop-11, Prolog, Lisp and ML. "Doing representation theory in Prolog", John Fitzgerald, Oxford University Maths Department. (30 mins) Representation theory is part of the study of (mathematical) groups. Prolog copes surprisingly well with such a geometric topic. "Building User Interfaces with Flavours", Chris Price, Department of Computer Science, University College of Wales. (30 mins) Object-oriented user-interface design, using Poplog's OO flavours package and window manager. "TPM - a graphical Prolog debugger", Dick Broughton, Expert Systems Limited. (1 hour) Poplog may be great for building interfaces, but its debugging facilities are less than ideal. Dick will show how a debugger should be designed: with TPM, you can display Prolog proof trees as trees, rewind and fast forward execution, zoom in and out, watch the "cut" prune branches, and generally do everything you can't do with 'spy'. "Processing of Road Accident Data", Jiashu Wu, UCL Transport Studies. (30 mins) UCL use Poplog for an EMYCIN-based expert system which advises on accident blackspots, taking 'raw' accident data from incident reports. They like Poplog because it's an "open system": its jobs include fuzzy matching, stats, and handling very big databases. "Faust - an online fault-diagnosis system", David Cockburn, Electricity Research and Development Centre. (30 mins) (to be confirmed) "Design for testability", Lawrence Smith, SD Scicon. (30 mins) (to be confirmed) A system for advising the users of CAD packages on loopholes in testability. Something on the future of Poplog Integral Solutions. (1 hour) (details awaited) ~~~~~ And this is the provisional timetable: Accomodation is provided in Keble College, Parks Road, Oxford. Luggage can be left there from mid-day on the 17th. The conference itself will be in the Department of Experimental Psychology, South Parks Road. July 17th --------- Registration and coffee: 11:00 - 12:30 Lunch: 12:30 - 2:00 Talks: 2:00 - 3:30 Tea: 3:30 - 4:00 Talks: 4:00 - 6:00 (Depart for Keble). Keble bar opens from 6 to 11 pm. Dinner starts at 7. July 18th --------- Talks: 9:00 - 10:30 Coffee: 10:30 - 11:00 Talks: 11:00 - 1:00 Lunch: 1:00 - 2:00 Talks: 2:00 - 3:30 Tea: 3:30 - 4:00