public-argumentation@w3.org from March 2015 by thread

Verification Mentoring Workshop Student Scholarships Geoff Sutcliffe (Thursday, 26 March)

Horn Clauses for Verification and Synthesis - Call for Papers Geoff Sutcliffe (Monday, 9 March)

3rd Workshop on Interpolation - Call for Papers Geoff Sutcliffe (Thursday, 5 March)

Last message date: Thursday, 26 March 2015 14:31:22 UTC