3.102 petition; job (78)

Willard McCarty (MCCARTY@VM.EPAS.UTORONTO.CA)
Tue, 6 Jun 89 21:16:22 EDT


Humanist Discussion Group, Vol. 3, No. 102. Tuesday, 6 Jun 1989.


(1) Date: Mon, 05 Jun 89 18:20:29 EDT (17 lines)
From: Michel Pierssens <R22750@UQAM>
Subject: Repression in China

(2) Date: Tue, 6 Jun 89 16:27:37 BST (48 lines)
From: Alan Bundy <bundy@AIPNA.ED.AC.UK>
Subject: Postdoc Position in Theorem Proving at Edinburgh

(1) --------------------------------------------------------------------
Date: Mon, 05 Jun 89 18:20:29 EDT
From: Michel Pierssens <R22750@UQAM>
Subject: Repression in China

A petition initiated in the Department of Literary Studies at Universite du Que
bec a Montreal is presently being circulated for signature by all those interes
ted in showing some solidarity to fellow students and professors in Beijing. He
re is how it reads: "Le gouvernement chinois vient de declarer la guerre a ses
intellectuels, a ses etudiants et a leurs professeurs. Pour que cesse le massac
re, nous, professeurs et etudiants de l'Universite du Quebec a Montreal, nous v
oulons aujourd'hui manifester notre solidarite avec tous ceux que frappe la rep
ression. Nous exigeons egalement du gouvernement canadien des actes immediats p
our faire pression sur le gouvernement chinois de la maniere la plus energique.
" It is addressed to the Right Honourable Joe Clark, Secretary of State for Ext
ernal Affairs, Commons, East Building, room 165, Ottawa, Ontario, K1A 0A6. Sign
atures are welcome and dissemination of translations and adaptations of the pet
ition is encouraged.
(2) --------------------------------------------------------------51----
Date: Tue, 6 Jun 89 16:27:37 BST
From: Alan Bundy <bundy@AIPNA.ED.AC.UK>
Subject: Postdoc Position in Theorem Proving at Edinburgh


Department of Artificial Intelligence
University of Edinburgh

RESEARCH FELLOW
(Mathematical Reasoning)


Applications are invited for an SERC supported post, tenable from 1st
November 1989, or on a mutually agreed date. Appointment will be to
September 30th 1991, initially, but with a possibility of renewal.
The research is to develop proof plans, a technique for guiding the
search for a proof in automatic theorem proving. The main application
is to the automatic synthesis, verification and transformation of
logic programs using constructive logic. The project is led by
Professor Alan Bundy and Dr Alan Smaill.

Candidates should possess a PhD or have equivalent research or
industrial experience. Knowledge of logic is essential and knowledge
of artificial intelligence, formal methods in software engineering or
logic programming would be an advantage. Salary is on the AR1A scale
in the range 9,865-15,720 pounds p.a., according to age,
qualifications and experience.

Applicants should send a CV and the names of two referees to:

Prof. Alan Bundy.
Department of Artificial Intelligence,
University of Edinburgh,
80 South Bridge,
Edinburgh,
EH1 1HN.

as soon as possible. The closing date for applications is 17th July
1989. Further details may be obtained from Prof. Bundy (at the above
address or email to bundy@uk.ac.edinburgh or bundy@rutgers.edu)
quoting reference number 5678/E.