From ad103a1c4645daa9da5a387367818cfe37823d73 Mon Sep 17 00:00:00 2001 From: Samuel Mimram <smimram@gmail.com> Date: Wed, 21 May 2025 16:43:06 +0200 Subject: [PATCH] Updated website. --- seminar/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/seminar/index.html b/seminar/index.html index dda6e35..c2ffe1c 100644 --- a/seminar/index.html +++ b/seminar/index.html @@ -19,7 +19,7 @@ title: Seminar <h1>Seminar</h1> <p> - The seminar is joint between<a href="http://www.lix.polytechnique.fr/cosynus/">Cosynus</a>, <a href="https://team.inria.fr/partout/">Partout</a> and <a href="https://team.inria.fr/phiqus/">PhIQuS</a> teams of LIX. To keep informed you can + The seminar is joint between <a href="http://www.lix.polytechnique.fr/cosynus/">Cosynus</a>, <a href="https://team.inria.fr/partout/">Partout</a> and <a href="https://team.inria.fr/phiqus/">PhIQuS</a> teams of LIX. To keep informed you can <ul> <li><a href="https://sympa.lix.polytechnique.fr/lists/subscribe/proofs-algorithms-seminar">subscribe to the mailing-list</a></li> <li><a href="{{ site.baseurl }}/seminar/calendar.ics">subscribe to the calendar</a></li> -- GitLab