From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 593B5BCAE for ; Mon, 27 Jun 2005 10:33:24 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j5R8XHHO025545 for ; Mon, 27 Jun 2005 10:33:17 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA27325 for ; Mon, 27 Jun 2005 10:33:17 +0200 (MET DST) Received: from mail.di.uminho.pt (mail.di.uminho.pt [193.136.19.4]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id j5R8XG7i025540 for ; Mon, 27 Jun 2005 10:33:16 +0200 Received: (qmail 32177 invoked from network); 27 Jun 2005 08:33:16 -0000 Received: from localhost (HELO ?192.168.69.77?) (lsb@127.0.0.1) by mail.di.uminho.pt with ESMTPA; 27 Jun 2005 08:33:16 -0000 Mime-Version: 1.0 (Apple Message framework v622) To: acl2@cs.utexas.edu, csl@dbai.tuwien.ac.at, prog-lang@brics.dk, theory@cl.cam.ac.uk, lfcs-interest@dcs.ed.ac.uk, maude@csl.sri.com, rewriting@ens-lyon.fr, logic-announce@uclink4.berkeley.edu, formal-methods@cs.uidaho.edu, dbworld@cs.wisc.edu, theory@cs.bham.ac.uk, logic-list@cs.rice.edu, behavior@cs.ucsd.edu, caml-list@inria.fr, ifip@ifip.or.at, agents@cs.umbc.edu, prog-lang@diku.dk, pvs@csl.sri.com, reus@informatik.uni-muenchen.de, eapls@jiscmail.ac.uk, cs-logic@cs.indiana.edu, comlab@comlab.ox.ac.uk, coq-club@pauillac.inria.fr, generic-haskell@cs.uu.nl, cafeobj@sran419.sra.co.jp, webmaster@eatcs.org, isda02@softcomputing.net Message-Id: <99dd7ea68dec968a98088ed90e22ed3a@di.uminho.pt> Content-Type: multipart/mixed; boundary=Apple-Mail-2--179768625 From: Luis Barbosa Subject: FACS'05: Second Call for Papers Date: Mon, 27 Jun 2005 09:35:52 +0100 X-Mailer: Apple Mail (2.622) X-Miltered: at nez-perce with ID 42BFB9CD.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42BFB9CC.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; iist:01 unu:01 lively:01 reuse:01 broy:01 atsushi:01 igarashi:01 markus:01 organising:01 entcs:01 luis:98 macao:98 25,:98 25,:98 universita:98 X-Attachments: type="application/pdf" name="FACS05.pdf" name="FACS05.pdf" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: --Apple-Mail-2--179768625 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1; format=flowed [apologies for cross-posting] ----------------------------------------------------------- CALL FOR PAPERS FACS'05 II International Workshop on Formal Aspects of Component Software Macao October 24-25, 2005 www.iist.unu.edu/facs05/ ------------------------------------------------------------ IMPORTANT DATES: Submission: Jul 15, 2005 Notification: Sep 15, 2005 Final Version: Sep 30, 2005 Workshop: Oct 24-25, 2005 INVITED SPEAKERS: * Farhad Arbab (CWI, LIACS, Leiden University and University of=20 Waterloo) * Paolo Ciancarini (Universit=E0 di Bologna) * Edmund Clarke (Carnegie Mellon University) AIMS AND SCOPE The objective of FACS'2005 is to bring together researchers in the areas of component software and formal methods to promote a deep understanding of this paradigm and its applications. The Workshop will also be interested in defining the common aspects of components and component-based development. It is expected that formal paper presentations be followed by lively debate in a stimulating atmosphere. Possible topics include, but are not limited to: * formal models for software components and component interaction * design and verification methods for component software * component composition and deployment: models, calculi, languages * component testing * specification of extra-functional properties in component software * certification of components and software architectures * component software vs object orientation * components for real-time, safety-critical, secure and/or embedded systems * experience reports and case studies in component software BACKGROUND: Component-based software emerged as a promising paradigm to deal with the ever increasing need for mastering systems' complexity, their evolution and reuse, and driving software engineering into sound production and engineering standards. Soon, however, it became a popular technology long before consensual definitions and principles, let alone formal foundations, have been put forward. Issues like mathematical models for components, their interaction and composition, or rigourous approaches to verification, deployment, testing and certification remain open research questions and challenging opportunities for formal methods. Moreover, new challenges are raised by applications to non conventional areas, such as safety-critical, mobile, and/or embedded systems. FACS'05 is the second in a series of workshops, founded by the International Institute for Software Technology of the United Nations University. The first FACS workshop was held in Pisa, Italy, in September 2003, collocated with FM'03. ORGANIZATION: UNU-IIST (Macao) PROGRAM COMMITTEE: Farhad Arbab (CWI, The Netherlands) Luis Barbosa (PC Chair, Universidade do Minho, Portugal) Marcello Bonsangue (LIACS-Leiden University, The Netherlands) Christiano Braga (Universidade Federal Fluminense, Brazil) Manfred Broy (Technical University of Munich, Germany) Calos Canal (Universidad de Malaga, Spain) Jo=E3o Faria (Universidade do Porto, Portugal) Jose Fiadeiro (University of Leicester, United Kingdom) Susanne Graf (VERIMAG, France) Mathai Joseph (Tata Consultancy Services Limited, India) Atsushi Igarashi (Kyoto University, Japan) Kung-Kiu Lau (The University of Manchester, United Kingdom) Zhiming Liu (PC Chair, UNU-IIST, Macao) Ant=F3nia Lopes (University of Lisbon, Portugal) Markus Lumpe (Iowa State University, USA) Tom Maibaum (McMaster University, Canada) Sun Meng (National University of Singapore, Singapore) Ugo Montanari (University of Pisa, Italy) David Naumann (Stevens Institute of Technology, USA) Anders Ravn (Aalborg University, Denmark) Bernhard Sch=E4tz (Technical University of Munich, Germany) Carolyn Talcott (SRI International, USA) ORGANISING COMMITTEE: He Jifeng, UNU-IIST, Macao (OC chair) Antonio Cerone, UNU-IIST, Macao Bernhard Aichernig, UNU-IIST, Macao Chan Iok Sam , UNU-IIST, Macao Xiaoshan Li, Univ. Macao RELATED EVENTS: ICTAC'05 will be held in Hanoi, Vietnam, the week before. SUBMISSION AND PUBLICATION: Submissions to the workshop will be judged on the basis of originality, relevance, technical soundness and presentation quality. Papers should be written in English and not exceed 15 pages in ENTCS format. Publication of the workshop proceedings in Electronic Notes in Theoretical Computer Science, Elsevier, is anticipated. --Apple-Mail-2--179768625 Content-Transfer-Encoding: base64 Content-Type: application/pdf; x-unix-mode=0644; name="FACS05.pdf" Content-Disposition: inline; filename=FACS05.pdf JVBERi0xLjQKMyAwIG9iaiA8PAovTGVuZ3RoIDMzNTQgICAgICAKL0ZpbHRlciAvRmxhdGVEZWNv ZGUKPj4Kc3RyZWFtCnjatRrJdtw28p6v8C3s99w098Wn2IqdyLFlv0gaz5vxHNAk1I2YJBguVuSv nypUgc3upmQ7z7mIaKAA1L5Bz69+ePIyjB/5kRtGyaOrm0dBmrthmD1K49RN4+jRVflf5+Xqf1ev CM53ozRFuMwNA/+RZ9afrdapc7ZaJ75zuQfdHxm5URQz7I+rdew5nvkbI/CjdeCHcFUCg9iNvNiA nTeD7FZ+7DRiULoR1QpWPef9Ko0d3X3sd7qlGd3Q9+UqwJXaQj7rW1kMPQPd0PdM161uZDPQz0t9 M9wKuCZz5JzEPI4Rb9/z3CTNGC9ixfXF9fr8/PJqlUbOYzrljSiEpuGHIEhp9LYY9AYoMD+CCD4M HXhePN2VuXliWLT2g9T1AuBB7LuhlxEPANluEBbbn8Ug+6e8N9vvjd0ckQS8E5AIbrwcN7Xqe+Ab Q+d76MhzMyuLp6eIBHBKatdfoQBGZqi/QMEMi3USuHEQAx4e8C83+y/0oD54XlAYGS7gEoCKpA8g 47k+kEbrl7L924i8XEWxoyYt+tfK930H9ctz7uFS5nrpA5j5qNInmIXeN2P2fpUHk0KfoBHGbhyG DzAocfM84HVQufvVDS7P3NgL4fLcDQJSsLeGA1vRqM9GQk9PMfAAOEL1dL08JAuYgFKQTohAgEVg sbgANxDMgPYs890gihhqbez/fOmoLLF8PTdHXRq/crVgM2CWQUzmmXuE3DtjzHrbiXqy+FoNg5RL tDFdAesIKLvodqJkB9JtxIa5eLWTNLiQw052lWjK3nDVOxDm6/FDGMfsc56LbqN7wSe8A0setyu4 oTpVjCxyk0nMH7zYe3dGuwq9LhCtnVAdzPunNKx57xyNN6IrZFWxT3qum14021F+Gy1nu071gxKN PaYTBv3H08/PqlrY90Y0N50sLZRGDbtbJbH1lr9I8NENEnW3dKvoKs0MPBNgsLzrshWqWYB/pT+E UahtCDASVPfw/GRrD9LyeasSpVSd5p3Xvy1suByBjw0z75dO3DDwy040hTzYkDErBhAcAcFtst3x jvOmVGLhhmdDP/Y73nFuMO8ETPC2V6IVS0z4zbjpZrv+TY0E+VqMD1Hyn52qVbNlWDXBHsS2Ey3N Azf9m0pKWw9IbYYPYRI2wAfCQrey/yq5gXZ/HFlFXo91a/X6+vLZAvTVKoPwX9tIrTZirB/v9asU i4LmnOKNbLZWAZFfgBFEZLmw5XrLOvhGNxCxQQmtqAdRLSn6z2IVeM4nxYZyAWiBcj1IynPZNTvR 8Y7LYifk8PkLVpUxs0vZMct+p4vtVT/LpgaGLpuiru6YE4aNoir0MBzieOiS4YQQPXhwFF76Sdu+ xh+TK/+VLe2VutmLYVLRUx+KuUI6U8+3Vj2/5EBp45Fy6kaxRM9kBynjoonM0r8vieuZKsDZNmr7 7Qed7QRL4Vx/ZOHb8PYtp5Eu/FsJ3U8nvrZ6et0oTKA/oad2V+vQn53wkIzPUN8hz2ZxRv594qz6 zU+lckdwPDvttsMCodXn+icFQccdm9GV5filu3+XFaTEzOAXn1DZILXvv5DFBDa3QNmav1erKMQa xrcThzUKMCN0blWFyWOWORvUyyx3drIqaUY19P0VgqXhZ55Bipl4jpJDI+rHlH9ZHPb0DjYS30rJ gt3IG3Aw7lIxkmauD1lOHCdunJAsn4vi45YynrFhPgg7eLv5AwoghVwh1vSLFjdLnqbqaL0RPfI1 DiKnxxoJ9wtwfDATO7KW5s6tBRE9f+nTdrpmizc/IYYBoO+obU0zg6ZvKTEhx9GtGna8tpM0kKSO YLtw26muqKbopGC/kqVOgzdIowzwC5hIg1r0UEcyVOb0d/Cz7n+kxQLorSRe8ZcaphwlTxEJxQcw GuAydTWaKsYcRFyG9U6OveRt02TZkTHhvaeoH3I0TBLQ2q1qJOMZJilQhzzCpZ4ki0PgazkWhAMC CbtwtB02QQgqwfX0YMlJnEOdq9Hfhzk4Qo2Y3R5wN/Io3B95CgXlRGR0shC1pLHAj++0uh0rKJzN 3CCLXaMrvb2j35VGPKJJm2lcoIAgFZVNP6LYca6UWB02Cmnq+QIkCgctkFMokA9mBbEHx8olnyHg NuQihKcbrv5pDGwzNQ1uj/wAIoCJe4ZkgtlI2dCoHYfpCJZMCaxL4dbzvh/BcsxqpT4aQ6JfNWR3 Ev6owlya5k5tSCxl1dNv1MJTjAtrZQYzUnnUthB8isKuh7AyhgmSce7Rrt5wirdp3tOprR47Pfa8 owU9ERBs+LdRJPiysGf1+OMF5ErZVpSy14Ahcj4MQcBQCBiZpqx1OChkd1Ddw2QC5lBjom4AIKOb ZnspkDldsaOZP0c8k6S+PzRxIKmpKqPPS5ajW2yIjKgwSF6QZmzpNKDeD4xrqGw0VDVwI8ayPIK0 rJMaOXCg82CssdMYW7ilnfZ+e7wxURx0QhmXiOPNHS+2baWIegYfluJ3Y1tUBQwiq4PNvK0l0Jdx JO5HZJKZ5ZStFzdyuFsjOUWnjMIxbK03qrK5CTDxieaOk6w3sixtbGS351rkZj6fqkHsQXC4mPwC TvvUOYPlYad6mjEGQh0LxKilWVoNjLrh7w07XTO1NZUmLRhdAD2QRh/4TBNBzS18rWEII3ZDU5Pd fNmlxuygcTB5hTg1ekE22tOEMQ4AwpClB7uVPqXEtg5CjSZ9HoSJMSV5WZhGxBCQWGOOwVBnwtwM BfDmw1KBPdceF2NeBnUhbAgCPAekbDws6WkY+cQbXH1vShrbAw0Dm5zgmqh6TXMbhjYuBYwNdQHn Fd9hfa+hBuan44HPtV4qM8XUUQ24oxrMpMLzFAPnCzaZwNVyFncq3aKPQQP1fKiTCELxORSW8ULJ B0ItzTCTqcO4Fe1RfkDBq0U9g9SUjTOEKGg4kuB27I2YKFjyyh19q5n6V3cEXcqNIM3IiXfwFbQE HqwGIQ2sETA/1LpvQdUlBt4wg0q279Wm4u2DblXRLycz1VhaO95goBqHyTPQoNE8U0HtPmW9g+Zs N5iVQn7shj52hGEmyLkg8tPT9C934yznkulm1juvOYjh+Ma6lEMbI382k/0+9ZybqpmfR7UTZNeE xNqP3DyKvhLZUvZq2xwlvKcRjqmx0eCAHMSRUpIJzwMKvw+iR5yYRfEj5A8CL+I1PKUqjGTBqgGe H9yCrdkqbOuJrU3svzeyNux/n8PReZyIxr7LkLUPnVjfjE0xj4zgmVtMNGRvdclW9Si7A3z/CfEd 5zhzpO9R/yVLESbxgTgHufIwdv+UxE45MO+QpLHr+/bJ7hO/fowLVSGkB17CcJQWMOGdsi51AX/f y900+bsEHJsnxP9qDf7VOkXOgY7yn14W48RjCs8Pp0Dfie82OiFDCmkxxuT0WBcKCH6MwTCWp2qM 9CPe9wsR0rXITbLgwJ+/PH05idwsmj3IQiQ/4/eT06eYaPZsdNTswELWBOHUpmNpiHzWhqI0INTh K+jTIxN6AjOWAXOzFLE1rsvk55hG8RmUQc8uMM+9s6deWDtvwP0M4yDppy2m1oHnevjqM2/YHhpc lDtXqxQ0YF+X4py1W7oUJq4bDqQwvpjSeFqY1cc9Nwe4LXZlt6NfgLQQ0YuWBBKEKTA8/UqRpK7n WfHN+Ud3EXWMnuk8ES9ikGSSHSUT3EVX0+MTNaH3bzAW5FK2A5pJN70VhjbQYI5kfOy+w0ZNmiCN l4j1s8j1J/17c0pg4mZBuKByIR7uLHW81n4OVCXRQb1yTiXUPgO6bKWgsrzr70+FAt8NsxPrjpet 2/wrAb8EhlAhmpfAU4ri3M2zYNZxNpScnfImd5PQnv3eKMD5knvJAqsrpmWRO89qbF6V2EFcR1Ho vD49GnFIk4P30i8rWjIpGl/0WqqSeiHxPbpvAG1Jswxl5sHGjGL6Mf47w/FTN74hAEWV1vte/L2+ OPxKab0zpqHtc+eZEk0hoPpUCzqYuEkSzSR2QsaHMPI4IVP2+RQ8SCPuQThN3CAO74se92D8oqyn du1Zha8vpqt0ii6YVObP0D0TXWNCz1ZJ+0IFdtoctfAnmcxePA4MK8tdLwOrCEPTUj76l5HDAPZu 3NgydfnFZv5uZs/gIs40AwIuXXHiyLHhDPXVA4/66gD8x1hubb1osAm8/QFQS1KFyJ2JwGQlW/zX jlkLN8CWU2Vbt2DLEKR53jQrTcvutGY0vdZG9j1VMRML5rUkLf05TveZqOCjFuLrID+z+Q5QOFZc Dm1sm7/Dly8+wvrgF822Uv3u6Equ9nzONApp3Z0fL9SPraCGVc6uHb4vLq7OLqlxYio7rLOj8FCc BpDaK5bF+VxGJsVuaRbycEQC6oHjiyrIDzsNPKXfF3qY4bLwILuTupPcNbX/kzUONgZdFial4jD0 oupJimrfsou5SWDYBeeoFkMUB5AomP3fWZy5qYdqHrsZ6itG1ttbd/7E9ORGFL0XP8HdP7y4+uH/ FEhaNmVuZHN0cmVhbQplbmRvYmoKMiAwIG9iaiA8PAovVHlwZSAvUGFnZQovQ29udGVudHMgMyAw IFIKL1Jlc291cmNlcyAxIDAgUgovTWVkaWFCb3ggWzAgMCA1OTUuMjc2IDg0MS44OV0KL1BhcmVu dCAxNyAwIFIKPj4gZW5kb2JqCjEgMCBvYmogPDwKL0ZvbnQgPDwgL0YzNSA1IDAgUiAvRjM4IDcg MCBSIC9GMzkgOSAwIFIgL0Y0MSAxMSAwIFIgL0YyOCAxNCAwIFIgL0Y0MiAxNiAwIFIgPj4KL1By b2NTZXQgWyAvUERGIC9UZXh0IF0KPj4gZW5kb2JqCjE4IDAgb2JqIDw8Ci9UeXBlIC9FbmNvZGlu ZwovRGlmZmVyZW5jZXMgWyAwIC8ubm90ZGVmL2RvdGFjY2VudC9maS9mbC9mcmFjdGlvbi9odW5n YXJ1bWxhdXQvTHNsYXNoL2xzbGFzaC9vZ29uZWsvcmluZy8ubm90ZGVmL2JyZXZlL21pbnVzLy5u b3RkZWYvWmNhcm9uL3pjYXJvbi9jYXJvbi9kb3RsZXNzaS9kb3RsZXNzai9mZi9mZmkvZmZsLy5u b3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5v dGRlZi9ncmF2ZS9xdW90ZXNpbmdsZS9zcGFjZS9leGNsYW0vcXVvdGVkYmwvbnVtYmVyc2lnbi9k b2xsYXIvcGVyY2VudC9hbXBlcnNhbmQvcXVvdGVyaWdodC9wYXJlbmxlZnQvcGFyZW5yaWdodC9h c3Rlcmlzay9wbHVzL2NvbW1hL2h5cGhlbi9wZXJpb2Qvc2xhc2gvemVyby9vbmUvdHdvL3RocmVl L2ZvdXIvZml2ZS9zaXgvc2V2ZW4vZWlnaHQvbmluZS9jb2xvbi9zZW1pY29sb24vbGVzcy9lcXVh bC9ncmVhdGVyL3F1ZXN0aW9uL2F0L0EvQi9DL0QvRS9GL0cvSC9JL0ovSy9ML00vTi9PL1AvUS9S L1MvVC9VL1YvVy9YL1kvWi9icmFja2V0bGVmdC9iYWNrc2xhc2gvYnJhY2tldHJpZ2h0L2FzY2lp Y2lyY3VtL3VuZGVyc2NvcmUvcXVvdGVsZWZ0L2EvYi9jL2QvZS9mL2cvaC9pL2ovay9sL20vbi9v L3AvcS9yL3MvdC91L3Yvdy94L3kvei9icmFjZWxlZnQvYmFyL2JyYWNlcmlnaHQvYXNjaWl0aWxk ZS8ubm90ZGVmL0V1cm8vLm5vdGRlZi9xdW90ZXNpbmdsYmFzZS9mbG9yaW4vcXVvdGVkYmxiYXNl L2VsbGlwc2lzL2RhZ2dlci9kYWdnZXJkYmwvY2lyY3VtZmxleC9wZXJ0aG91c2FuZC9TY2Fyb24v Z3VpbHNpbmdsbGVmdC9PRS8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYv Lm5vdGRlZi9xdW90ZWRibGxlZnQvcXVvdGVkYmxyaWdodC9idWxsZXQvZW5kYXNoL2VtZGFzaC90 aWxkZS90cmFkZW1hcmsvc2Nhcm9uL2d1aWxzaW5nbHJpZ2h0L29lLy5ub3RkZWYvLm5vdGRlZi9Z ZGllcmVzaXMvLm5vdGRlZi9leGNsYW1kb3duL2NlbnQvc3RlcmxpbmcvY3VycmVuY3kveWVuL2Jy b2tlbmJhci9zZWN0aW9uL2RpZXJlc2lzL2NvcHlyaWdodC9vcmRmZW1pbmluZS9ndWlsbGVtb3Rs ZWZ0L2xvZ2ljYWxub3QvaHlwaGVuL3JlZ2lzdGVyZWQvbWFjcm9uL2RlZ3JlZS9wbHVzbWludXMv dHdvc3VwZXJpb3IvdGhyZWVzdXBlcmlvci9hY3V0ZS9tdS9wYXJhZ3JhcGgvcGVyaW9kY2VudGVy ZWQvY2VkaWxsYS9vbmVzdXBlcmlvci9vcmRtYXNjdWxpbmUvZ3VpbGxlbW90cmlnaHQvb25lcXVh cnRlci9vbmVoYWxmL3RocmVlcXVhcnRlcnMvcXVlc3Rpb25kb3duL0FncmF2ZS9BYWN1dGUvQWNp cmN1bWZsZXgvQXRpbGRlL0FkaWVyZXNpcy9BcmluZy9BRS9DY2VkaWxsYS9FZ3JhdmUvRWFjdXRl L0VjaXJjdW1mbGV4L0VkaWVyZXNpcy9JZ3JhdmUvSWFjdXRlL0ljaXJjdW1mbGV4L0lkaWVyZXNp cy9FdGgvTnRpbGRlL09ncmF2ZS9PYWN1dGUvT2NpcmN1bWZsZXgvT3RpbGRlL09kaWVyZXNpcy9t dWx0aXBseS9Pc2xhc2gvVWdyYXZlL1VhY3V0ZS9VY2lyY3VtZmxleC9VZGllcmVzaXMvWWFjdXRl L1Rob3JuL2dlcm1hbmRibHMvYWdyYXZlL2FhY3V0ZS9hY2lyY3VtZmxleC9hdGlsZGUvYWRpZXJl c2lzL2FyaW5nL2FlL2NjZWRpbGxhL2VncmF2ZS9lYWN1dGUvZWNpcmN1bWZsZXgvZWRpZXJlc2lz L2lncmF2ZS9pYWN1dGUvaWNpcmN1bWZsZXgvaWRpZXJlc2lzL2V0aC9udGlsZGUvb2dyYXZlL29h Y3V0ZS9vY2lyY3VtZmxleC9vdGlsZGUvb2RpZXJlc2lzL2RpdmlkZS9vc2xhc2gvdWdyYXZlL3Vh Y3V0ZS91Y2lyY3VtZmxleC91ZGllcmVzaXMveWFjdXRlL3Rob3JuL3lkaWVyZXNpc10KPj4gZW5k b2JqCjE2IDAgb2JqIDw8Ci9UeXBlIC9Gb250Ci9TdWJ0eXBlIC9UeXBlMQovRW5jb2RpbmcgMTgg MCBSCi9CYXNlRm9udCAvQ291cmllci1Cb2xkCj4+IGVuZG9iagoxOSAwIG9iaiA8PAovVHlwZSAv RW5jb2RpbmcKL0RpZmZlcmVuY2VzIFsgMCAvbWludXMvcGVyaW9kY2VudGVyZWQvbXVsdGlwbHkv YXN0ZXJpc2ttYXRoL2RpdmlkZS9kaWFtb25kbWF0aC9wbHVzbWludXMvbWludXNwbHVzL2NpcmNs ZXBsdXMvY2lyY2xlbWludXMvY2lyY2xlbXVsdGlwbHkvY2lyY2xlZGl2aWRlL2NpcmNsZWRvdC9j aXJjbGVjb3B5cnQvb3BlbmJ1bGxldC9idWxsZXQvZXF1aXZhc3ltcHRvdGljL2VxdWl2YWxlbmNl L3JlZmxleHN1YnNldC9yZWZsZXhzdXBlcnNldC9sZXNzZXF1YWwvZ3JlYXRlcmVxdWFsL3ByZWNl ZGVzZXF1YWwvZm9sbG93c2VxdWFsL3NpbWlsYXIvYXBwcm94ZXF1YWwvcHJvcGVyc3Vic2V0L3By b3BlcnN1cGVyc2V0L2xlc3NtdWNoL2dyZWF0ZXJtdWNoL3ByZWNlZGVzL2ZvbGxvd3MvYXJyb3ds ZWZ0L2Fycm93cmlnaHQvYXJyb3d1cC9hcnJvd2Rvd24vYXJyb3dib3RoL2Fycm93bm9ydGhlYXN0 L2Fycm93c291dGhlYXN0L3NpbWlsYXJlcXVhbC9hcnJvd2RibGxlZnQvYXJyb3dkYmxyaWdodC9h cnJvd2RibHVwL2Fycm93ZGJsZG93bi9hcnJvd2RibGJvdGgvYXJyb3dub3J0aHdlc3QvYXJyb3dz b3V0aHdlc3QvcHJvcG9ydGlvbmFsL3ByaW1lL2luZmluaXR5L2VsZW1lbnQvb3duZXIvdHJpYW5n bGUvdHJpYW5nbGVpbnYvbmVnYXRpb25zbGFzaC9tYXBzdG8vdW5pdmVyc2FsL2V4aXN0ZW50aWFs L2xvZ2ljYWxub3QvZW1wdHlzZXQvUmZyYWN0dXIvSWZyYWN0dXIvbGF0dGljZXRvcC9wZXJwZW5k aWN1bGFyL2FsZXBoL0EvQi9DL0QvRS9GL0cvSC9JL0ovSy9ML00vTi9PL1AvUS9SL1MvVC9VL1Yv Vy9YL1kvWi91bmlvbi9pbnRlcnNlY3Rpb24vdW5pb25tdWx0aS9sb2dpY2FsYW5kL2xvZ2ljYWxv ci90dXJuc3RpbGVsZWZ0L3R1cm5zdGlsZXJpZ2h0L2Zsb29ybGVmdC9mbG9vcnJpZ2h0L2NlaWxp bmdsZWZ0L2NlaWxpbmdyaWdodC9icmFjZWxlZnQvYnJhY2VyaWdodC9hbmdicmFja2V0bGVmdC9h bmdicmFja2V0cmlnaHQvYmFyL2JhcmRibC9hcnJvd2JvdGh2L2Fycm93ZGJsYm90aHYvYmFja3Ns YXNoL3dyZWF0aHByb2R1Y3QvcmFkaWNhbC9jb3Byb2R1Y3QvbmFibGEvaW50ZWdyYWwvdW5pb25z cS9pbnRlcnNlY3Rpb25zcS9zdWJzZXRzcWVxdWFsL3N1cGVyc2V0c3FlcXVhbC9zZWN0aW9uL2Rh Z2dlci9kYWdnZXJkYmwvcGFyYWdyYXBoL2NsdWIvZGlhbW9uZC9oZWFydC9zcGFkZS9hcnJvd2xl ZnQvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRl Zi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVm Ly5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYv Lm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8u bm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmL21pbnVzL3BlcmlvZGNlbnRlcmVkL211bHRp cGx5L2FzdGVyaXNrbWF0aC9kaXZpZGUvZGlhbW9uZG1hdGgvcGx1c21pbnVzL21pbnVzcGx1cy9j aXJjbGVwbHVzL2NpcmNsZW1pbnVzLy5ub3RkZWYvLm5vdGRlZi9jaXJjbGVtdWx0aXBseS9jaXJj bGVkaXZpZGUvY2lyY2xlZG90L2NpcmNsZWNvcHlydC9vcGVuYnVsbGV0L2J1bGxldC9lcXVpdmFz eW1wdG90aWMvZXF1aXZhbGVuY2UvcmVmbGV4c3Vic2V0L3JlZmxleHN1cGVyc2V0L2xlc3NlcXVh bC9ncmVhdGVyZXF1YWwvcHJlY2VkZXNlcXVhbC9mb2xsb3dzZXF1YWwvc2ltaWxhci9hcHByb3hl cXVhbC9wcm9wZXJzdWJzZXQvcHJvcGVyc3VwZXJzZXQvbGVzc211Y2gvZ3JlYXRlcm11Y2gvcHJl Y2VkZXMvZm9sbG93cy9hcnJvd2xlZnQvc3BhZGUvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5v dGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90 ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3Rk ZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRl Zi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVm Ly5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYv Lm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8u bm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5u b3RkZWYvLm5vdGRlZi8ubm90ZGVmLy5ub3RkZWYvLm5vdGRlZi8ubm90ZGVmXQo+PiBlbmRvYmoK MTMgMCBvYmogPDwKL0xlbmd0aDEgNzY5Ci9MZW5ndGgyIDU4NgovTGVuZ3RoMyA1MzIKL0xlbmd0 aCAxMTM2ICAgICAgCi9GaWx0ZXIgL0ZsYXRlRGVjb2RlCj4+CnN0cmVhbQp42u1SbUxTVxjWGGVU tyx8CPK1A9gIQtt7C5faoiRAIasCViqCMNTLvafljvbecnvLWkj5mB9MxpiIG4YZnOCEGfkxhYlh IA4QxkciY3GrBJnIAmO6IAO3xW3uFkbM8Of2a9k5f877Ps95znOec4T+ao0ommSyYDxDcyJUjCpA bKJmvxygYkQgFMayEOcohlbiHFQAVC5HQbRZB1AMIDKFVKqQygRCEMsYrSyly+ZAUGywgyQD0QbI UgROg0Scy4YGXoPA9UDDEBTkrGIQrdeDZMcOE0iGJsjmQVIsQFFAUgQHsqCOogUShyEVrWWAbKlN mo3LUB5kTbwpEMSbDAa8RZKh9VZAQq1AksTwZ0Heyb9haqV4vFmvT8INDnlHSM/BuIHSW/8iMAaj mYMsSGRIyNIrqalwyVsiJCmzYSWq4nA9RUTTOj0EIjRcjIRhSwBliqcskFRTHJENtLjeBBf7kCZX WuHTWzQiSUhIjUlOD1l61UVMjVM0t9dqhAB5Rl6s0Wc1nxFLWUAGIkYQlCfyc3mVueKsOJpgSIrW ASkWAXCWxa0ChJeSYhgoQAFFk9ACoIU3LBHTDMdvAXwyNqBlWIHjUfnPJMnig4Wcoy94/h4xMYyl QBSGAJEc2wZQNDwCyGQy29+JKTSVa4YqJcAQBNmGLl2VMLMspLnF/8NntFxrKT5XCC2QENhvM0Tk kderPz32cWFc/a2LayXOv/Y1fW936kxrLfyAIm0arHaPv447P3NuoqWiyyNn2HMnEfmeK9u86Z2k 8gPzda6XWso+vJB2ohi7Lv5G42E9XPb+i3+EbJlRdeXuO33m6IS34jp7v+Z4YKh9PrCob0MtOR2T Xt/x893b6122Jp/cGuAlszc6ja3e6GEdmxp5Za61qLp3B/Hj0J0EldrDFF+2ZVgbtT5rHn88KcjU 5t1aYwubS5JcClnl3LT9sHrol0H4WaPV2mVwG0gR15w+8GpH0lsPzhnmPbma2d1jIS+5Fn9Z0rY5 ry3uKXIqZ7Pt96JU5GBjobo/rMS/12d8/GT+mTeeug3s9DUUY8wnHn4j5TJjoFpVoJwMve97eb6q 2HbRvbX0Zu6mmr3dN4J39YAFTbl7Sk739rNZ4SEuPoYh/UGV7/minw4BvwmfFxpKHq49fmG88trZ e57XLtfuXneM/U7ita7Hze6TUGVLIoVr5CE+wx3lElWN14g5onJ++E4LaP+aarO7H4p6Of6Km8vd uuRJp7enHz1Q1EjThBkxmAmJsosfSyIX2usy3/Tqzv7Bb7B9EEsZnRr5yP+r1wy1wnu6m0393grn E0q/ukfKfSWjV6VP2kqriYSpHmJP16wmV8rNlrZ7O7mUFavUWGVXRn7+Rvvn6Tg3mr0/oL0689QG 4ber62Omn+Tt6By4wvSvaqgS4f7lmVEBwQ8nv/gtzjI02qk80rPr3YqKEqMxDyF6p5v7GmRy15lm r/Sho0FztUULGaGVN+RXXZB/OAT/C/wnBAg9xFmOMeBsjuBPHut262VuZHN0cmVhbQplbmRvYmoK MTQgMCBvYmogPDwKL1R5cGUgL0ZvbnQKL1N1YnR5cGUgL1R5cGUxCi9FbmNvZGluZyAxOSAwIFIK L0ZpcnN0Q2hhciAxNQovTGFzdENoYXIgMTUKL1dpZHRocyAyMCAwIFIKL0Jhc2VGb250IC9MTFdC UlorQ01TWTkKL0ZvbnREZXNjcmlwdG9yIDEyIDAgUgo+PiBlbmRvYmoKMTIgMCBvYmogPDwKL0Fz Y2VudCA3NTAKL0NhcEhlaWdodCA2ODMKL0Rlc2NlbnQgLTE5NAovRm9udE5hbWUgL0xMV0JSWitD TVNZOQovSXRhbGljQW5nbGUgLTE0Ci9TdGVtViA4NwovWEhlaWdodCA0MzEKL0ZvbnRCQm94IFst MzAgLTk1OCAxMTQ2IDc3N10KL0ZsYWdzIDQKL0NoYXJTZXQgKC9idWxsZXQpCi9Gb250RmlsZSAx MyAwIFIKPj4gZW5kb2JqCjIwIDAgb2JqCls1MTQgXQplbmRvYmoKMTEgMCBvYmogPDwKL1R5cGUg L0ZvbnQKL1N1YnR5cGUgL1R5cGUxCi9FbmNvZGluZyAxOCAwIFIKL0Jhc2VGb250IC9Db3VyaWVy Cj4+IGVuZG9iago5IDAgb2JqIDw8Ci9UeXBlIC9Gb250Ci9TdWJ0eXBlIC9UeXBlMQovRW5jb2Rp bmcgMTggMCBSCi9CYXNlRm9udCAvVGltZXMtUm9tYW4KPj4gZW5kb2JqCjcgMCBvYmogPDwKL1R5 cGUgL0ZvbnQKL1N1YnR5cGUgL1R5cGUxCi9FbmNvZGluZyAxOCAwIFIKL0Jhc2VGb250IC9UaW1l cy1JdGFsaWMKPj4gZW5kb2JqCjUgMCBvYmogPDwKL1R5cGUgL0ZvbnQKL1N1YnR5cGUgL1R5cGUx Ci9FbmNvZGluZyAxOCAwIFIKL0Jhc2VGb250IC9UaW1lcy1Cb2xkCj4+IGVuZG9iagoxNyAwIG9i aiA8PAovVHlwZSAvUGFnZXMKL0NvdW50IDEKL0tpZHMgWzIgMCBSXQo+PiBlbmRvYmoKMjEgMCBv YmogPDwKL1R5cGUgL0NhdGFsb2cKL1BhZ2VzIDE3IDAgUgovUFRFWC5GdWxsYmFubmVyIChUaGlz IGlzIHBkZlRlWCwgVmVyc2lvbiAzLjE0MTU5Mi0xLjExYikKPj4gZW5kb2JqCjIyIDAgb2JqIDw8 Ci9Qcm9kdWNlciAocGRmVGVYLTEuMTFiKQovQ3JlYXRvciAoVGVYKQovQ3JlYXRpb25EYXRlIChE OjIwMDUwMzAzMTgyNzE2WikKPj4gZW5kb2JqCnhyZWYKMCAyMwowMDAwMDAwMDA0IDY1NTM1IGYg CjAwMDAwMDM1NTMgMDAwMDAgbiAKMDAwMDAwMzQ0MSAwMDAwMCBuIAowMDAwMDAwMDA5IDAwMDAw IG4gCjAwMDAwMDAwMDYgMDAwMDAgZiAKMDAwMDAwOTg4MCAwMDAwMCBuIAowMDAwMDAwMDA4IDAw MDAwIGYgCjAwMDAwMDk3OTAgMDAwMDAgbiAKMDAwMDAwMDAxMCAwMDAwMCBmIAowMDAwMDA5NzAx IDAwMDAwIG4gCjAwMDAwMDAwMTUgMDAwMDAgZiAKMDAwMDAwOTYxNSAwMDAwMCBuIAowMDAwMDA5 MzkwIDAwMDAwIG4gCjAwMDAwMDc5ODAgMDAwMDAgbiAKMDAwMDAwOTIzNCAwMDAwMCBuIAowMDAw MDAwMDAwIDAwMDAwIGYgCjAwMDAwMDU1MzMgMDAwMDAgbiAKMDAwMDAwOTk2OCAwMDAwMCBuIAow MDAwMDAzNjc5IDAwMDAwIG4gCjAwMDAwMDU2MjQgMDAwMDAgbiAKMDAwMDAwOTU5MiAwMDAwMCBu IAowMDAwMDEwMDI2IDAwMDAwIG4gCjAwMDAwMTAxMzUgMDAwMDAgbiAKdHJhaWxlcgo8PAovU2l6 ZSAyMwovUm9vdCAyMSAwIFIKL0luZm8gMjIgMCBSCi9JRCBbPDc0REQzQjQ0NUQ1RDU3QTgyNUMz NUQ2ODkyMjRDN0ExPiA8NzRERDNCNDQ1RDVENTdBODI1QzM1RDY4OTIyNEM3QTE+XQo+PgpzdGFy dHhyZWYKMTAyMzEKJSVFT0YK --Apple-Mail-2--179768625--