Volker Haarslev, Dr. rer.-nat. habil. Associate Professor Concordia University, Department of Computer Science and Software Engineering 1455 de Maisonneuve Blvd. W., Montreal, Quebec  H3G 1M8, Canada  Email: haarslev -at- cse -dot- concordia -dot- ca Web: http://www.cse.concordia.ca/~haarslev/   Office: EV 03.119 (EV Building) Phone: +1 (514) 848-2424 ext. 3049 Fax: +1 (514) 848-2830

If you are curious about what I am interested in, please have a look at these slides

--> List of publications

Research Projects

• RACER: Highly optimized reasoner for
  
• ABoxes and TBoxes in Description Logics
  
• Ontology Web Language (OWL DL)
• RacerPro: OWL Reasoning for the Semantic Web

Supervised Students

Teaching

Activities

• ECAI 2010
  
• DL 2010
  
• KR 2010
• ASWC 2009
  
• RR 2009
• ISWC 2009
  
• SSWS 2009
• Description Logics Workshop 2009 (DL'09)
• ICKE 2009
  
• SSWS 2008
• Web Intelligence 2008
• ASWC 2008
• PAAR 2008
  
• KR 2008
• ECAI 2008
  
• AI 2008
• HCLS 2008
  
• STSM 2008
• ESWC 2008
• OWLED-DC 2008
• Description Logics Workshop 2008 (DL'08)
• ISWC 2007
• Semantic e-Science / AAAI 2007
  
• WI-2007
  
• ESWC 2007
  
• AAAI-07
• OWLED 2007
• Description Logics Workshop 2007 (DL'07)
• WWW2007/HCLSDI
• IJCAI 2007
• SSWS 2006
  
• OWLED 2006
  
• WI-2006
  
• KI 2006
• 10th International Database Engineering & Applications Symposium (IDEAS'2006)
• Description Logics Workshop 2006 (DL'06)
• ESWC 2006
  
• AAAI-06
  
• Diagrams 2006 Conference
• Canadian Semantic Web Symposium 2006
  
• 9th International Database Engineering & Applications Symposium (IDEAS'2005)
  
• Description Logics Workshop 2005 (DL'05)
  
• KI-2004 Workshop on Applications of Description Logics (ADL'04)
• 8th International Database Engineering & Applications Symposium (IDEAS'2004)
  
• Description Logics Workshop 2004 (DL'04)
  
• Diagrams 2004 Conference
• Description Logics Workshop 2003 (DL'03)
• KI-2002 Workshop on Applications of Description Logics (ADL'02)
• Diagrams 2002 Conference
• KI-2001 Workshop on Applications of Description Logics (ADL'01)
• Proceedings of the 11th International IEEE Symposium on Visual Languages '95 is available as WWW version