From: "Boris Motik" <boris.motik@comlab.ox.ac.uk>
To: <acl@opus.cs.columbia.edu>, <acl@opus.cs.columbia.edu>,
<agda@lists.chalmers.se>, <ai@cs.man.ac.uk>, <announce@aosd.net>,
<announcements@oopsla.acm.org>, <boost@lists.boost.org>,
<boost-interest@lists.boost.org>, <bull_i3@univ-tln.fr>,
<caml-list@yquem.inria.fr>, <cfp@clip.dia.fi.upm.es>,
<cgn-talk@yahoogroups.com>, <clean-list@cs.kun.nl>,
<community@mlnet.org>, <compulog@doc.imperial.ac.uk>,
<compunode@compulog.org>, <concurrency@cwi.nl>,
<coq-club@pauillac.inria.fr>, <cweb@inria.fr>,
<daml-all@daml.org>, <diglib@infoserv.nlc-bnc.ca>, <dl@dl.kr.org>,
<eapls@jiscmail.ac.uk>, <elsnet-list@cogsci.ed.ac.uk>,
<fm-discussion@cs.man.ac.uk>, <forum@jsoftware.com>,
<gnome-announce-list@gnome.org>, <gpce-news@cs.rice.edu>,
<haskell@haskell.org>, <haskell-cafe@haskell.org>,
<hol-info@lists.sourceforge.net>, <ieeewicom@gmail.com>,
<info-ic@biomath.jussieu.fr>, <isabelle-users@cl.cam.ac.uk>,
<isworld@listserv.heanet.ie>, <kaw@swi.psy.uva.nl>,
<lics@informatik.hu-berlin.de>, <loco@csc.liv.ac.uk>,
<logic@cs.indiana.edu>, <logic@theory.lcs.mit.edu>,
<math.logik@gmx.net>, <mercury-ads@cs.mu.oz.au>,
<mmkm@jiscmail.ac.uk>, <news-announce-conferences@uunet.uu.net>,
<newsletter_srpublishing@yahoo.cn>,
<ontoweb-language-sig@cs.man.ac.uk>, <oon-list@oonumerics.org>,
<pellet-users@lists.owldl.com>, <pept@kb.ecei.tohoku.ac.jp>,
<planetkr@kr.org>, <planetmde@imag.fr>,
<plt-scheme@fast.cs.utah.edu>, <protege-owl@lists.stanford.edu>,
<publicity@hipeac.net>, <public-owl-dev@w3.org>,
<pvs@csl.sri.com>, <qed@mcs.anl.gov>, <rewriting@ens-lyon.fr>,
<semantic-web@w3.org>, <seweb-list@cs.vu.nl>,
<seworld@cs.colorado.edu>, <sigart@vaxa.isi.edu>,
<sigmedia@dfki.uni-sb.de>, <siksleden@cs.uu.nl>,
<stratego@cs.uu.nl>, <theorem-provers@ai.mit.edu>,
<twelf-list@twelf.org>, <types-announce@lists.seas.upenn.edu>,
<types-wg@durham.ac.uk>, <www-international@w3.org>,
<www-rdf-interest@w3.org>, <www-rdf-logic@w3.org>,
<www-rdf-rules@w3.org>, <www-webont-wg@w3.org>
Subject: DL 2009: Final Call for Participation
Date: Tue, 7 Jul 2009 00:16:09 +0200 [thread overview]
Message-ID: <A14DB32931244284A917C3D44D6D4A15@wolf> (raw)
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@easychair.org
* The official Description Logic home page is at
http://dl.kr.org/
reply other threads:[~2009-07-06 22:18 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=A14DB32931244284A917C3D44D6D4A15@wolf \
--to=boris.motik@comlab.ox.ac.uk \
--cc=acl@opus.cs.columbia.edu \
--cc=agda@lists.chalmers.se \
--cc=ai@cs.man.ac.uk \
--cc=announce@aosd.net \
--cc=announcements@oopsla.acm.org \
--cc=boost-interest@lists.boost.org \
--cc=boost@lists.boost.org \
--cc=bull_i3@univ-tln.fr \
--cc=caml-list@yquem.inria.fr \
--cc=cfp@clip.dia.fi.upm.es \
--cc=cgn-talk@yahoogroups.com \
--cc=clean-list@cs.kun.nl \
--cc=community@mlnet.org \
--cc=compulog@doc.imperial.ac.uk \
--cc=compunode@compulog.org \
--cc=concurrency@cwi.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=cweb@inria.fr \
--cc=daml-all@daml.org \
--cc=diglib@infoserv.nlc-bnc.ca \
--cc=dl@dl.kr.org \
--cc=eapls@jiscmail.ac.uk \
--cc=elsnet-list@cogsci.ed.ac.uk \
--cc=fm-discussion@cs.man.ac.uk \
--cc=forum@jsoftware.com \
--cc=gnome-announce-list@gnome.org \
--cc=gpce-news@cs.rice.edu \
--cc=haskell-cafe@haskell.org \
--cc=haskell@haskell.org \
--cc=hol-info@lists.sourceforge.net \
--cc=ieeewicom@gmail.com \
--cc=info-ic@biomath.jussieu.fr \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isworld@listserv.heanet.ie \
--cc=kaw@swi.psy.uva.nl \
--cc=lics@informatik.hu-berlin.de \
--cc=loco@csc.liv.ac.uk \
--cc=logic@cs.indiana.edu \
--cc=logic@theory.lcs.mit.edu \
--cc=math.logik@gmx.net \
--cc=mercury-ads@cs.mu.oz.au \
--cc=mmkm@jiscmail.ac.uk \
--cc=news-announce-conferences@uunet.uu.net \
--cc=newsletter_srpublishing@yahoo.cn \
--cc=ontoweb-language-sig@cs.man.ac.uk \
--cc=oon-list@oonumerics.org \
--cc=pellet-users@lists.owldl.com \
--cc=pept@kb.ecei.tohoku.ac.jp \
--cc=planetkr@kr.org \
--cc=planetmde@imag.fr \
--cc=plt-scheme@fast.cs.utah.edu \
--cc=protege-owl@lists.stanford.edu \
--cc=public-owl-dev@w3.org \
--cc=publicity@hipeac.net \
--cc=pvs@csl.sri.com \
--cc=qed@mcs.anl.gov \
--cc=rewriting@ens-lyon.fr \
--cc=semantic-web@w3.org \
--cc=seweb-list@cs.vu.nl \
--cc=seworld@cs.colorado.edu \
--cc=sigart@vaxa.isi.edu \
--cc=sigmedia@dfki.uni-sb.de \
--cc=siksleden@cs.uu.nl \
--cc=stratego@cs.uu.nl \
--cc=theorem-provers@ai.mit.edu \
--cc=twelf-list@twelf.org \
--cc=types-announce@lists.seas.upenn.edu \
--cc=types-wg@durham.ac.uk \
--cc=www-international@w3.org \
--cc=www-rdf-interest@w3.org \
--cc=www-rdf-logic@w3.org \
--cc=www-rdf-rules@w3.org \
--cc=www-webont-wg@w3.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).