From: Peter McBurney <P.J.McBurney@csc.liv.ac.uk>
To: categories@mta.ca
Subject: job: @ Liverpool: Agent Communication Languages & Protocols
Date: Wed, 4 Apr 2001 16:08:46 +0100 [thread overview]
Message-ID: <0104041610340E.12177@peter.staff.csc.liv.ac.uk> (raw)
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
reply other threads:[~2001-04-04 15:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=0104041610340E.12177@peter.staff.csc.liv.ac.uk \
--to=p.j.mcburney@csc.liv.ac.uk \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).