The group celebrates Christmas at the traditional "Musical Christmas Concert" at Swansea Museum where Markus plays the Oboe and Piano. Many Christmas carols were sung by all, and a few drinks enjoyed afterwards.
Diary Year 5: 01.01.2011 - 31.12.2011
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.
Phil gives an exercise session based on "Creating Control Tables" at the seminar series on Railway Signalling.
Nga presents the talk "Automatic Train 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.
Phil presents the talk "Train Describers, Remote Control Systems and Level Crossings" at the seminar series on Railway Signalling.
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
Phil presents the talk "Interlockings and Solid State Interlockings" at the seminar series on Railway Signalling.
Markus attends the IFIP WG 1.3 meeting in Winchester.
Nga presents the talk "Points and Lineside Signals" at the seminar series on Railway Signalling.
Phil attends the Marktoberdorf 2011 Summer School on Tools for Analysis and Verification of Software and Security. This year the school is held in the small town of Bayrischzell, Germany. Some pictures from the school and the magnificent scenery around Bayrischzell are shown below.
Phil attends ATE 2011 in Wroclaw, Poland. He presents his work on "Designing Domain Specific Languages for Verification". Some photos from the event are given below.
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.
The third year project demonstration fair takes place. Liam and Phil present a fun talk "Exploring Computer Science" to some visiting school students, and multiple local industries come to view work from Swansea's current 3rd year students. Some pictures from the event are given below.
The group meets some potential candidates for the new R.A. position on the Safecap grant.
Markus attends the second year away day.
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.
Phil gives a talk on Relation Lifting and Bisimulation as part of the Co-algebra seminar series.
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.
Several group members participate in the departmental research away day. Here are some pictures from the Theory Group meeting.