From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 06B83BC57 for ; Mon, 12 Apr 2010 15:08:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0AANO3wksgYbaKlGdsb2JhbACbMhUBAQIJCwgJEQUduiSFDASDJYsj X-IronPort-AV: E=Sophos;i="4.52,190,1270418400"; d="scan'208,217";a="56899524" Received: from e8.ny.us.ibm.com ([32.97.182.138]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 Apr 2010 15:08:14 +0200 Received: from d01relay05.pok.ibm.com (d01relay05.pok.ibm.com [9.56.227.237]) by e8.ny.us.ibm.com (8.14.3/8.13.1) with ESMTP id o3CCwl8J006881 for ; Mon, 12 Apr 2010 08:58:47 -0400 Received: from d01av02.pok.ibm.com (d01av02.pok.ibm.com [9.56.224.216]) by d01relay05.pok.ibm.com (8.13.8/8.13.8/NCO v10.0) with ESMTP id o3CD80Oh177638 for ; Mon, 12 Apr 2010 09:08:00 -0400 Received: from d01av02.pok.ibm.com (loopback [127.0.0.1]) by d01av02.pok.ibm.com (8.14.3/8.13.1/NCO v10.0 AVout) with ESMTP id o3CD7s7J022495 for ; Mon, 12 Apr 2010 10:08:00 -0300 Received: from d25ml04.torolab.ibm.com (d25ml04.torolab.ibm.com [9.26.6.105]) by d01av02.pok.ibm.com (8.14.3/8.13.1/NCO v10.0 AVin) with ESMTP id o3CD7rcc022469; Mon, 12 Apr 2010 10:07:54 -0300 Subject: [CFP] RULE 2010 (Edinburgh, UK, July 14, 2010) X-KeepSent: 4E8A60CB:973C4E15-88257703:0047D9C5; type=4; name=$KeepSent 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 X-Mailer: Lotus Notes Release 8.0.2 HF623 January 16, 2009 Message-ID: From: Hassan Ait-Kaci Date: Mon, 12 Apr 2010 06:07:35 -0700 X-MIMETrack: Serialize by Router on D25ML04/25/M/IBM(Release 8.0.1|February 07, 2008) at 04/12/2010 09:07:54 MIME-Version: 1.0 Content-type: multipart/alternative; Boundary="0__=07BBFD90DFD45F558f9e8a93df938690918c07BBFD90DFD45F55" Content-Disposition: inline X-Spam: no; 0.00; ait-kaci:01 28,:98 28,:98 cfp:01 semantic:02 semantic:02 authors:03 authors:03 programming:03 programming:03 tutorial:03 tutorial:03 deadline:05 deadline:05 submission:05 --0__=07BBFD90DFD45F558f9e8a93df938690918c07BBFD90DFD45F55 Content-type: text/plain; charset=US-ASCII 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, --------------------------------------------------------------------------- --0__=07BBFD90DFD45F558f9e8a93df938690918c07BBFD90DFD45F55 Content-type: text/html; charset=US-ASCII Content-Disposition: inline

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

--------------------------------------------------------------------------- --0__=07BBFD90DFD45F558f9e8a93df938690918c07BBFD90DFD45F55--