[logic-ml] JAIST Spring School 2012 - Formal Reasoning: Theory and Application - (5-9 March, 2012)