New Tutorial Announced for JURIX 2014

We are pleased to announce that a tutorial on Formal Balancing in Legal Cases will be held in conjunction with JURIX 2014 on December 10, 2014. For the details, see the updated Workshops and Tutorials subpage. The registration for the tutorial will be open soon.