nick@ZERMATT.LCS.MIT.EDU (Nick Papadakis) (09/14/88)
From: Simon Tong <munnari!charlie.oz.au!spock@uunet.UU.NET> Date: Thu, 8 Sep 88 03:23 EDT To: munnari!comp-ai-digest@uunet.UU.NET Responding-System: charlie.OZ Path: charlie!spock From: Simon Tong <spock@charlie.OZ> Newsgroups: aus.ai,aus.wanted,comp.ai.digest Subject: Info on Automatic Reasoning Date: Thu, 8 Sep 88 03:23 EDT Reply-To: Simon Tong <spock@charlie.OZ> Distribution: aus Organization: Deakin University Lines: 20 G'day. I am after a list of Australian institutions that are actively conducting research on Automatic Reasoning and/or Automated Theorem Proving. I am also looking for good references to books, articles or journals that are devoted to the above areas. I would be grateful for any information ( esp. the current status of research, new paradigms ). Please respond by mail and if anyone is interested, I shall summarize to the network. Thanks in advance. ============================================================================== Simon Tong Deakin University, Geelong, Victoria. ==============================================================================
osborn@nswitgould.OZ.AU (Tom Osborn) (09/28/88)
Contact A/Prof Graham Wrightson (now) at Newcastle Uni. (probably graham@nucs.oz). The network to Newcastle is very very very poor so you may have to call him by phone. Alternatively, get a copy of 'AI in Australia' from A/Prof John Debenham at UTS. AIIA list all AI activities in oz by category and researcher. (A/Prof J K Debenham, School of Computing Sciences, University of Technology, Sydney, PO Box 123 BROADWAY 2007.) Cheers, Tomasso.