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 Verification WG 1.3 meeting. Below are some photos from the events.