www-rdf-logic@w3.org from August 2013 by subject

CFP: Special issue of the Semantic Web Journal on Web Reasoning and Rule Systems

PhD Programme in Computer Science at the Free University of Bozen-Bolzano (Italy) - scholarships

Postdoc positions in SAT/SMT-based Verification available in Trento

Last message date: Tuesday, 27 August 2013 01:36:59 UTC