RV'17 - First call for papers and tutorials
Klaus Havelund <[email protected]> Sat, 14 Jan 2017 20:41:27 -0800
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <CABdH3mCKK8SwtngKoYg+bS0KN1ezG3AKrx3OyH5N9=H-x9HzNA__7396.63370554826$1484492363$gmane$org@mail.gmail.com> |
--===============0703239088==
Content-Type: multipart/alternative; boundary=001a114b6cdc1b650405461aaeb0
--001a114b6cdc1b650405461aaeb0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
*RV 2017*
*Call for Papers and Tutorials*
The 17th International Conference on Runtime Verification
September 13-16, Seattle, WA, USA
http://rv2017.cs.manchester.ac.uk
Runtime verification is concerned with the monitoring and analysis of the
runtime behaviour of software and hardware systems. Runtime verification
techniques are crucial for system correctness, reliability, and robustness;
they provide an additional level of rigor and effectiveness compared to
conventional testing, and are generally more practical than exhaustive
formal verification. Runtime verification can be used prior to deployment,
for testing, verification, and debugging purposes, and after deployment for
ensuring reliability, safety, and security and for providing fault
containment and recovery as well as online system repair.
Topics of interest to the conference include, but are not limited to:
- specification languages
- monitor construction techniques
- program instrumentation
- logging, recording, and replay
- combination of static and dynamic analysis
- specification mining and machine learning over runtime traces
- monitoring techniques for concurrent and distributed systems
- runtime checking of privacy and security policies
- statistical model checking
- metrics and statistical information gathering
- program/system execution visualization
- fault localization, containment, recovery and repair
- integrated vehicle health management (IVHM)
Application areas of runtime verification include cyber-physical systems,
safety/mission-critical systems, enterprise and systems software,
autonomous and reactive control systems, health management and diagnosis
systems, and system security and privacy.
We welcome contributions exploring the combination of runtime verification
techniques with machine learning and static analysis. Whilst these are
highlight topics, papers falling into these categories will not be treated
differently from other contributions.
An overview of previous RV conferences and earlier workshops can be found
at: http://www.runtime-verification.org.
RV 2017 will be held September 13-16 in Seattle, WA, USA. RV 2017 will
feature a tutorial day (September 13), and three conference days (September
14-16).
Important Dates
*Papers* as well as *tutorial proposals* will follow the following timeline=
:
- Abstract deadline: April 24, 2017 (Anywhere on Earth)
- Paper and tutorial deadline: May 1, 2017 (Anywhere on Earth)
- Tutorial notification: May 21, 2017
- Paper notification: June 26, 2017
- Conference: September 13-16, 2017
General Information on Submissions
All papers and tutorials will appear in the conference proceedings in an
LNCS volume. Submitted papers and tutorials must use the LNCS/Springer
style detailed here:
http://www.springer.de/comp/lncs/authors.html
Papers must be original work and not be submitted for publication
elsewhere. Papers must be written in English and submitted electronically
(in PDF format) using the EasyChair submission page here:
https://easychair.org/conferences/?conf=3Drv17
The page limitations mentioned below include all text and figures, but
exclude references. Additional details omitted due to space limitations may
be included in a clearly marked appendix, that will be reviewed at the
discretion of reviewers, but not included in the proceedings.
At least one author of each accepted paper and tutorial must attend RV 2017
to present.
Paper Submissions
There are three categories of papers which can be submitted: regular, short
or tool papers. Papers in each category will be reviewed by at least 3
members of the Program Committee.
- *Regular Papers* (up to 15 pages, not including references) should
present original unpublished results. We welcome theoretical papers, sys=
tem
papers, papers describing domain-specific variants of RV, and case studi=
es
on runtime verification.
- *Short Papers* (up to 6 pages, not including references) may present
novel but not necessarily thoroughly worked out ideas, for example emerg=
ing
runtime verification techniques and applications, or techniques and
applications that establish relationships between runtime verification a=
nd
other domains.
- *Tool Demonstration Papers* (up to 8 pages, not including references)
should present a new tool, a new tool component, or novel extensions to
existing tools supporting runtime verification. The paper must include
information on tool availability, maturity, selected experimental result=
s
and it should provide a link to a website containing the theoretical
background and user guide. Furthermore, we strongly encourage authors to
make their tools and benchmarks available with their submission.
The Program Committee of RV 2017 will give a best paper award, and a
selection of accepted regular papers will be invited to appear in a special
issue of the Springer Journal on Formal Methods in System Design
<http://link.springer.com/journal/10703>.
Tutorial Submissions
Tutorials are two-to-three-hour presentations on a selected topic.
Additionally, tutorial presenters will be offered to publish a paper of up
to 20 pages in the LNCS conference proceedings, not including references.
A proposal for a tutorial must contain the subject of the tutorial, a
proposed timeline, a note on previous similar tutorials (if applicable) and
the differences to this incarnation, and a brief biography of the
presenter. The proposal should not exceed 2 pages.
Organization
*General Chair*
Klaus Havelund <http://www.havelund.com/>, NASA Jet Propulsion Laboratory,
USA
*Program Chairs*
Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, U=
K
Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>=
,
Microsoft Research, USA
*Finance Chair*
Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/>, University of
Pennsylvania, USA
*Publicity Chair*
Ayoub Nour <http://www-verimag.imag.fr/~nouri/>i, University of Grenoble
Alpes, France
*Local Organisation Chairs*
Grigory Fedyukovich <http://homes.cs.washington.edu/~grigory/about.html>,
University of Washington, USA
Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA
*Program Committee*
Wolfgang Ahrendt <http://www.cse.chalmers.se/~ahrendt/>, Chalmers Univ. of
Technology/Univ. of Gothenburg, Sweden
Cyrille Artho <https://people.kth.se/~artho/>, KTH Royal Institute of
Technology, Sweden
Howard Barringer <http://www.manchester.ac.uk/research/Howard.barringer/>, =
The
University of Manchester, UK
Ezio Bartocci <http://www.eziobartocci.com/>, Vienna University of
Technology, Austria
Andreas Bauer <http://www.immerundewig.at/>, KUKA Systems, Germany
Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/>, VERIMAG
(University of Grenoble Alpes), France
Eric Bodden <http://www.bodden.de/>, Fraunhofer SIT and Technische
University Darmstadt, Germany
Borzoo Bonakdarpour <http://www.cas.mcmaster.ca/borzoo/>, McMaster
University, Canada
Christian Colombo
<https://www.um.edu.mt/ict/cs/staff/christian_colombo>, University
of Malta, Malta
Ylies Falcone <http://www.ylies.fr/>, University of Grenoble Alpes, France
Grigory Fedyukovich
<http://homes.cs.washington.edu/~grigory/about.html>, University
of Washington, USA
Lu Feng <https://www.cs.virginia.edu/~lufeng/>, University of Virginia, USA
Patrice Godefroid <https://patricegodefroid.github.io/>, Microsoft
Research, USA
Jean Goubault-Larrecq <http://www.lsv.ens-cachan.fr/~goubault/>, CNRS & ENS=
de
Cachan, France
Alex Groce <http://eecs.oregonstate.edu/people/groce-alex>, Northern
Arizona University, USA
Radu Grosu <https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University of
Technology, Austria
Sylvain Hall=C3=A9 <http://leduotang.ca/sylvain/>, University of Qu=C3=A9be=
c at
Chicoutimi, Canada
Marieke Huisman <http://wwwhome.ewi.utwente.nl/~marieke/>, University of
Twente, Netherlands
Franjo Ivancic <https://sites.google.com/site/ivancic/>, Google
Bengt Jonsson <http://user.it.uu.se/~bengt/>, Uppsala University, Sweden
Felix Klaedtke <https://sites.google.com/site/felixklaedtkeshomepage/>, NEC
Europe Ltd.
Rahul Kumar <http://rahulku.com/>, Microsoft Research, USA
Kim Larsen <http://people.cs.aau.dk/~kgl/>, Aalborg University, Denmark
Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml>, University
of Pennsylvania, USA
Axel Legay <https://people.irisa.fr/Axel.Legay/>, Inria Rennes, France
Martin Leucker <https://www.isp.uni-luebeck.de/leucker>, University of
L=C3=BCbeck, Germany
Ben Livshits <http://research.microsoft.com/en-us/um/people/livshits/>,
Microsoft
Research, USA
David Lo <http://www.mysmu.edu/faculty/davidlo/>, Singapore Management
University, Singapore
Francesco Logozzo <https://www.linkedin.com/in/francesco-logozzo-4106386>,
Facebook
Parthasarathy Madhusudan <http://madhu.cs.illinois.edu/>, University of
Illinois at Urbana-Champaign, USA
Leonardo Mariani
<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoM=
ariani.php>,
University
of Milan Bicocca, Italy
Madanlal Musuvathi <https://www.microsoft.com/en-us/research/people/madanm/=
>
, Microsoft Research
Ayoub Nouri <http://www-verimag.imag.fr/~nouri/>, University of Grenoble
Alpes, France
Gordon Pace <http://www.cs.um.edu.mt/gordon.pace/>, University of Malta,
Malta
Doron Peled <http://u.cs.biu.ac.il/~doronp/>, Bar Ilan University, Israel
Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu>, Universit=
y
of Illinois at Urbana-Champaign, USA
Veselin Raychev <http://www.srl.inf.ethz.ch/raychev.php>, ETH Zurich,
Switzerland
Cesar Sanchez <http://software.imdea.org/~cesar/>, IMDEA Software
Institute, Spain
Gerardo Schneider, <http://www.cse.chalmers.se/~gersch/> Chalmers Univ. of
Technology/Univ. of Gothenburg, Sweden
Rahul Sharma <https://cs.stanford.edu/people/sharmar/>, Microsoft Research,
USA
Julien Signoles <http://julien.signoles.free.fr/index.en.html>, CEA LIST,
France
Scott Smolka <http://www3.cs.stonybrook.edu/~sas/>, Stony Brook University,
USA
Oleg Sokolsky <https://www.cis.upenn.edu/~sokolsky/>, University of
Pennsylvania, USA
Bernhard Steffen
<http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.=
html>
, University of Dortmund, Germany
Scott Stoller <http://www3.cs.stonybrook.edu/~stoller/>, Stony Brook
University, USA
Volker Stolz <http://www.mn.uio.no/ifi/personer/vit/stolz/>, University of
Olso, Norway
Frits Vaandrager <http://www.cs.ru.nl/~fvaan/>, Radboud University,
Netherlands
Neil Walkinshaw
<http://www2.le.ac.uk/departments/informatics/people/neil-walkinshaw>,
University
of Leicester, UK
Chao Wang <http://www-bcf.usc.edu/~wang626/>, University of Southern
California, USA
Eugen Zalinescu <http://www2.in.tum.de/hp/Main?nid=3D315>, Technische
Universitat M=C3=BCnchen, Germany
--001a114b6cdc1b650405461aaeb0
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><br><div><p class=3D"gmail-p1" style=3D"color:rgb(0,0,0);f=
ont-size:14px;font-variant-ligatures:normal;font-variant-numeric:normal;fon=
t-variant-alternates:normal;font-variant-east-asian:normal;line-height:norm=
al;border:0px;font-family:'helvetica neue',helvetica,arial,sans-ser=
if;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline;tex=
t-align:center"><span class=3D"gmail-s1" style=3D"border:0px;font-family:in=
herit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:=
baseline;font-size:18px"><font color=3D"#ff0000"><b>RV 2017</b></font></spa=
n></p><p class=3D"gmail-p2" style=3D"font-variant-ligatures:normal;font-var=
iant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:=
normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;fon=
t-family:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px=
1.5em;outline:0px;padding:0px;vertical-align:baseline;text-align:center"><=
span class=3D"gmail-s1" style=3D"border:0px;font-family:inherit;font-style:=
inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><b>Call=
for Papers and Tutorials</b></span><span class=3D"gmail-s2" style=3D"borde=
r:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0</span></p><p class=3D"gmail-p4" style=3D"font-variant=
-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:norma=
l;font-variant-east-asian:normal;line-height:normal;font-size:13px;color:rg=
b(64,64,64);border:0px;font-family:'helvetica neue',helvetica,arial=
,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:bas=
eline;text-align:center"><span class=3D"gmail-s1" style=3D"border:0px;font-=
family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertic=
al-align:baseline">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=
=C2=A0The 17th International Conference on Runtime Verification</span></p><=
p class=3D"gmail-p4" style=3D"font-variant-ligatures:normal;font-variant-nu=
meric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;=
line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-famil=
y:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;=
outline:0px;padding:0px;vertical-align:baseline;text-align:center"><span cl=
ass=3D"gmail-s1" style=3D"border:0px;font-family:inherit;font-style:inherit=
;margin:0px;outline:0px;padding:0px;vertical-align:baseline">=C2=A0=C2=A0=
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0September 13-16, Seattle, W=
A, USA</span></p><p class=3D"gmail-p5" style=3D"font-variant-ligatures:norm=
al;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-=
east-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);bor=
der:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;mar=
gin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline;text-alig=
n:center"><span class=3D"gmail-s3" style=3D"border:0px;font-family:inherit;=
font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseli=
ne"><a href=3D"http://rv2017.cs.manchester.ac.uk/" style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline;color:rgb(17,123,184)">http://rv2017.cs.manchester.ac.uk=
</a></span></p><p style=3D"font-variant-ligatures:normal;font-variant-numer=
ic:normal;font-variant-alternates:normal;font-variant-east-asian:normal;lin=
e-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:&=
#39;helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;out=
line:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;fon=
t-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vert=
ical-align:baseline">Runtime verification is concerned with the monitoring =
and analysis of the runtime behaviour of software and hardware systems. Run=
time verification techniques are crucial for system correctness, reliabilit=
y, and robustness; they p</span><span style=3D"border:0px;font-family:inher=
it;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:bas=
eline">rovide an additional level of rigor and effectiveness compared to co=
nventional testing</span><span style=3D"border:0px;font-family:inherit;font=
-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">=
, and are generally more practical than exhaustive formal verification. Run=
time verification can be used prior to deployment, for testing, verificatio=
n, and debugging purposes, and after deployment for ensuring reliability, s=
afety, and security and for providing fault containment and recovery as wel=
l as online system repair.=C2=A0</span></p><p style=3D"font-variant-ligatur=
es:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-v=
ariant-east-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,=
64);border:0px;font-family:'helvetica neue',helvetica,arial,sans-se=
rif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><=
span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;=
outline:0px;padding:0px;vertical-align:baseline">Topics of interest to the =
conference include, but are not limited to:</span></p><ul style=3D"font-var=
iant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:n=
ormal;font-variant-east-asian:normal;line-height:normal;font-size:13px;colo=
r:rgb(64,64,64);border:0px;font-family:'helvetica neue',helvetica,a=
rial,sans-serif;margin:0px 0px 20px 3em;outline:0px;padding:0px;vertical-al=
ign:baseline;list-style-position:initial"><li style=3D"border:0px;font-fami=
ly:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-a=
lign:baseline"><span style=3D"border:0px;font-family:inherit;font-style:inh=
erit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">specificat=
ion languages</span></li><li style=3D"border:0px;font-family:inherit;font-s=
tyle:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><s=
pan style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;o=
utline:0px;padding:0px;vertical-align:baseline">monitor construction techni=
ques</span></li><li style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline">program instrumentation</span></li><=
li style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;ou=
tline:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;fo=
nt-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ver=
tical-align:baseline">logging, recording, and replay</span></li><li style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font-famil=
y:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-al=
ign:baseline">combination of static and dynamic analysis</span></li><li sty=
le=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:=
0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font-fam=
ily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-=
align:baseline">specification mining and machine learning over runtime trac=
es</span></li><li style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline">monitoring te=
chniques for concurrent and distributed systems</li><li style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline">runtime checking of privacy and security policies<=
/li><li style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0=
px;outline:0px;padding:0px;vertical-align:baseline">statistical model check=
ing</li><li style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"bord=
er:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;paddin=
g:0px;vertical-align:baseline">metrics and statistical information gatherin=
g</span></li><li style=3D"border:0px;font-family:inherit;font-style:inherit=
;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><span style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline">program/system execution visualization<=
/span></li><li style=3D"border:0px;font-family:inherit;font-style:inherit;m=
argin:0px;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"b=
order:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pad=
ding:0px;vertical-align:baseline">fault localization, containment, recovery=
and repair</span></li><li style=3D"border:0px;font-family:inherit;font-sty=
le:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><spa=
n style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;out=
line:0px;padding:0px;vertical-align:baseline">integrated vehicle health man=
agement (IVHM)</span></li></ul><p style=3D"font-variant-ligatures:normal;fo=
nt-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-=
asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:0=
px;font-family:'helvetica neue',helvetica,arial,sans-serif;margin:0=
px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline">Application areas of runtime verific=
ation include cyber-physical systems, safety/mission-critical systems, ente=
rprise and systems software, autonomous and reactive control systems, healt=
h management and diagnosis systems, and system security and privacy.</span>=
</p><p style=3D"font-variant-ligatures:normal;font-variant-numeric:normal;f=
ont-variant-alternates:normal;font-variant-east-asian:normal;line-height:no=
rmal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helveti=
ca neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pa=
dding:0px;vertical-align:baseline"><span style=3D"border:0px;font-family:in=
herit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:=
baseline">We welcome contributions exploring the combination of runtime ver=
ification techniques with machine learning and static analysis. Whilst thes=
e are highlight topics, papers falling into these categories will not be tr=
eated differently from other contributions.</span></p><p style=3D"font-vari=
ant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:no=
rmal;font-variant-east-asian:normal;line-height:normal;font-size:13px;color=
:rgb(64,64,64);border:0px;font-family:'helvetica neue',helvetica,ar=
ial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:=
baseline"><span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline">An overview of =
previous RV conferences and earlier workshops can be found at:=C2=A0<a href=
=3D"http://www.runtime-verification.org/" style=3D"border:0px;font-family:i=
nherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align=
:baseline;color:rgb(17,123,184)">http://www.runtime-verification.org</a>.</=
span></p><p style=3D"font-variant-ligatures:normal;font-variant-numeric:nor=
mal;font-variant-alternates:normal;font-variant-east-asian:normal;line-heig=
ht:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:'he=
lvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0=
px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font-fami=
ly:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-a=
lign:baseline">RV 2017 will be held September 13-16 in Seattle, WA, USA. RV=
2017 will feature a tutorial day (September 13), and three conference days=
(September 14-16).</span></p><h2 style=3D"font-variant-ligatures:normal;fo=
nt-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-=
asian:normal;font-size:20px;color:rgb(64,64,64);border:0px;font-family:geor=
gia,'times new roman',serif;font-weight:inherit;margin:40px 0px 10p=
x;outline:0px;padding:0px;vertical-align:baseline;clear:both;line-height:28=
px"><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin=
:0px;outline:0px;padding:0px;vertical-align:baseline">Important Dates</span=
></h2><p style=3D"font-variant-ligatures:normal;font-variant-numeric:normal=
;font-variant-alternates:normal;font-variant-east-asian:normal;line-height:=
normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helve=
tica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;=
padding:0px;vertical-align:baseline"><b>Papers</b><span style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline">=C2=A0as well as=C2=A0</span><b>tutorial proposals=
</b><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin=
:0px;outline:0px;padding:0px;vertical-align:baseline">=C2=A0will follow the=
following timeline:</span></p><ul style=3D"font-variant-ligatures:normal;f=
ont-variant-numeric:normal;font-variant-alternates:normal;font-variant-east=
-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:=
0px;font-family:'helvetica neue',helvetica,arial,sans-serif;margin:=
0px 0px 20px 3em;outline:0px;padding:0px;vertical-align:baseline;list-style=
-position:initial"><li style=3D"border:0px;font-family:inherit;font-style:i=
nherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><span st=
yle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline=
:0px;padding:0px;vertical-align:baseline">Abstract deadline: April 24, 2017=
(Anywhere on Earth)</span></li><li style=3D"border:0px;font-family:inherit=
;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:basel=
ine"><span style=3D"border:0px;font-family:inherit;font-style:inherit;margi=
n:0px;outline:0px;padding:0px;vertical-align:baseline">Paper and tutorial d=
eadline: May 1, 2017 (Anywhere on Earth)</span></li><li style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline"><span style=3D"border:0px;font-family:inherit;font=
-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">=
Tutorial notification: May 21, 2017</span></li><li style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline"><span style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Paper=
notification: June 26, 2017</span></li><li style=3D"border:0px;font-family=
:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-ali=
gn:baseline"><span style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Conference: =
September 13-16, 2017</span></li></ul><h2 style=3D"font-variant-ligatures:n=
ormal;font-variant-numeric:normal;font-variant-alternates:normal;font-varia=
nt-east-asian:normal;font-size:20px;color:rgb(64,64,64);border:0px;font-fam=
ily:georgia,'times new roman',serif;font-weight:inherit;margin:40px=
0px 10px;outline:0px;padding:0px;vertical-align:baseline;clear:both;line-h=
eight:28px"><span style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline">General Infor=
mation on Submissions</span></h2><p style=3D"font-variant-ligatures:normal;=
font-variant-numeric:normal;font-variant-alternates:normal;font-variant-eas=
t-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border=
:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;margin=
:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline">All papers and tutorials will appear=
in the conference proceedings in an LNCS volume. Submitted papers and tuto=
rials must use the LNCS/Springer style detailed here:</span></p><p style=3D=
"font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alt=
ernates:normal;font-variant-east-asian:normal;line-height:normal;font-size:=
13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neue',he=
lvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;verti=
cal-align:baseline"><a href=3D"http://www.springer.de/comp/lncs/authors.htm=
l" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;ou=
tline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)"><span =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline">http://www.springer.de/comp/lnc=
s/authors.html</span></a></p><p style=3D"font-variant-ligatures:normal;font=
-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-as=
ian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px=
;font-family:'helvetica neue',helvetica,arial,sans-serif;margin:0px=
0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"=
border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pa=
dding:0px;vertical-align:baseline">Papers must be original work and not be =
submitted for publication elsewhere. Papers must be written in English and =
submitted electronically (in PDF format) using the EasyChair submission pag=
e here:</span></p><p style=3D"font-variant-ligatures:normal;font-variant-nu=
meric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;=
line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-famil=
y:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;=
outline:0px;padding:0px;vertical-align:baseline"><a href=3D"https://easycha=
ir.org/conferences/?conf=3Drv17" style=3D"border:0px;font-family:inherit;fo=
nt-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline=
;color:rgb(17,123,184)"><span style=3D"border:0px;font-family:inherit;font-=
style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">h=
ttps://easychair.org/conferences/?conf=3Drv17</span></a></p><p style=3D"fon=
t-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alterna=
tes:normal;font-variant-east-asian:normal;line-height:normal;font-size:13px=
;color:rgb(64,64,64);border:0px;font-family:'helvetica neue',helvet=
ica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-=
align:baseline"><span style=3D"border:0px;font-family:inherit;font-style:in=
herit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">The page =
limitations mentioned below include all text and figures, but exclude refer=
ences. Additional details omitted due to space limitations may be included =
in a clearly marked appendix, that will be reviewed at the discretion of re=
viewers, but not included in the proceedings.</span></p><p style=3D"font-va=
riant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:=
normal;font-variant-east-asian:normal;line-height:normal;font-size:13px;col=
or:rgb(64,64,64);border:0px;font-family:'helvetica neue',helvetica,=
arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-alig=
n:baseline"><span style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline">At least one =
author of each accepted paper and tutorial must attend RV 2017 to present.=
=C2=A0</span></p><h2 style=3D"font-variant-ligatures:normal;font-variant-nu=
meric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;=
font-size:20px;color:rgb(64,64,64);border:0px;font-family:georgia,'time=
s new roman',serif;font-weight:inherit;margin:40px 0px 10px;outline:0px=
;padding:0px;vertical-align:baseline;clear:both;line-height:28px"><span sty=
le=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:=
0px;padding:0px;vertical-align:baseline">Paper Submissions</span></h2><p st=
yle=3D"font-variant-ligatures:normal;font-variant-numeric:normal;font-varia=
nt-alternates:normal;font-variant-east-asian:normal;line-height:normal;font=
-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neue&#=
39;,helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px=
;vertical-align:baseline"><span style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"=
>There are three categories of papers which can be submitted: regular, shor=
t or tool papers. Papers in each category will be reviewed by at least 3 me=
mbers of the Program Committee.</span></p><ul style=3D"font-variant-ligatur=
es:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-v=
ariant-east-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,=
64);border:0px;font-family:'helvetica neue',helvetica,arial,sans-se=
rif;margin:0px 0px 20px 3em;outline:0px;padding:0px;vertical-align:baseline=
;list-style-position:initial"><li style=3D"border:0px;font-family:inherit;f=
ont-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baselin=
e"><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:=
0px;outline:0px;padding:0px;vertical-align:baseline"><strong style=3D"borde=
r:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline">Regular Papers</strong>=C2=A0(up to 15 pages,=
not including references) should present original unpublished results. We =
welcome theoretical papers, system papers, papers describing domain-specifi=
c variants of RV, and case studies on runtime verification.</span></li><li =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font-=
family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertic=
al-align:baseline"><strong style=3D"border:0px;font-family:inherit;font-sty=
le:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Shor=
t Papers</strong>=C2=A0(up to 6 pages, not including references) may presen=
t novel but not necessarily thoroughly worked out ideas, for example emergi=
ng runtime verification techniques and applications, or techniques and appl=
ications that establish relationships between runtime verification and othe=
r domains.=C2=A0</span></li><li style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"=
><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0p=
x;outline:0px;padding:0px;vertical-align:baseline"><strong style=3D"border:=
0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0=
px;vertical-align:baseline">Tool Demonstration Papers</strong>=C2=A0(up to =
8 pages, not including references) should present a new tool, a new tool co=
mponent, or novel extensions to existing tools supporting runtime verificat=
ion. The paper must include information on tool availability, maturity, sel=
ected experimental results and it should provide a link to a website contai=
ning the theoretical background and user guide. Furthermore, we strongly en=
courage authors to make their tools and benchmarks available with their sub=
mission.</span></li></ul><p style=3D"font-variant-ligatures:normal;font-var=
iant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:=
normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;fon=
t-family:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px=
1.5em;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"bord=
er:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;paddin=
g:0px;vertical-align:baseline">The Program Committee of RV 2017 will give a=
best paper award, and a selection of accepted regular papers will be invit=
ed to appear in a special issue of the Springer Journal on=C2=A0<a href=3D"=
http://link.springer.com/journal/10703" style=3D"border:0px;font-family:inh=
erit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:b=
aseline;color:rgb(17,123,184)">Formal Methods in System Design</a>.</span><=
/p><h2 style=3D"font-variant-ligatures:normal;font-variant-numeric:normal;f=
ont-variant-alternates:normal;font-variant-east-asian:normal;font-size:20px=
;color:rgb(64,64,64);border:0px;font-family:georgia,'times new roman=
9;,serif;font-weight:inherit;margin:40px 0px 10px;outline:0px;padding:0px;v=
ertical-align:baseline;clear:both;line-height:28px"><span style=3D"border:0=
px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0p=
x;vertical-align:baseline">Tutorial Submissions</span></h2><p style=3D"font=
-variant-ligatures:normal;font-variant-numeric:normal;font-variant-alternat=
es:normal;font-variant-east-asian:normal;line-height:normal;font-size:13px;=
color:rgb(64,64,64);border:0px;font-family:'helvetica neue',helveti=
ca,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-a=
lign:baseline"><span style=3D"border:0px;font-family:inherit;font-style:inh=
erit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Tutorials =
are two-to-three-hour presentations on a selected topic. Additionally, tuto=
rial presenters will be offered to publish a paper of up to 20 pages in the=
LNCS conference proceedings,=C2=A0</span><span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline">not including references</span><span style=3D"border:0px;f=
ont-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ve=
rtical-align:baseline">.</span></p><p style=3D"font-variant-ligatures:norma=
l;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-e=
ast-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);bord=
er:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;marg=
in:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span sty=
le=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:=
0px;padding:0px;vertical-align:baseline">A proposal for a tutorial must con=
tain the subject of the tutorial, a proposed timeline, a note on previous s=
imilar tutorials (if applicable) and the differences to this incarnation, a=
nd a brief biography of the presenter. The proposal should not exceed 2 pag=
es.=C2=A0</span></p><h2 style=3D"font-variant-ligatures:normal;font-variant=
-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:norm=
al;font-size:20px;color:rgb(64,64,64);border:0px;font-family:georgia,'t=
imes new roman',serif;font-weight:inherit;margin:40px 0px 10px;outline:=
0px;padding:0px;vertical-align:baseline;clear:both;line-height:28px"><span =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline">Organization</span></h2><p styl=
e=3D"font-variant-ligatures:normal;font-variant-numeric:normal;font-variant=
-alternates:normal;font-variant-east-asian:normal;line-height:normal;font-s=
ize:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neue'=
;,helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;v=
ertical-align:baseline"><span style=3D"border:0px;font-family:inherit;font-=
size:14px;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-al=
ign:baseline"><b>General Chair</b></span></p><p style=3D"font-variant-ligat=
ures:normal;font-variant-numeric:normal;font-variant-alternates:normal;font=
-variant-east-asian:normal;line-height:normal;font-size:13px;color:rgb(64,6=
4,64);border:0px;font-family:'helvetica neue',helvetica,arial,sans-=
serif;margin:0px 0px 1.5em;outline:0px;padding:0px 0px 0px 30px;vertical-al=
ign:baseline"><a href=3D"http://www.havelund.com/" style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline;color:rgb(17,123,184)">Klaus Havelund</a>, NASA Jet Prop=
ulsion Laboratory, USA</p><p style=3D"font-variant-ligatures:normal;font-va=
riant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian=
:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;fo=
nt-family:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0p=
x 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"bor=
der:0px;font-family:inherit;font-size:14px;font-style:inherit;margin:0px;ou=
tline:0px;padding:0px;vertical-align:baseline"><b>Program Chairs</b></span>=
</p><p style=3D"font-variant-ligatures:normal;font-variant-numeric:normal;f=
ont-variant-alternates:normal;font-variant-east-asian:normal;line-height:no=
rmal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helveti=
ca neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pa=
dding:0px 0px 0px 30px;vertical-align:baseline"><a href=3D"http://www.cs.ma=
n.ac.uk/~regerg/" style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,1=
23,184)">Giles Reger</a>, University of Manchester, UK<br><a href=3D"https:=
//www.microsoft.com/en-us/research/people/shuvendu/" style=3D"border:0px;fo=
nt-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ver=
tical-align:baseline;color:rgb(17,123,184)">Shuvendu Lahiri</a>, Microsoft =
Research, USA</p><p style=3D"font-variant-ligatures:normal;font-variant-num=
eric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;l=
ine-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family=
:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;o=
utline:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;f=
ont-family:inherit;font-size:14px;font-style:inherit;margin:0px;outline:0px=
;padding:0px;vertical-align:baseline"><b>Finance Chair</b></span></p><p sty=
le=3D"font-variant-ligatures:normal;font-variant-numeric:normal;font-varian=
t-alternates:normal;font-variant-east-asian:normal;line-height:normal;font-=
size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neue=
9;,helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px =
0px 0px 30px;vertical-align:baseline"><a href=3D"http://www.cis.upenn.edu/~=
sokolsky/" style=3D"border:0px;font-family:inherit;font-style:inherit;margi=
n:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)=
">Oleg Sokolsky</a>, University of Pennsylvania, USA</p><p style=3D"font-va=
riant-ligatures:normal;font-variant-numeric:normal;font-variant-alternates:=
normal;font-variant-east-asian:normal;line-height:normal;font-size:13px;col=
or:rgb(64,64,64);border:0px;font-family:'helvetica neue',helvetica,=
arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-alig=
n:baseline"><span style=3D"border:0px;font-family:inherit;font-size:14px;fo=
nt-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline=
"><b>Publicity Chair</b></span></p><p style=3D"font-variant-ligatures:norma=
l;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-e=
ast-asian:normal;line-height:normal;font-size:13px;color:rgb(64,64,64);bord=
er:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;marg=
in:0px 0px 1.5em;outline:0px;padding:0px 0px 0px 30px;vertical-align:baseli=
ne"><a href=3D"http://www-verimag.imag.fr/~nouri/" style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline;color:rgb(17,123,184)">Ayoub Nour</a>i, University of Gr=
enoble Alpes, France</p><p style=3D"font-variant-ligatures:normal;font-vari=
ant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:n=
ormal;line-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font=
-family:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px =
1.5em;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"borde=
r:0px;font-family:inherit;font-size:14px;font-style:inherit;margin:0px;outl=
ine:0px;padding:0px;vertical-align:baseline"><b>Local Organisation Chairs</=
b></span></p><p style=3D"font-variant-ligatures:normal;font-variant-numeric=
:normal;font-variant-alternates:normal;font-variant-east-asian:normal;line-=
height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:=
9;helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outli=
ne:0px;padding:0px 0px 0px 30px;vertical-align:baseline"><a href=3D"http://=
homes.cs.washington.edu/~grigory/about.html" style=3D"border:0px;font-famil=
y:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-al=
ign:baseline;color:rgb(17,123,184)">Grigory Fedyukovich</a>, University of =
Washington, USA<br><a href=3D"http://rahulku.com/" style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline;color:rgb(17,123,184)">Rahul Kumar</a>, Microsoft Resear=
ch, USA</p><p style=3D"font-variant-ligatures:normal;font-variant-numeric:n=
ormal;font-variant-alternates:normal;font-variant-east-asian:normal;line-he=
ight:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:'=
helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline=
:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font-fa=
mily:inherit;font-size:14px;font-style:inherit;margin:0px;outline:0px;paddi=
ng:0px;vertical-align:baseline"><b>Program Committee</b></span></p><p style=
=3D"font-variant-ligatures:normal;font-variant-numeric:normal;font-variant-=
alternates:normal;font-variant-east-asian:normal;line-height:normal;font-si=
ze:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neue'=
,helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:0px 0p=
x 0px 30px;vertical-align:baseline"><span style=3D"border:0px;font-family:i=
nherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align=
:baseline"><a href=3D"http://www.cse.chalmers.se/~ahrendt/" style=3D"border=
:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:=
0px;vertical-align:baseline;color:rgb(17,123,184)">Wolfgang Ahrendt</a>,=C2=
=A0</span><span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline">Chalmers Univ. =
of Technology/Univ. of Gothenburg, Sweden<br></span><a href=3D"https://peop=
le.kth.se/~artho/" style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,=
123,184)"><span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline">Cyrille</span>=
=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline">Artho</span></a>,=
=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline">KTH Royal Institute=
of Technology, Sweden<br></span><span style=3D"border:0px;font-family:inhe=
rit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:ba=
seline"><a href=3D"http://www.manchester.ac.uk/research/Howard.barringer/" =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Howard Ba=
rringer</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font=
-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">=
The University of Manchester, UK<br></span><span style=3D"border:0px;font-f=
amily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertica=
l-align:baseline"><a href=3D"http://www.eziobartocci.com/" style=3D"border:=
0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0=
px;vertical-align:baseline;color:rgb(17,123,184)">Ezio Bartocci</a>,</span>=
=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline">Vienna University o=
f Technology, Austria<br></span><span style=3D"border:0px;font-family:inher=
it;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:bas=
eline"><a href=3D"http://www.immerundewig.at/" style=3D"border:0px;font-fam=
ily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-=
align:baseline;color:rgb(17,123,184)">Andreas Bauer</a>,</span>=C2=A0<span =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline">KUKA Systems, Germany<br></span=
><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0p=
x;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http://www-ve=
rimag.imag.fr/~bensalem/" style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:=
rgb(17,123,184)">Saddek Bensalem</a>,</span>=C2=A0<span style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline">VERIMAG (University of Grenoble Alpes), France<br>=
<a href=3D"http://www.bodden.de/" style=3D"border:0px;font-family:inherit;f=
ont-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baselin=
e;color:rgb(17,123,184)">Eric Bodden</a>, Fraunhofer SIT and Technische Uni=
versity Darmstadt, Germany</span><span style=3D"border:0px;font-family:inhe=
rit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:ba=
seline"><br></span><span style=3D"border:0px;font-family:inherit;font-style=
:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a hre=
f=3D"http://www.cas.mcmaster.ca/borzoo/" style=3D"border:0px;font-family:in=
herit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:=
baseline;color:rgb(17,123,184)">Borzoo Bonakdarpour</a>,</span>=C2=A0<span =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline">McMaster University, Canada<br>=
</span><span style=3D"border:0px;font-family:inherit;font-style:inherit;mar=
gin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"https:/=
/www.um.edu.mt/ict/cs/staff/christian_colombo" style=3D"border:0px;font-fam=
ily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-=
align:baseline;color:rgb(17,123,184)">Christian Colombo</a>,</span>=C2=A0<s=
pan style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;o=
utline:0px;padding:0px;vertical-align:baseline">University of Malta, Malta<=
br></span><span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http=
://www.ylies.fr/" style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,1=
23,184)">Ylies Falcone</a>,</span>=C2=A0<span style=3D"border:0px;font-fami=
ly:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-a=
lign:baseline">University of Grenoble Alpes, France<br></span><span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline"><a href=3D"http://homes.cs.washingto=
n.edu/~grigory/about.html" style=3D"border:0px;font-family:inherit;font-sty=
le:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color=
:rgb(17,123,184)">Grigory Fedyukovich</a>,</span>=C2=A0<span style=3D"borde=
r:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline">University of Washington, USA<br></span><span=
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outl=
ine:0px;padding:0px;vertical-align:baseline"><a href=3D"https://www.cs.virg=
inia.edu/~lufeng/" style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,=
123,184)">Lu Feng</a>,</span>=C2=A0<span style=3D"border:0px;font-family:in=
herit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:=
baseline">University of Virginia, USA<br></span><span style=3D"border:0px;f=
ont-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ve=
rtical-align:baseline"><a href=3D"https://patricegodefroid.github.io/" styl=
e=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0=
px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Patrice=C2=A0=
Godefroid</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;fo=
nt-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline=
">Microsoft Research, USA<br></span><span style=3D"border:0px;font-family:i=
nherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align=
:baseline"><a href=3D"http://www.lsv.ens-cachan.fr/~goubault/" style=3D"bor=
der:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;paddi=
ng:0px;vertical-align:baseline;color:rgb(17,123,184)">Jean Goubault-Larrecq=
</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:=
inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">CNRS</s=
pan><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin=
:0px;outline:0px;padding:0px;vertical-align:baseline">=C2=A0&=C2=A0</sp=
an><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:=
0px;outline:0px;padding:0px;vertical-align:baseline">ENS</span><span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline">=C2=A0de Cachan</span><span style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline">, France<br></span><span style=3D"borde=
r:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline"><a href=3D"http://eecs.oregonstate.edu/people=
/groce-alex" style=3D"border:0px;font-family:inherit;font-style:inherit;mar=
gin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,18=
4)">Alex Groce</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inher=
it;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:bas=
eline">Northern Arizona University, USA<br></span><span style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline"><a href=3D"https://ti.tuwien.ac.at/cps/people/gros=
u" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;ou=
tline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Radu G=
rosu</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-st=
yle:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Vie=
nna University of Technology, Austria<br></span><span style=3D"border:0px;f=
ont-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ve=
rtical-align:baseline"><a href=3D"http://leduotang.ca/sylvain/" style=3D"bo=
rder:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padd=
ing:0px;vertical-align:baseline;color:rgb(17,123,184)">Sylvain Hall=C3=A9</=
a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:in=
herit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Universit=
y of Qu=C3=A9bec at Chicoutimi</span><span style=3D"border:0px;font-family:=
inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-alig=
n:baseline">, Canada<br></span><span style=3D"border:0px;font-family:inheri=
t;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:base=
line"><a href=3D"http://wwwhome.ewi.utwente.nl/~marieke/" style=3D"border:0=
px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0p=
x;vertical-align:baseline;color:rgb(17,123,184)">Marieke Huisman</a>,=C2=A0=
University of Twente, Netherlands</span><span style=3D"border:0px;font-fami=
ly:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-a=
lign:baseline"><br></span><span style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"=
><a href=3D"https://sites.google.com/site/ivancic/" style=3D"border:0px;fon=
t-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vert=
ical-align:baseline;color:rgb(17,123,184)">Franjo Ivancic</a>,</span>=C2=A0=
<span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px=
;outline:0px;padding:0px;vertical-align:baseline">Google<br></span><span st=
yle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline=
:0px;padding:0px;vertical-align:baseline"><a href=3D"http://user.it.uu.se/~=
bengt/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0=
px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">B=
engt Jonsson</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit=
;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:basel=
ine">Uppsala University, Sweden<br></span><span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline"><a href=3D"https://sites.google.com/site/felixklaedtkeshom=
epage/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0=
px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">F=
elix Klaedtke</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inheri=
t;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:base=
line">NEC Europe Ltd.<br></span><span style=3D"border:0px;font-family:inher=
it;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:bas=
eline"><a href=3D"http://rahulku.com/" style=3D"border:0px;font-family:inhe=
rit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:ba=
seline;color:rgb(17,123,184)">Rahul Kumar</a>,</span>=C2=A0<span style=3D"b=
order:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pad=
ding:0px;vertical-align:baseline">Microsoft Research, USA<br></span><span s=
tyle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outlin=
e:0px;padding:0px;vertical-align:baseline"><a href=3D"http://people.cs.aau.=
dk/~kgl/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin=
:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)"=
>Kim Larsen</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;=
font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseli=
ne">Aalborg University, Denmark<br></span><span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline"><a href=3D"http://www.cis.upenn.edu/~lee/home/home/index.s=
html" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px=
;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Ins=
up Lee</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-=
style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">U=
niversity of Pennsylvania, USA<br></span><span style=3D"border:0px;font-fam=
ily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-=
align:baseline"><a href=3D"https://people.irisa.fr/Axel.Legay/" style=3D"bo=
rder:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padd=
ing:0px;vertical-align:baseline;color:rgb(17,123,184)">Axel Legay</a>,</spa=
n>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;ma=
rgin:0px;outline:0px;padding:0px;vertical-align:baseline">Inria Rennes, Fra=
nce<br></span><span style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"=
https://www.isp.uni-luebeck.de/leucker" style=3D"border:0px;font-family:inh=
erit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:b=
aseline;color:rgb(17,123,184)">Martin Leucker</a>,</span>=C2=A0<span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline">University of L=C3=BCbeck, Germany<b=
r></span><span style=3D"border:0px;font-family:inherit;font-style:inherit;m=
argin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http:=
//research.microsoft.com/en-us/um/people/livshits/" style=3D"border:0px;fon=
t-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vert=
ical-align:baseline;color:rgb(17,123,184)">Ben Livshits</a>,</span>=C2=A0<s=
pan style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;o=
utline:0px;padding:0px;vertical-align:baseline">Microsoft Research, USA<br>=
</span><span style=3D"border:0px;font-family:inherit;font-style:inherit;mar=
gin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http://=
www.mysmu.edu/faculty/davidlo/" style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;=
color:rgb(17,123,184)">David Lo</a>,</span>=C2=A0<span style=3D"border:0px;=
font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;v=
ertical-align:baseline">Singapore Management University, Singapore<br></spa=
n><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0=
px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"https://www.=
linkedin.com/in/francesco-logozzo-4106386" style=3D"border:0px;font-family:=
inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-alig=
n:baseline;color:rgb(17,123,184)">Francesco Logozzo</a>,</span>=C2=A0<span =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline">Facebook</span><span style=3D"b=
order:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pad=
ding:0px;vertical-align:baseline"><br></span><span style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline"><a href=3D"http://madhu.cs.illinois.edu/" style=3D"bord=
er:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;paddin=
g:0px;vertical-align:baseline;color:rgb(17,123,184)">Parthasarathy Madhusud=
an</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Unive=
rsity of Illinois at Urbana-Champaign, USA<br><a href=3D"http://www.lta.dis=
co.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.php" style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Leonardo Maria=
ni</a>,=C2=A0University of Milan Bicocca, Italy<br></span><span style=3D"bo=
rder:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padd=
ing:0px;vertical-align:baseline"><a href=3D"https://www.microsoft.com/en-us=
/research/people/madanm/" style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:=
rgb(17,123,184)">Madanlal Musuvathi</a>,</span>=C2=A0<span style=3D"border:=
0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0=
px;vertical-align:baseline">Microsoft Research<br></span><span style=3D"bor=
der:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;paddi=
ng:0px;vertical-align:baseline"><a href=3D"http://www-verimag.imag.fr/~nour=
i/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;o=
utline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Ayoub=
Nouri</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-=
style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">U=
niversity of Grenoble Alpes, France<br></span><span style=3D"border:0px;fon=
t-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vert=
ical-align:baseline"><a href=3D"http://www.cs.um.edu.mt/gordon.pace/" style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Gordon Pace</a=
>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inh=
erit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">University=
of Malta, Malta<br></span><span style=3D"border:0px;font-family:inherit;fo=
nt-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline=
"><a href=3D"http://u.cs.biu.ac.il/~doronp/" style=3D"border:0px;font-famil=
y:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-al=
ign:baseline;color:rgb(17,123,184)">Doron Peled</a>,</span>=C2=A0<span styl=
e=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0=
px;padding:0px;vertical-align:baseline">Bar Ilan University, Israel<br></sp=
an><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:=
0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http://fsl.=
cs.illinois.edu/index.php/Grigore_Rosu" style=3D"border:0px;font-family:inh=
erit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:b=
aseline;color:rgb(17,123,184)">Grigore Rosu</a>,</span>=C2=A0<span style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline">University of Illinois at Urbana-Champa=
ign, USA<br></span><span style=3D"border:0px;font-family:inherit;font-style=
:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a hre=
f=3D"http://www.srl.inf.ethz.ch/raychev.php" style=3D"border:0px;font-famil=
y:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-al=
ign:baseline;color:rgb(17,123,184)">Veselin Raychev</a>,</span>=C2=A0<span =
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outli=
ne:0px;padding:0px;vertical-align:baseline">ETH Zurich, Switzerland<br></sp=
an><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:=
0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http://soft=
ware.imdea.org/~cesar/" style=3D"border:0px;font-family:inherit;font-style:=
inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rg=
b(17,123,184)">Cesar Sanchez</a>,</span>=C2=A0<span style=3D"border:0px;fon=
t-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vert=
ical-align:baseline">IMDEA Software Institute, Spain<br></span><a href=3D"h=
ttp://www.cse.chalmers.se/~gersch/" style=3D"border:0px;font-family:inherit=
;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:basel=
ine;color:rgb(17,123,184)"><span style=3D"border:0px;font-family:inherit;fo=
nt-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline=
">Gerardo Schneider,</span></a>=C2=A0<span style=3D"border:0px;font-family:=
inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-alig=
n:baseline">Chalmers Univ. of Technology/Univ. of Gothenburg, Sweden<br></s=
pan><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin=
:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"https://cs=
.stanford.edu/people/sharmar/" style=3D"border:0px;font-family:inherit;font=
-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;c=
olor:rgb(17,123,184)">Rahul Sharma</a>,</span>=C2=A0<span style=3D"border:0=
px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0p=
x;vertical-align:baseline">Microsoft Research, USA<br></span><span style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline"><a href=3D"http://julien.signoles.free.=
fr/index.en.html" style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,1=
23,184)">Julien Signoles</a>,</span>=C2=A0<span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline">CEA LIST, France<br></span><span style=3D"border:0px;font-=
family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertic=
al-align:baseline"><a href=3D"http://www3.cs.stonybrook.edu/~sas/" style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline;color:rgb(17,123,184)">Scott Smolka</a>,=
</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Stony Brook =
University, USA<br></span><span style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"=
><a href=3D"https://www.cis.upenn.edu/~sokolsky/" style=3D"border:0px;font-=
family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertic=
al-align:baseline;color:rgb(17,123,184)">Oleg Sokolsky</a>,</span>=C2=A0<sp=
an style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;ou=
tline:0px;padding:0px;vertical-align:baseline">University of Pennsylvania, =
USA<br></span><span style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"=
http://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/prof/Bernhard_Steffen.h=
tml" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;=
outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Bern=
hard Steffen</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit=
;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:basel=
ine">University of Dortmund, Germany<br></span><a href=3D"http://www3.cs.st=
onybrook.edu/~stoller/" style=3D"border:0px;font-family:inherit;font-style:=
inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rg=
b(17,123,184)"><span style=3D"border:0px;font-family:inherit;font-style:inh=
erit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Scott Stol=
ler</span></a>,=C2=A0<span style=3D"border:0px;font-family:inherit;font-sty=
le:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Ston=
y Brook University, USA<br></span><span style=3D"border:0px;font-family:inh=
erit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:b=
aseline"><a href=3D"http://www.mn.uio.no/ifi/personer/vit/stolz/" style=3D"=
border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pa=
dding:0px;vertical-align:baseline;color:rgb(17,123,184)">Volker Stolz</a>,<=
/span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline">University of=
Olso, Norway<br></span><span style=3D"border:0px;font-family:inherit;font-=
style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><=
a href=3D"http://www.cs.ru.nl/~fvaan/" style=3D"border:0px;font-family:inhe=
rit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:ba=
seline;color:rgb(17,123,184)">Frits Vaandrager</a>,</span>=C2=A0<span style=
=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0p=
x;padding:0px;vertical-align:baseline">Radboud University, Netherlands<br><=
/span><span style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http://w=
ww2.le.ac.uk/departments/informatics/people/neil-walkinshaw" style=3D"borde=
r:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline;color:rgb(17,123,184)">Neil Walkinshaw</a>,</s=
pan>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline">University of L=
eicester, UK<br></span><span style=3D"border:0px;font-family:inherit;font-s=
tyle:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a=
href=3D"http://www-bcf.usc.edu/~wang626/" style=3D"border:0px;font-family:=
inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-alig=
n:baseline;color:rgb(17,123,184)">Chao Wang</a>,</span>=C2=A0<span style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline">University of Southern California, USA<=
br></span><span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http=
://www2.in.tum.de/hp/Main?nid=3D315" style=3D"border:0px;font-family:inheri=
t;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:base=
line;color:rgb(17,123,184)">Eugen Zalinescu</a>,</span>=C2=A0<span style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline">Technische Universitat M=C3=BCnchen, Ge=
rmany</span></p><p style=3D"font-variant-ligatures:normal;font-variant-nume=
ric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;li=
ne-height:normal;font-size:13px;color:rgb(64,64,64);border:0px;font-family:=
'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;ou=
tline:0px;padding:0px;vertical-align:baseline">=C2=A0</p></div></div>
--001a114b6cdc1b650405461aaeb0--
--===============0703239088==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============0703239088==--