<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<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 name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:0 0 0 0 0 0 0 0 0 0;}
@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:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
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;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:12.0pt;
font-family:"Times New Roman",serif;}
span.EmailStyle19
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
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-US link=blue vlink=purple><div class=WordSection1><p><span style='font-family:"Calibri",sans-serif'>Call for Submissions</span> <br><span style='font-family:"Calibri",sans-serif'>-----------------------------------------------------------------------</span> <br><span style='font-family:"Calibri",sans-serif'>4th International Workshop on</span> <br><span style='font-family:"Calibri",sans-serif'>Applied Verification for Continuous and Hybrid Systems</span> <br><span style='font-family:"Calibri",sans-serif'>CMU campus alongside CPSWeek, Pittsburgh, USA, April 17, 2017</span> <br><span style='font-family:"Calibri",sans-serif'><a href="http://cps-vo.org/group/ARCH">http://cps-vo.org/group/ARCH</a></span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>The workshop on applied verification for continuous and hybrid systems</span> <br><span style='font-family:"Calibri",sans-serif'>(ARCH) brings together researchers and practitioners, and establishes a</span> <br><span style='font-family:"Calibri",sans-serif'>curated set of benchmarks submitted by academia and industry. Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice. Topics include, but are not limited to</span><o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>- Proposals for new benchmark problems (not necessarily yet solvable)</span> <br><span style='font-family:"Calibri",sans-serif'>- Tool presentations</span> <br><span style='font-family:"Calibri",sans-serif'>- Tool executions and evaluations based on ARCH benchmarks</span> <br><span style='font-family:"Calibri",sans-serif'>- Experience reports including open issues for industrial success</span> <br><span style='font-family:"Calibri",sans-serif'>- Reports on results of our friendly competition</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Submission Guidelines</span> <br><span style='font-family:"Calibri",sans-serif'>-----------------------------------------------------------------------</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Submissions consist of papers of ideally 3-8 pages (pdf ) and optional files (e.g. models or traces) submitted through the ARCH’17 EasyChair web site (<a href="http://www.easychair.org/conferences/?conf=arch17">http://www.easychair.org/conferences/?conf=arch17</a>). Authors have to use the EasyChair template (<a href="http://www.easychair.org/publications/for_authors).The">http://www.easychair.org/publications/for_authors).The</a> extended abstract should be classified in its title as benchmark proposal, tool presentation, benchmark results, or experience report. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. Details on the evaluation criteria can be found at <a href="http://cps-vo.org/group/ARCH/CallForSubmissions">http://cps-vo.org/group/ARCH/CallForSubmissions</a>.</span><o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Submission deadline: February 15, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Notification: March 7, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Final Version: March 31, 2017</span> <br><span style='font-family:"Calibri",sans-serif'>Workshop: April 17, 2017 (different from other CPS Week workshops; this year free of charge!)</span> <br><span style='font-family:"Calibri",sans-serif'>Website: <a href="http://cps-vo.org/group/ARCH">http://cps-vo.org/group/ARCH</a> (includes forums, archive, wiki, etc.)</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Prize</span> <br><span style='font-family:"Calibri",sans-serif'>-----------------------------------------------------------------------</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting.</span><o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Organizers</span> <br><span style='font-family:"Calibri",sans-serif'>-----------------------------------------------------------------------</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Program chairs:</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Matthias Althoff, Technische Universität München, Germany</span> <br><span style='font-family:"Calibri",sans-serif'>Goran Frehse, UJF-Verimag, France</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Local chair: Sebastian Scherer, Carnegie Mellon University, USA</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Publicity chair: Sergiy Bogomolov, Australian National University, Australia</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Evaluation chair: Taylor T. Johnson, Vanderbilt University, USA</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Program Committee (tentative)</span> <br><span style='font-family:"Calibri",sans-serif'>-----------------------------------------------------------------------</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Academia:</span> <br><span style='font-family:"Calibri",sans-serif'>Pieter Collins (Maastricht Univ.)</span> <br><span style='font-family:"Calibri",sans-serif'>Alexandre Donze (UC Berkeley)</span> <br><span style='font-family:"Calibri",sans-serif'>Ian Mitchell (Univ. British Colombia)</span> <br><span style='font-family:"Calibri",sans-serif'>Sayan Mitra (UI Urbana Champaign)</span> <br><span style='font-family:"Calibri",sans-serif'>Andre Platzer (CarnegieMellon Univ.)</span> <br><span style='font-family:"Calibri",sans-serif'>Nacim Ramdani (Université d’Orléans)</span> <br><span style='font-family:"Calibri",sans-serif'>Aditya Zutshi (Duke University)</span> <br><span style='font-family:"Calibri",sans-serif'>Xin Chen (RWTH Aachen University)</span> <br><span style='font-family:"Calibri",sans-serif'>Sicun Gao (Massachusetts Institute of Technology)</span> <br><span style='font-family:"Calibri",sans-serif'>Stanley Bak (Air Force Research Lab)</span> <o:p></o:p></p><p><span style='font-family:"Calibri",sans-serif'>Industry:</span> <br><span style='font-family:"Calibri",sans-serif'>Ajinkya Bhave (Siemens PLM)</span> <br><span style='font-family:"Calibri",sans-serif'>Jyotirmoy Deshmukh (Toyota)</span> <br><span style='font-family:"Calibri",sans-serif'>Luca Parolini (BMW)</span> <br><span style='font-family:"Calibri",sans-serif'>Alessandro Pinto (United Technologies)</span> <br><span style='font-family:"Calibri",sans-serif'>Matthias Woehrle (Bosch)</span> <br><span style='font-family:"Calibri",sans-serif'>William Hung (Synopsys Inc)</span> <br><span style='font-family:"Calibri",sans-serif'>Olivier Bouissou (MathWorks)</span> <br><span style='font-family:"Calibri",sans-serif'>Daniel Bryce (SIFT)</span> <br><span style='font-family:"Calibri",sans-serif'>Aaron Fifarek (Linquest)</span> <o:p></o:p></p></div></body></html>