Tuesday, 29 January 2013
- Postdoc positions in SAT/SMT-based Verification available in Trento
- ICML 2013 Last Call for Papers -- Cycle III Deadline Approaching
Monday, 28 January 2013
Thursday, 24 January 2013
Tuesday, 15 January 2013
- CfP ECAL 2013 - European Conference on Artificial Life - 2-6 September, 2013 Taormina, Italy
- CfP ECAL 2013 - European Conference on Artificial Life - 2-6 September, 2013 Taormina, Italy
Friday, 11 January 2013
Thursday, 10 January 2013
Tuesday, 8 January 2013
Monday, 7 January 2013
- CfP Web Semantics and Web Intelligence (WebS) 2013
- ICML 2013 Call for Workshop and Tutorial Proposals