Bernardo Cuenca Grau
Ed
Enrico Franconi
Jeff Heflin
John Edward
João Manuel R. S. Tavares
LAM'09
Michael Sintek
Pascal Hitzler
- Final CfP: Applications of Semantic Technologies AST2009
- AI Mashup Challenge 2009 - Call for submissions and participation
Robert C. Hsu
Roberto Sebastiani
- PhD positions in ICT on Formal Verification via SMT available in Trento
- FroCoS'09 Final Call for Papers
- FroCoS'09 Call for Papers