RV 2017 - 2nd Call for papers and tutorials
Klaus Havelund <[email protected]> Sun, 26 Feb 2017 15:45:43 -0800
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <CABdH3mCjnwr0yEuZxMhAsPX2h6eCQmEPoEZHpmhCPGJCqom6sA__4153.60083939067$1488291444$gmane$org@mail.gmail.com> |
--===============0380947125==
Content-Type: multipart/alternative; boundary=f403045f83f6b456bf0549778fb5
--f403045f83f6b456bf0549778fb5
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
[email protected]
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
- Camera-ready deadline: July 24, 2017
- Conference: September 13-16, 2017
Invited Speakers
We are very pleased to confirm the following invited speakers for RV 2017:
<http://cs.brown.edu/~rfonseca/>
- Rodrigo Fonseca <http://cs.brown.edu/~rfonseca/>, Brown University, US=
A
- Vlad Levin and Jakob Lichtenberg
<https://msdn.microsoft.com/en-us/windows/hardware/drivers/devtest/stati=
c-and-dynamic-verification-tools>,
Microsoft Research, USA
- Andreas Zeller <https://www.st.cs.uni-saarland.de/zeller/>, Saarland
University, Germany
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*
Shuvendu Lahiri <https://www.microsoft.com/en-us/research/people/shuvendu/>=
,
Microsoft Research, USA
Giles Reger <http://www.cs.man.ac.uk/~regerg/>, University of Manchester, U=
K
*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
--f403045f83f6b456bf0549778fb5
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<div dir=3D"ltr"><div style=3D"color:rgb(0,0,0);font-family:calibri,sans-se=
rif;font-size:14px;font-variant-ligatures:normal;font-variant-numeric:norma=
l;font-variant-alternates:normal;font-variant-east-asian:normal;line-height=
:normal"><p class=3D"gmail-p1" style=3D"border:0px;font-family:'helveti=
ca neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pa=
dding:0px;vertical-align:baseline;text-align:center"><span class=3D"gmail-s=
1" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;ou=
tline:0px;padding:0px;vertical-align:baseline;font-size:16px"><b><font colo=
r=3D"#ff0000">RV 2017</font></b></span></p><p class=3D"gmail-p2" style=3D"f=
ont-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neu=
e',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;padding:=
0px;vertical-align:baseline;text-align:center"><span class=3D"gmail-s1" sty=
le=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"border:0px;font-family:inherit;f=
ont-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baselin=
e">=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-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;text-align=
:center"><span class=3D"gmail-s1" style=3D"border:0px;font-family:inherit;f=
ont-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baselin=
e">=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0The 17th Int=
ernational Conference on Runtime Verification</span></p><p class=3D"gmail-p=
4" style=3D"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;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">=C2=A0=C2=A0=C2=A0=C2=
=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0September 13-16, Seattle, WA, USA</s=
pan></p><p class=3D"gmail-p5" style=3D"font-size:13px;color:rgb(64,64,64);b=
order:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;m=
argin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline;text-al=
ign:center"><span class=3D"gmail-s3" 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://rv2017.cs.manchester.ac.uk/" 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)">http://rv2017.cs.manchester.ac.=
uk</a></span></p><p class=3D"gmail-p6" style=3D"font-size:13px;color:rgb(64=
,64,64);border:0px;font-family:'helvetica neue',helvetica,arial,san=
s-serif;margin-bottom:1.5em;outline:0px;padding:0px;vertical-align:baseline=
"><span class=3D"gmail-s3" style=3D"border:0px;font-family:inherit;font-sty=
le: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 =
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=
=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0<a href=
=3D"mailto:[email protected]" 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)">[email protected]</a></span></p><p style=3D"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"=
>Runtime verification is concerned with the monitoring and analysis of the =
runtime behaviour of software and hardware systems. Runtime verification te=
chniques are crucial for system correctness, reliability, and robustness; t=
hey p</span><span style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline">rovide an add=
itional level of rigor and effectiveness compared to conventional testing</=
span><span style=3D"border:0px;font-family:inherit;font-style:inherit;margi=
n:0px;outline:0px;padding:0px;vertical-align:baseline">, and are generally =
more practical than exhaustive formal verification. Runtime verification ca=
n be used prior to deployment, for testing, verification, and debugging pur=
poses, and after deployment for ensuring reliability, safety, and security =
and for providing fault containment and recovery as well as online system r=
epair.=C2=A0</span></p><p style=3D"font-size:13px;color:rgb(64,64,64);borde=
r:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;margi=
n:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span styl=
e=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0=
px;padding:0px;vertical-align:baseline">Topics of interest to the conferenc=
e include, but are not limited to:</span></p><ul style=3D"font-size:13px;co=
lor: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-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline"><span style=3D"border:0px;font-family:inherit;font-style:i=
nherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">specific=
ation languages</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">monitor construction tech=
niques</span></li><li style=3D"border:0px;font-family:inherit;font-style:in=
herit;margin:0px;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">program instrumentation</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;v=
ertical-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-size:13px;color:rgb(64,64,6=
4);border:0px;font-family:'helvetica neue',helvetica,arial,sans-ser=
if;margin:0px 0px 1.5em;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">Application areas of runtim=
e verification include cyber-physical systems, safety/mission-critical syst=
ems, enterprise and systems software, autonomous and reactive control syste=
ms, health management and diagnosis systems, and system security and privac=
y.</span></p><p style=3D"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-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline">We welcome contributions exploring the combin=
ation of runtime verification techniques with machine learning and static a=
nalysis. Whilst these are highlight topics, papers falling into these categ=
ories will not be treated differently from other contributions.</span></p><=
p style=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'h=
elvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;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">An overview of previous RV conferences and earlier workshop=
s can be found at:=C2=A0<a href=3D"http://www.runtime-verification.org/" st=
yle=3D"border:0px;font-family:inherit;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-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"><span style=3D"border:0px;font-family:inherit;font-style:inherit;mar=
gin:0px;outline:0px;padding:0px;vertical-align:baseline">RV 2017 will be he=
ld 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-size:20px;color:rgb(64,64,64);border:0px;font-family:georgia=
,'times new roman',serif;font-weight:inherit;margin:40px 0px 10px;o=
utline:0px;padding:0px;vertical-align:baseline;clear:both;line-height:28px"=
><span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0p=
x;outline:0px;padding:0px;vertical-align:baseline">Important Dates</span></=
h2><p style=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:&#=
39;helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outl=
ine:0px;padding:0px;vertical-align:baseline"><b>Papers</b><span style=3D"bo=
rder:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padd=
ing:0px;vertical-align:baseline">=C2=A0as well as=C2=A0</span><b>tutorial p=
roposals</b><span style=3D"border:0px;font-family:inherit;font-style:inheri=
t;margin:0px;outline:0px;padding:0px;vertical-align:baseline">=C2=A0will fo=
llow the following timeline:</span></p><ul style=3D"font-size:13px;color:rg=
b(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:i=
nherit;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">Abstract deadl=
ine: 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;v=
ertical-align:baseline"><span style=3D"border:0px;font-family:inherit;font-=
style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">P=
aper and tutorial deadline: May 1, 2017 (Anywhere on Earth)</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">Tutorial notification: May 21, 2017</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">Paper notification: June 26, 2017<br></span></li><li style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline">Camera-ready deadline: July 24, 2017</l=
i><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">Conference: September 13-16, 2017</span></li></ul>=
<h2 style=3D"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">Invited Speakers</spa=
n></h2><p style=3D"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">We are very pleased to con=
firm the following invited speakers for RV 2017:</p><ul style=3D"font-size:=
13px;color:rgb(64,64,64);border:0px;font-family:'helvetica neue',he=
lvetica,arial,sans-serif;margin:0px 0px 20px 3em;outline:0px;padding:0px;ve=
rtical-align:baseline;list-style:none"><a href=3D"http://cs.brown.edu/~rfon=
seca/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0p=
x;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)"><p=
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px 0px =
1.5em;outline:0px;padding:0px;vertical-align:baseline"></p></a><li style=3D=
"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;p=
adding:0px;vertical-align:baseline"><a href=3D"http://cs.brown.edu/~rfonsec=
a/" 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)">Rodri=
go Fonseca</a>, Brown University, USA</li><li style=3D"border:0px;font-fami=
ly:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-a=
lign:baseline"><a href=3D"https://msdn.microsoft.com/en-us/windows/hardware=
/drivers/devtest/static-and-dynamic-verification-tools" style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline;color:rgb(17,123,184)">Vlad Levin and Jakob Lichten=
berg</a>, Microsoft Research, USA</li><li style=3D"border:0px;font-family:i=
nherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align=
:baseline"><a href=3D"https://www.st.cs.uni-saarland.de/zeller/" style=3D"b=
order:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pad=
ding:0px;vertical-align:baseline;color:rgb(17,123,184)">Andreas Zeller</a>,=
Saarland University, Germany</li></ul><h2 style=3D"font-size:20px;color:rg=
b(64,64,64);border:0px;font-family:georgia,'times new roman',serif;=
font-weight:inherit;margin:40px 0px 10px;outline:0px;padding:0px;vertical-a=
lign:baseline;clear:both;line-height:28px"><span style=3D"border:0px;font-f=
amily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertica=
l-align:baseline">General Information on Submissions</span></h2><p style=3D=
"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica n=
eue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;paddin=
g:0px;vertical-align:baseline"><span style=3D"border:0px;font-family:inheri=
t;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:base=
line">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:</span></p><p style=3D"font-size:13px;color:rgb(64,64,6=
4);border:0px;font-family:'helvetica neue',helvetica,arial,sans-ser=
if;margin:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><a=
href=3D"http://www.springer.de/comp/lncs/authors.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)"><span style=3D"border:0px;fo=
nt-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ver=
tical-align:baseline">http://www.springer.de/comp/lncs/authors.html</span><=
/a></p><p style=3D"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"><span style=3D"border:0px;=
font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;v=
ertical-align:baseline">Papers must be original work and not be submitted f=
or publication elsewhere. Papers must be written in English and submitted e=
lectronically (in PDF format) using the EasyChair submission page here:</sp=
an></p><p style=3D"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-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:0p=
x;vertical-align:baseline"><span style=3D"border:0px;font-family:inherit;fo=
nt-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline=
">The page limitations mentioned below include all text and figures, but ex=
clude references. Additional details omitted due to space limitations may b=
e included in a clearly marked appendix, that will be reviewed at the discr=
etion of reviewers, but not included in the proceedings.</span></p><p style=
=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetic=
a neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pad=
ding:0px;vertical-align:baseline"><span style=3D"border:0px;font-family:inh=
erit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:b=
aseline">At least one author of each accepted paper and tutorial must atten=
d RV 2017 to present.=C2=A0</span></p><h2 style=3D"font-size:20px;color:rgb=
(64,64,64);border:0px;font-family:georgia,'times new roman',serif;f=
ont-weight:inherit;margin:40px 0px 10px;outline:0px;padding:0px;vertical-al=
ign:baseline;clear:both;line-height:28px"><span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline">Paper Submissions</span></h2><p style=3D"font-size:13px;co=
lor:rgb(64,64,64);border:0px;font-family:'helvetica neue',helvetica=
,arial,sans-serif;margin:0px 0px 1.5em;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">There are th=
ree categories of papers which can be submitted: regular, short or tool pap=
ers. Papers in each category will be reviewed by at least 3 members of the =
Program Committee.</span></p><ul style=3D"font-size:13px;color:rgb(64,64,64=
);border:0px;font-family:'helvetica neue',helvetica,arial,sans-seri=
f;margin:0px 0px 20px 3em;outline:0px;padding:0px;vertical-align:baseline;l=
ist-style-position:initial"><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">Regular Papers</strong>=C2=A0(up to 15 pages, n=
ot including references) should present original unpublished results. We we=
lcome theoretical papers, system papers, papers describing domain-specific =
variants of RV, and case studies on runtime verification.</span></li><li st=
yle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline=
:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline"><strong style=3D"border:0px;font-family:inherit;font-style=
:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Short =
Papers</strong>=C2=A0(up to 6 pages, not including references) may present =
novel but not necessarily thoroughly worked out ideas, for example emerging=
runtime verification techniques and applications, or techniques and applic=
ations that establish relationships between runtime verification and other =
domains.=C2=A0</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"><strong style=3D"border:0p=
x;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px=
;vertical-align:baseline">Tool Demonstration Papers</strong>=C2=A0(up to 8 =
pages, not including references) should present a new tool, a new tool comp=
onent, or novel extensions to existing tools supporting runtime verificatio=
n. The paper must include information on tool availability, maturity, selec=
ted experimental results and it should provide a link to a website containi=
ng the theoretical background and user guide. Furthermore, we strongly enco=
urage authors to make their tools and benchmarks available with their submi=
ssion.</span></li></ul><p style=3D"font-size:13px;color:rgb(64,64,64);borde=
r:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;margi=
n:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span styl=
e=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0=
px;padding:0px;vertical-align:baseline">The Program Committee of RV 2017 wi=
ll 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=C2=A0<a=
href=3D"http://link.springer.com/journal/10703" style=3D"border:0px;font-f=
amily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertica=
l-align:baseline;color:rgb(17,123,184)">Formal Methods in System Design</a>=
.</span></p><h2 style=3D"font-size:20px;color:rgb(64,64,64);border:0px;font=
-family:georgia,'times new roman',serif;font-weight:inherit;margin:=
40px 0px 10px;outline:0px;padding:0px;vertical-align:baseline;clear:both;li=
ne-height:28px"><span style=3D"border:0px;font-family:inherit;font-style:in=
herit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Tutorial =
Submissions</span></h2><p style=3D"font-size:13px;color:rgb(64,64,64);borde=
r:0px;font-family:'helvetica neue',helvetica,arial,sans-serif;margi=
n:0px 0px 1.5em;outline:0px;padding:0px;vertical-align:baseline"><span styl=
e=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0=
px;padding:0px;vertical-align:baseline">Tutorials are two-to-three-hour pre=
sentations on a selected topic. Additionally, tutorial presenters will be o=
ffered to publish a paper of up to 20 pages in the LNCS conference proceedi=
ngs,=C2=A0</span><span style=3D"border:0px;font-family:inherit;font-style:i=
nherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">not incl=
uding references</span><span style=3D"border:0px;font-family:inherit;font-s=
tyle:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">.<=
/span></p><p style=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-fa=
mily:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5=
em;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0=
px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0p=
x;vertical-align:baseline">A proposal for a tutorial must contain the subje=
ct of the tutorial, a proposed timeline, a note on previous similar tutoria=
ls (if applicable) and the differences to this incarnation, and a brief bio=
graphy of the presenter. The proposal should not exceed 2 pages.=C2=A0</spa=
n></p><h2 style=3D"font-size:20px;color:rgb(64,64,64);border:0px;font-famil=
y:georgia,'times new roman',serif;font-weight:inherit;margin:40px 0=
px 10px;outline:0px;padding:0px;vertical-align:baseline;clear:both;line-hei=
ght:28px"><span style=3D"border:0px;font-family:inherit;font-style:inherit;=
margin:0px;outline:0px;padding:0px;vertical-align:baseline">Organization</s=
pan></h2><p style=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-fam=
ily:'helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5e=
m;outline:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0p=
x;font-family:inherit;font-size:14px;font-style:inherit;margin:0px;outline:=
0px;padding:0px;vertical-align:baseline"><b>General Chair</b></span></p><p =
style=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'hel=
vetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0p=
x;padding:0px 0px 0px 30px;vertical-align:baseline"><a href=3D"http://www.h=
avelund.com/" style=3D"border:0px;font-family:inherit;font-style:inherit;ma=
rgin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,1=
84)">Klaus Havelund</a>, NASA Jet Propulsion Laboratory, USA</p><p style=3D=
"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetica n=
eue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;paddin=
g:0px;vertical-align:baseline"><span style=3D"border:0px;font-family:inheri=
t;font-size:14px;font-style:inherit;margin:0px;outline:0px;padding:0px;vert=
ical-align:baseline"><b>Program Chairs</b></span></p><p style=3D"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 0px 0=
px 30px;vertical-align:baseline"><a href=3D"https://www.microsoft.com/en-us=
/research/people/shuvendu/" style=3D"border:0px;font-family:inherit;font-st=
yle:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;colo=
r:rgb(17,123,184)">Shuvendu Lahiri</a>, Microsoft Research, USA<br><a href=
=3D"http://www.cs.man.ac.uk/~regerg/" style=3D"border:0px;font-family:inher=
it;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:bas=
eline;color:rgb(17,123,184)">Giles Reger</a>, University of Manchester, UK<=
/p><p style=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:&#=
39;helvetica neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outl=
ine:0px;padding:0px;vertical-align:baseline"><span style=3D"border:0px;font=
-family:inherit;font-size:14px;font-style:inherit;margin:0px;outline:0px;pa=
dding:0px;vertical-align:baseline"><b>Finance Chair</b></span></p><p style=
=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetic=
a neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pad=
ding:0px 0px 0px 30px;vertical-align:baseline"><a href=3D"http://www.cis.up=
enn.edu/~sokolsky/" style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;margin: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-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetic=
a neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pad=
ding:0px;vertical-align:baseline"><span style=3D"border:0px;font-family:inh=
erit;font-size:14px;font-style:inherit;margin:0px;outline:0px;padding:0px;v=
ertical-align:baseline"><b>Publicity Chair</b></span></p><p style=3D"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 0=
px 0px 30px;vertical-align:baseline"><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;vertical-align:baseline;color:rgb(17,123,184)">=
Ayoub Nour</a>i, University of Grenoble Alpes, France</p><p style=3D"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>Local Organisation Chairs</b></span></p><p style=3D"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 0=
px 0px 30px;vertical-align:baseline"><a href=3D"http://homes.cs.washington.=
edu/~grigory/about.html" style=3D"border:0px;font-family:inherit;font-style=
:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:r=
gb(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;vertical-align:baseline;c=
olor:rgb(17,123,184)">Rahul Kumar</a>, Microsoft Research, USA</p><p style=
=3D"font-size:13px;color:rgb(64,64,64);border:0px;font-family:'helvetic=
a neue',helvetica,arial,sans-serif;margin:0px 0px 1.5em;outline:0px;pad=
ding:0px;vertical-align:baseline"><span style=3D"border:0px;font-family:inh=
erit;font-size:14px;font-style:inherit;margin:0px;outline:0px;padding:0px;v=
ertical-align:baseline"><b>Program Committee</b></span></p><p style=3D"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=
0px 0px 30px;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"><a href=3D"http://www.cse.chalmers.se/~ahrendt/" 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)">Wolfgang Ahrendt</a>,=
=C2=A0</span><span style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Chalmers Uni=
v. of Technology/Univ. of Gothenburg, Sweden<br></span><a href=3D"https://p=
eople.kth.se/~artho/" style=3D"border:0px;font-family:inherit;font-style:in=
herit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(=
17,123,184)"><span style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Cyrille</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">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<br></span><span style=3D"border:0px;font-family:=
inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-alig=
n:baseline"><a href=3D"http://www.cas.mcmaster.ca/borzoo/" 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)">Borzoo Bonakdarpour</a></=
span><span style=3D"border:0px;font-family:inherit;font-style:inherit;margi=
n:0px;outline:0px;padding:0px;vertical-align:baseline">, McMaster Universit=
y, Canada<br></span><span style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a hr=
ef=3D"https://www.um.edu.mt/ict/cs/staff/christian_colombo" style=3D"border=
:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:=
0px;vertical-align:baseline;color:rgb(17,123,184)">Christian Colombo</a>,</=
span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit=
;margin:0px;outline:0px;padding:0px;vertical-align:baseline">University of =
Malta, Malta<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.ylies.fr/" 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)">Ylies Falcone</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">University of Grenoble Alpes, France<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://homes.c=
s.washington.edu/~grigory/about.html" style=3D"border:0px;font-family:inher=
it;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:bas=
eline;color:rgb(17,123,184)">Grigory Fedyukovich</a>,</span>=C2=A0<span sty=
le=3D"border: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;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"https://=
www.cs.virginia.edu/~lufeng/" style=3D"border:0px;font-family:inherit;font-=
style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;co=
lor:rgb(17,123,184)">Lu Feng</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">University of Virginia, USA<br></span><span style=3D"b=
order:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pad=
ding:0px;vertical-align:baseline"><a href=3D"https://patricegodefroid.githu=
b.io/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0p=
x;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Pa=
trice=C2=A0Godefroid</a>,</span>=C2=A0<span style=3D"border:0px;font-family=
:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-ali=
gn:baseline">Microsoft Research, USA<br></span><span style=3D"border:0px;fo=
nt-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ver=
tical-align:baseline"><a href=3D"http://www.lsv.ens-cachan.fr/~goubault/" s=
tyle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outlin=
e:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Jean Gouba=
ult-Larrecq</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">CNRS</span><span style=3D"border:0px;font-family:inherit;font-style:inh=
erit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">=C2=A0&=
;=C2=A0</span><span style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;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:0px;padding:0px;vertical-align:baseline">=C2=A0de Cachan</span><spa=
n style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;out=
line:0px;padding:0px;vertical-align:baseline">, France<br></span><span styl=
e=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0=
px;padding:0px;vertical-align:baseline"><a href=3D"http://eecs.oregonstate.=
edu/people/groce-alex" style=3D"border:0px;font-family:inherit;font-style:i=
nherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb=
(17,123,184)">Alex Groce</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">Northern Arizona University, USA<br></span><span style=3D"=
border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pa=
dding:0px;vertical-align:baseline"><a href=3D"https://ti.tuwien.ac.at/cps/p=
eople/grosu" 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)">Radu Grosu</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">Vienna University of Technology, Austria<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"http://leduotang.ca/sylvain/" s=
tyle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outlin=
e:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Sylvain Ha=
ll=C3=A9</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"=
>University of Qu=C3=A9bec at Chicoutimi</span><span style=3D"border:0px;fo=
nt-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ver=
tical-align:baseline">, Canada<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"http://wwwhome.ewi.utwente.nl/~marieke/" 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)">Marieke Huisma=
n</a>,=C2=A0University of Twente, Netherlands</span><span style=3D"border:0=
px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0p=
x;vertical-align:baseline"><br></span><span style=3D"border:0px;font-family=
:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-ali=
gn:baseline"><a href=3D"https://sites.google.com/site/ivancic/" 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)">Franjo Ivancic</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">Google<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"http://use=
r.it.uu.se/~bengt/" style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17=
,123,184)">Bengt Jonsson</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">Uppsala University, Sweden<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://sites.google.com/site/felix=
klaedtkeshomepage/" style=3D"border:0px;font-family:inherit;font-style:inhe=
rit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17=
,123,184)">Felix Klaedtke</a>,</span>=C2=A0<span style=3D"border:0px;font-f=
amily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertica=
l-align:baseline">NEC Europe Ltd.<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://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>,</span>=C2=A0<spa=
n style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;out=
line:0px;padding:0px;vertical-align:baseline">Microsoft Research, USA<br></=
span><span style=3D"border:0px;font-family:inherit;font-style:inherit;margi=
n:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"http://pe=
ople.cs.aau.dk/~kgl/" style=3D"border:0px;font-family:inherit;font-style:in=
herit;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-fam=
ily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-=
align:baseline">Aalborg University, Denmark<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.cis.upenn.edu/~lee/home/=
home/index.shtml" 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)">Insup Lee</a>,</span>=C2=A0<span style=3D"border:0px;font-family:i=
nherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align=
:baseline">University of Pennsylvania, USA<br></span><span style=3D"border:=
0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0=
px;vertical-align:baseline"><a href=3D"https://people.irisa.fr/Axel.Legay/"=
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outl=
ine:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Axel Leg=
ay</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">Inria=
Rennes, France<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.isp.uni-luebeck.de/leucker" 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)">Martin Leucker</a>,</span>=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=C3=BCbeck=
, Germany<br></span><span style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a hr=
ef=3D"http://research.microsoft.com/en-us/um/people/livshits/" 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)">Ben Livshits</a>,</sp=
an>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;m=
argin:0px;outline:0px;padding:0px;vertical-align:baseline">Microsoft Resear=
ch, 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://www.mysmu.edu/faculty/davidlo/" 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)">David Lo</a>,</span>=C2=A0<span style=3D"=
border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pa=
dding:0px;vertical-align:baseline">Singapore Management University, Singapo=
re<br></span><span style=3D"border:0px;font-family:inherit;font-style:inher=
it;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a href=3D"h=
ttps://www.linkedin.com/in/francesco-logozzo-4106386" style=3D"border:0px;f=
ont-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ve=
rtical-align:baseline;color:rgb(17,123,184)">Francesco Logozzo</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">Facebook</span><spa=
n style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;out=
line:0px;padding:0px;vertical-align:baseline"><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://madhu.cs.illinois.edu/" s=
tyle=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outlin=
e:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Parthasara=
thy Madhusudan</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">University of Illinois at Urbana-Champaign, USA<br><a href=3D"http:/=
/www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMariani.=
php" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;=
outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Leon=
ardo Mariani</a>,=C2=A0University of Milan Bicocca, Italy<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"https://www.microsoft=
.com/en-us/research/people/madanm/" 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)">Madanlal Musuvathi</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">Microsoft Research<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://www-verimag.im=
ag.fr/~nouri/" style=3D"border:0px;font-family:inherit;font-style:inherit;m=
argin:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,=
184)">Ayoub Nouri</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 Grenoble Alpes, France<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.cs.um.edu.mt/gordon.p=
ace/" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px=
;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Gor=
don Pace</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;fon=
t-style:inherit;margin:0px;outline: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-ali=
gn:baseline"><a href=3D"http://u.cs.biu.ac.il/~doronp/" style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline;color:rgb(17,123,184)">Doron Peled</a>,</span>=C2=
=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;margin:=
0px;outline:0px;padding:0px;vertical-align:baseline">Bar Ilan University, I=
srael<br></span><span style=3D"border:0px;font-family:inherit;font-style:in=
herit;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:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;v=
ertical-align:baseline;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;padding:0px;vertical-align:baseline">University of Illinois=
at Urbana-Champaign, 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.srl.inf.ethz.ch/raychev.php" 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)">Veselin Raychev</a>,</=
span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit=
;margin:0px;outline:0px;padding:0px;vertical-align:baseline">ETH Zurich, Sw=
itzerland<br></span><span style=3D"border:0px;font-family:inherit;font-styl=
e:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a hr=
ef=3D"http://software.imdea.org/~cesar/" 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)">Cesar Sanchez</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">IMDEA Software Institute, Spain<br><=
/span><a href=3D"http://www.cse.chalmers.se/~gersch/" style=3D"border:0px;f=
ont-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;ve=
rtical-align:baseline;color:rgb(17,123,184)"><span style=3D"border:0px;font=
-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;verti=
cal-align:baseline">Gerardo Schneider,</span></a>=C2=A0<span style=3D"borde=
r:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding=
:0px;vertical-align:baseline">Chalmers Univ. of Technology/Univ. of Gothenb=
urg, Sweden<br></span><span style=3D"border:0px;font-family:inherit;font-st=
yle:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline"><a =
href=3D"https://cs.stanford.edu/people/sharmar/" style=3D"border:0px;font-f=
amily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertica=
l-align:baseline;color:rgb(17,123,184)">Rahul Sharma</a>,</span>=C2=A0<span=
style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0px;outl=
ine:0px;padding:0px;vertical-align:baseline">Microsoft Research, USA<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"http://jul=
ien.signoles.free.fr/index.en.html" 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)">Julien Signoles</a>,</span>=C2=A0<span style=3D"=
border:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;pa=
dding:0px;vertical-align:baseline">CEA LIST, 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://www3.cs.stonybrook=
.edu/~sas/" style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184=
)">Scott Smolka</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inhe=
rit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:ba=
seline">Stony Brook University, USA<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"https://www.cis.upenn.edu/~sokolsky/" 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)">Oleg Sokolsky<=
/a>,</span>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:i=
nherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline">Universi=
ty of Pennsylvania, 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://ls5-www.cs.tu-dortmund.de/cms/de/mitarbeiter/pro=
f/Bernhard_Steffen.html" style=3D"border:0px;font-family:inherit;font-style=
:inherit;margin:0px;outline:0px;padding:0px;vertical-align:baseline;color:r=
gb(17,123,184)">Bernhard Steffen</a>,</span>=C2=A0<span style=3D"border:0px=
;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;=
vertical-align:baseline">University of Dortmund, Germany<br></span><a href=
=3D"http://www3.cs.stonybrook.edu/~stoller/" 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)"><span style=3D"border:0px;font-family:i=
nherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align=
:baseline">Scott Stoller</span></a>,=C2=A0<span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline">Stony Brook University, USA<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://www.mn.uio.no/ifi/personer/=
vit/stolz/" style=3D"border:0px;font-family:inherit;font-style:inherit;marg=
in:0px;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184=
)">Volker Stolz</a>,</span>=C2=A0<span style=3D"border:0px;font-family:inhe=
rit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical-align:ba=
seline">University of Olso, Norway<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://www.cs.ru.nl/~fvaan/" style=3D"border=
:0px;font-family:inherit;font-style:inherit;margin:0px;outline:0px;padding:=
0px;vertical-align:baseline;color:rgb(17,123,184)">Frits Vaandrager</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">Radboud Univers=
ity, Netherlands<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://www2.le.ac.uk/departments/informatics/people/neil-walki=
nshaw" style=3D"border:0px;font-family:inherit;font-style:inherit;margin:0p=
x;outline:0px;padding:0px;vertical-align:baseline;color:rgb(17,123,184)">Ne=
il Walkinshaw</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">University of Leicester, UK<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://www-bcf.usc.edu/~wang626/" 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)">Chao Wang</a>,</span=
>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;mar=
gin:0px;outline:0px;padding:0px;vertical-align:baseline">University of Sout=
hern California, USA<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://www2.in.tum.de/hp/Main?nid=3D315" 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)">Eugen Zalinescu</a>,</span=
>=C2=A0<span style=3D"border:0px;font-family:inherit;font-style:inherit;mar=
gin:0px;outline:0px;padding:0px;vertical-align:baseline">Technische Univers=
itat M=C3=BCnchen, Germany</span></p><div><span style=3D"border:0px;font-fa=
mily:inherit;font-style:inherit;margin:0px;outline:0px;padding:0px;vertical=
-align:baseline"><br></span></div></div></div>
--f403045f83f6b456bf0549778fb5--
--===============0380947125==
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
--===============0380947125==--