Swansea University
Computer Science

EPSRC Project EP/D037212/1

Diary

Year 3: 01.08.2008 - 31.10.2009


19.10.2009 - 31.10.2009

Markus visits Antonio Cerone, International Institution for Software Technology at the United Nations University in Macao. Antonio and Markus discuss a book on Formal Methods based on the SEFM Summerschool 2008. Markus give a presentation "Towards Testing from CSP-CASL" in the UNU-IIST seminar. Some photos from the trip are below.

Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009. Photo from Markus' trip to Macao in October 2009.


14.10.2009 - 16.10.2009

Temesghen, Markus, Holger and Ana Cavalcanti (from the University of York) had a meeting on specification-based testing from CSP, CSP-CASL and Circus. Ana Cavalcanti gave a presentation on Circus within the Algebraic Specification Seminar. Also, Temesghen presented a testing framework for EP2. Below are some photos from the events and social activities afterwards.

Photo from the meeting on specification-based testing in October 2010 Photo from the meeting on specification-based testing in October 2010 Photo from the meeting on specification-based testing in October 2010 Photo from the meeting on specification-based testing in October 2010


28.09.2009 - 30.09.2009

Temesghen participates at the international conference of Concurrency, Specification and Programming. Here, Temesghen presented the paper "Towards formal testing of jet engine Rolls-Royce BR725". Below are some photos from the trip.

Photo from CS&P 2009 Photo from CS&P 2009 Photo from CS&P 2009 Photo from CS&P 2009 Photo from CS&P 2009 Photo from CS&P 2009 Photo from CS&P 2009


23.09.2009 - 25.09.2009

We host the Ninth International Workshop on Automated Verification of Critical Systems - AVoCS'09 at the Gregynog conference centre. We had 22 accepted papers, 2 invited talks and over 30 participants at the workshop. Below are some photos from the event and our preperations.

Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009 Photo from AVoCS 2009


17.09.2009 - 25.09.2009

Christoph Lüth visits the group and discusses implementation strategies for CSP with Markus. Below some pictures.

Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009 Photo from Christoph Lüth's visit to Swansea in September 2009


06.09.2009 - 12.09.2009

Phil and Markus attend the 3rd Conference on Algebra and Coalgebra in Computer Science in Udine, Italy. At Calco-Jnr, Phil gives a presentation "SAT-based Model Checking of Train Control Systems". A Swansea delegation participates in the Symposium in honor of Peter Mosses. Markus also attends the IFIP WG 1.3 meeting. Below are some photos from the events.

Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09 Photo from the trip to CALCO'09


27.07.2009

Markus and Liam meet to discuss updating the AVoCS'09 website.


16.07.2009 - 22.07.2009

We attend the conference VINO. VINO is a small conference between 3 groups of people: the Processes and Data Gang from Swansea, a group from Berlin and a group from Nancy. VINO was held at Holger Schlingloff's summer house in Sand in Taufers in Italy. The goal of our conference was to share developed our research ideas through discussion and also read in depth Wojciech Penczek, Agata Polrola: Advances in the Verification of Time Petri Nets and Timed Automata - A Temporal Logic Approach. During the conference we learnt a great deal throughout the talks, had wonderful hiking trips in the surround mountains and tasted delicious food prepared by each group in turn. We (the Processes and Data Gang) won the "Best Cooking Award" for our breakfast and 3 course evening meal, although the competition was very high. Below are some photos from the trip.

Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009 Photo from VINO 2009


30.06.2009

Temesghen, Liam and Phil attend the Swansea University Science Day. Temesghen and Liam present a talk on "Formal Verification of an Electronic Payment System" and Phil presents with Karim Kanso a talk on "Automated Verification of Train Control Software".


17.06.2009 - 19.06.2009

Temesghen and Markus visit Six Card Solutions, in Hamburg. In this visit, we gave an overview of CSP-CASL, the testing theory and application of CSP-CASL and the specification of EP2 in CSP-CASL. Moreover, in this meeting we solved some technical difficulties in installing one of the EP2 terminal. Below are some photos from the trip.

Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg Photo from the Markus' and Temesghen trip to visit Six Card Solutions in Hamburg


25.05.2009 - 26.05.2009

Temesghen and Markus attend the Berlin-Orsay-Swansea-York meeting on Specification-based Software Testing, which was organized by Marie-Claude Gaudel. Also, Bernd-Holger Schlingloff (Berlin) and Ana Cavalcanti (York) attended the meeting.

Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris Photo from Temesghen's and Markus' trip to the Berlin-Orsay-Swansea-York meeting in Paris


21.05.2009

José Luiz Fiadeiro and Fernando Orejas visit our department to make a presentation in the Swansea Algebraic Specification Seminar. Markus once again hosted an informal dinner party at his home where we all helped prepare the food. Below are some photos from this event.

Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department. Photo from José Luiz Fiadeiro and Fernando Orejas visit to our department.


