Diary
Year 4: 01.11.2009 - 31.12.2010
09.12.2010
The group has some Christmas fun, by going ice skating at the local winter wonderland. After the skating, everybody enjoyed a glass of gluhwein and a rather large meal at La Tasca. Some pictures from the evening can be viewed below.
06.12.2010
The group has its last group meeting before Christmas. The topic of discussion is simply recent work.
01.12.2010
Tom gives a talk introducing the topic of co-algebra as part of the co-algebra seminar series.
29.11.2010
The group has a short meeting.
29.11.2010 -- 01.12.2010
The Safecap partners (Invensys, Newcastle and Swansea) meet for three days in Swansea to discuss and prepare the project. Some pictures from the meeting are shown below.
25.11.2010
Markus hosts an International Dinner at his house. Dishes served in the dinner include Romanian soup, Chinese egg and tomato, the famous wheat oven bake and Kaiserschmarrn. Below are a collection of pictures from the event
24.11.2010
The group and Holger cycles from Swansea to Llaneilli and back. Some pictures from the cycle are given below. Luckily there was only some light rain otherwise there may have been a few more muddy faces.
22.11.2010
The group has a group meeting with Holger where we discuss our research with Holger.
20.11.2010 - 28.11.2010
Holger Schlingloff visits to teach an advanced topics course to third year Computer Science students on embedded systems and testing.
14.11.2010 - 17.11.2010
The group holds the 5th International Workshop on Processes and Data at Gregynog. The conference was again highly successful and fun. Each member made a presentation about their current research to the rest group. This year the graphics group also ran a similar workshop alongside ours lead by Robert Laramee. Below are some photos from the trip.
08.11.2010
The group has a short meeting.
01.11.2010
The group has a short meeting.
27.10.2010
The group has a short outing to take some new group photos. Some of the results can be seen below.
25.10.2010
The group has a meeting. Here Phil gives a brief presentation on the JabRef reference manager.
19.10.2010
The group has a short meeting.
11.10.2010
The group has a meeting where Phil presents on his recent trip to DSM-TP 2010. The presentation is based on a practical demonstration of the AlPiNA Model Checker.
05.10.2010
Markus participates in the launch of Software Alliance Wales which was covered by a BBC News report. Below is an excerpt of a short movie introducing Software Alliance Wales. This is the first movie on our Processes and Data website and contains a scene of Markus holding a tutorial with a student. Can you spot Erwin in the movie?
30.09.2010
The group officially welcomes its three new members(Tom Davies, Marc Dragon and Stephen Sze) in the first of a new series of group meetings. There we discuss the events and milestones over the coming year and all the things to look forward to. Afterwards the group goes and flies kites at the beach.
05.07.2010 - 06.07.2010
Markus attends the IFIP Working Group 1.3 Meeting at Schloss Etelsen in Germany, following WADT'10, where he gives the presentation Testing from CSP-CASL.
20.09.2010 - 23.09.2010
Markus, Phil and some others from Swansea attend AVoCS 2010, which was held in the University of Düsseldorf. At the workshop, Phil presented results on Automatically Verifying Railway Interlockings using SAT-based Model Checking. Below are some pictures from the event.
06.09.2010 - 09.09.2010
Phil attends DSM-TP 2010, a summer school on Domain Specific Modelling. The school was held in Almada near Lisbon and topics included Language Semantics, Modeling Formalisms and Verification and Model Transformations. Below are some photos from the trip.
16.08.2010 - 19.08.2010
Phil and some other members of the Swansea Rail Group attend VSTTE'10, a conference of Verified Software: Theories, Tools and Experiments. The conference was held at Heriot-Watt University. At the conference, Phil presented a poster of his current work. Some photos from the conference are given below.
01.07.2010 - 04.07.2010
Liam and Markus attend WADT'10 at Schloss Etelsen in Germany, where Liam gives the presentation "Compositional modelling and reasoning in an institution for processes and data". During the conference dinner Hans-Jörg Kreowski presented the following poem to mark the occasion of the 20th WADT.
From ADJ to CASL via 20 WADTs
ADJ, OBJ, ACT ONE, CLEAR, ORS, REVE, ASSPEGIQUE, HANSI,
PLUSS, PAL, ASL, MAUDE, GESTALT, SMoLCS, TROLL, GLIDER, LARCH,
LPG, LOTOS, SALSA, ELAN, LÜBECK, OBSURE, CASL, LF, HETS,
CSL, CAS, SPASS, CoLoSS, SRML, GSBL, PVS, Twelf, CCC, MID,
HasCASL, CoCASL, CSP-CASL, CASL-MDL, WADT.
Hans-Jörg Kreowski, Bremen, July 3, 2010.
24.06.2010
Teme, Andy, and Phil visit Invensys to discuss details of Phil's ongoing project with them. The main topic of discussion was modelling the Invensys railway domain model in CASL and LUSTRE.
18.06.2010
Markus gives the presentation Modelling, Verification and Testing of the electronic payment system EP2 in CSP-CASL at Newcastle University.
19.05.2010 - 21-05-2010
Markus gives the presentation Children & Candy Puzzle at The University of York and meets with Ana Cavalcanti and Marie-Claude Gaudel to discuss testing from formal specifications. Below are some pictures from the trip.
11.05.2010
Markus, Arnold, and Monika give a presentation on "A buddy system for first year students" at the Excellence in Learning and Teaching Conference 2010 at Swansea University.
07.05.2010
Temesghen successfully defends his PhD thesis. Below are some pictures of the event and the celebrations afterwards.
06.04.2010 - 09.04.2010
Liam, Phil and others from the theory group attends BCTCS'10 in Edinburgh. There Liam gives the talk "Compositional Based Reasoning in CSP-CASL" and Phil gives the talk "Verification of train control systems: Reducing the complexity".
27.03.2010 - 01.04.2010
Phil attends the Midlands Graduate School.
09.03.2010
Mila Majster-Cederbaum visits the department to give the talk Analysis of Component Systems in our Colloquia. Mila is Markus' former supervisor. Later that evening we went for dinner in Patricks in Mumbles.
24.02.2010
The theory group and Holger go on a walk around the Gower.
19.02.2010 - 28.02.2010
Bernd-Holger Schlingloff visits Swansea for a course on "Security for Embedded Systems"
09.02.2010
The group has a group meeting.
27.01.2010
The group attends the departmental research away day, held this time at the Marriott Hotel in Swansea.
14.01.2010 - 24.01.2010
Markus visits Bernd-Holger Schlingloff in Berlin. They discuss on testing as well as on a book on Formal Methods. Furthermore, as part of the Erasmus Exchange Programme, Markus teaches as a Guest Professor at Humboldt University Berlin a course on "Algebraic Specification".
17.12.2009
Group meeting: discussion of how to organise and update the group webpage.
14.12.2009
The group celebrates Christmas at the traditional "Musical Christmas Concert" at Swansea Museum where Markus plays the Oboe and Piano. Pieces being played during the concert include: Bach, Beethoven, Schubert, Haydn, Rachmaninoff, Einaudi and Christmas carol sing-along. The concert was very enjoyable as was the drinks afterwards.
07.12.2009
Phil gives a talk on "Observation Equivalence" in the MRes Seminar series on Concurrent Systems. The Processes and Data group also provided some Gluehwein to the participant of the seminar.
22.11.2009 - 23.11.2009
The group organises the 4th International Workshop on Processes and Data at Gregynog. The conference was highly successful and fun. The talks and discussions held were based around "The Formal Semantics of Programming Languages" book by Glynn Winskel. Markus firstly introduced Operational Semantics, before Liam gave a small proof around the operational semantics. Finally Phil spoke on Denotational Semantics. To bring the conference to a close, Temesghen spoke on some of his current results from his PhD Work. Below are some photos from the trip.
17.11.2009
Phil Successfully defends his MRes Thesis in his Viva. The internal examiner was Neal Harman and the external examiner was Achim Jung. Some pictures of the Viva and the celebrations are below.
16.11.2009
Members from Invensys Rail visit the Department to discuss ongoing and future collaborations. At this meeting Phil presents some results of his MRes project.
11.11.2009 - 14.11.2009
On invitation, Markus visits Luis Monteiro in Lisbon, where they discuss co-algebraic semantics of CSP and CSP-CASL. Below are some pictures from the trip.
04.11.2009 - 07.11.2009
Markus visits Magne Haveraaen in Bergen to participate in the opening week of the Bergen Language Design Laboratory and to give a presentation at the Workshop on Concepts - WoC 2009.