Workshop and tutorial at ICSB 2015

ICSB 2015 had a logical modelling Workshop and tutorial organized by Matteo Barberis, C. Chaouiya, and T Helikar.

See the material for the tutorial.