<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<meta name="Generator" content="Microsoft Word 14 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Microsoft New Tai Lue";
panose-1:2 11 5 2 4 2 4 2 2 3;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal" style="text-autospace:none">Dear All, <o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Apologies if you receive multiple copies of this message.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">FINAL CALL FOR PAPERS<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">NEWS: Deadline extension to 30th September (see below)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">NEWS: Keynote talk by Neil Jones, DIKU (see below).<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">http://conf.researchr.org/home/PEPM-2017<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Paris, France, January 16th - 17th, 2017<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">(co-located with POPL 2017)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM is the premier forum for discussion of semantics-based program<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">manipulation. The first ACM SIGPLAN PEPM symposium took place in<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">1991, and meetings have been held in affiliation with POPL every year<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">since 2006.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM 2017 will be based on a broad interpretation of semantics-based<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">program manipulation, reflecting the expanded scope of PEPM in recent<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">years beyond the traditionally covered areas of partial evaluation and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">specialization. Specifically, PEPM 2017 will include practical<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">applications of program transformations such as refactoring tools, and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">practical implementation techniques such as rule-based transformation<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">systems. In addition, the scope of PEPM covers manipulation and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">transformations of program and system representations such as<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">structural and semantic models that occur in the context of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">model-driven development. In order to maintain the dynamic and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">interactive nature of PEPM and to encourage participation by<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">practitioners, we also solicit submissions of short papers, including<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">tool demonstrations, and of posters.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Scope<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-----<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Topics of interest for PEPM 2017 include, but are not limited to:<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Program and model manipulation techniques such as: supercompilation,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> partial evaluation, fusion, on-the-fly program adaptation, active<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> libraries, program inversion, slicing, symbolic execution,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> refactoring, decompilation, and obfuscation.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Program analysis techniques that are used to drive program/model<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> manipulation such as: abstract interpretation, termination checking,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> binding-time analysis, constraint solving, type systems, automated<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> testing and test case generation.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Techniques that treat programs/models as data objects including<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> metaprogramming, generative programming, embedded domain-specific<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> languages, program synthesis by sketching and inductive programming,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> staged computation, and model-driven program generation and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> transformation.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Application of the above techniques including case studies of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> program manipulation in real-world (industrial, open-source)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> projects and software development processes, descriptions of robust<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> tools capable of effectively handling realistic applications,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> benchmarking. Examples of application domains include legacy<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> program understanding and transformation, DSL implementations,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> visual languages and end-user programming, scientific computing,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> middleware frameworks and infrastructure needed for distributed and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> web-based applications, embedded and resource-limited computation,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> and security.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">This list of categories is not exhaustive, and we encourage<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">submissions describing applications of semantics-based program<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR">manipulation techniques in new domains.
</span>If you have a question as to<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">whether a potential submission is within the scope of the workshop,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">please contact the programme chairs.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Submission categories and guidelines<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">------------------------------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Three kinds of submissions will be accepted: Regular Research Papers,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Short Papers and Posters.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Regular Research Papers should describe new results, and will be<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> judged on originality, correctness, significance and clarity.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> Regular research papers must not exceed 12 pages in ACM Proceedings<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> style (including appendix).<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Short Papers may include tool demonstrations and presentations of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> exciting if not fully polished research, and of interesting<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> academic, industrial and open-source applications that are new or<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> unfamiliar. Short papers must not exceed 6 pages in ACM Proceedings<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> style (including appendix).<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Posters should describe work relevant to the PEPM community, and<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> must not exceed 2 pages in ACM Proceedings style. We invite poster<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> submissions that present early work not yet ready for submission to<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> a conference or journal, identify new research problems, showcase<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> tools and technologies developed by the author(s), or describe<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> student research projects.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">At least one author of each accepted contribution must attend the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">workshop and present the work. In the case of tool demonstration<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">papers, a live demonstration of the described tool is expected.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Suggested topics, evaluation criteria, and writing guidelines for both<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">research tool demonstration papers will be made available on the PEPM<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">2017 web site.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Student participants with accepted papers can apply for a SIGPLAN PAC<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">grant to help cover travel expenses and other support. PAC also<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">offers other support, such as for child-care expenses during the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">meeting or for travel costs for companions of SIGPLAN members with<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">physical disabilities, as well as for travel from locations outside of<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">North America and Europe. For details on the PAC programme, see its<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">web page.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Publication and special issue<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-----------------------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">All accepted papers, short papers and posters included, will appear in<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">formal proceedings published by ACM Press. Accepted papers will be<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">included in the ACM Digital Library. Authors of selected papers from<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM 2016 and PEPM 2017 will also be invited to expand their papers<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">for publication in a special issue of the journal Computer Languages,<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Systems and Structures (COMLAN, Elsevier).<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Keynote<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">-------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Neil Jones (DIKU) will give the PEPM keynote talk, titled<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none"> Compiling Untyped Lambda Calculus to Lower-level Code<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"> by Game Semantics and Partial Evaluation<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Best paper award<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">----------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM 2017 continues the tradition of a Best Paper award. The winner<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">will be announced at the workshop.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Submission<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">----------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Papers should be submitted electronically via HotCRP.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none"> https://pepm17.hotcrp.com/<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Authors using LaTeX to prepare their submissions should use the new<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">improved SIGPLAN proceedings style, and specifically the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR">sigplanconf.cls 9pt template.<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR"><o:p> </o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="FR">Important Dates<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">---------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">UPDATE: following feedback from potential authors, we have extended<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">the PEPM submission dates by two weeks to avoid clashes with other<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">events. The new deadlines are consequently strict, and there will be<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">no further extensions.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">For Regular Research Papers and Short Papers:<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Abstract submission : Tuesday 27th September 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Paper submission : Friday 30th September 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Author notification : Friday 4th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Camera ready : Monday 28th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">For Posters:<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Poster submission : Tuesday 8th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Author notification : Friday 18th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Camera ready : Monday 28th November 2016<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM workshop:<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">* Workshop : Monday 16th - Tuesday 17th January 2017<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">The proceedings will be published 2 weeks pre-conference.<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">AUTHORS TAKE NOTE: The official publication date is the date the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">proceedings are made available in the ACM Digital Library. This date<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">may be up to two weeks prior to the first day of your conference. The<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">official publication date affects the deadline for any patent filings<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">related to published work. (For those rare conferences whose<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">proceedings are published in the ACM Digital Library after the<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">conference is over, the official publication date remains the first<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">day of the conference.).<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">PEPM'17 Programme Committee<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">---------------------------<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal" style="text-autospace:none">Elvira Albert (Complutense University of Madrid, Spain)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Don Batory (University of Texas at Austin, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Martin Berger (University of Sussex, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Sebastian Erdweg (TU Delft, Netherlands)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Andrew Farmer (Facebook, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Matthew Flatt (University of Utah, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">John Gallagher (Roskilde University, Denmark)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Robert Glück (DIKU, Denmark)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Jurriaan Hage (Utrecht University, Netherlands)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">Zhenjiang Hu (National Institute of Informatics, Japan)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Yukiyoshi Kameyama (University of Tsukuba, Japan)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Ilya Klyuchnikov (Facebook, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Huiqing Li (EE, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Annie Liu (Stony Brook University, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Markus Püschel (ETH Zurich, Switzerland)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">Ryosuke SATO (University of Tokyo, Japan)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Sven-Bodo Scholz (Heriot-Watt University, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Ulrik Schultz (co-chair) (University of Southern Denmark)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Ilya Sergey (University College London, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none">Chung-chieh Shan (Indiana University, USA)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><span lang="DE">Tijs van der Storm (Centrum Wiskunde & Informatica, Netherlands)<o:p></o:p></span></p>
<p class="MsoNormal" style="text-autospace:none">Jeremy Yallop (co-chair) (University of Cambridge, UK)<o:p></o:p></p>
<p class="MsoNormal" style="text-autospace:none"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<P>NOTICE AND DISCLAIMER<BR>This email contains BT information, which may be
privileged or confidential. It's meant only for the individual(s) or entity
named above. <BR>If you're not the intended recipient, note that disclosing,
copying, distributing or using this information is prohibited. <BR>If you've
received this email in error, please let me know immediately on the email
address above. Thank you.</P>
<P>We monitor our email system, and may record your emails.</P>
<P>EE Limited <BR>Registered office:Trident Place, Mosquito Way, Hatfield,
Hertfordshire, AL10 9BW<BR>Registered in England no: 02382161</P>
<P>EE Limited is a wholly owned subsidiary of:</P>
<P>British Telecommunications plc<BR>Registered office: 81 Newgate Street London
EC1A 7AJ<BR>Registered in England no: 1800000</P>
</body>
</html>