The group holds the 6th International Workshop on Processes and Data at Gregynog. This year, the conference was an open event with many members of the Computer Science department attending. This newly structured event prove to be very successful and fun. Every attendee made a presentation around various aspects of Propositional and First Order Logic. After the Conference, the group attended the annual Undergraduate Gregynog Trip.

Andy Lawrence presents the talk "Hot Axel Box Detectors and Single Line Control" at the seminar series on Railway Signalling.

Various people, including Markus, Nga and Phil, visit Invensys Rail to give demonstrations of tools created for Interlocking verification.

Invensys Rail visit Swansea to discuss the beginning of a technology transfer process from Swansea to Invensys. The possibility of creating a certified tool is discuss

Markus and Phil attend AVoCS 2011 in Newcastle. Markus presents his work with Mark on "A Timed CSP Simulator". Some photos from the workshop are given below.

Markus attends the IFIP WG 1.3 meeting in Winchester.

Helen Treharne visits the group to discuss some ongoing work with Nga and Markus on CSP||B. Some photos from the visit are given below.

Andy Lawrence presents the first talk "Introduction to Railway Signalling" of a seminar series on Railway Signalling.

Nga joins the group working as an RA on the Safecap project.

The group attends the Vino 2011 Doctoral Symposium in Italy. The event is a great success with research groups from Nancy, France and Berlin, Germany also attending. Talks were given by all group members on their research topics, and also on various topics of Reactive Systems. Some pictures from the event can be found below.

Dinas Bjørner visits the department and gives a talk on Domain Engineering. For more details see the talk abstract.

The group meets some potential candidates for the new R.A. position on the Safecap grant.

Several P.h.D students from Swansea attend BCTCS 2011. Tom gives a presentation on "An Analysis of CSP Implementation Techniques" and Phil gives a presentation on his recent work "Towards Domain Specific Languages for Verification". Some pictures from the event can be found below.

Tom presents a talk on the Byzantine Generals problem at a group meeting.

Markus and Phil attend the first official Safecap meeting, held in London. Also at the event were our partners from Newcastle and Invensys. Below are some pictures from the British Museum which was visited during the trip.

Markus organises a group film evening. The film chosen was Casablanca and some cocktails were provided by Temesghen, Phil and Tom. 

Temesghen Kahsai visits the group. During the visit, Temesghen graduates from his PhD studies in the Winter Degree Ceremony.