ARP WWW Site, (with Information about Graduate Study in Australia).

Article View: sci.philosophy.tech

Article #1428

Back to sci.philosophy.tech Previous Next

#1428

From: Greg Restall
Date: Wed, 29 Mar 1995 05:37

34 lines
2327 bytes

The Automated Reasoning Project, at the Australian National University
is happy to invite interested people to browse its WWW server at

	http://arp.anu.edu.au/

The ARP is a group devoted to the study of logic as a computational,
philosophical, and mathematical discipline.  Our interests range
from intensional (modal, temporal and substructural) logics, 
theorem proving (tableaux, sequent systems, resolution), model
generation, to classical planning.

Our web site contains information about

* Who we are 
	(including the obligatory web pages).
* Graduate study opportunities 
	(including extensive scholarship information).
* Our Technical Reports.
* Our Seminars.

Feel free to come and browse!

If you have any questions, please email me.

Greg Restall

(The ARP Web Person)

-- 
-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
Redemption rips through the surface | gar@arp.anu.edu.au  Automated Reasoning
of time in the cry of a tiny babe.  | Project, Australian National University
                 - Bruce Cockburn.  | Canberra, ACT 0200, Australia.
-=-=-=-=-=-=-=-=http://arp.anu.edu.au/arp/gar/gar.html-=-=-=-=-=-=-=-=-=-=-=-=

Technical Details

Message-ID: <3larn9$3u2@manuel.anu.edu.au>

Path:

arc1-ca.pugleaf.net!nntp.gmd.de!stern.fokus.gmd.de!ceres.fokus.gmd.de!zib-berlin.de!news.mathworks.com!zombie.ncsc.mil!news.duke.edu!convex!cs.utexas.edu!uwm.edu!msunews!harbinger.cc.monash.edu.au!newshost.anu.edu.au!arp.anu.edu.au!gar

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 109d8a,3888759747bad9bb,start
X-Google-Attributes: gid109d8a,public
X-Google-Thread: 10b276,3888759747bad9bb,start
X-Google-Attributes: gid10b276,public
X-Google-Thread: 104cdc,3888759747bad9bb,start
X-Google-Attributes: gid104cdc,public
X-Google-Thread: 112213,3888759747bad9bb,start
X-Google-Attributes: gid112213,public
X-Google-ArrivalTime: 1995-03-28 22:01:26 PST
Path: arc1-ca.pugleaf.net!nntp.gmd.de!stern.fokus.gmd.de!ceres.fokus.gmd.de!zib-berlin.de!news.mathworks.com!zombie.ncsc.mil!news.duke.edu!convex!cs.utexas.edu!uwm.edu!msunews!harbinger.cc.monash.edu.au!newshost.anu.edu.au!arp.anu.edu.au!gar
From: gar@arp.anu.edu.au (Greg Restall)
Newsgroups: sci.philosophy.tech,sci.math,aus.net.news,comp.object.logic
Subject: ARP WWW Site, (with Information about Graduate Study in Australia).
Date: 29 Mar 1995 05:37:45 GMT
Organization: Automated Reasoning Project, The Australian National University
Lines: 35
Distribution: world
Message-ID: <3larn9$3u2@manuel.anu.edu.au>
NNTP-Posting-Host: 150.203.20.2
Keywords: ARP, WWW, Graduate Study in Australia