- From: COMPAGNA, Luca <luca.compagna@sap.com>
- Date: Tue, 8 Sep 2009 13:32:47 +0200
- To: "latorre@saul.cis.upenn.edu" <latorre@saul.cis.upenn.edu>, "latorre@seas.upenn.edu" <latorre@seas.upenn.edu>, "latteux@lifl.fr" <latteux@lifl.fr>, "laurence@gyptis.univ-mrs.fr" <laurence@gyptis.univ-mrs.fr>, "laurent.cabirol@cea.fr" <laurent.cabirol@cea.fr>, "laurent.kott@inria.fr" <laurent.kott@inria.fr>, "lazic@dcs.warwick.ac.uk" <lazic@dcs.warwick.ac.uk>, "lcp@cl.cam.ac.uk" <lcp@cl.cam.ac.uk>, "leduc@montefiore.ulg.ac.be" <leduc@montefiore.ulg.ac.be>, "lee@cis.upenn.edu" <lee@cis.upenn.edu>, "leesj@ee.nsysu.edu.tw" <leesj@ee.nsysu.edu.tw>, "leitsch@logic.at" <leitsch@logic.at>, "leivant@cs.cmu.edu" <leivant@cs.cmu.edu>, "leivant@cs.indiana.edu" <leivant@cs.indiana.edu>, "lengauer@fmi.uni-passau.de" <lengauer@fmi.uni-passau.de>, "leo@sbcs.sunysb.edu" <leo@sbcs.sunysb.edu>, "leue@informatik.uni-freiburg.de" <leue@informatik.uni-freiburg.de>, "levi@di.unipi.it" <levi@di.unipi.it>, "levy@imag.fr" <levy@imag.fr>, "lfcs-interest@dcs.ed.ac.uk" <lfcs-interest@dcs.ed.ac.uk>, "lfg@lists.stanford.edu" <lfg@lists.stanford.edu>, "liardet@gyptis.univ-mrs.fr" <liardet@gyptis.univ-mrs.fr>, "limet@lifo.univ-orleans.fr" <limet@lifo.univ-orleans.fr>, "lincoln@csl.sri.com" <lincoln@csl.sri.com>, "lindsay@comp.vuw.ac.nz" <lindsay@comp.vuw.ac.nz>, "linear@cs.stanford.edu" <linear@cs.stanford.edu>, "linpa@ida.liu.se" <linpa@ida.liu.se>, "lioy@polito.it" <lioy@polito.it>, "lj@nju.edu.cn" <lj@nju.edu.cn>, "lmp@fct.unl.pt" <lmp@fct.unl.pt>, "loechner@informatik.uni-kl.de" <loechner@informatik.uni-kl.de>, "logic-announce@uclink4.berkeley.edu" <logic-announce@uclink4.berkeley.edu>, "logic-list@Helsinki.FI" <logic-list@Helsinki.FI>, "logic@cs.stanford.edu" <logic@cs.stanford.edu>, "loginf@lat.inf.tu-dresden.de" <loginf@lat.inf.tu-dresden.de>, "lpnmr@cs.engr.uky.edu" <lpnmr@cs.engr.uky.edu>, "lucks@math.uni-goettingen.de" <lucks@math.uni-goettingen.de>, "lugiez@cmi.univ-mrs.fr" <lugiez@cmi.univ-mrs.fr>, "luigi@csi.uottawa.ca" <luigi@csi.uottawa.ca>, "lusk@mcs.anl.gov" <lusk@mcs.anl.gov>, "macq@tele.ucl.ac.be" <macq@tele.ucl.ac.be>, "maddux@iastate.edu" <maddux@iastate.edu>, "madlener@informatik.uni-kl.de" <madlener@informatik.uni-kl.de>, "mael@it.edu" <mael@it.edu>, "manfred.reitenspiess@fujitsu-siemens.com" <manfred.reitenspiess@fujitsu-siemens.com>, "manna@cs.stanford.edu" <manna@cs.stanford.edu>, "manolios@cc.gatech.edu" <manolios@cc.gatech.edu>, "manolo@det.uvigo.es" <manolo@det.uvigo.es>, "marc.wilikens@jrc.it" <marc.wilikens@jrc.it>, "marche@lri.fr" <marche@lri.fr>, "marco@dist.unige.it" <marco@dist.unige.it>, "marcus.granado@cl.cam.ac.uk" <marcus.granado@cl.cam.ac.uk>, "marek@cs.uni-bonn.de" <marek@cs.uni-bonn.de>, "marek@ms.uky.edu" <marek@ms.uky.edu>, "maria@cs.uq.oz.au" <maria@cs.uq.oz.au>, "mariapaola.bonacina@univr.it" <mariapaola.bonacina@univr.it>, "mark@codesourcery.com" <mark@codesourcery.com>, "markey@lsv.ens-cachan.fr" <markey@lsv.ens-cachan.fr>, "maryline.maknavicius@int-evry.fr" <maryline.maknavicius@int-evry.fr>, "masao@cs.meiji.ac.jp" <masao@cs.meiji.ac.jp>, "massimo.felici@ed.ac.uk" <massimo.felici@ed.ac.uk>, "maurer@inf.ethz.ch" <maurer@inf.ethz.ch>, "max@hilbert.math.unipd.it" <max@hilbert.math.unipd.it>, "mayr@informatik.tu-muenchen.de" <mayr@informatik.tu-muenchen.de>, "mborges@nce.ufrj.br" <mborges@nce.ufrj.br>, "mcallester@autoreason.com" <mcallester@autoreason.com>, "mccune@mcs.anl.gov" <mccune@mcs.anl.gov>, "mcg@lri.fr" <mcg@lri.fr>, "mclee@cs.cuhk.hk" <mclee@cs.cuhk.hk>, "mcphee@cda.mrs.umn.edu" <mcphee@cda.mrs.umn.edu>, "catherine.meadows@nrl.navy.mil" <catherine.meadows@nrl.navy.mil>, "meadows@itd.nrl.navy.mil" <meadows@itd.nrl.navy.mil>, "mercury-ads@cs.mu.oz.au" <mercury-ads@cs.mu.oz.au>, "mercury-users@cs.mu.OZ.AU" <mercury-users@cs.mu.OZ.AU>, "merialdo@eurecom.fr" <merialdo@eurecom.fr>, "merrill@cs.swarthmore.edu" <merrill@cs.swarthmore.edu>, "mery@loria.fr" <mery@loria.fr>, "meyer@theory.lcs.mit.edu" <meyer@theory.lcs.mit.edu>, "mf@lri.fr" <mf@lri.fr>, "mfagan@rice.edu" <mfagan@rice.edu>, "mfd@imit.kth.se" <mfd@imit.kth.se>, "mgeorges@cnil.fr" <mgeorges@cnil.fr>, "michael@cs.man.ac.uk" <michael@cs.man.ac.uk>, "michael@fsel.com" <michael@fsel.com>, "mihir@cs.ucsd.edu" <mihir@cs.ucsd.edu>, "mikio.hashimoto@toshiba.co.jp" <mikio.hashimoto@toshiba.co.jp>, "minichino@casaccia.enea.it" <minichino@casaccia.enea.it>, "minker@cs.umd.edu" <minker@cs.umd.edu>, "mints@cs.stanford.edu" <mints@cs.stanford.edu>, "mitchell@cs.stanford.edu" <mitchell@cs.stanford.edu>, "mjs@doc.ic.ac.uk" <mjs@doc.ic.ac.uk>, "mjw@csc.liv.ac.uk" <mjw@csc.liv.ac.uk>, "mn@cl.cam.ac.uk" <mn@cl.cam.ac.uk>, "mok@cs.utexas.edu" <mok@cs.utexas.edu>, "monk@boulder.colorado.edu" <monk@boulder.colorado.edu>, "montana@dimi.uniud.it" <montana@dimi.uniud.it>, "moraga@jupiter.informatik.uni-dortmund.de" <moraga@jupiter.informatik.uni-dortmund.de>, "mox@dist.unige.it" <mox@dist.unige.it>, "mpurvis@infoscience.otago.ac.nz" <mpurvis@infoscience.otago.ac.nz>, "mrg@itc.it" <mrg@itc.it>, "mroe@microsoft.com" <mroe@microsoft.com>, "mrs@sys.uea.ac.uk" <mrs@sys.uea.ac.uk>, "msf@cs.cmu.edu" <msf@cs.cmu.edu>, "mst@cs.unisa.edu.au" <mst@cs.unisa.edu.au>, "mullender@cs.utwente.nl" <mullender@cs.utwente.nl>, "muller@bu-cs.bu.edu" <muller@bu-cs.bu.edu>, "musser@cs.rpi.edu" <musser@cs.rpi.edu>, "n.asokan@nokia.com" <n.asokan@nokia.com>, "nachum@cs.uiuc.edu" <nachum@cs.uiuc.edu>, "nachum@wisdom.weizmann.ac.il" <nachum@wisdom.weizmann.ac.il>, "nad@cs.stanford.edu" <nad@cs.stanford.edu>, "najah.chridi@loria.fr" <najah.chridi@loria.fr>, "neil@diku.dk" <neil@diku.dk>, "ng@cs.byu.edu" <ng@cs.byu.edu>, "nickc@dcs.st-and.ac.uk" <nickc@dcs.st-and.ac.uk>, "nielsj@ruc.dk" <nielsj@ruc.dk>, "nielson@imm.dtu.dk" <nielson@imm.dtu.dk>, "ninghui@cs.purdue.edu" <ninghui@cs.purdue.edu>, "nipkow@in.tum.de" <nipkow@in.tum.de>, "nishi@se.uec.ac.jp" <nishi@se.uec.ac.jp>, "nivela@lsi.upc.es" <nivela@lsi.upc.es>, "nivelle@mpi-sb.mpg.de" <nivelle@mpi-sb.mpg.de>, "nlp-ia@bosoleil.ci.umoncton.ca" <nlp-ia@bosoleil.ci.umoncton.ca>, "nvm@cs.albany.edu" <nvm@cs.albany.edu>, "nwpt-info@sool.ioc.ee" <nwpt-info@sool.ioc.ee>, "odonnell@cs.uchicago.edu" <odonnell@cs.uchicago.edu>, "ohlbach@informatik.uni-muenchen.de" <ohlbach@informatik.uni-muenchen.de>, "ohsuga@icot.or.jp" <ohsuga@icot.or.jp>, "ola@cs.duke.edu" <ola@cs.duke.edu>, "olavly@ifi.uio.no" <olavly@ifi.uio.no>, "olejohan@ifi.uio.no" <olejohan@ifi.uio.no>, "oliva@coli.uni-sb.de" <oliva@coli.uni-sb.de>, "olivetti@di.unito.it" <olivetti@di.unito.it>, "om-announce@openmath.org" <om-announce@openmath.org>, "omdoc@mathweb.org" <omdoc@mathweb.org>, "opastor@dsic.upv.es" <opastor@dsic.upv.es>, "orejas@lsi.upc.es" <orejas@lsi.upc.es>, "otto@theory.informatik.uni-kassel.de" <otto@theory.informatik.uni-kassel.de>, "overbeek@mcs.anl.gov" <overbeek@mcs.anl.gov>, "owre@csl.sri.com" <owre@csl.sri.com>, "p.das-chowdhury@herts.ac.uk" <p.das-chowdhury@herts.ac.uk>, "pablo@sics.se" <pablo@sics.se>, "pacholsk@ii.uni.wroc.pl" <pacholsk@ii.uni.wroc.pl>, "paige@cs.york.ac.uk" <paige@cs.york.ac.uk>, "pallo@u-bourgogne.fr" <pallo@u-bourgogne.fr>, "paolo@di.unipi.it" <paolo@di.unipi.it>, "pascal.beyls@bull.net" <pascal.beyls@bull.net>, "patdo@ida.liu.se" <patdo@ida.liu.se>, "pb@fct.unl.pt" <pb@fct.unl.pt>, "pekka.nikander@hut.fi" <pekka.nikander@hut.fi>, "pell@cui.unige.ch" <pell@cui.unige.ch>, "penny@cs.lafayette.edu" <penny@cs.lafayette.edu>, "perlis@cs.umd.edu" <perlis@cs.umd.edu>, "peron@na.infn.it" <peron@na.infn.it>, "perrier@loria.fr" <perrier@loria.fr>, "perrig@cmu.edu" <perrig@cmu.edu>, "peter.ryan@ncl.ac.uk" <peter.ryan@ncl.ac.uk>, "peterb@dcs.qmw.ac.uk" <peterb@dcs.qmw.ac.uk>, "pfitza@gmx.de" <pfitza@gmx.de>, "pganty@ulb.ac.be" <pganty@ulb.ac.be>, "phayes@ihmc.us" <phayes@ihmc.us>, "philippe.nguyen@fr.thalesgroup.com" <philippe.nguyen@fr.thalesgroup.com>, "philippe.oechslin@epfl.ch" <philippe.oechslin@epfl.ch>, "pierre-yves.schobbens@fundp.ac.be" <pierre-yves.schobbens@fundp.ac.be>, "pieter@cs.utwente.nl" <pieter@cs.utwente.nl>, "pimvdb@cs.utwente.nl" <pimvdb@cs.utwente.nl>, "pirotte@info.ucl.ac.be" <pirotte@info.ucl.ac.be>, "pistore@dit.unitn.it" <pistore@dit.unitn.it>, "pjv@di.fc.ul.pt" <pjv@di.fc.ul.pt>, "plaisted@cs.unc.edu" <plaisted@cs.unc.edu>, "pmat@math.ist.utl.pt" <pmat@math.ist.utl.pt>, "policriti@dimi.uniud.it" <policriti@dimi.uniud.it>, "portinal@di.unito.it" <portinal@di.unito.it>, "posegga@informatik.uni-hamburg.de" <posegga@informatik.uni-hamburg.de>, "prakash@cs.mcgill.ca" <prakash@cs.mcgill.ca>, "prehofer@informatik.tu-muenchen.de" <prehofer@informatik.tu-muenchen.de>, "preining@logic.at" <preining@logic.at>, "pschmitt@ira.uka.de" <pschmitt@ira.uka.de>, "pstroop@itee.uq.edu.au" <pstroop@itee.uq.edu.au>, "puel@lri.fr" <puel@lri.fr>, "pvh@cs.brown.edu" <pvh@cs.brown.edu>, "pvr@info.ucl.ac.be" <pvr@info.ucl.ac.be>, "pvs@csl.sri.com" <pvs@csl.sri.com>, "pw@montefiore.ulg.ac.be" <pw@montefiore.ulg.ac.be>, "qian@informatik.uni-bremen.de" <qian@informatik.uni-bremen.de>, "rackow@mcs.anl.gov" <rackow@mcs.anl.gov>, "rak@doc.ic.ac.uk" <rak@doc.ic.ac.uk>, "ralph@dedekind.math.hawaii.edu" <ralph@dedekind.math.hawaii.edu>, "ram@cs.sunysb.edu" <ram@cs.sunysb.edu>, "ram@sbcs.sunysb.edu" <ram@sbcs.sunysb.edu>, "ranise@loria.fr" <ranise@loria.fr>, "rao@xanth.cs.odu.edu" <rao@xanth.cs.odu.edu>, "rap@dcs.ed.ac.uk" <rap@dcs.ed.ac.uk>, "rathmell@rand.org" <rathmell@rand.org>, "rc@cs.cornell.edu" <rc@cs.cornell.edu>, "rcs@cs.arizona.edu" <rcs@cs.arizona.edu>, "rdv@cs.vu.nl" <rdv@cs.vu.nl>, "reb@adelard.com" <reb@adelard.com>, "refik.molva@eurecom.fr" <refik.molva@eurecom.fr>, "reinhard.posch@iaik.at" <reinhard.posch@iaik.at>, "rewriting@ens-lyon.fr" <rewriting@ens-lyon.fr>, "rewriting@ls5.informatik.uni-dortmund.de" <rewriting@ls5.informatik.uni-dortmund.de>, "riccardo@cs.cornell.edu" <riccardo@cs.cornell.edu>, "riche@cs.kuleuven.ac.be" <riche@cs.kuleuven.ac.be>, "riguidel@enst.fr" <riguidel@enst.fr>, "riis@imm.dtu.dk" <riis@imm.dtu.dk>, "ripbc@cunyvm.cuny.edu" <ripbc@cunyvm.cuny.edu>, "rja14@cl.cam.ac.uk" <rja14@cl.cam.ac.uk>, "rjagadeesan@cs.depaul.edu" <rjagadeesan@cs.depaul.edu>, "rjb@cl.cam.ac.uk" <rjb@cl.cam.ac.uk>, "rjc@doc.ic.ac.uk" <rjc@doc.ic.ac.uk>, "rlc@cs.utexas.edu" <rlc@cs.utexas.edu>, "rmverma@cs.uh.edu" <rmverma@cs.uh.edu>, "roberto.giacobazzi@univr.it" <roberto.giacobazzi@univr.it>, "roberto.segala@univr.it" <roberto.segala@univr.it>, "roberto@lsi.upc.es" <roberto@lsi.upc.es>, "robin@cpsc.ucalgary.ca" <robin@cpsc.ucalgary.ca>, "roelw@cs.utwente.nl" <roelw@cs.utwente.nl>, "rogier@cs.uu.nl" <rogier@cs.uu.nl>, "rouyer@loria.fr" <rouyer@loria.fr>, "rrrs-authors@zurich.csail.mit.edu" <rrrs-authors@zurich.csail.mit.edu>, "rseba@dit.unitn.it" <rseba@dit.unitn.it>, "rtm@lcs.mit.edu" <rtm@lcs.mit.edu>, "rubio@lsi.upc.es" <rubio@lsi.upc.es>, "ruess@csl.sri.com" <ruess@csl.sri.com>, "rushby@csl.sri.com" <rushby@csl.sri.com>, "rusi@loria.fr" <rusi@loria.fr>, "rvg@cs.stanford.edu" <rvg@cs.stanford.edu>, "rwt@cit.gu.edu.au" <rwt@cit.gu.edu.au>, "saglietti@informatik.uni-erlangen.de" <saglietti@informatik.uni-erlangen.de>, "saitta@di.unito.it" <saitta@di.unito.it>, "salle@irit.fr" <salle@irit.fr>, "salzer@logic.at" <salzer@logic.at>, "sam@soi.city.ac.uk" <sam@soi.city.ac.uk>, "samarati@dti.unimi.it" <samarati@dti.unimi.it>, "sanjiv@arch.umsl.edu" <sanjiv@arch.umsl.edu>, "sanna.alberto@hsr.it" <sanna.alberto@hsr.it>, "sasaki@c.dendai.ac.jp" <sasaki@c.dendai.ac.jp>, "sattler@cs.man.ac.uk" <sattler@cs.man.ac.uk>, "sattler@informatik.uni-kl.de" <sattler@informatik.uni-kl.de>, "scc@cs.ust.hk" <scc@cs.ust.hk>, "scedrov@cis.upenn.edu" <scedrov@cis.upenn.edu>, "schauss@informatik.uni-frankfurt.de" <schauss@informatik.uni-frankfurt.de>, "schmidt@cs.man.ac.uk" <schmidt@cs.man.ac.uk>, "schmolze@cs.tufts.edu" <schmolze@cs.tufts.edu>, "schneier@counterpane.com" <schneier@counterpane.com>, "schulz@eprover.org" <schulz@eprover.org>, "scott@cs.jhu.edu" <scott@cs.jhu.edu>, "security-research@cl.cam.ac.uk" <security-research@cl.cam.ac.uk>, "security@fosad.org" <security@fosad.org>, "serena@lami.univ-evry.fr" <serena@lami.univ-evry.fr>, "seworld@cs.colorado.edu" <seworld@cs.colorado.edu>, "shankar@csl.sri.com" <shankar@csl.sri.com>, "shi@informatik.uni-bremen.de" <shi@informatik.uni-bremen.de>, "shmat@cs.utexas.edu" <shmat@cs.utexas.edu>, "sigparse-list@CS.CMU.EDU" <sigparse-list@CS.CMU.EDU>, "simple94304@yahoo.com" <simple94304@yahoo.com>, "sisto@polito.it" <sisto@polito.it>, "sjouke@win.tue.nl" <sjouke@win.tue.nl>, "sjouke@win.tue.nl" <sjouke@win.tue.nl>, "slagle@cs.umn.edu" <slagle@cs.umn.edu>, "snyder@cs.bu.edu" <snyder@cs.bu.edu>, "softtech@cs.uu.nl" <softtech@cs.uu.nl>, "soumen@cs.berkeley.edu" <soumen@cs.berkeley.edu>, "ssargento@dcc.fc.up.pt" <ssargento@dcc.fc.up.pt>, "stan@csi.uottawa.ca" <stan@csi.uottawa.ca>, "stefan.edelkamp@cs.uni-dortmund.de" <stefan.edelkamp@cs.uni-dortmund.de>, "stefan.wittmann@bsi.bund.de" <stefan.wittmann@bsi.bund.de>, "stehno@informatik.uni-oldenburg.de" <stehno@informatik.uni-oldenburg.de>, "stemple@cs.umass.edu" <stemple@cs.umass.edu>, "stenzg@informatik.tu-muenchen.de" <stenzg@informatik.tu-muenchen.de>, "stephan@dfki.uni-sb.de" <stephan@dfki.uni-sb.de>, "steve@cs.rhul.ac.uk" <steve@cs.rhul.ac.uk>, "stevens@mcs.anl.gov" <stevens@mcs.anl.gov>, "stevez@cis.upenn.edu" <stevez@cis.upenn.edu>, "stickel@ai.sri.com" <stickel@ai.sri.com>, "stoller@cs.sunysb.edu" <stoller@cs.sunysb.edu>, "stott@cs.ucla.edu" <stott@cs.ucla.edu>, "stratego@cs.uu.nl" <stratego@cs.uu.nl>, "subu@cs.albany.edu" <subu@cs.albany.edu>, "susan.pancho@cl.cam.ac.uk" <susan.pancho@cl.cam.ac.uk>, "sv@mpi-sb.mpg.de" <sv@mpi-sb.mpg.de>, "syverson@itd.nrl.navy.mil" <syverson@itd.nrl.navy.mil>, "tac@dist.unige.it" <tac@dist.unige.it>, "tajine@dpt-info.u-strasbg.fr" <tajine@dpt-info.u-strasbg.fr>, "tamai@graco.c.u-tokyo.ac.jp" <tamai@graco.c.u-tokyo.ac.jp>, "tammet@staff.ttu.ee" <tammet@staff.ttu.ee>, "tanimoto@june.cs.washington.edu" <tanimoto@june.cs.washington.edu>, "task@cs.uit.no" <task@cs.uit.no>, "taylor@ai.sri.com" <taylor@ai.sri.com>, "teodor@cs.ucr.edu" <teodor@cs.ucr.edu>, "terenz@pianeta.di.unito.it" <terenz@pianeta.di.unito.it>, "tgmccutcheon@dstl.gov.uk" <tgmccutcheon@dstl.gov.uk>, "theorem-provers@ai.mit.edu" <theorem-provers@ai.mit.edu>, "theorem-provers@mc.lcs.mit.edu" <theorem-provers@mc.lcs.mit.edu>, "theory-a@listserv.nodak.edu" <theory-a@listserv.nodak.edu>, "theory-logic@CS.CMU.EDU" <theory-logic@CS.CMU.EDU>, "theoryc@waffle.cs.vt.edu" <theoryc@waffle.cs.vt.edu>, "theorynt@listserv.nodak.edu" <theorynt@listserv.nodak.edu>, "thomas@cs.ruu.nl" <thomas@cs.ruu.nl>, "tison@lifl.fr" <tison@lifl.fr>, "tjunttil@tcs.hut.fi" <tjunttil@tcs.hut.fi>, "tomaz@e5.ijs.si" <tomaz@e5.ijs.si>, "touili@liafa.jussieu.fr" <touili@liafa.jussieu.fr>, "tournier@imag.fr" <tournier@imag.fr>, "traian.muntean@esil.univ-mrs.fr" <traian.muntean@esil.univ-mrs.fr>, "traverso@itc.it" <traverso@itc.it>, "treinen@lsv.ens-cachan.fr" <treinen@lsv.ens-cachan.fr>, "trs@etl.go.jp" <trs@etl.go.jp>, "tuomaura@microsoft.com" <tuomaura@microsoft.com>, "turhan@tcs.inf.tu-dresden.de" <turhan@tcs.inf.tu-dresden.de>, "tygar@cs.berkeley.edu" <tygar@cs.berkeley.edu>, "types@cis.upenn.edu" <types@cis.upenn.edu>, "tyson@ai.sri.com" <tyson@ai.sri.com>, "ugo@di.unipi.it" <ugo@di.unipi.it>, "ul201@gmx.net" <ul201@gmx.net>, "ul@informatik.uni-hannover.de" <ul@informatik.uni-hannover.de>, "uli@cs.stanford.edu" <uli@cs.stanford.edu>, "uli@furbach.de" <uli@furbach.de>, "unification@sics.se" <unification@sics.se>, "urban@ktilinux.ms.mff.cuni.cz" <urban@ktilinux.ms.mff.cuni.cz>, "uribe@cs.stanford.edu" <uribe@cs.stanford.edu>, "users@mozart-oz.org" <users@mozart-oz.org>, "uv@cs.utah.edu" <uv@cs.utah.edu>, "uwe@mpi-sb.mpg.de" <uwe@mpi-sb.mpg.de>, "val@saul.cis.upenn.edu" <val@saul.cis.upenn.edu>, "vanoorschot@scs.carleton.ca" <vanoorschot@scs.carleton.ca>, "vardi@cs.rice.edu" <vardi@cs.rice.edu>, "veire@ags.uni-sb.de" <veire@ags.uni-sb.de>, "veloso@inf.puc-rio.br" <veloso@inf.puc-rio.br>, "venturin@dsi.uniroma1.it" <venturin@dsi.uniroma1.it>, "verjus@imag.imag.fr" <verjus@imag.imag.fr>, "victoria.stavridou-coleman@intel.com" <victoria.stavridou-coleman@intel.com>, "vigneron@loria.fr" <vigneron@loria.fr>, "vincent.bernat@lsv.ens-cachan.fr" <vincent.bernat@lsv.ens-cachan.fr>, "vki-list@dfki.de" <vki-list@dfki.de>, "vl@cs.utexas.edu" <vl@cs.utexas.edu>, "voronkov@cs.man.ac.uk" <voronkov@cs.man.ac.uk>, "vs@cs.umd.edu" <vs@cs.umd.edu>, "w3c-math-wg@w3.org" <w3c-math-wg@w3.org>, "wachter@itd.nrl.navy.mil" <wachter@itd.nrl.navy.mil>, "waldinger@ai.sri.com" <waldinger@ai.sri.com>, "warren@sbcs.sunysb.edu" <warren@sbcs.sunysb.edu>, "webmaster@fmeurope.org" <webmaster@fmeurope.org>, "wei-tek.tsai@asu.edu" <wei-tek.tsai@asu.edu>, "weidenb@mpi-sb.mpg.de" <weidenb@mpi-sb.mpg.de>, "weinfeld@lix.polytechnique.fr" <weinfeld@lix.polytechnique.fr>, "wenbo.mao@hp.com" <wenbo.mao@hp.com>, "wiebe@csc.liv.ac.uk" <wiebe@csc.liv.ac.uk>, "wirsing@informatik.uni-muenchen.de" <wirsing@informatik.uni-muenchen.de>, "wlh@cse.ogi.edu" <wlh@cse.ogi.edu>, "wm@hplb.hpl.hp.com" <wm@hplb.hpl.hp.com>, "wmfarmer@mcmaster.ca" <wmfarmer@mcmaster.ca>, "wneitz@informatik.uni-leipzig.de" <wneitz@informatik.uni-leipzig.de>, "wong@cs.uregina.ca" <wong@cs.uregina.ca>, "wos@mcs.anl.gov" <wos@mcs.anl.gov>, "wrwg@microsoft.com" <wrwg@microsoft.com>, "ws15+@andrew.cmu.edu" <ws15+@andrew.cmu.edu>, "www-math@w3.org" <www-math@w3.org>, "xchge@cs.york.ac.uk" <xchge@cs.york.ac.uk>, "yahalom@mit.edu" <yahalom@mit.edu>, "yannis@fla.fujitsu.com" <yannis@fla.fujitsu.com>, "yao@cs.princeton.edu" <yao@cs.princeton.edu>, "yasinsac@cs.fsu.edu" <yasinsac@cs.fsu.edu>, "yde@info.ucl.ac.be" <yde@info.ucl.ac.be>, "yelick@cs.berkeley.edu" <yelick@cs.berkeley.edu>, "ygp@ics.forth.gr" <ygp@ics.forth.gr>, "yliu@cs.jhu.edu" <yliu@cs.jhu.edu>, "yoonsc@cs.widener.edu" <yoonsc@cs.widener.edu>, "yoshiura@hc.uec.ac.jp" <yoshiura@hc.uec.ac.jp>, "you@cs.ualberta.ca" <you@cs.ualberta.ca>, "yuan@cs.ualberta.ca" <yuan@cs.ualberta.ca>, "zavattar@CS.UniBO.IT" <zavattar@CS.UniBO.IT>, "zbigniew@cs.yorku.ca" <zbigniew@cs.yorku.ca>, "zeckzer@informatik.uni-kl.de" <zeckzer@informatik.uni-kl.de>, "zforum@prg.ox.ac.uk" <zforum@prg.ox.ac.uk>, "zicari@informatik.uni-frankfurt.de" <zicari@informatik.uni-frankfurt.de>, "zm@theory.stanford.edu" <zm@theory.stanford.edu>, "zurab@sys.uea.ac.uk" <zurab@sys.uea.ac.uk>, "zwiers@cs.utwente.nl" <zwiers@cs.utwente.nl>, "lbauer@cmu.edu" <lbauer@cmu.edu>, "jerry.denhartog@utwente.nl" <jerry.denhartog@utwente.nl>, "sandro.etalle@utwente.nl" <sandro.etalle@utwente.nl>, "arapinis@lsv.ens-cachan.fr" <arapinis@lsv.ens-cachan.fr>, "avik@cs.ucsc.edu" <avik@cs.ucsc.edu>, "berg@cs.uni-sb.de" <berg@cs.uni-sb.de>, "Bruno.Blanchet@ens.fr" <Bruno.Blanchet@ens.fr>, "brodo@uniss.it" <brodo@uniss.it>, "brunopontes@gmail.com" <brunopontes@gmail.com>, "bsniffen@mitre.org" <bsniffen@mitre.org>, "catalin.hritcu@gmail.com" <catalin.hritcu@gmail.com>, "cczhang@uiuc.edu" <cczhang@uiuc.edu>, "iliano@cmu.edu" <iliano@cmu.edu>, "ychevali@irit.fr" <ychevali@irit.fr>, "chris@dilloway.net" <chris@dilloway.net>, "clynch@clarkson.edu" <clynch@clarkson.edu>, "danupam@cmu.edu" <danupam@cmu.edu>, "delaune@lsv.ens-cachan.fr" <delaune@lsv.ens-cachan.fr>, "dg@cs.cmu.edu" <dg@cs.cmu.edu>, "dilsun@cs.cmu.edu" <dilsun@cs.cmu.edu>, "sescobar@dsic.upv.es" <sescobar@dsic.upv.es>, "focardi@dsi.unive.it" <focardi@dsi.unive.it>, "fournet@microsoft.com" <fournet@microsoft.com>, "Gavin.Lowe@comlab.ox.ac.uk" <Gavin.Lowe@comlab.ox.ac.uk>, "graham.steel@lsv.ens-cachan.fr" <graham.steel@lsv.ens-cachan.fr>, "guttman@mitre.org" <guttman@mitre.org>, "h.comon-lundh@aist.go.jp" <h.comon-lundh@aist.go.jp>, "hartogji@cs.utwente.nl" <hartogji@cs.utwente.nl>, "jerry.denhartog@utwente.nl" <jerry.denhartog@utwente.nl>, "Helene.Kirchner@inria.fr" <Helene.Kirchner@inria.fr>, "jfrankli@cs.cmu.edu" <jfrankli@cs.cmu.edu>, "k.t.aehlig@swan.ac.uk" <k.t.aehlig@swan.ac.uk>, "simon.kramer@epfl.ch" <simon.kramer@epfl.ch>, "kremer@lsv.ens-cachan.fr" <kremer@lsv.ens-cachan.fr>, "kuesters@uni-trier.de" <kuesters@uni-trier.de>, "linh@clarkson.edu" <linh@clarkson.edu>, "maffei@cs.uni-sb.de" <maffei@cs.uni-sb.de>, "toby.murray@hertford.ox.ac.uk" <toby.murray@hertford.ox.ac.uk>, "long.nguyen@univ.ox.ac.uk" <long.nguyen@univ.ox.ac.uk>, "Pascal.Lafourcade@imag.fr" <Pascal.Lafourcade@imag.fr>, "reynald.affeldt@aist.go.jp" <reynald.affeldt@aist.go.jp>, "rowep@math.upenn.edu" <rowep@math.upenn.edu>, "s0237477@sms.ed.ac.uk" <s0237477@sms.ed.ac.uk>, "andrei@cs.chalmers.se" <andrei@cs.chalmers.se>, "sbandha2@uiuc.edu" <sbandha2@uiuc.edu>, "siahaan@disi.unitn.it" <siahaan@disi.unitn.it>, "thierry.sans@qatar.cmu.edu" <thierry.sans@qatar.cmu.edu>, "truderun@uni-trier.de" <truderun@uni-trier.de>, "tuengerthal@uni-trier.de" <tuengerthal@uni-trier.de>, "unruh@cs.uni-sb.de" <unruh@cs.uni-sb.de>, "virgil@ece.cmu.edu" <virgil@ece.cmu.edu>, "y_kwmt@is.s.u-tokyo.ac.jp" <y_kwmt@is.s.u-tokyo.ac.jp>, "zunino@disi.unitn.it" <zunino@disi.unitn.it>, "gerald.luettgen@cs.york.ac.uk" <gerald.luettgen@cs.york.ac.uk>, "smo@zurich.ibm.com" <smo@zurich.ibm.com>, "moedersheim@inf.ethz.ch" <moedersheim@inf.ethz.ch>, "luca.vigano@univr.it" <luca.vigano@univr.it>, "luca.vigano@gmail.com" <luca.vigano@gmail.com>
(Apologies if you receive this announcement multiple times) Dear all, sorry to re-send this message but there was a mistake in the dates. Really sorry for that. Good news is that if you are interested to submit you can still do that. Abstracts should be send today and papers by Sept 15th. Below the up-to-date CfP also available on the web page: http://www.dmi.unict.it/~giamp/sac/10cfp.html Best regards, Luca =============== CALL FOR PAPERS =============== SAC 2010 The 25th ACM Symposium on Applied Computing 22-26 March 2010, Lausanne, Switzerland Track on Computer Security (9th edition) SAC 2010 For the past twentytwo years the ACM Symposium on Applied Computing (SAC) has been a primary forum for applied computer scientists, computer engineers and application developers to gather, interact, and present their research. SAC is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP); its proceedings are published by ACM in both printed form and CD-ROM; they are also available on the web through the ACM Digital Library. More information about SIGAPP and past editions of SAC can be found at http://www.acm.org/sigapp 2010 Track on Computer Security (9th edition) The Security Track reaches its ninth edition this year, thus appearing among the most established tracks in the Symposium. The list of issues remains vast, ranging from protocols to workflows . Topics of interest include but are not limited to * software security (protocols, operating systems, etc.) * hardware security (smartcards, biometric technologies, etc.) * mobile security (properties for/from mobile agents, etc.) * network security (anti-virus, anti-hacker, anti-DoS tools, firewalls, real-time monitoring, etc.) * alternatives to cryptography (steganography, etc.) * security-specific software development practices (vulnerability testing, fault-injection resilience, etc.) * privacy and anonimity (trust management, pseudonimity, identity management, etc.) * safety and dependability issues (reliability, survivability, etc.) * cyberlaw and cybercrime (copyrights, trademarks, defamation, intellectual property, etc.) * security management and usability issues (security configuration, policy management, usability trials etc.) * workflow and service security (business processes, web services, etc.) Best Papers The best papers of the 2003 edition are published in a special issue of Concurrency and Computation: Practice and Experience (Wiley), vol. 16, no.1, 2004. The best papers of the 2004 edition are published in a special issue of the Journal of Computer Security (IOS), vol. 13, no.5, 2005. The best papers of the 2006 edition are published in a special issue of the Journal of Computer Security (IOS), vol. 17, no.3, 2009. This practice will be continued on the basis of appropriateness of the submissions. Track Website http://www.dmi.unict.it/~giamp/sac. Track Program Chairs * Giampaolo BELLA Dipartimento di Matematica e Informatica - Universita' di Catania Viale A. Doria, 6 I-95125 Catania, Italy email: giamp@dmi.unict.it * Luca COMPAGNA SAP Research France 805, Avenue du Dr Maurice Donat F-06250 Mougins - France email: luca.compagna@sap.com Program Committee * Gail-Joon Ahn (Department of Computer Science and Engineering, Arizona State University, USA) * Arslan Broemme (InterComponentWare AG, Germany) * Iliano Cervesato (Carnegie Mellon University, Qatar) * David W Chadwick (Computing Laboratory, University of Kent, UK) * Bruce Christianson (Faculty of Engineering & Information Sciences, University of Hertfordshire, UK) * Cas Cremers (ETH Zurich, Switzerland) * Nancy Durgin (Sandia National Laboratories, USA) * Simon Foley (Department of Computer Science, University College, Cork, Ireland) * Dieter Gollmann (TU Hamburg, Germany) * Stefanos Gritzalis (Department of Information and Communication Systems Engineering, University of the Aegean, Greece) * Sokratis K Katsikas (Department of Technology Education & Digital Systems, University of Piraeus, Greece) * Helmut Kurth (ATSEC, Germany) * Chris Lesniewski-Laas (MIT, USA) * Volkmar Lotz (SAP Research, France) * Fabio Martinelli (National Research Council, Italy) * John McDermott (Naval Research Lab, USA) * Chris Mitchell (Royal Holloway, University of London, UK) * David von Oheimb (Siemens Corporate Technology, Munich, Germany) * Dusko Pavlovic (Kestrel Institute, USA, & Oxford University, UK) * Alessandro Sorniotti (Institut Eurécom, France) * Jianying Zhou (Institute for Infocomm Research, Singapore) Submission Guidelines The submission guidelines must be strictly followed for a paper to be considered. Original papers from the above mentioned or other related areas will be considered. Only full papers about original and unpublished research are sought. Parallel submission to other conferences or other tracks of SAC 2010 is forbidden. Each paper must be BLIND in the sense that it must only include its title but not mention anything about its authors. Self-reference must be blind too. All submissions must be formatted using the ACM conference-specific LaTeX style, which can be obtained from the symposium web page.The standard extension of a submission in the stated format is 5 pages (approximately 5000 words). Longer papers (up to 8 pages maximum) will imply an additional charge. All papers must be submitted by 8 September 2009. There is a symposium-wide paper management system for SAC 2010, which authors must use to submit their papers. Review and publication of accepted papers Each paper will be fully refereed and undergo a blind review process by at least three referees.Accepted papers will be published in the ACM SAC 2010 proceedings. Some papers may only be accepted as poster papers, and will be published as extended 2-page abstracts in the proceedings. According to the authors' guidelines, which can be obtained from the symposium web page, at least one author per paper must register before their paper is included in the proceedings. Important Dates * 8 September 2009: Submission of *abstracts* * 15 September 2009 (extended): Submission of full papers * 19 October 2009: Notification of Acceptance/Rejection * 2 November 2009: Camera-Ready copies of accepted papers * 22-26 March 2010: SAC 2010 takes place
Received on Tuesday, 8 September 2009 11:51:19 UTC