<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<br>
<div class="moz-forward-container">
<div class="moz-forward-container">
<div style="text-align: center;"><font face="Roboto">Sehr
geehrte Damen und Herren,</font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto"><br>
</font> </div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto">wir möchten
Sie herzlich zu unserem vierten Vortrag in der Reihe
"Distinguished Lecturer Series" einladen.</font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto">Am 05.
Februar 2020 haben wir<font size="+1"> <font
color="#e0b60f"><b>Sabine Glesner</b></font></font> von
der Technischen Universität Berlin zu Gast.<br>
<br>
</font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font size="+2" face="Roboto"
color="#e0b60f"><b><font class="Apple-style-span">"Static
Analysis and Verification of Embedded and Cyber-Physical
Systems"<br>
<br>
</font></b></font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto">wird ihr
Thema sein.</font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto"><br>
</font> </div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto"><img
src="cid:part1.F2449C2C.46BF357A@uni-jena.de" alt=""
class="" width="263" height="261"></font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto"><br>
</font> </div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto">Der Vortrag
findet wie immer<font color="#ed6e19"> <font size="+1"
color="#e0b60f"><b><font class="Apple-style-span">17:00
Uhr am Ernst-Abbe-Platz 2 in Raum 3325</font></b></font></font>
statt.</font></div>
<font face="Roboto"> </font>
<div style="text-align: center;"><font face="Roboto">Weitere
Informationen finden Sie hier: <a
href="http://www.fmi.uni-jena.de/DLS"
moz-do-not-send="true">www.fmi.uni-jena.de/DLS</a></font></div>
<div style="text-align: center;"><br>
</div>
<div><font face="Roboto"><br>
</font> </div>
<font face="Roboto"> </font>
<div><font face="Roboto"><i><font class="Apple-style-span"
size="2" color="#606060">Wenn Sie keine weiteren
Veranstaltungshinweise mehr erhalten möchten, schreiben
Sie bitte eine Email an den Absender mit dem Betreff
"Unsubscribe".</font></i></font></div>
<font face="Roboto"> <br>
<br>
</font>
<div><font face="Roboto"> </font><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0);
font-family: Helvetica; font-style: normal; font-variant:
normal; font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align: -webkit-auto;
text-indent: 0px; text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width:
0px; font-size: medium; "><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0);
font-family: Helvetica; font-style: normal; font-variant:
normal; font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align: -webkit-auto;
text-indent: 0px; text-transform: none; white-space:
normal; widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width:
0px; font-size: medium; "><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0, 0, 0);
font-family: Helvetica; font-style: normal;
font-variant: normal; font-weight: normal;
letter-spacing: normal; line-height: normal; orphans: 2;
text-align: -webkit-auto; text-indent: 0px;
text-transform: none; white-space: normal; widows: 2;
word-spacing: 0px; -webkit-border-horizontal-spacing:
0px; -webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size: medium; "><span
class="Apple-style-span" style="border-collapse:
separate; color: rgb(0, 0, 0); font-family: Helvetica;
font-style: normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height: normal;
orphans: 2; text-align: -webkit-auto; text-indent:
0px; text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size: medium; "><span
class="Apple-style-span" style="border-collapse:
separate; color: rgb(0, 0, 0); font-family:
Helvetica; font-style: normal; font-variant: normal;
font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align:
-webkit-auto; text-indent: 0px; text-transform:
none; white-space: normal; widows: 2; word-spacing:
0px; -webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size: medium; "><span
class="Apple-style-span" style="border-collapse:
separate; color: rgb(0, 0, 0); font-family:
Helvetica; font-style: normal; font-variant:
normal; font-weight: normal; letter-spacing:
normal; line-height: normal; orphans: 2;
text-align: -webkit-auto; text-indent: 0px;
text-transform: none; white-space: normal; widows:
2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size: medium;
"><span class="Apple-style-span"
style="border-collapse: separate; color: rgb(0,
0, 0); font-family: Helvetica; font-style:
normal; font-variant: normal; font-weight:
normal; letter-spacing: normal; line-height:
normal; orphans: 2; text-align: -webkit-auto;
text-indent: 0px; text-transform: none;
white-space: normal; widows: 2; word-spacing:
0px; -webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size:
medium; "><span class="Apple-style-span"
style="border-collapse: separate; color:
rgb(0, 0, 0); font-family: Helvetica;
font-style: normal; font-variant: normal;
font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align:
-webkit-auto; text-indent: 0px;
text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size:
medium; "><span class="Apple-style-span"
style="border-collapse: separate; color:
rgb(0, 0, 0); font-family: Helvetica;
font-style: normal; font-variant: normal;
font-weight: normal; letter-spacing: normal;
line-height: normal; orphans: 2; text-align:
-webkit-auto; text-indent: 0px;
text-transform: none; white-space: normal;
widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect: none;
-webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; font-size:
medium; "><font face="Roboto"> </font>
<div style="word-wrap: break-word;
-webkit-nbsp-mode: space;
-webkit-line-break: after-white-space; "><span
class="Apple-style-span"
style="border-collapse: separate; color:
rgb(0, 0, 0); font-family: Helvetica;
font-style: normal; font-variant:
normal; font-weight: normal;
letter-spacing: normal; line-height:
normal; orphans: 2; text-align:
-webkit-auto; text-indent: 0px;
text-transform: none; white-space:
normal; widows: 2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px;
-webkit-border-vertical-spacing: 0px;
-webkit-text-decorations-in-effect:
none; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px;
font-size: medium; "><font face="Roboto">
</font>
<div style="word-wrap: break-word;
-webkit-nbsp-mode: space;
-webkit-line-break: after-white-space;
"><span class="Apple-style-span"
style="border-collapse: separate;
color: rgb(0, 0, 0); font-family:
Helvetica; font-style: normal;
font-variant: normal; font-weight:
normal; letter-spacing: normal;
line-height: normal; orphans: 2;
text-align: -webkit-auto;
text-indent: 0px; text-transform:
none; white-space: normal; widows:
2; word-spacing: 0px;
-webkit-border-horizontal-spacing:
0px;
-webkit-border-vertical-spacing:
0px;
-webkit-text-decorations-in-effect:
none; -webkit-text-size-adjust:
auto; -webkit-text-stroke-width:
0px; font-size: medium; "><span
class="Apple-style-span"
style="border-collapse: separate;
color: rgb(0, 0, 0); font-family:
Helvetica; font-style: normal;
font-variant: normal; font-weight:
normal; letter-spacing: normal;
line-height: normal; orphans: 2;
text-align: -webkit-auto;
text-indent: 0px; text-transform:
none; white-space: normal; widows:
2; word-spacing: 0px;
-webkit-border-horizontal-spacing:
0px;
-webkit-border-vertical-spacing:
0px;
-webkit-text-decorations-in-effect:
none; -webkit-text-size-adjust:
auto; -webkit-text-stroke-width:
0px; font-size: medium; "><span
class="Apple-style-span"
style="border-collapse:
separate; color: rgb(0, 0, 0);
font-family: Helvetica;
font-style: normal;
font-variant: normal;
font-weight: normal;
letter-spacing: normal;
line-height: normal; orphans: 2;
text-align: -webkit-auto;
text-indent: 0px;
text-transform: none;
white-space: normal; widows: 2;
word-spacing: 0px;
-webkit-border-horizontal-spacing:
0px;
-webkit-border-vertical-spacing:
0px;
-webkit-text-decorations-in-effect:
none; -webkit-text-size-adjust:
auto; -webkit-text-stroke-width:
0px; font-size: medium; "><font
face="Roboto"> </font>
<div style="word-wrap:
break-word; -webkit-nbsp-mode:
space; -webkit-line-break:
after-white-space; "><span
class="Apple-style-span"
style="border-collapse:
separate; color: rgb(0, 0,
0); font-family: Helvetica;
font-style: normal;
font-variant: normal;
font-weight: normal;
letter-spacing: normal;
line-height: normal;
orphans: 2; text-align:
-webkit-auto; text-indent:
0px; text-transform: none;
white-space: normal; widows:
2; word-spacing: 0px;
-webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing:
0px;
-webkit-text-decorations-in-effect:
none;
-webkit-text-size-adjust:
auto;
-webkit-text-stroke-width:
0px; font-size: medium; "><font
face="Roboto"> </font>
<div><font face="Roboto"> </font>
<div style="color: rgb(0,
0, 0); font-family:
Helvetica; "><font
face="Roboto"> </font>
<div><font face="Roboto">Mit
freundlichen Grüßen</font></div>
<font face="Roboto"> </font>
<div><font face="Roboto">Julien
Klaus</font><br>
<br>
<font face="Roboto">---<br>
</font>
<p style="margin: 0px;
padding: 0px 0px
10px; font-size:
12.96px; color:
rgb(102, 102, 102);
line-height: 1.2em;
font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal; font-weight:
400; letter-spacing:
normal; text-align:
left; text-indent:
0px; text-transform:
none; white-space:
normal;
word-spacing: 0px;
-webkit-text-stroke-width:
0px;
text-decoration-style:
initial;
text-decoration-color:
initial;"><font
face="Roboto">Lehrstuhl
für Theoretische
Informatik II<br
style="margin:
0px; padding:
0px;">
</font> <font
face="Roboto"><a
title="Fakultaet"
target="_self"
href="http://www.fmi.uni-jena.de/Fakult%C3%A4t.html"
style="margin:
0px; padding:
0px; font-size:
1em;
text-decoration:
none; color:
rgb(25, 124,
139);"
moz-do-not-send="true">Fakultät
für Mathematik
und Informatik</a><span> </span><a
href="http://www.uni-jena.de/" style="margin: 0px; padding: 0px;
font-size: 1em;
text-decoration:
none; color:
rgb(25, 124,
139);"
moz-do-not-send="true"><br
style="margin:
0px; padding:
0px;">
Friedrich-Schiller-Universität Jena</a><br style="margin: 0px; padding:
0px;">
Ernst-Abbe-Platz 2<br
style="margin:
0px; padding:
0px;">
D-07743 Jena<br
style="margin:
0px; padding:
0px;">
Germany</font></p>
<font face="Roboto"> </font>
<p style="margin: 0px;
padding: 0px 0px
10px; font-size:
12.96px; color:
rgb(102, 102, 102);
line-height: 1.2em;
font-style: normal;
font-variant-ligatures: normal; font-variant-caps: normal; font-weight:
400; letter-spacing:
normal; text-align:
left; text-indent:
0px; text-transform:
none; white-space:
normal;
word-spacing: 0px;
-webkit-text-stroke-width:
0px;
text-decoration-style:
initial;
text-decoration-color:
initial;"><font
face="Roboto"><strong
style="margin:
0px; padding:
0px;">Office:</strong><span> </span>3312<br
style="margin:
0px; padding:
0px;">
</font> <font
face="Roboto"><strong
style="margin:
0px; padding:
0px;">Phone:</strong><span> </span>+49
3641 9 46387<br
style="margin:
0px; padding:
0px;">
</font> <font
face="Roboto"><strong
style="margin:
0px; padding:
0px;">Fax:</strong><span> </span>+49
3641 9 46322<br
style="margin:
0px; padding:
0px;">
</font> <font
face="Roboto"><strong
style="margin:
0px; padding:
0px;">Email:</strong><span> </span>julien.klaus<span> </span><em
style="margin:
0px; padding:
0px;">at</em><span> </span>uni-jena<span> </span><em
style="margin:
0px; padding:
0px;">dot</em><span> </span>de</font></p>
</div>
</div>
</div>
</span></div>
</span></span></span></div>
</span></div>
</span></span></span></span></span></span></span></span></span></div>
</div>
</div>
</body>
</html>