ARW'15: Call for Abstracts and Grant Applications
CADE-25 Final Call for Papers
CADE-25 Workshops- Calls for Papers
Description Logics 2015 - Call for Papers
LPAR-20 Call for Workshops
LPAR-20 in Fiji - Call for Papers
TABLEAUX 2015 - Call for Papers
TABLEAUX/FroCoS Call for Workshops
TESTS AND PROOFS - Deadline extended
Last message date: Friday, 27 February 2015 18:15:21 UTC