20.05.2009

Group meeting where the group discusses the previous meeting's targets, progress and new targets for the coming week.


13.05.2009

Group meeting where Markus give an introduction to category theory via the institution of propositional logic


07.05.2009

Markus organises the Project Demonstration Fair where the 3rd year undergraduate students present and show off their projects. Below are some photos from the event and the celebrations afterwards.

Photo from the Project Demonstration Fair and the celebrations Photo from the Project Demonstration Fair and the celebrations Photo from the Project Demonstration Fair and the celebrations


06.05.2009

The group attends the departmental research away day, held at Sketty Hall.


27.04.2009

Markus and Phil visit Invensys Rail at Chippenham to discuss initial results from their project. Below is a photo from the trip.

Photo from Markus' and Phil's trip to visit Invensys in Chippenham


21.04.2009

Group meeting where the group discusses the previous meeting's targets, progress and new targets for the coming week.


05.04.2009 - 20.04.2009

Markus visits Yoshinao Isobe at the AIST, Tsukuba, Japan, in order to work on the CSP-Prover. Below some pictures.

Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan Photo from Markus' visit to Yoshi in Japan


06.04.2009 - 09.04.2009

Liam and Temesghen attend BCTCS 2009 at Warwick University. Unfortunatly Phil was ill and could not attend, however he intended to give a talk titled "Verifying Train Control Software". Temesghen gave the talk "Property Verification of an Electronic Payment System: EP2" whilst Liam gave a talk titled "Structured Theorem Proving For CSP-CASL". Below are a few photos from the social side of the event.

Photo from BCTCS'09 Photo from BCTCS'09 Photo from BCTCS'09 Photo from BCTCS'09 Photo from BCTCS'09


02.03.2009 - 04.03.2009

Temesghen gave a departmental seminar talk in the following institutes: Stevens Institute of Technology, hosted by David Naumann. And New York University, hosted by Clark Barrett. In this talks, Temesghen gave an overview of specification, verification and testing of EP2.


18.02.2009

The group goes for a small hiking trip up Clyne Valley in Swansea. The walk proved to be a little bit muddy! The pictures show the story...

Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea. Photo from the hiking trip up Clyne Valley in Swansea Photo from the hiking trip up Clyne Valley in Swansea Photo from the hiking trip up Clyne Valley in Swansea Photo from the hiking trip up Clyne Valley in Swansea


12.02.2009 - 15.02.2009

Markus attends the Colloquium on the occasion of Bernd Krieg Brückner's 60th birthday at Bremen University. Below some pictures form the event.

Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday Photo from Markus' trip to Bremen to celebrate Bernd Krieg Brückner's 60th birthday


09.02.2009

Group meeting where the group discusses the previous meeting's targets, progress and new targets for the coming week.


05.02.2009 - 07.02.2009

Markus attends the Colloquium on the occasion of Martin Wirsing's 60th birthday at LMU München. Here a film of this event. Below are some pictures from the trip.

Photo from Markus' trip to LMU München in February 2009 Photo from Markus' trip to LMU München in February 2009 Photo from Markus' trip to LMU München in February 2009 Photo from Markus' trip to LMU München in February 2009 Photo from Markus' trip to LMU München in February 2009


04.01.2009 - 10.01.2009

Liam O'Reilly & Markus Roggenbach visit Till Mossakowski and the rest of the Hets gang at Bremen University. During the visit we made excellent progress in extending support for CSP-CASL in Hets and CSP-CASL-Prover. Below are a few photos from the vist.

Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University. Photo from Liam's and Markus' visit to the Hets Gang at Bremen University.


15.12.2008

Andy, Liam, Teme, and Markus finalize the paper "On the whereabouts of CSP-CASL" for the Festschrift dedicated to Bernd.

Photo from the preparation of the paper on the whereabouts of CSP CASL. Photo from the preparation of the paper on the whereabouts of CSP CASL. Photo from the preparation of the paper on the whereabouts of CSP CASL. Photo from the preparation of the paper on the whereabouts of CSP CASL. Photo from the preparation of the paper on the whereabouts of CSP CASL.


09.12.2008

Markus and Phil visit Invensys Rail in Chippenham to agree on the main objectives of the project into verification of Train Control Systems. Below are some photos from the trip.

Photo from Markus' and Phil's trip to visit Invensys Rail at Chippenham Photo from Markus' and Phil's trip to visit Invensys Rail at Chippenham


08.12.2008

The group celebrates Christmas at the traditional "Musical Christmas Concert" at Swansea Museum where Markus plays the Oboe and Piano. Below are some photos from the celebration.

Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert. Photo from the Musical Christmas Concert.


