Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.4) outside ac.uk; Wed, 17 Feb 1993 00:22:12 +0000 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA20683; Tue, 16 Feb 93 16:01:26 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA20678; Tue, 16 Feb 93 16:01:16 -0800 Received: by grolsch.cs.ubc.ca id AA12484 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Tue, 16 Feb 1993 16:00:54 -0800 Date: 16 Feb 93 16:00 -0800 From: hug93 To: info-hol@edu.uidaho.cs.ted Message-Id: <6*hug93@cs.ubc.ca> Subject: CFP -- HUG'93 Call for Papers August 11-13 1993 1993 International Workshop on H I G H E R O R D E R L O G I C T H E O R E M P R O V I N G A N D I T S A P P L I C A T I O N S The University of British Columbia Vancouver - Canada ============================================================================== This scientific meeting is the sixth in a series of annual workshops focusing on topics of higher order logic theorem proving, its usage in the HOL system and its applications. Previous workshops took place in Cambridge UK, Aarhus Denmark, Davis USA and Leuven Belgium. The HOL system is a higher order logic theorem proving system originally implemented at Cambridge University. It has found many applications, from verification of hardware designs at various levels to verification of software and communication protocols. Besides HOL, contributions and experiences with other implementations of higher order logic, and comparison between HOL and other theorem-provers are also invited. TOPICS. ======= The program committee invites papers related to all topics concerning higher order logic theorem proving and its applications in HOL and/or other higher order logic based theorem provers. Topics include, but are not limited to, the following: * Extensions/enhancements of the HOL system; * Other formalisms in comparison with the HOL formulation of higher-order logic; * Other theorem-provers in comparison with the HOL system; * Applications of the HOL system; * Implementation issues (e.g. efficiency, integrity, usability, interoperability) for the HOL system and other related systems. Submissions to the workshop will be reviewed by external referees and an international program committee (to be announced). Potential authors are invited to submit full papers, with at most 4500 words, describing recent research. Papers discussing work in progress are also strongly encouraged, but should be clearly marked as such. Submissions must contain contact information (contact person, email address, phone number, and postal address), a 150-word abstract, and the paper category (research or progress report). To accelerate the review process, submissions are to be made electronically by sending Postscript via email to the address given below. Authors should ensure that their submissions can be printed on BOTH A4 and 11x8.5 inch paper. Electronic submissions will be acknowledged when received. If you are unable to send the submission electronically, please contact the Program Chair in advance of the submission deadline, May 1, 1993. Hardcopy Submission: Email Submission: ------------------- ----------------- Program Chair hug93@cs.ubc.ca Professor Carl Seger HUG'93 Department of Computer Science The University of British Columbia Vancouver, British Columbia Canada V6T 1Z2 The program committee also solicits proposals of panel sessions. Please send a one page description of the proposed panel to the workshop chair before June 1st, 1993. IMPORTANT DATES =============== * Deadline for paper submissions: May 1, 1993: * Notification of acceptance: June 7, 1993: * Camera ready copy for published proceedings: July 15, 1993: * Deadline for panel proposals: June 1, 1993: * Workshop: August 11-13, 1993: Workshop Proceedings =================== Accepted papers will be made available to workshop participants. The program committee is also seeking a publisher for a proceedings of this workshop. Previous workshop proceedings have been published by IEEE Computer Society and North-Holland respectively. Other Events ============ A two-day introductory course on the HOL system is planned for August 9-10. There is also a possibility of one or more other related courses planned for August 9 and/or August 10. Additionally, a three-day introductory on formal hardware verification covering both HOL-based methods as well as other approaches such as model checking and symbolic simulation is planned for August 4-6. This course is organized separately from HUG'93, however, it has been scheduled in conjunction with HUG'93 for the convenience of those who may wish to participate in both events. Students Bursary ================ The program committee is actively seeking external financial supports to students participants. A limited number of awards to student authors might be available. Student authors who intend to apply for this support should state so in their cover letters, sent along with their submissions. Location ======== The University of British Columbia is located on a peninsula, adjoining the city of Vancouver, which has a population of approximately 1 million. The setting for the city is one of the most beautiful in the world, and outdoor sports ranging from skiing to sailing to hiking are a few minutes away from the campus. The city itself is quite cosmopolitan, with many different ethnic groups represented. The climate during August is moderate (daytime average is 23C) with a lot sunshine. For more information about the workshop, please send your enquiry to: Email: hug93@cs.ubc.ca (Preferred) FAX: (604)-822-5485 Phone: (604)-822-6176 A copy of this announcement (ascii and LaTeX versions) along with additional information (including future announcements) will be accessible in cs.ubc.ca:/ftp/local/hug93 by anonymous ftp.