[CfP] ISWC2016: Keynote speakers & Call for Papers
Call For Papers - CNL 2016 - Extended Submission Deadline 15 April 2016
Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP 2016 @ IJCAR), Coimbra, Portugal, Deadline May 9th
CFP: The 4th IEEE International Workshop on Formal Methods Integration - FMi 2016 -
Deadline Extension for FMi 2016: The 4th IEEE International Workshop on Formal Methods Integration
Extended Deadline: Fifth Workshop on Controlled Natural Language (CNL 2016)
Final Call for Papers - 9th Conference on Intelligent Computer Mathematics - CICM 2016 - Abstract Submission Deadline 9. March 2016
INTECH 2016
Reminder ISWC2016: Call for Workshops & Tutorials
Tenured Faculty Position in Computer Science at the Free University of Bozen-Bolzano
TSD 2016 - Last Call for Papers
Last message date: Tuesday, 29 March 2016 15:36:17 UTC