tag:blogger.com,1999:blog-91302890227842421982024-02-08T09:50:51.784-08:00CyPhy 2014Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'14)Unknownnoreply@blogger.comBlogger6125tag:blogger.com,1999:blog-9130289022784242198.post-18097035694720918752014-04-10T18:15:00.001-07:002016-02-19T10:56:12.535-08:00Preliminary Program<div dir="ltr" style="text-align: left;" trbidi="on">
<table border="1" cellpadding="0" cellspacing="0" class="MsoTableGrid" style="border-collapse: collapse; border: none; width: 442px;"><tbody>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">8:00 - 8:15<o:p></o:p></span></div>
</td><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
<span style="font-size: 11pt;">Registration<o:p></o:p></span></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">8:15 - 8:30<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
<span style="font-size: 11pt;">Opening remarks<o:p></o:p></span></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">8:30 - 10:30<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
Model-Predictive Control from Signal Temporal Logic Specifications: A Case Study<o:p></o:p></div>
<div class="MsoNormal">
<i>by Vasumathi Raman, Mehdi Maasoumy and Alexandre Donze<o:p></o:p></i></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants (Work-in-Progress)<o:p></o:p></div>
<div class="MsoNormal">
<i>by Stanley Bak<o:p></o:p></i></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
Analysis, Verification, and Management Toolsuite for Cyber-Physical Applications on Time-Varying Networks (Work-in-Progress)<o:p></o:p></div>
<div class="MsoNormal">
by William Emfinger, Gabor Karsai, Abhishek Dubey and Aniruddha Gokhale<o:p></o:p></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
Complex Systems Techniques for Cyber-Physical Systems (Position Paper)<o:p></o:p></div>
<div class="MsoNormal">
by <a href="http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/"><span style="color: #ca6060;">Manuela Bujorianu</span></a> and Robert S. MacKay<o:p></o:p></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">10:30 - 11:00<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
<span style="font-size: 11pt;">Coffee Break<o:p></o:p></span></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">11:00 - 12:30<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
Drive-by-Wireless with the eCar Demonstrator<o:p></o:p></div>
<div class="MsoNormal">
<i>by <a href="http://www6.in.tum.de/Main/Staehle"><span style="color: #ca6060; text-decoration: none;">Hauke Stähle</span></a>, <a href="http://www6.in.tum.de/Main/Huangk"><span style="color: #ca6060; text-decoration: none;">Kai Huang</span></a> and <a href="http://www6.in.tum.de/Main/Knoll"><span style="color: #ca6060; text-decoration: none;">Alois Knoll</span></a><o:p></o:p></i></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
aLS-Coop-Loc: Cooperative Combined Localization and Time-Synchronization in Underwater Acoustic Networks<o:p></o:p></div>
<div class="MsoNormal">
by <a href="http://ps.ewi.utwente.nl/people.php?person=van_Kleunen,_WAP"><span style="color: #ca6060; text-decoration: none;">Wouter van Kleunen</span></a>, Nirvana Meratnia and Paul Havinga<o:p></o:p></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
Cyber-Physical Cloud Computing implemented as PaaS<o:p></o:p></div>
<div class="MsoNormal">
by <a href="http://cs.uni-salzburg.at/~ckrainer/"><span style="color: #ca6060; text-decoration: none;">Clemens Krainer</span></a> and <a href="http://cs.uni-salzburg.at/~ck"><span style="color: #ca6060; text-decoration: none;">Christoph Kirsch</span></a><o:p></o:p></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
An Undergraduate Cyber-Physical Systems Course (Position Paper)<o:p></o:p></div>
<div class="MsoNormal">
<i>by <a href="http://www.cs.uh.edu/~acheng/acheng.html"><span style="color: #ca6060; text-decoration: none;">Albert M. K. Cheng</span></a><o:p></o:p></i></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">12:30 - 1:30<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
<span style="font-size: 11pt;">Lunch<o:p></o:p></span></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">1:30 - 3:30<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
Saving Virtual Testing Time for CPS by Analyzing Code Coverage on the Example of a Lane-Following Algorithm<o:p></o:p></div>
<div class="MsoNormal">
by <a href="http://www.chalmers.se/cse/EN"><span style="color: #ca6060; text-decoration: none;">Christian Berger</span></a><o:p></o:p></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
Model-Based Design and Analysis of a Reconfigurable Continuous-Culture Bioreactor (Work-in-Progress)<o:p></o:p></div>
<div class="MsoNormal">
Luan Viet Nguyen, <a href="http://www.taylortjohnson.com/"><span style="color: #ca6060; text-decoration: none;">Taylor T Johnson</span></a>, Amol Vengurlekar, Ruoshi Zhang, by Kristopher I White and Victor Salinas<o:p></o:p></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
Towards a Model-Based Development Approach for Wireless Sensor-Actuator Network Protocols (Position Paper)<span style="font-family: "times"; font-size: 10pt;"><o:p></o:p></span></div>
<div class="MsoNormal">
by <a href="http://home.hib.no/ansatte/aaks/"><span style="color: #ca6060; text-decoration: none;">Admar Ajith Kumar Somappa</span></a> and Kent Inge Fagerland Simonsen<i><o:p></o:p></i></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">3:30 - </span><br />
<span style="font-size: 11pt;">4:00<o:p></o:p></span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
<span style="font-size: 11pt;">Coffee Break<o:p></o:p></span></div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
<span style="font-size: 11pt;">4:00 - 4:30</span></div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374">Controller/Platform Co-Design of Networked Control Systems Based on Density Functions<br />
by Tobias Bund and Frank Slomka<br />
<div class="MsoNormal">
</div>
</td></tr>
<tr><td style="border: 1pt solid windowtext; padding: 0in 5.4pt; width: 0.95in;" valign="top" width="68"><div class="MsoNormal">
4:30 - 5:30</div>
</td><td style="border-bottom-color: windowtext; border-bottom-width: 1pt; border-right-color: windowtext; border-right-width: 1pt; border-style: none solid solid none; padding: 0in 5.4pt; width: 373.5pt;" valign="top" width="374"><div class="MsoNormal">
Panel Discussion</div>
</td></tr>
</tbody></table>
</div>
Walid Tahahttp://www.blogger.com/profile/01616333334672611519noreply@blogger.comtag:blogger.com,1999:blog-9130289022784242198.post-15005657998489756752014-04-08T07:45:00.002-07:002016-02-19T10:56:22.124-08:00Proceedings in ACM DL<div dir="ltr" style="text-align: left;" trbidi="on">
The proceedings are now in the <a href="http://dl.acm.org/citation.cfm?id=2593458">ACM Digital Library (DL)</a>. Enjoy!</div>
Walid Tahahttp://www.blogger.com/profile/01616333334672611519noreply@blogger.comtag:blogger.com,1999:blog-9130289022784242198.post-32765361005509031602014-03-07T01:52:00.000-08:002016-02-19T10:56:33.370-08:00List of Accepted Papers<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="p1">
</div>
<ul style="text-align: left;">
<li><span class="s1"><a href="http://www.cs.uh.edu/~acheng/acheng.html">Albert M. K. Cheng</a></span>. An Undergraduate Cyber-Physical Systems Course</li>
<li><span class="s1"><a href="http://www6.in.tum.de/Main/Staehle">Hauke Stähle</a></span>, <a href="http://www6.in.tum.de/Main/Huangk"><span class="s1">Kai Huang</span></a> and <a href="http://www6.in.tum.de/Main/Knoll"><span class="s1">Alois Knoll</span></a>. Drive-by-Wireless with the eCar Demonstrator</li>
<li>Stanley Bak. Reducing the Wrapping Effect in Flowpipe Construction using Pseudo-Invariants</li>
<li><span class="s1"><a href="http://cs.uni-salzburg.at/~ckrainer/">Clemens Krainer</a></span> and <a href="http://cs.uni-salzburg.at/~ck"><span class="s1">Christoph Kirsch</span></a>. Cyber-Physical Cloud Computing implemented as PaaS</li>
<li>Tobias Bund and Frank Slomka. Controller/Platform Co-Design of Networked Control Systems Based on Density Functions</li>
<li><span class="s1"><a href="http://home.hib.no/ansatte/aaks/">Admar Ajith Kumar Somappa</a></span> and Kent Inge Fagerland Simonsen. Towards a Model-Based Development Approach for Wireless Sensor-Actuator Network Protocols</li>
<li><span class="s1"><a href="http://ps.ewi.utwente.nl/people.php?person=van_Kleunen,_WAP">Wouter van Kleunen</a></span>, Nirvana Meratnia and Paul Havinga. aLS-Coop-Loc: Cooperative Combined Localization and Time-Synchronization in Underwater Acoustic Networks</li>
<li>Mohannad A. Alharthi and Abd-Elhamid M. Taha. Modeling Mobility for Networked Mobile Cyber-Physical Systems</li>
<li><span class="s1"><a href="http://www.chalmers.se/cse/EN">Christian Berger</a></span>. Saving Virtual Testing Time for CPS by Analyzing Code Coverage on the Example of a Lane-Following Algorithm</li>
<li>William Emfinger, Gabor Karsai, Abhishek Dubey and Aniruddha Gokhale. A Work-in-Progress: Analysis, Verification, and Management Toolsuite for Cyber-Physical Applications on Time-Varying Networks</li>
<li>Gabor Simko, Tihamer Levendovszky, Miklos Maroti and <a href="http://isis.vanderbilt.edu/"><span class="s1">Janos Sztipanovits</span></a>. Towards a Theory for Cyber-Physical Systems Modeling</li>
<li>Luan Viet Nguyen, <a href="http://www.taylortjohnson.com/"><span class="s1">Taylor T Johnson</span></a>, Amol Vengurlekar, Ruoshi Zhang, Kristopher I White and Victor Salinas. Model-Based Design and Analysis of a Reconfigurable Continuous-Culture Bioreactor (Work-in-Progress)</li>
<li>Vasumathi Raman, Mehdi Maasoumy and Alexandre Donze. Model-Predictive Control from Signal Temporal Logic Specifications: A Case Study</li>
<li><span class="s1"><a href="http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/">Manuela Bujorianu</a></span> and Robert S. MacKay. Complex Systems Techniques for Cyber-Physical Systems</li>
</ul>
<br /></div>
Walid Tahahttp://www.blogger.com/profile/01616333334672611519noreply@blogger.comtag:blogger.com,1999:blog-9130289022784242198.post-22786491930559131792014-01-23T06:22:00.000-08:002016-02-19T10:56:40.733-08:00Resubmission of papers from CyPhy 2012 and 2013This year <a href="http://www.cyphy.org/">CyPhy</a> will have published proceedings with the ACM. Authors who submitted papers to CyPhy <a href="http://2012.cyphy.org/">2012</a> or <a href="http://2013.cyphy.org/">2013</a>, which had no published proceedings, may resubmit them to this year's workshop with a footnote indicating past submission.Unknownnoreply@blogger.comtag:blogger.com,1999:blog-9130289022784242198.post-88970455022308239642014-01-12T00:00:00.000-08:002016-02-19T10:56:50.394-08:00Call for Papers<div dir="ltr" style="text-align: left;" trbidi="on">
<div dir="ltr" style="line-height: 1.15; margin-bottom: 10pt; margin-top: 0pt;">
<span style="color: black; font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;">The ACM Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems (CyPhy'14) brings together researchers and practitioners working on modeling, simulation, and evaluation of CPS, based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing.</span></div>
<div dir="ltr" style="line-height: 1.15; margin-bottom: 10pt; margin-top: 0pt;">
<span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">Topics of of interest include, but are not limited to: autonomous systems, case studies, communications, cooperative systems, control theory, embedded software, ethics, foundations, game theory, healthcare and medical applications, human factors, human-in-the-loop issues, hybrid automata and systems, industrial applications, intelligent and smart systems, mechatronics, methodology, mobility, model validation, modeling, models of computation, power and energy management, privacy, robotics, security, simulation, co-simulation, stochastic methods, tools, transportation and aerospace systems, transportation systems, uncertainty methods, validated numerics, verification, and virtual prototyping.</span></div>
<span id="docs-internal-guid-12b1059b-a964-1e7d-cfe5-13830ce7efac"><span style="font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;">Proceedings will be published with the ACM, and will appear in the <a href="http://dl.acm.org/">ACM Digital Library</a>.</span></span><br />
<span style="font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;"><br /></span>
<span style="font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;"><b>Important Dates</b></span><br />
<span style="font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;"></span>
<br />
<div style="text-align: left;">
<table><tbody>
<tr><td><span style="font-family: "arial" , "helvetica" , sans-serif;">Submission deadline:</span></td><td><span style="font-family: "arial" , "helvetica" , sans-serif;"> January 31, 2014</span></td></tr>
<tr><td><span style="font-family: "arial" , "helvetica" , sans-serif;">Notifications:</span></td><td><span style="font-family: "arial" , "helvetica" , sans-serif;"> February 28, 2014</span></td></tr>
<tr><td><span style="font-family: "arial" , "helvetica" , sans-serif;">Camera Ready:</span></td><td><span style="font-family: "arial" , "helvetica" , sans-serif;"> March 21, 2014</span></td></tr>
<tr><td><span style="font-family: "arial" , "helvetica" , sans-serif;">Workshop:</span></td><td><span style="font-family: "arial" , "helvetica" , sans-serif;"> April 14, 2014</span></td></tr>
</tbody></table>
</div>
<div style="text-align: left;">
<span style="font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;"><br /></span>
</div>
<div dir="ltr" style="line-height: 1.15; margin-bottom: 10pt; margin-top: 0pt;">
<span style="color: black; font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;">Submissions can be in any one of several categories: </span><br />
<br />
<ul style="text-align: left;">
<li><span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">regular research paper, </span></li>
<li><span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">work in progres, </span></li>
<li><span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">tutorial paper, </span></li>
<li><span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">tool demonstration, </span></li>
<li><span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">position paper, and </span></li>
<li><span style="font-family: "arial"; line-height: 1.15; white-space: pre-wrap;">extended abstract. </span></li>
</ul>
<br />
<span style="color: black; font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;">Regular research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop. Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version. Initial and camera-ready submission should be in an <a href="http://www.acm.org/sigs/publications/proceedings-templates">approved ACM conference style</a>.</span></div>
<div dir="ltr" style="margin-bottom: 10pt; margin-top: 0pt;">
<div style="line-height: 1.15;">
<span style="color: black; font-family: "arial"; vertical-align: baseline; white-space: pre-wrap;">With the exception of extended abstracts, papers can be up to four pages long. Extended abstracts must be one page long. All accepted papers will receive the same amount of time for presentation and discussion at the workshop. Submissions should be made online using the dedicated EasyChair <a href="https://www.easychair.org/conferences/?conf=cyphy2014">page</a>.</span></div>
<div style="line-height: 1.15;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><br /></span>
</div>
<div>
<div style="line-height: normal;">
<b><span style="font-family: "arial" , "helvetica" , sans-serif;">Program Committee</span></b><br />
<b><span style="font-family: "arial" , "helvetica" , sans-serif;"><br /></span></b></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://stanleybak.com/">Stanley Bak</a>, Air Force Research Lab</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.chalmers.se/cse/EN">Christian Berger</a>, Chalmers and University of Gothenburg</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.eecs.berkeley.edu/~broman/">David Broman</a>, UC Berkeley</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www2.warwick.ac.uk/fac/sci/maths/people/staff/bujorianu/">Manuela Bujorianu</a>, University of Warwick</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.ensta-paristech.fr/~chapoutot">Alexandre Chapoutot</a>, ENSTA ParisTech</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.mit.edu/~ddv/">Domitilla Del Vecchio</a>, MIT</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.eecs.berkeley.edu/~donze/">Alexandre Donzé</a>, UC Berkeley</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://scholar.google.at/citations?user=4OHPYQgAAAAJ&hl=en">Atiyah Elsheikh</a>, Austrian Institute of Technology</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="https://sites.google.com/site/clausfuehrer/">Claus Führer</a>, Lund University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.hpi.uni-potsdam.de/giese/personen/prof_dr_holger_giese.html">Holger Giese</a>, University of Potsdam</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.cs.ua.edu/~gray">Jeff Gray</a>, University of Alabama</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.dsksh.com/">Daisuke Ishii</a>, National Institute of Informatics</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://w3.isis.vanderbilt.edu/gabor/">Gabor Karsai</a>, Vanderbilt University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.bison.ethz.ch/">Heinz Koeppl</a>, ETH Zurich</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://softlang.wikidot.com/rlaemmel:home">Ralf Laemmel</a>, University of Koblenz-Landau (Co-Chair)</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://mypage.zju.edu.cn/en/linz">Zhiyun Lin</a>, Zhejiang University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.seas.upenn.edu/~rahulm">Rahul Mangharam</a>, University of Pennsylvania</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.ece.cmu.edu/directory/department/faculty/M/Radu_Marculescu_109.html">Radu Marculescu</a>, Carnegie Mellon University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.cs.nyu.edu/cs/faculty/mishra/">Bud Mishra</a>, New York University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://faculty.alfaisal.edu/aoteafy/">Ahmed Oteafy</a>, Alfaisal University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.dei.unipd.it/~epv/">Enrico Pagello</a>, University of Padua</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://poftwaresatent.net/">Roland Philippsen</a>, Halmstad University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.csm.ornl.gov/~nrao/">Nageswara Rao</a>, Oak Ridge National Laboratory</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://synergy.kuniv.edu/">Maytham Safar</a>, Kuwait University</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.hs-ulm.de/schlegel">Christian Schlegel</a>, University of Applied Sciences</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.mmmi.sdu.dk/~ups">Ulrik Schultz</a>, University of Southern Denmark</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.sts.tu-harburg.de/~schupp">Sibylle Schupp</a>, Hamburg University of Technology</span></div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.doesnotunderstand.org/">Serge Stinckwich</a>, University of Caen-Lower Normandy</span></div>
<div style="line-height: normal;">
<a href="http://www.effective-modeling.org/p/walid-taha.html?m=1" style="font-family: Arial, Helvetica, sans-serif;">Walid Taha</a><span style="font-family: "arial" , "helvetica" , sans-serif;">, Halmstad & Rice Universities (Co-Chair)</span></div>
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.mit.edu/~ddv/">Domitilla Del Vecchio</a>, MIT</span><br />
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><br /></span>
</div>
<div style="line-height: normal;">
<b><span style="font-family: "arial" , "helvetica" , sans-serif;">Publicity Chairs</span></b></div>
</div>
<div style="line-height: 1.15;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><span style="color: black; vertical-align: baseline; white-space: pre-wrap;"></span><br /></span>
</div>
<div style="line-height: normal;">
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.poftwaresatent.net/">Roland Philippsen</a>, Halmstad University</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.abdelhamidtaha.com/">Abd-Elhamid Taha</a>, Al-Faisal University</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><b><br /></b>
<b>Advisory Committee</b></span><br />
<b><span style="font-family: "arial" , "helvetica" , sans-serif;"><br /></span></b>
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www4.informatik.tu-muenchen.de/~broy/">Manfred Broy</a>, Technische Universität München, Germany.</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://web.mit.edu/mobility/people/karl.html">Karl Iagnemma</a>, MIT, USA.</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.s3.kth.se/~kallej/">Karl Henrik Johansson</a>, Royal Institute of Technology, Sweden.</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://www.cis.upenn.edu/~lee/home/home/index.shtml">Insup Lee</a>, University of Pennsylvania, USA.</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://msdl.cs.mcgill.ca/people/mosterman/">Pieter Mosterman</a>, McGill University, Canada</span><br />
<span style="font-family: "arial" , "helvetica" , sans-serif;"><a href="http://frontweb.vuse.vanderbilt.edu/vuse_web/directory/facultybio.asp?FacultyID=101.">Janos Sztipanovits</a>, Vanderbilt University, USA</span></div>
</div>
</div>
Unknownnoreply@blogger.comtag:blogger.com,1999:blog-9130289022784242198.post-62022089894820808142013-10-24T12:01:00.000-07:002016-02-19T10:57:18.577-08:00CyPhy part of CPSWeek 2014 in Berlin!The proposal to hold CyPhy as part of <a href="http://www.cpsweek.org/">CPSWeek 2014</a> in Berlin was approved. A preliminary call for papers will be announced shortly.Unknownnoreply@blogger.com