SEMINARS - Spring 2011
[Talk Schedule] [Abstracts] [Previous Seminars]
The Department of Computing Science and Mathematics presents the following seminars. Unless otherwise stated, seminars will take place in Room 4B94 of the Cottrell Building, University of Stirling from 15.00 to 16.00 on Friday afternoons during semester time. For instructions on how to get to the University, please look at the following routes.
If you would like to give a seminar to the department in future or if you need more information, please contact the seminar organiser, Marwan Fayed, by or sending email to .)
Talk Schedule [Top] [Abstracts]
|18th Feb, 3-4pm||
Professor Ian Sommerville
Title: Design for Recover: New challenges for large scale IT systems.
St Andrews University[abstract]
|4th March, 3-4pm, Room 2X4||
Title: Digital Game Competition for Glasgow 2014 Commonwealth Games.
|9th March, 3-4pm||
(New Date!) Professor David Marples
Title: Futurecar: Considering the future of the automobile in an environmentally constrained, connected, world.
|18th March 2:30-3:30pm||
Rune Fensli (Note the time!)
University of Agder, Norway[abstract]
|25th March, 3-4pm||
(New Date!) Ekaterina Komendantskaya
Title: Computational Logic in Artificial Neural Networks
University of Dundee[abstract]
|8th April, 3-4pm||
University of Glasgow
It is common for neuro-symbolic systems to propose unconventional models of neural networks to solve conventional logic problems. In contrast, the statistical relational learning would generally tend to use conventional learning methods, while the relational (or logic) level of reasoning would be somewhat different from the mainstream methods used in computational logic.
In this talk, I will consider several examples of recently proposed neuro-symbolic systems, and analyse their capacity to do either logic inference or learning (or both) along the lines above.
Previous Seminar Series [Top] [Abstracts] [Schedule]
2010 - Spring 2009 - Spring Autumn
2008 - Spring Autumn
2007 - Spring Autumn
2006 - Spring Autumn
2005 - Spring Autumn
2004 - Spring Autumn
2003 - Spring Autumn
Last Modified: 18th February 2010