Friday, 30 March 2012
Wednesday, 28 March 2012
- Deadline extended - SSSW 2012 Semantic Web Summer School
- [RuleML2012] Deadline Extension and Final CfP
Tuesday, 27 March 2012
Monday, 26 March 2012
Wednesday, 21 March 2012
- 8th Reasoning Web Summer School (RW 2012) - 2nd Call for Applications
- [CfP] ACM SIGMOD/PODS 2012 - Call for Participation
Tuesday, 20 March 2012
Monday, 19 March 2012
Saturday, 17 March 2012
- CfP PPSN 2012 - 12th Int. Conf. on Parallel Problem Solving from Nature, 1-5 September, 2012 Taormina, Italy
- CfP PPSN 2012 - 12th Int. Conf. on Parallel Problem Solving from Nature, 1-5 September, 2012 Taormina, Italy
Friday, 16 March 2012
Wednesday, 14 March 2012
Tuesday, 13 March 2012
- Call for Workshop Proposals co-located with the ISWC 2012
- Fwd: KI-2012: Last Call for Workshop and Tutorial Proposals, Deadline: March 15, 2012
Monday, 12 March 2012
Thursday, 8 March 2012
Wednesday, 7 March 2012
Monday, 5 March 2012
Sunday, 4 March 2012
- PHD position on SMT-based formal verification in Trento
- PHD position on SAT/SMT applications to requirement engineering in Trento
Saturday, 3 March 2012
- CfP PPSN 2012 - 12th Int. Conf. on Parallel Problem Solving from Nature, 1-5 September, 2012 Taormina, Italy
- CfP PPSN 2012 - 12th Int. Conf. on Parallel Problem Solving from Nature, 1-5 September, 2012 Taormina, Italy
- CfP ICARIS 2012 - NEWS: extended deadline - three special issues - plenary speakers
- CfP ICARIS 2012 - NEWS: extended deadline - three special issues - plenary speakers
- CfP ICARIS 2012 - NEWS: extended deadline - three special issues - plenary speakers