SISCO Conference, 5 & 6 February
Ian Gent, Chris Jefferson and Simon Dobson are all presenting at the SISCO conference this weekend. There will be social and networking events which include free food in the medicine cafeteria. We think that these will be nice opportunities for all students, speakers and staff to get to know one other.
You are all invited to these events, both on Saturday and Sunday.
You can get your free tickets to attend and further information on their Facebook page
Register for St Andrews ROCS HERE for free.
St Andrews ROCS is an event for those of you who engage (or are planning to engage) with research in the School of Computer Science at the University of St Andrews.
The main audiences are prospective postgraduate students, prospective or current industrial collaborators, and colleagues from other disciplines or Schools in Scotland and beyond.
The event will take place Friday October 26th 2018, between 10:00 AM and 4 PM.
There will be talks from all research groups, posters, demonstrations, guided tours, and much more.
You can learn about how to become a St Andrews PhD student or an active industrial collaborator.
The event will take place in the JACK COLE BUILDING, NORTH HAUGH, UNIVERSITY OF ST ANDREWS, ST ANDREWS, KY16 9SX, SCOTLAND.
You can download the programme of activities.
If you have any questions, e-mail dopgr-cs@st-andrews.ac.uk.
Register for St Andrews ROCS HERE for free.
The School of Computer Science is delighted to announce that honorable lecturer Dr Roy Dyckhoff is an invited speaker at the conference on Automated Reasoning with Analytic Tableaux and Related Methods, in Wrocław (Poland) from 20–24 September.
Abstract: This talk explores the relationship between coherent (aka “geometric”) logic and first-order logic (FOL), with special reference to the coherence/geometricity required of accessibility conditions in Negri’s work on modal logic (and our joint work with her on intermediate logic). It has been known to some since the 1970s that every first-order theory has a coherent conservative extension, and weaker versions of this result have been used in association with the automation of coherent logic; but, it is hard to find the result in the literature. We discuss various proofs of the result, and present a coherentisation algorithm with the desirable property of being idempotent.
Please see: http://tableaux2015.ii.uni.wroc.pl/index.html for further details
CHI is the premier international conference on human computer interaction, and this year’s event is looking to be the most exciting yet for the St Andrews Computer Human Interaction (SACHI) research group in the School of Computer Science.
Seven members of SACHI will attend CHI in Paris this April to present three full papers, one note, one work in progress paper and five workshop papers. In addition members of SACHI are involved in organising two workshops and one special interest group meeting. Two academics in SACHI are Associate Chairs for respective sub-committees and two PhD students will be serving as student volunteers at the 2013 conference. A very busy time for all!
For more complete details on these papers, notes etc. please see http://sachi.cs.st-andrews.ac.uk/2013/02/sachi-changing-perspectives-at-chi-2013/
Please note that the school of Computer Sciience is going to be introducing a new Masters in HCI from September this year.
