mention named opaque types

[web.git] / research / publications.html

diff --git a/research/publications.html b/research/publications.html
index 2a691eb08f7078dc31bc4bb79db4003da1d0e83a..f8ae0b6ffe8b247efed6b40f1dffee362725f53a 100644 (file)
--- a/research/publications.html
+++ b/research/publications.html
@@ -100,7 +100,7 @@ slug: Publications
 </li></ul>
 </p>
 
 </li></ul>
 </p>
 

-<h2>Selected Talks</h2>
+<h2>Workshop Talks</h2>

 
 <h3>2019</h3>
 
 
 <h3>2019</h3>