Two international computer science conferences will be held at the University of St Andrews next week (Monday 3 to Friday 7July 2000).
Organised by the School of Computer Science, around 90 participants will attend Tableaux 2000. The event follows similar events over the last five years in Germany, Sicily, France, Holland and the USA and will focus on theory, implementations and applications of the tableau method, invented by logicians in Germany, Holland and the USA and developed by others worldwide. The method is primarily used for problem-solving in mathematics, logic, artificial intelligence and computer science. The second event, FTP 2000, will concentrate on first-order theorem proving.
Both conferences are organised by Dr Roy Dyckhoff, a lecturer in the School of Computer Science, in collaboration with colleagues at the Universities of Karlsruhe, Koblenz-Landau and Iowa. Invited speakers will include Franz Baader (Aachen), Dave Crocker (Intelligent Micro Software Ltd), Melvin Fitting (New York), Deepak Kapur (New Mexico) and Auchtermuchty-born Alasdair Urquhart (Toronto).
NOTE TO EDITORS – You are invited to send a photographer to a photocall at Lower College Hall, St Salvator’s Quad, North Street, St Andrews at 10.45am on Tuesday 4 July. Further information can be obtained from Dr Dyckhoff (telephone 01334 463267 or 463253).
Issued by Beattie Media on behalf of the University of St Andrews For more information please contact Claire Grainger on 01334 462530, 07730 415 015 or email email@example.com Ref: compscience/standrews/chg/30june2000University news