tracker for SRI International
November 21, 2008
10th international conference on verification, model checking, and abstract interpretation (VMCAI 2009) was updated.
- Organizations: SRI International
November 4, 2008
Languages, models, and architectures for concurrent and distributed software (COORDINATION 2009) was added.
- Organizations: SRI International
October 23, 2008
Dependence issues in knowledge-based systems was updated.
- Organizations: SRI International
October 15, 2008
3rd international conference on fundamentals of software engineering 2009 (FSEN 2009) was added.
- Organizations: SRI International
October 11, 2008
2nd international workshop on service matchmaking and resource retrieval in the semantic web (SMR2 2008) was updated.
- Organizations: SRI International
October 2, 2008
21st international conference on computer aided verification (CAV 2009) was added.
- Organizations: SRI International
September 30, 2008
2nd international workshop on service matchmaking and resource retrieval in the semantic web (SMR2 2008) was updated.
- Organizations: SRI International
September 17, 2008
4th workshop on semantic web enabled software engineering (SWESE 2008) was updated.
- Organizations: SRI International
July 29, 2008
5th international workshop on formal aspects of component software (FACS 2008) was updated.
- Organizations: SRI International
July 28, 2008
2nd international workshop on service matchmaking and resource retrieval in the semantic web (SMR2 2008) was updated.
- Organizations: SRI International
July 25, 2008
4th workshop on semantic web enabled software engineering (SWESE 2008) was updated.
- Organizations: SRI International
July 16, 2008
24th ACM symposium on applied computing (SAC 2009) was updated.
- Organizations: SRI International