Skip to content

Commit

Permalink
nits and contact
Browse files Browse the repository at this point in the history
  • Loading branch information
ztatlock committed Oct 16, 2023
1 parent d2f3340 commit 42a1dbb
Showing 1 changed file with 10 additions and 2 deletions.
12 changes: 10 additions & 2 deletions about.html
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ <h2>Contributors</h2>
<li>Yale University</li>
</ul>

<h2>Advisory Group</h1>
<h2>Advisory Group</h2>

<ul>
<li><a href='https://pavpanchekha.com/'>Pavel Panchekha</a>, University of Utah</li>
Expand All @@ -78,12 +78,20 @@ <h2>Advisory Group</h1>
<li><a href='https://ztatlock.net/'>Zachary Tatlock</a>, University of Washington</li>
</ul>

<h2>Community Meetings</h1>
<h2>Community Meetings</h2>

<ul>
<li><a href='https://fpbench.org/community-meetings.html'>Monthly Talk Series</a></li>
<li><a href='https://fpbench.org/talks/fptalks23.html'>Annual Workshop</a></li>
</ul>

<h2>Staying in Touch</h2>

<ul>
<li><a href='https://groups.google.com/a/fpbench.org/g/fpbench'>Mailing List</a></li>
<li><a href='https://join.slack.com/t/fptalks/shared_invite/zt-ft4cn3kn-eZ7WmcozZ37rc0xRGlT5Zg'>Slack</a></li>
</ul>


</body>
</html>

0 comments on commit 42a1dbb

Please sign in to comment.