- From: Hassan Ait-Kaci <hak@ca.ibm.com>
- Date: Mon, 12 Apr 2010 06:07:35 -0700
- 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
Received on Monday, 12 April 2010 13:08:51 UTC