From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/1908 Path: news.gmane.org!not-for-mail From: Peter McBurney Newsgroups: gmane.science.mathematics.categories Subject: job: @ Liverpool: Agent Communication Languages & Protocols Date: Wed, 4 Apr 2001 16:08:46 +0100 Message-ID: <0104041610340E.12177@peter.staff.csc.liv.ac.uk> Reply-To: p.j.mcburney@csc.liv.ac.uk NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1241018197 1133 80.91.229.2 (29 Apr 2009 15:16:37 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:16:37 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Wed Apr 4 21:42:07 2001 -0300 Return-Path: Original-Received: (from Majordom@localhost) by mailserv.mta.ca (8.11.1/8.11.1) id f34NxH811800 for categories-list; Wed, 4 Apr 2001 20:59:17 -0300 (ADT) X-Authentication-Warning: mailserv.mta.ca: Majordom set sender to cat-dist@mta.ca using -f X-Mailer: KMail [version 1.0.28] Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 6 Original-Lines: 43 Xref: news.gmane.org gmane.science.mathematics.categories:1908 Archived-At: Apologies for multiple postings. The UNIVERSITY of LIVERPOOL, UK - DEPARTMENT of COMPUTER SCIENCE RESEARCH POST in AGENT COMMUNICATION LANGUAGES & PROTOCOLS A researcher is required to work on a three year research project in the use of temporal and modal logics for the specification and verification of agent communication languages and protocols. The project will be undertaken within the Agent ART group in Department of Computer Science at the University of Liverpool (UK), under the supervision of Prof Mike Wooldridge and Dr Simon Parsons. The project will provide an opportunity to carry out research on a topic of much current interest, in a highly active and rapidly expanding group. Informal enquiries may be sent to: Prof M Wooldridge (mailto:M.J.Wooldridge@csc.liv.ac.uk). Further particulars and details of the application procedure may be requested from: Director of Personnel University of Liverpool Liverpool L69 3BX, United Kingdom tel: (+44 151) 794 2210 [24 hour answerphone] mailto: jobs@liv.ac.uk WWW: http://www.liv.ac.uk/ ** PLEASE QUOTE REFERENCE B/451 ** CLOSING DATE FOR APPLICATIONS 27 APRIL 2001 -- Mike Wooldridge http://www.csc.liv.ac.uk/~mjw/ Department of Computer Science tel (+44 151) 794 3667 University of Liverpool fax (+44 151) 794 3715 Liverpool L69 7ZF, United Kingdom mailto:M.J.Wooldridge@csc.liv.ac.uk