CSEE Logic Seminar Series
Summer Term 2012
- 10. Simon Lucas:
- — “Towards a Video Game Description Language” —
[Week 34, Wednesday, 23rd May, 2pm–3pm, room 1N1.4.1]
This will be a very informal seminar outlining the need for a Video Game Description Language, and some very initial progress. My interest in this is three-fold: to support General Video Game Playing as a line of machine learning research, to enable the automated evolution of new games, and to enable more efficient human-led design of new games.
Past Topics
Spring Term 2011
- 1. Ray Turner:
- — “Typed Predicate Logic” —
A basic introduction and a talk can be found here.
[Week 19, Thursday, 10th February, 5pm–6pm, room 1N1.4.1] - 2. Nicolas Troquard:
- — “Interpreted Dynamic Logic and Application to Normative Systems” —
Slides from the talk.
[Week 20, Thursday, 17th February, 5pm–6pm, room 1N1.4.1] - 3. Nicola Angius:
- — “Model Checking and Scientific Methodology. Models, Regularities, Idealizations” —
[Week 21, Thursday, 24th February, 5pm–6pm, room 1N1.4.1] - 4. Chris Fox:
- — “Imperatives, Obligations and Permissions” —
This talk will focus on an analysis of imperatives. Slides and a draft paper are available.
[Week 22, Thursday, 3rd March, 5pm–6pm, room 1N1.4.1] - 5. Sam Steel:
- — “Getting Ghosts into Machines: Metaphysics Through Folk Neurology (part 1)” —
[Week 24, Thursday, 17th March, 5pm–6pm, room 1N1.4.1]
Easter Vacation 2011
- 6. Sam Steel:
- — “Getting Ghosts into Machines: Metaphysics Through Folk Neurology (part 2)” —
[Week 26, Thursday 31st March. 4pm–5pm. room 4.722]
Summer Term 2011
- 7. Chris Fox:
- — “A Semantic Method” —
Draft slides
[Week 31, Wednesday, 4th May, 4pm–5pm, room 1N1.4.1] - 8. Norbert Völker:
- — “Polymorphic Extensions to Higher Order Logic” —
Slides on HOL2P
[Week 33, Wednesday, 18th May, 4pm–5pm, room 1N1.4.1] - 9. Bill Duncan (University at Buffalo, SUNY):
- — “Basic Formal Ontology” —
[Week 34, Wednesday, 25th May, 4pm–5pm, room 1N1.4.1]
Autumn Term 2011 and Spring Term 2012
For the Autumn and Spring term of the 2011–12 academic year, the organisers of the Logic Seminar Series are running a series of logic lectures in conjunction with the Philosophy Society.
Proposed talks (to be confirmed)
- 11. David McNeill:
- — “Aristotelian Logic” (TBC) —
[Time and place to be confirmed.]
- 12. Ray Turner:
- — “The Ontologies of Mathematics” —
Slides for a talk can be found here.
[Time and place to be confirmed.] - 13. Chris Fox:
- — “Theories of Questions” —
[Time and place to be confirmed.] - 14. TBC:
- — “Vagueness and Fuzzy Logic” —
[Time and place to be confirmed.] - Other Talks
- Please contact Chris Fox if you wish to propose a topic for this series.