caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
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, 29 Mar 2010 03:59:09 -0700	[thread overview]
Message-ID: <OF165BAB32.A245D5C0-ON882576F5.003BA54E-882576F5.003C58DB@ca.ibm.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 987 bytes --]



Submission is now open. Please forward as appropriate. Thank you very much.
---------------------------------------------------------------------------
 [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: 1961 bytes --]

             reply	other threads:[~2010-03-29 11:19 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-03-29 10:59 Hassan Ait-Kaci [this message]
  -- strict thread matches above, loose matches on Subject: below --
2010-04-12 13:07 Hassan Ait-Kaci
2010-04-06 14:28 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=OF165BAB32.A245D5C0-ON882576F5.003BA54E-882576F5.003C58DB@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;
as well as URLs for NNTP newsgroup(s).