Diary Entry: 2007-07-01 00:00:00 - 2007-07-15 00:00:00

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

Markus visits Derrick Kourie and Stefan Gruner at the University of Pretoria, South Africa as part of a South-Africa-UK-Network funded by the National Research Foundation and the Royal Society. Whilst there Markus takes a seminar on CSP-Prover. Below are some Photos from the trip.