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.
Diary Year 4: 01.11.2009 - 31.12.2010
The group has its last group meeting before Christmas. The topic of discussion is simply recent work.
Tom gives a talk introducing the topic of co-algebra as part of the co-algebra seminar series.
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.
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
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.
The group has a group meeting with Holger where we discuss our research with Holger.
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.
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?
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.
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.
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.
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.
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.
Temesghen successfully defends his PhD thesis. Below are some pictures of the event and the celebrations afterwards.
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".
The theory group and Holger go on a walk around the Gower.
The group attends the departmental research away day, held this time at the Marriott Hotel in Swansea.
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".
Group meeting: discussion of how to organise and update the group webpage.
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.
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.
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.
Members from Invensys Rail visit the Department to discuss ongoing and future collaborations. At this meeting Phil presents some results of his MRes project.
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.