CDT Lecture: The Fun & Science of Computer Reasoning
24 Oct 2011
Professor Andrei Voronkov is the speaker on 2 November 2011 in Lecture Theatre 1.1, Kilburn Building.
- 5pm - Registration
- 5.30pm - Lecture
On 2 November 2011 the new Centre for Doctoral Training (CDT) in Computer Science will be formally launched here at The University of Manchester. The Centre has been established to deliver a new model of PhD training in Computer Science which combines deep technical research with training in creativity, innovation and scientific evaluation.
The CDT launch has been organised to coincide with a public lecture at 5:30pm by our colleague Professor Andrei Voronkov on the 'Fun and Science of Computer Reasoning'. The lecture is free to attend, we just ask that attendees register beforehand.
Full details and registration instructions can be found at:
Synopsis
Formal methods are mathematical techniques for analysing computer systems to prove that they have been correctly designed and that they are safe and efficient. They also provide the means of designing the systems. The techniques are highly complex and are implemented as computer programs called ‘theorem provers’. The possibility of using computer programs to prove mathematical theorems attracted the attention of mathematicians long before the first computers became available. Theorem provers are now routinely used to design hardware and find bugs in software. Another emerging application is in text mining, where formal knowledge is extracted from text (e.g. from newspapers or the Web) and reasoning is used to answer queries and derive new knowledge. Research in building theorem provers has a long history and has resulted in several notable achievements that Andrei will discuss. The pure joy as well as the Science of automated reasoning will figure largely in his lecture.
Further information on the CDT can be found online at: