<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">******************************<wbr
class="">******************************<wbr class="">******</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">CALL FOR
PARTICIPATION</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">ETAPS 2018</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">21st European Joint
Conferences on Theory And Practice of Software</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">ETAPS 2018</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Thessaloniki,
Greece, 14-20 April 2018</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class=""><a
href="http://www.etaps.org/index.php/2018" target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.etaps.org/index.php/2018&source=gmail&ust=1520670250639000&usg=AFQjCNHkm8U28BpLORdQNt53CbYLLGArBg"
class="">http://www.etaps.org/index.<wbr class="">php/2018</a></span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">******************************<wbr
class="">******************************<wbr class="">******</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- ABOUT ETAPS --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">ETAPS is the
primary European forum for academic and industrial</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">researchers working
on topics relating to software science. ETAPS,</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">established in
1998, is a confederation of five main annual</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">conferences,
accompanied by satellite workshops. ETAPS 2018 is the</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">twenty first event
in the series.</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- MAIN CONFERENCES
(14-20 April) --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* ESOP: European
Symposium on Programming</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(PC chair Amal
Ahmed, Northeastern University, USA)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* FASE: Fundamental
Approaches to Software Engineering</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(PC chairs
Alessandra Russo, Imperial College London, UK, </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">and Andy Schürr,
Technische Universität Darmstadt, Germany)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* FoSSaCS:
Foundations of Software Science</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">and Computation
Structures</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(PC chairs Christel
Baier, Technische Universität Dresden, Germany,</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">and Ugo Dal Lago,
Università di Bologna, Italy)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* POST: Principles
of Security and Trust</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(PC chairs Lujo
Bauer, Carnegie Mellon University, USA,</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">and Ralf Küsters,
University of Stuttgart, Germany)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* TACAS: Tools and
Algorithms for</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">the Construction
and Analysis of Systems</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(PC chairs Dirk
Beyer, LMU Munich, Germany,</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">and Marieke
Huisman, Universiteit Twente, The Netherlands)</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">TACAS '18 hosts the
7th Competition on Software Verification</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(SV-COMP)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class=""><a
href="http://sv-comp.sosy-lab.org/2018/" target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://sv-comp.sosy-lab.org/2018/&source=gmail&ust=1520670250639000&usg=AFQjCNGOzHRX0XneWQZvO3SKzg4OCdWI4A"
class="">http://sv-comp.sosy-lab.org/<wbr class="">2018/</a></span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- INVITED SPEAKERS
--</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* Unifying speaker:</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Martin Abadi
(Google Brain, USA)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Title: On the
Theory and Practice of Software that Learns</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* FASE invited
speaker:</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Pamela Zave
(AT&T Labs, USA)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Title: When the
model really matters: The compositional architecture of the
Internet</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* POST invited
speaker:</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Benjamin C. Pierce
(University of Pennsylvania, USA)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Title: The Science
of Deep Specification</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* ESOP invited
speaker:</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Derek Dreyer
(MPI-SWS, Germany)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Title: RustBelt:
Logical Foundations for the Future of Safe Systems Programming</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- INVITED
TUTORIALS</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Armin Biere
(Johannes Kepler University, Linz, Austria)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Title: Searching,
Simplifying, Proving. A Tutorial on Modern SAT Solving</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Fabio Somenzi
(University of Colorado, Boulder, USA)</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- CONTRIBUTED
PAPERS --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">See the conference
program at: <a
href="http://www.etaps.org/index.php/2018/program"
target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.etaps.org/index.php/2018/program&source=gmail&ust=1520670250639000&usg=AFQjCNE5Zi_AKN82wjfrQFCMzwItJKlgXw"
class="">http://www.etaps.org/index.<wbr class="">php/2018/program</a></span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- SATELLITE EVENTS
(14-15 April, 20 April) --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">14 satellite
workshops and other events will take place before or</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">after ETAPS 2018.</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">14-15 April</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 14th IFIP WG 1.3
Int. Workshop on Coalgebraic Methods in Computer Science </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(CMCS 2018) -
Invited speakers: S. Abramsky, C. Kupke, Daniela Petrişan, B. </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Coecke, A.
Kissinger</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 9th Int. Workshop
on Developments in Implicit Computational complExity </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(DICE 2018) -
Invited speakers: J. Hoffmann, A. Das</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* International
Workshop on Games for Logic and Programming Languages </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(GALOP) - Invited
speakers: G. McCusker, M. Mio, U. Schöpp</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* VerifyThis
Verification Competition 2018 at ETAPS 2018 (VerifyThis2018)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 12th Int.
Workshop on Rewriting Logic and its Applications (WRLA 2018)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">- Invited speakers:
S. Escobar, H. Garavel, T. Genet</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 5th Int. Workshop
on Synthesis of Complex Parameters (SynCoP 2018) </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">+ 4th Int. Workshop
on Parameterized Verification (PV 2018) - Invited speakers:</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">N. Bertrand, T.
Dang, P. Ganty, I. Hasuo, K. Quaas</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 6th Workshop on
Hot Issues in Security Principles and Trust (HotSpot 2018)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 1st Int. Workshop
on Methods and Tools for Rigorous System Design </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(MeTRiD 2018) -
Invited speakers: J. Sifakis, T. Tsiodras</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">20 April</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 3rd Workshop on
formal reasoning about Causation, Responsibility, and </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Explanations in
Science and Technology (CREST 2018)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* Formal methods
for ML-based autonomous systems (FoMLAS) - Invited </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">speakers: J.
Rushby, X. Huang, A. Fawzi, M. Castillo-Effen, S. Burton</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 2nd Workshop on
Learning in Verification (LiVe 2018) - Invited speakers:</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">G. Katz, DJ
Dvijotham, P. Kohli</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 3rd Workshop on
Models for Formal Analysis of Real Systems (MARS 2018) </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">+ 6th Int. Workshop
on Verification and Program Transformation (VPT 2018)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">- Invited speakers:
C. Baier, X. Leroy</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* 4th Int. Workshop
on Symbolic and Numerical Methods for Reachability </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Analysis (SNR 2018)</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">* Workshop on
Verification and Synthesis for Software Evolution (VSSE2018)</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- REGISTRATION --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Early registration
is until Friday, 16 March 2018 (23:59 GMT+2).</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class=""><a
href="http://www.etaps.org/index.php/2018/registration"
target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.etaps.org/index.php/2018/registration&source=gmail&ust=1520670250640000&usg=AFQjCNEjAXE32NI2FZzFoDj9b189sU9b3A"
class="">http://www.etaps.org/index.<wbr class="">php/2018/registration</a></span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- ACCOMMODATION --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">The organizers have
negotiated special rates from several hotels in</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Thessaloniki.</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">To benefit from
those, follow the instructions on the conference</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">website.</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- HOST CITY --</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Greece is one of
the world's most popular destinations with ancient and modern </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">attractions such as
museums of the ancient and Byzantine eras and archaeological </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">sites and cities,
all of them with historical monuments which have inspired
modern </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">education and
culture around the world. Thessaloniki is located in the region
of </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Central Macedonia
and as the second largest Greek city it is a significant
business </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">hub for Southeast
Europe and a remarkable place to visit. Built on the waters of
the </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">North Aegean sea,
the city and its 1 million inhabitants are renowned for their </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">hospitality and
easy going lifestyle. The wider area of Macedonia in Greece was
the </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">center of the
ancient kingdom of Macedon, where the philosopher Aristotle, the
father </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">of formal logic,
was born and where he taught Alexander the Great and other </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">important men. </span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- HOST INSTITUTION
--</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">ETAPS 2018 is
hosted by the School of of Informatics of the Aristotle
University</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">of Thessaloniki (<a
href="http://www.csd.auth.gr/en/" target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=it&q=http://www.csd.auth.gr/en/&source=gmail&ust=1520670250640000&usg=AFQjCNGeMexHKzRUlnTSn0O1ikTE3uHzWg"
class="">http://www.csd.auth.gr/en/</a>). The Aristotle
University of Thessaloniki </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">is the largest
university in Greece with about 70.000 students.</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- ORGANIZERS</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Panagiotis Katsaros
(General chair), Nick Bassiliades, Alexander Chatzigeorgiou </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(Workshop chairs),
Ioannis Stamelos, Lefteris Angelis, George Rahonis, Lenore Zuck</span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">(Tutorials chair),
Ezio Bartocci, Simon Bliudze (Publicity chairs) </span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">-- SPONSORS -
EXHIBITORS</span></div>
<div style="margin: 0px; line-height: normal; min-height: 14px;"
class=""><span style="-webkit-font-kerning: none;" class=""></span><br
class="">
</div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Amazon Web
Services, Aristotle University Research Committee, Springer, </span></div>
<div style="margin: 0px; line-height: normal;" class=""><span
style="-webkit-font-kerning: none;" class="">Thessaloniki
Convention Bureau, Austrian Airlines</span></div>
</body>
</html>