caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Dave Reynolds <dave.e.reynolds@googlemail.com>
To: 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, 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, 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, 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,
	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, FMxSOCandBPM@cs.unibo.it,
	Jcsd@dsi.uclm.es, MLton-user@mlton.org,
	Sensoria@lists.tcs.ifi.lmu.de
Subject: CFP: RULE 2010 - Deadline Extension
Date: Mon, 19 Apr 2010 09:19:24 +0100	[thread overview]
Message-ID: <4BCC120C.1050005@gmail.com> (raw)

[Apologies for cross posting]

Following requests the submission deadline for the RULE2010 Workshop has 
been extended by one week to Sunday April 26 2010.

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

NB: This is a WORKSHOP: new, work-in-progress, and tutorial topics welcome.

IMPORTANT DATES:

Submission deadline: Sunday, April 26, 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


                 reply	other threads:[~2010-04-19  8:19 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=4BCC120C.1050005@gmail.com \
    --to=dave.e.reynolds@googlemail.com \
    --cc=FMxSOCandBPM@cs.unibo.it \
    --cc=Jcsd@dsi.uclm.es \
    --cc=MLton-user@mlton.org \
    --cc=Sensoria@lists.tcs.ifi.lmu.de \
    --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=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=jena-dev@groups.yahoo.com \
    --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=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 \
    /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).