Registration is open for the next Software Carpentry workshop in St Andrews on September 23-24 in the Parliament Hall. We will teach UNIX shell, version control with Git and programming with Python. Please see the workshop page for further details and the link to registration via PDMS.
A SICSA Education workshop on Learning Analytics for Improving Evidence-based Teaching will be organised in St Andrews during summer 2018 by Dr Kasim Terzic.
Modern external beam radiation therapy techniques allow the design of highly conformal radiation treatment plans that permit high doses of ionsing radition to be delivered to the tumour in order to eradicate cancer cells while sparing surrounding normal tissue. However, since it is difficult to avoid irradiation of normal tissue altogether and ionising radiation also … Computational Approaches for Accurate, Automated and Safe Cancer Care – HIG Seminar
Abstract Dependent types are increasingly used in functional programming languages. The surface syntax of dependent types, as seen by a programmer, is elaborated by a compiler into an internal, type-theoretic representation. In order to perform this step, the compiler needs to infer a nontrivial amount of information to successfully type-check the internal representation. This process—type … Towards Refinement by Resolution in Dependent Type Theory – František Farka
Adam Barwell (adb23) will be presenting a summary of his recently submitted thesis.
Problem structure, or linkage, refers to the interaction between variables in a black-box fitness function. Discovering structure is a feature of a range of search algorithms that use structural models at each iteration to determine the trajectory of the search. Examples include Information Geometry Optimisation (IGO), Covariance Matrix Adaptation Evolution Strategy (CMA-ES), Bayesian Evolutionary Learning … Seeing the Wood for the Trees – Essential Structure in Model-based Search by Prof. John McCall
The school’s Athen SWAN charter is now on our main website.
Ian Sommerville has been appointed Emeritus Professor in the School of Computer Science. Ian retired earlier this year following an illustrious career. From the Emeritus Tribute presented to Academic Council, Ian Sommerville is one of the leading academic Software Engineers in the world, and very possibly the leading educator in the field. In his own … Ian Sommerville – Emeritus Professor
The timetables for Semester 1 2014-2015 are available here: Honours and MSc Timetable Sub-Honours Timetable
Dr. Roy Dyckhoff will give a talk titled, “Geometrisation of first-order logic”. Abstract: We show that every first-order theory T has a conservative extension G_T that is a geometric theory. Reasoning problems in T can therefore be replaced by problems in G_T, where the methods of geometric (aka ‘coherent’) logic are applicable. We discuss related … Geometrisation of first-order logic