[Agda] DL 2009: Final Call for Participation

Boris Motik boris.motik at comlab.ox.ac.uk
Tue Jul 7 00:16:09 CEST 2009


     22nd International Workshop on Description Logics (DL 2009)
                   FINAL CALL FOR PARTICIPATION
           		  Oxford, United Kingdom
                           27-30 July 2009

                      http://dl.kr.org/dl2009/

The DL workshop is the major annual event of the description logic
research community -- it is the forum at which those interested in
description logics, both from academia and industry, meet to discuss
ideas, share information and compare experiences.

The workshop programme will include three talks by eminent invited
speakers, as well as 34 oral and 24 poster presentations.

----------------------------------------------------------------------

INVITED SPEAKERS

* Leonid Libkin, University of Edinburgh, UK

* Kavitha Srinivas, IBM Research, USA

* Rajeev Gore, The Australian National University, Australia

----------------------------------------------------------------------

RESOURCES

* Information about registration, travel information, accommodation,
  and so on is available on the DL 2009 homepage:

		http://dl.kr.org/dl2009/
     
* Enquiries about the DL 2009 workshop can be made by contacting
  the organizing committee:

		dl2009 at easychair.org

* The official Description Logic home page is at

		http://dl.kr.org/



More information about the Agda mailing list