Workshop on Computational Logic in honour of Roy Dyckhoff

The University of St Andrews is hosting a 2-day workshop on Computational Logic in honour of Roy Dyckhoff, who has retired this year.

The workshop will be held in Parliament Hall at the University of St Andrews on November 18-19, 2011, and is very generously sponsored by the SICSA Modelling and Abstraction Theme.  Topics include Proof Theory, Natural Deduction, Verification, Combinatory Logic and Semantics.

More details, including the programme can be found at: http://www.lix.polytechnique.fr/~lengrand/Events/Dyckhoff/index.php?page=programme

Attendance at the workshop is free to SICSA researchers, but we do ask you to register through the web site so that we can arrange catering.

Event details

  • When: 18th November 2011 - 19th November 2011
  • Format: Workshop

Baby Fish Fry

Why has there been so much activity and excitement around the fish tank this week?

Baby Cichlids have been spotted hiding amongst the rocks. Let’s hope they grow large enough, not be eaten, when they make a bid for freedom.

Photographing the camera shy proved rather tricky. Masih finally succeeded this morning.

One from the archives: Plans for new computer science building

November 2002, and plans were unveiled in the university news, for a new Computer Science Building. Stages of the build were photographed for posterity.

Continued Success For MSc Students

Work carried out by Mary Steele, Titilayo Adegbamiye (both supervised by Gordon) and Shangyi Jiang (supervised by Ishbel), in fulfilment of their MSc, has continued success.

Mary’s dissertation focus, promoting public awareness of the links between lifestyle and cancer A controlled study of the usability of health information leaflets, has been accepted for publication in the International Journal of Medical Informatics.

Titilayo’s disssertation focus, evaluating the Usability of Home Blood Pressure Monitors, featured in Workshop Proceedings at INTERACT 2011. Final proceedings are now available.

Charlie’s (Shangyi Jiang) focus on virtual worlds contributed to Ishbel’s Paper, A taxonomy of virtual worlds usage in education, recently accepted by the British Journal of Educational Technology.

Undergraduate Visiting Day

Another successful and well-attended Wednesday visiting day took place yesterday. Prospective undergraduates had the opportunity to meet staff, current students, eat cake and view the School facilities.

The familiar but extremely useful events are organised by Tristan, Adam and Saleem with help from volunteer students.

Isabel, Jesal, Anastasia and Thomas were the student volunteers undertaking yesterday’s tour and answering general questions.

Thursday Afternoon In Computer Science

Life in the Comp Sci Labs

The MSc lab in the John Honey building was busy with IT students holding initial group work meetings, for their next assignment. The advanced network students were networking, in a virtual sense, using WI-FI island.

Yemliha and Umer looked occupied in the HCI lab. A number of 3rd and 4th year students were busy with Project work in The Honours lab. Alas Davie and Jim were busy elsewhere.

Attendance in the 1st and 2nd year sub-honours lab, in the Jack Cole building, could be indicative of an imminent deadline. Modelling of various persuasions appeared to be the focus.