Markus was guest of Hans-joerg Kreowski at the Research Centre for Log Dynamics and presented the paper "Proof Principles of CSP -- CSP-Prover in Practice" (Authors: Yoshinao Isobe and Markus Roggenbach) at LDIC 2007 in Bremen.
Markus was guest of Hans-joerg Kreowski at the Research Centre for Log Dynamics and presented the paper "Proof Principles of CSP -- CSP-Prover in Practice" (Authors: Yoshinao Isobe and Markus Roggenbach) at LDIC 2007 in Bremen.