Diary
Year 5: 01.01.2011 - 31.12.2011
19.12.2012
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.
04.12.2012 - 05.12.2012
Markus, Phil and Nga visit London to meet colleagues from Newcastle University and Invensys Rail to discuss progress on the SafeCap project.
20.11.2011 - 23.11.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.
03.10.2011
Various people, including Markus, Nga and Phil, visit Invensys Rail to give demonstrations of tools created for Interlocking verification.
27.10.2011
Phil gives an exercise session based on "Creating Control Tables" at the seminar series on Railway Signalling.
13.10.2011
Andy Lawrence presents the talk "Hot Axel Box Detectors and Single Line Control" at the seminar series on Railway Signalling.
06.10.2011
Nga presents the talk "Automatic Train Control" at the seminar series on Railway Signalling.
29.09.2011
Phil presents the talk "Train Describers, Remote Control Systems and Level Crossings" at the seminar series on Railway Signalling.
27.09.2011
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
14.09.2011 - 16.09.2011
Markus, Phil and Nga visit colleagues from Newcastle University to discuss progress on the SafeCap project.
12.09.2011 - 14.09.2011
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.
08.09.2011
Phil presents the talk "Interlockings and Solid State Interlockings" at the seminar series on Railway Signalling.
02.09.2011 - 03.09.2011
Markus attends the IFIP WG 1.3 meeting in Winchester. Some photos from the event are given below.
01.09.2011
Andy Lawrence presents the talk "Relays and Train Detection" at the seminar series on Railway Signalling.
25.08.2011
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.
24.08.2011
Nga presents the talk "Points and Lineside Signals" at the seminar series on Railway Signalling.
18.08.2011
Andy Lawrence presents the first talk "Introduction to Railway Signalling" of a seminar series on Railway Signalling.
02.08.2011 - 14.08.2011
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.
01.08.2011
Nga joins the group working as an RA on the Safecap project.
30.07.2011 - 1.08.2011
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.
14.07.2011 - 20.07.2011
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.
01.07.2011
Phil and Tom give a talk on "The Magic Of Computer Science" as part of the Technocamps initiative aimed at teaching computer science at schools.
15.06.2011
Dinas Bjørner visits the department and gives a talk on Domain Engineering. For more details see the talk abstract.
12.05.2011
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.
05.05.2011 - 06.05.2011
The group meets some potential candidates for the new R.A. position on the Safecap grant.
03.05.2011
Markus attends the second year away day.
18.04.2011 - 21.04.2011
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.
11.04.2011 - 12.04.2011
Liam attends ARW'2011 at Glasgow University. Here Liam gave a poster presentation summarising his P.h.D work.
28.02.2011
Tom presents a talk on the Byzantine Generals problem at a group meeting.
18.02.2011
Markus meets with Grid-Tools on the topic of Testing and Visualisation. This is part of the ongoing work with the Software Quality Lab.
14.02.2011 - 15.02.2011
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.
09.02.2011
Phil gives a talk on Relation Lifting and Bisimulation as part of the Co-algebra seminar series.
03.02.2011
Markus organises a group film evening. The film chosen was Casablanca and some cocktails were provided by Temesghen, Phil and Tom.
01.02.2011
The Safecap project officially starts.
31.01.2011 - 5.02.2011
Temesghen Kahsai visits the group. During the visit, Temesghen graduates from his PhD studies in the Winter Degree Ceremony.
27.01.2011
Several group members participate in the departmental research away day. Here are some pictures from the Theory Group meeting.
06.01.2011 - 09.01.2011
Markus participates in the IFIP working group meeting in Aussis. Some pictures of the event are shown below.
