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 - 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.

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.

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.

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.

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.

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".

24.02.2010

The theory group and Holger go on a walk around the Gower.

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.