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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id C53B1BBAF for ; Mon, 19 Apr 2010 10:19:33 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuEBANKuy0tKfVI2mGdsb2JhbACbbAgVAQEBAQEICQwHESKrewEFjXcBBIUQjnU X-IronPort-AV: E=Sophos;i="4.52,234,1270418400"; d="scan'208";a="48686661" Received: from mail-ww0-f54.google.com ([74.125.82.54]) by mail3-smtp-sop.national.inria.fr with ESMTP; 19 Apr 2010 10:19:33 +0200 Received: by wwa36 with SMTP id 36so2561078wwa.27 for ; Mon, 19 Apr 2010 01:19:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:content-type :content-transfer-encoding; bh=KtHJsZTphqNbKwOIw4sdfYAddXtQMljwu8MXcmXexbE=; b=CV2RjkIqAmVVTdrQiy3gb5aIO6OzlxaIzY1RdU3xildQH88o2JLgPAU9QyS6BQ0Hfu fVxJUeU2lfifYk55o+jebdThB9eDxnxoFa/5/6p4rj8059wlGgTw0l5X7PLWokjFKxhd e/pEnB+aoi/Q7VN4GTa5vV6U+Gixf1SEESfGE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; b=IkhXFrTJvmiL2XwNtBXAtC+tCtA1vthjZ0J1ZC2DYMWzw2OWnUJZ0xUl2e9uWnujaF /ddWC99791ADZOgBUBD8n5Mljq02hgr83CfMn98WZY4NTcmySV3qOcBSTXn0fyFguo84 bNotLf7UUlMGcgGXPBckbFaMorEwWk4pJu2ts= Received: by 10.216.88.143 with SMTP id a15mr6820277wef.6.1271665172110; Mon, 19 Apr 2010 01:19:32 -0700 (PDT) Received: from [192.168.1.51] (dsl-fixed-77-44-49-36.interdsl.co.uk [77.44.49.36]) by mx.google.com with ESMTPS id r29sm46793756wbv.9.2010.04.19.01.19.25 (version=TLSv1/SSLv3 cipher=RC4-MD5); Mon, 19 Apr 2010 01:19:31 -0700 (PDT) Message-ID: <4BCC120C.1050005@gmail.com> Date: Mon, 19 Apr 2010 09:19:24 +0100 From: Dave Reynolds User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-GB; rv:1.9.1.9) Gecko/20100317 Lightning/1.0b1 Thunderbird/3.0.4 MIME-Version: 1.0 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 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; 26,:98 28,:98 cfp:01 semantic:02 authors:03 programming:03 programming:03 tutorial:03 deadline:05 deadline:05 submission:05 submission:05 extension:06 meeting:08 workshop:08 [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