update

Author: stefanzetzsche

.DS_Store

@@ -26,10 +26,6 @@
 	<a class="top" id="topentry" href="news.html">News</a>
 	<p class="space"> · </p>
 	<a class="top" href="publications.html">Publications</a>
-	<p class="space"> · </p>
-	<a class="top" href="teaching.html">Teaching</a>
-	<p class="space"> · </p>
-	<a class="top" href="service.html">Service</a>
 	<a class="top" href="https://www.linkedin.com/in/stefan-zetzsche-881555168"><img class="social" src="files/linkedin.png" alt="linkedin"/></a>
 	<a class="top" href="https://scholar.google.com/citations?user=xzdy3VEAAAAJ&hl=en"><img class="social2" src="files/scholar.png" alt="google scholar"/></a>
 	<a class="top" href="files/cv.pdf"><img class="social2" src="files/cv.svg" alt="cv"/></a>
@@ -55,7 +51,7 @@ <h2>Overview</h2>
 </p>
 <h2><a href="news.html">News</a></h2>
 <ul>
-	<li class="bg">Our paper <cite><a href="https://popl26.sigplan.org/details/dafny-2026-papers/7/ATLAS-Automated-Toolkit-for-Large-Scale-Verified-Code-Synthesis">ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis</a></cite> has been accepted at the <a href="https://popl26.sigplan.org/home/dafny-2026">Dafny workshop</a> at POPL 2026.<br><p class="timeloc">London · 17 Nov 2025</p></li>
+	<li class="bg">Our paper <cite><a href="https://popl26.sigplan.org/details/dafny-2026-papers/7/ATLAS-Automated-Toolkit-for-Large-Scale-Verified-Code-Synthesis">ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis</a></cite> has been accepted at the <a href="https://popl26.sigplan.org/home/dafny-2026">Dafny workshop</a> at POPL 2026.<br><p class="timeloc">17 Nov 2025</p></li>
 </ul>
 </div>