St Andrews Research Open-day in Computer Science

Event details

  • When: 26th October 2018 10:00 - 16:00
  • Where: School of Computer Science
  • Format: Conference, Symposium, Visiting Day

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.

Dr Roy Dyckhoff, Hon. Senior Lecturer: ‘Coherentisation of first-order logic’

Event details

  • When: 20th September 2015 10:00 - 24th September 2015 17:00
  • Format: Conference, Talk

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.

roy

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

SACHI Conference: Changing Perspectives at CHI 2013

Event details

  • When: 27th April 2013 - 2nd May 2013
  • Format: Conference

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.