Diary Entry: 2011-11-20 00:00:00 - 2011-11-23 00:00:00

The group holds the 6th International Workshop on Processes and Data at Gregynog. This year, the conference was an open event with many members of the Computer Science department attending. This newly structured event prove to be very successful and fun. Every attendee made a presentation around various aspects of Propositional and First Order Logic. After the Conference, the group attended the annual Undergraduate Gregynog Trip.