Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Thu, 17 Sep 1992 16:01:31 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA03500; Thu, 17 Sep 92 07:49:24 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from swan.cl.cam.ac.uk by ted.cs.uidaho.edu (16.6/1.34) id AA03495; Thu, 17 Sep 92 07:49:18 -0700 Received: from guillemot.cl.cam.ac.uk (user tfm) by swan.cl.cam.ac.uk with SMTP (PP-6.2) to cl; Thu, 17 Sep 1992 15:43:18 +0100 To: info-hol@edu.uidaho.cs.ted Cc: Tom.Melham@uk.ac.cam.cl Subject: HOL92 sessions. Date: Thu, 17 Sep 92 15:42:23 +0100 From: Tom Melham Message-Id: <"swan.cl.ca.537:17.08.92.14.47.18"@cl.cam.ac.uk> HOL User Meeting : HOL Clinic and Convention Sessions. ====================================================== The programme for this year's HOL user meeting in Leuven includes the following two sessions * HOL clinic - informal discussion on practical usage and implementation details for HOL. * HOL convention - discussion of practical and organizational issues and future workshops. The intention is for the HOL clinic to provide time for HOL users to share knowledge about detailed system hacking and to discuss related matters. In the auditorium we will have a SUN workstation connected to a projection system, and there will also be additional SUN workstation available for demonstrations, hacking, explanations, tests, ... etc. Users wishing to participate in this session (e.g. by giving a demo) should bring the appropriate materials with them. HOL88 Version 2.0 will be running at the workshop. The HOL convention will be a brief session during which participants can share their views on how the meeting might be organized in future. Tom