28.11.2008

Liam, Markus and Andy meet to discuss some implementation issues of Hets.


21.11.2008 - 22.11.2008

Our group organises the 3rd International Workshop on Process and Data at Gregynog. Sadly this year Markus could not make it as he was struck down with illness. This however, did not stop us from having another successful conference that was both educational and very fun. Hopefully Markus will give his presentation as part of a future group meeting. Below are some photos of the event where the following presentations were made :

Speaker: Richard Davies
Title: "Modelling, Verification and Implementation of Concurrent Systems"

Speaker: Phillip James
Title: "Railway Signalling - Past and Present"

Speaker: Temesghen Kahsai & Liam O'Reilly
Title: "An Introduction to CSP-CASL"

Speaker: Temesghen Kahsai
Title: "A First Glimpse of Test Case Generation from CSP-CASL"

Speaker: Liam O'Reilly
Title: "Event Structure Semantics for CSP"

Speaker: Markus Roggenbach
Title: "Metric Spaces, Banach's Fixed Point Theorem, and Processes"

Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog Photo from the 3rd International Workshop on Process and Data at Gregynog


12.11.2008

Markus and Phil visit Invensys Rail in Chippenham to discuss details of their project together


01.11.2008 - 17.11.2008

Markus visits Cape Town, South Africa, where he gives the presentation "Specification-based Testing for Product lines" at the international conference SEFM 2008. He also gave a course on algebraic specification at the University of Cape Town. Below are some photos from the visit.

Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town Photo from Markus' visit to Cape Town


29.10.2008

Group Meeting: Markus gives the talk "An Introduction to Event Structures". We also discuss the plans for our "Processes and Data" conference at Gregynog.


22.10.2008 - 24.10.2008

Markus visits Gerald Luettgen in York and gives a presentation "Towards Testing from CSP-CASL". Below are some pictures from the trip.

Photo from Markus' trip to York to visit Gerald Luettgen in October 2010 Photo from Markus' trip to York to visit Gerald Luettgen in October 2010 Photo from Markus' trip to York to visit Gerald Luettgen in October 2010 Photo from Markus' trip to York to visit Gerald Luettgen in October 2010 Photo from Markus' trip to York to visit Gerald Luettgen in October 2010 Photo from Markus' trip to York to visit Gerald Luettgen in October 2010


22.10.2008

Group Meeting: Markus gives the second part of his presentation "Extensions within CASL" - part 2 of 2.


15.10.2008

Group Meeting: Markus gives the presentation "Extensions within CASL" - part 1 of 2.


30.09.2008 - 01.10.2008

Gift, Liam and Markus attend the Eight International Workshop on Automated Verification of Critical Systems - AVoCS'08 at the University of Glasgow. Liam gives the presentation "CSP-CASL-Prover – A generic tool for process and data refinement" and Gift gives the presentation "Variations over the Stable Revivals Model in CSP-Prover". Markus agrees to host AVoCS 2009 at Swansea University. After the conference Gift and Liam visited the local museum and were surprised to find an EP2 like system on display. Below are some photos from the event.

Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08. Photo from AVoCS'08.


22.09.2008 - 26.09.2008

Liam attends the international summer school GLOBAN 2008 held in the University of Warsaw, Poland. Below are some photos taken during the school and around Warsaw.

Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland. Photo from GLOBAN'08 held at the University of Warsaw, Poland.


15.09.2008

Liam attends the VSR-net Workshop at the BCS offices in London. Below are some photos from the trip where Liam meet up with a friend from the summer school Marktoberdorf 2008.

Photo from the VSR-Net workshop trip in London. Photo from the VSR-Net workshop trip in London. Photo from the VSR-Net workshop trip in London. Photo from the VSR-Net workshop trip in London. Photo from the VSR-Net workshop trip in London.


06.08.2008

Markus visits Rolls-Royce in Derby for the final presentation of Temesghen's internship.


05.08.2008 - 17.08.2008

Liam attends the international summer school Marktoberdorf 2008. There he attended lectures (courses) from various well known computer scientists and researchers such as: Jean-Raymond Abrial, Manfred Broy, Tony Hoare and John Reynolds (to name but a few). Whilst learning was a main goal there so was socialising. One of the Marktoberdorf Golden Rules was not to talk to people from your own country - this was not too hard coming from Wales. There were two major excursions during the summer school. the first, was to Mount Fellhorn where we hiked up part of the mountain - we took a cable car to start :-). The second was to Neuschwanstein castle, where we had a guided tour but could not take any photos inside the castle. A Jazz concert was also held just for the summer school where Quadro Nuevo performed amazing music. The whole summer school was excellent adventure.

Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008 Photo from Liam's trip to the international summer school Marktoberdorf 2008