A workshop within the Collegium Logicum lecture series on Proofs and Structure supported by the KGS will take place in Paris, from 2010-11-08 to 2010-11-10. Please have a look at the workshop webpage for program and more details.