From: Hassan Ait-Kaci <hak@ca.ibm.com>
To: ada-belgium-info@cs.kuleuven.ac.be, alp-diffusion@univ-lille1.fr,
alp-request@nic.surfnet.nl, bforum@inrets.fr,
bulletin@aisb.org.uk, calligramme@loria.fr, caml-list@inria.fr,
categories@mta.ca, chi-Announcements@acm.org,
clean-list@science.ru.nl, clp@comp.nus.edu.sg,
cmcs@cs.indiana.edu, comlab@comlab.ox.ac.uk,
compgeom-announce@lists-sop.inria.fr, complog@cs.nmsu.edu,
compulognet-parimp@dia.fi.upm.es,
computational.science@lists.iccsa.org, concurrency@cwi.nl,
concurrency@tue.nl, coq-club@pauillac.inria.fr,
cphc-conf@jiscmail.ac.uk, curry@informatik.rwth-aachen.de,
dbworld@cs.wisc.edu, distjisbd@lcc.uma.es,
drools-research@redhat.com, eapls@jiscmail.ac.uk,
easst-members@cs.uni-potsdam.de, etalle@cs.utwente.nl,
event@in.tu-clausthal.de, fg214@informatik.uni-kiel.de,
fmics@inrialpes.fr, focs@comlab.ox.ac.uk, jamievicary@gmail.com,
Jamie.Vicary@comlab.ox.ac.uk, gdr.gpl@imag.fr,
generic-haskell@cs.uu.nl, haskell@haskell.org,
hise-safety-critical@minster.cs.york.ac.uk,
infodesign-cafe@list.informationdesign.org,
infodesign@list.informationdesign.org,
int-artif-request@listserv.rediris.es, ipa@tue.nl,
isabelle-users@cl.cam.ac.uk, isworld@lyris.isworld.org,
jena-dev@groups.yahoo.com, julia@diku.dk, kgs@logic.tuwien.ac.at,
lande@irisa.fr, lfcs-interest@dcs.ed.ac.uk,
lics@research.bell-labs.com, lotos-world@site.uottawa.ca,
lprolog@cs.umn.edu, m4m@science.uva.nl,
maude-request@listserv.rediris.es, maude-users@maude.cs.uiuc.edu,
mercury-ads@cs.mu.oz.au, mercury-announce@cs.mu.oz.au,
meta-devel@cwi.nl, moca-announce@list.it.uu.se,
mozart-users@mozart-oz.org, mrg@itc.it, nvti-list@cwi.nl,
oose@uni-paderborn.de, papm@inf.ed.ac.uk,
pellet-users@lists.owldl.com, pept@kb.ecei.tohoku.ac.jp,
petrinet@informatik.uni-hamburg.de,
procos-request@jiscmail.ac.uk, prog-lang@diku.dk,
prole@babel.ls.fi.upm.es, protege-owl@lists.stanford.edu,
public-owl-dev@w3.org, public-rif-dev@w3.org,
puml-list@cs.york.ac.uk, pvs@csl.sri.com, relmics-l@mcmaster.ca,
resist@laas.fr, rewriting@ens-lyon.fr, ruleml-all@ruleml.org,
safety-critical@cs.york.ac.uk, security@fosad.org,
semantic-web@w3.org, seworld@cs.colorado.edu,
siggen@ics.mq.edu.au, smlnet-users-request@jiscmail.ac.uk,
softtech@cs.uu.nl, stratego@cs.uu.nl, swi-prolog@iai.uni-bonn.de,
theorem-provers@ai.mit.edu, theory-a@listserv.nodak.edu,
theory@cl.cam.ac.uk, theorynt@listserv.nodak.edu,
tocai@dis.uniroma1.it, tom-users@loria.fr,
types-announce@lists.seas.upenn.edu, users-prolog@gnu.org,
web4lib@webjunction.org, zucker@mcmaster.ca,
FMxSOCandBPM@cs.unibo.it, Jcsd@dsi.uclm.es,
Jerome.Gensel@imag.fr, MLton-user@mlton.org,
Sensoria@lists.tcs.ifi.lmu.de
Subject: [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010)
Date: Mon, 12 Apr 2010 06:07:35 -0700 [thread overview]
Message-ID: <OF4E8A60CB.973C4E15-ON88257703.0047D9C5-88257703.00481B46@ca.ibm.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 1062 bytes --]
DEADLINE IS IN 4 DAYS!! Please forward as appropriate. Thank you very much.
NB: This is a WORKSHOP: new, work-in-progress, and tutorial topics welcome!
---------------------------------------------------------------------------
[Although we try avoiding cross-posting, we do apologize if that happens]
---------------------------------------------------------------------------
RULE 2010
ELEVENTH INTERNATIONAL WORKSHOP ON RULE-BASED SPECIFICATION AND PROGRAMMING
RULE-BASED PROGRAMMING IN INDUSTRY AND THE SEMANTIC WEB
Edinburgh, UK
July 14, 2010
http://www.di.uminho.pt/rule2010
IMPORTANT DATES:
Submission deadline: Friday, April 16, 2010
PC meeting: Monday-Friday, May 24-28, 2010
Authors notified: Thursday, June 3, 2010
Final copies due: Friday, June 25, 2010
RULE 2010 Workshop: Wednesday, July 14, 2010,
---------------------------------------------------------------------------
[-- Attachment #2: Type: text/html, Size: 2082 bytes --]
next reply other threads:[~2010-04-12 13:08 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-12 13:07 Hassan Ait-Kaci [this message]
-- strict thread matches above, loose matches on Subject: below --
2010-04-06 14:28 Hassan Ait-Kaci
2010-03-29 10:59 Hassan Ait-Kaci
2010-03-22 13:12 Hassan Ait-Kaci
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=OF4E8A60CB.973C4E15-ON88257703.0047D9C5-88257703.00481B46@ca.ibm.com \
--to=hak@ca.ibm.com \
--cc=FMxSOCandBPM@cs.unibo.it \
--cc=Jamie.Vicary@comlab.ox.ac.uk \
--cc=Jcsd@dsi.uclm.es \
--cc=Jerome.Gensel@imag.fr \
--cc=MLton-user@mlton.org \
--cc=Sensoria@lists.tcs.ifi.lmu.de \
--cc=ada-belgium-info@cs.kuleuven.ac.be \
--cc=alp-diffusion@univ-lille1.fr \
--cc=alp-request@nic.surfnet.nl \
--cc=bforum@inrets.fr \
--cc=bulletin@aisb.org.uk \
--cc=calligramme@loria.fr \
--cc=caml-list@inria.fr \
--cc=categories@mta.ca \
--cc=chi-Announcements@acm.org \
--cc=clean-list@science.ru.nl \
--cc=clp@comp.nus.edu.sg \
--cc=cmcs@cs.indiana.edu \
--cc=comlab@comlab.ox.ac.uk \
--cc=compgeom-announce@lists-sop.inria.fr \
--cc=complog@cs.nmsu.edu \
--cc=compulognet-parimp@dia.fi.upm.es \
--cc=computational.science@lists.iccsa.org \
--cc=concurrency@cwi.nl \
--cc=concurrency@tue.nl \
--cc=coq-club@pauillac.inria.fr \
--cc=cphc-conf@jiscmail.ac.uk \
--cc=curry@informatik.rwth-aachen.de \
--cc=dbworld@cs.wisc.edu \
--cc=distjisbd@lcc.uma.es \
--cc=drools-research@redhat.com \
--cc=eapls@jiscmail.ac.uk \
--cc=easst-members@cs.uni-potsdam.de \
--cc=etalle@cs.utwente.nl \
--cc=event@in.tu-clausthal.de \
--cc=fg214@informatik.uni-kiel.de \
--cc=fmics@inrialpes.fr \
--cc=focs@comlab.ox.ac.uk \
--cc=gdr.gpl@imag.fr \
--cc=generic-haskell@cs.uu.nl \
--cc=haskell@haskell.org \
--cc=hise-safety-critical@minster.cs.york.ac.uk \
--cc=infodesign-cafe@list.informationdesign.org \
--cc=infodesign@list.informationdesign.org \
--cc=int-artif-request@listserv.rediris.es \
--cc=ipa@tue.nl \
--cc=isabelle-users@cl.cam.ac.uk \
--cc=isworld@lyris.isworld.org \
--cc=jamievicary@gmail.com \
--cc=jena-dev@groups.yahoo.com \
--cc=julia@diku.dk \
--cc=kgs@logic.tuwien.ac.at \
--cc=lande@irisa.fr \
--cc=lfcs-interest@dcs.ed.ac.uk \
--cc=lics@research.bell-labs.com \
--cc=lotos-world@site.uottawa.ca \
--cc=lprolog@cs.umn.edu \
--cc=m4m@science.uva.nl \
--cc=maude-request@listserv.rediris.es \
--cc=maude-users@maude.cs.uiuc.edu \
--cc=mercury-ads@cs.mu.oz.au \
--cc=mercury-announce@cs.mu.oz.au \
--cc=meta-devel@cwi.nl \
--cc=moca-announce@list.it.uu.se \
--cc=mozart-users@mozart-oz.org \
--cc=mrg@itc.it \
--cc=nvti-list@cwi.nl \
--cc=oose@uni-paderborn.de \
--cc=papm@inf.ed.ac.uk \
--cc=pellet-users@lists.owldl.com \
--cc=pept@kb.ecei.tohoku.ac.jp \
--cc=petrinet@informatik.uni-hamburg.de \
--cc=procos-request@jiscmail.ac.uk \
--cc=prog-lang@diku.dk \
--cc=prole@babel.ls.fi.upm.es \
--cc=protege-owl@lists.stanford.edu \
--cc=public-owl-dev@w3.org \
--cc=public-rif-dev@w3.org \
--cc=puml-list@cs.york.ac.uk \
--cc=pvs@csl.sri.com \
--cc=relmics-l@mcmaster.ca \
--cc=resist@laas.fr \
--cc=rewriting@ens-lyon.fr \
--cc=ruleml-all@ruleml.org \
--cc=safety-critical@cs.york.ac.uk \
--cc=security@fosad.org \
--cc=semantic-web@w3.org \
--cc=seworld@cs.colorado.edu \
--cc=siggen@ics.mq.edu.au \
--cc=smlnet-users-request@jiscmail.ac.uk \
--cc=softtech@cs.uu.nl \
--cc=stratego@cs.uu.nl \
--cc=swi-prolog@iai.uni-bonn.de \
--cc=theorem-provers@ai.mit.edu \
--cc=theory-a@listserv.nodak.edu \
--cc=theory@cl.cam.ac.uk \
--cc=theorynt@listserv.nodak.edu \
--cc=tocai@dis.uniroma1.it \
--cc=tom-users@loria.fr \
--cc=types-announce@lists.seas.upenn.edu \
--cc=users-prolog@gnu.org \
--cc=web4lib@webjunction.org \
--cc=zucker@mcmaster.ca \
/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