Diary Entry: 2009-07-16 00:00:00 - 2009-07-22 00:00:00

We attend VINO 2009. VINO is a small conference between four research groups: a group from Berlin, a group from Nancy, a group from Bremen and us (the Processes and Data Gang from Swansea). VINO was held at Holger Schlingloff's summer house in Sand in Taufers in Italy. The goal of our conference was to share and develop our research ideas through discussion. We also studied 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 surrounding mountains and tasted delicious food prepared by each group in turn. We (the Processes and Data Gang) won the "Best Cooking Award" for our three course evening meal, although the competition was very high. Below are some photos from the trip.