Tom Maibaum visits Swansea and presents a talk "Intermodeling, queries, and Kleisli categories" in the Algebraic Specification Seminar.
Diary Year 6: 01.01.2012 - 31.12.2012
Alexander Knapp visits Swansea to discuss on-going work with Markus. We also enjoy a long and pleasant walk along the beach, with a break at Verdi's, to Langland Brasserie.
Tom succesfully defend his MRes Viva! Afterwards the group has a small celebration with some drinks and cake. Congratulations Tom.
Markus hosts one of his famous international dinner events, this time, to celebrate on going work with Helen Treharne and Liam returning for a visit. There were six courses in total! varying from "Goats cheese with Beetroot and Lavendar Jelly" to "Kaiserschmarrn".
Helen gives a talk "The Behavioural Semantics of Event-B Refinement" in the joint Algebraic Spec and PCV seminar about recent development of Event-B||CSP.
We are proud to have Helen giving a series of 3 tutorials on "Introduction to B" in the department. The series has given us a valuable chance to learn and to gain a deeply understanding about modelling, specification structuring in B as well as proof obligations needed to be discharged in a B machine.
Nga participates in the Marktoberdorf summer school "Engineering Dependable Software Systems" in Marktoberdorf, Germany.
Liam submits the final version of his thesis "Structured Specification with Processes and Data: Theory, Tools and Applications". A celebration is held at the office!
Markus and Nga attend the Advisory Board meeting in London.
Nga attends iFM 2012 in Pisa, Italia, and presents the paper: "Safety and Line capacity in railway: An approach in Timed CSP"
Markus, Phil and Nga join the Safecap meeting in London, with our SafeCap partners from Newcastle University and Invensys.
Markus and Nga attend the Advisory Board meeting for SafeCap in London.
The group go out for a fun Jazz night at a local bar. Along with the great Jazz music was even better Mojito's to be drunk. Everyone had a great night.
The new year begins with Liam submitting his P.h.D Thesis on "Structured Specification with Processes and Data: Theory, Tools and Applications" to the examiners.