A workshop within the Collegium Logicum lecture series on proofs and structured organized by the KGS will take place in Vienna on Wednesday 24 October 2007 and Thursday 25 October 2007. Please have a look at the workshop webpage for program and more details.