Subject: Ray Turner lecture TODAY From: "William J. Rapaport" Date: Wed, 17 Mar 2010 11:09:16 -0400 (EDT) ===================================================================== TODAY TODAY TODAY TODAY TODAY TODAY TODAY TODAY TODAY ===================================================================== University at Buffalo presents... Prof. Raymond Turner School of Computer Science & Electronic Engineering University of Essex (UK) http://cswww.essex.ac.uk/staff/turnr/ ------------------------------------------------------------------------ Philosophy of Computer Science colloquium: Wednesday, March 17, 2:00 pm, Park 280 "Specification and Artefact" http://www.lorentzcenter.nl/lc/web/2010/374/presentations/Turner.pdf The specification and construction of computational artefacts is a central activity of Computer Science. This activity is to be found throughout the discipline. Indeed, it is partly constitutive of it. Thus, unpacking the nature of specification will provide some conceptual insight into the nature of the discipline as a whole. In particular, we shall explore how specifications differ from scientific theories.