<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p><b id="docs-internal-guid-27d4f0a8-7fff-d3c4-6093-a56e49fed756"
style="caret-color: rgb(0, 0, 0); font-style: normal;
font-variant-caps: normal; letter-spacing: normal; text-align:
start; text-indent: 0px; text-transform: none; white-space:
normal; word-spacing: 0px; -moz-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;
font-weight: normal;">
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Dear all,</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">On Tuesday January 25th, Aart Middeldorp (University of Innsbruck, Austria) will give a talk, Polynomial Termination over N is Undecidable, for our project colloquium from 16:30. Further details can be found below.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">If you would like to attend, please register through the following Google form:</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><a
href="https://forms.gle/6PoGNEfJVHLYDAdKA"
style="text-decoration: none;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; vertical-align: baseline; white-space: pre-wrap;">https://forms.gle/6PoGNEfJVHLYDAdKA</span></a><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">We later send you a zoom link by an email (using BCC).</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">For the latest information about ERATO colloquium / seminar, please see the webpage <a class="moz-txt-link-freetext" href="https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit?usp=sharing">https://docs.google.com/document/d/1Qrg4c8XDkbO3tmns6tQwxn5lGHOrBON5LtHXXTpXDeA/edit?usp=sharing</a> .</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Jérémy Dubut (ERATO MMSD Colloquium Organizer)</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Email: <a class="moz-txt-link-abbreviated" href="mailto:dubut@nii.ac.jp">dubut@nii.ac.jp</a></span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">-------</span><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">
</span><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Tuesday January 25th, 16:30-18:00</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Speaker: </span><b
id="docs-internal-guid-27d4f0a8-7fff-d3c4-6093-a56e49fed756"
style="caret-color: rgb(0, 0, 0); font-style: normal;
font-variant-caps: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-moz-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-weight: normal;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Aart Middeldorp (University of Innsbruck, Austria)</span></b></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><b
id="docs-internal-guid-27d4f0a8-7fff-d3c4-6093-a56e49fed756"
style="caret-color: rgb(0, 0, 0); font-style: normal;
font-variant-caps: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-moz-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-weight: normal;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">
</span></b></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Title: </span><b
id="docs-internal-guid-27d4f0a8-7fff-d3c4-6093-a56e49fed756"
style="caret-color: rgb(0, 0, 0); font-style: normal;
font-variant-caps: normal; letter-spacing: normal;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; word-spacing: 0px;
-moz-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-weight: normal;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Polynomial Termination over N is Undecidable</span></b></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 11pt; font-family: Arial; background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Abstract: Using the undecidability of Hilbert's 10th problem, we present three different proofs of the undecidability of the problem whether the termination of a given rewrite system can be shown by a polynomial interpretation in the natural numbers. The talk is based on joint work with Fabian Mitterwallner.</span></p>
</b><br>
</p>
</body>
</html>