Diary Entry: 2007-08-20 00:00:00 - 2007-08-24 00:00:00

Liam and Markus attend CALCO 07 held in Bergen, Norway. Liam gives the presentation "Integrating Theorem Proving for Processes and Data" in the CALCO-jnr workshop. Below are some pictures from the trip.