From 55fd8f194e9209099d306003ecc7da5967c4ceed Mon Sep 17 00:00:00 2001 From: Samuel Mimram <smimram@gmail.com> Date: Wed, 21 May 2025 10:29:29 +0200 Subject: [PATCH] More PhIQuS. --- index.md | 1 - seminar/index.html | 4 ++-- 2 files changed, 2 insertions(+), 3 deletions(-) diff --git a/index.md b/index.md index bbbfd73..6a2e565 100644 --- a/index.md +++ b/index.md @@ -14,7 +14,6 @@ We focus on foundational approaches, from theories to applications: studying fun The pole consists of the following teams: -- [AlCo](AlCo) - [Cosynus](http://www.lix.polytechnique.fr/cosynus/) - [Partout](https://team.inria.fr/partout/) - [PhIQuS](https://team.inria.fr/phiqus/) diff --git a/seminar/index.html b/seminar/index.html index cdbf037..dda6e35 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="https://www.lix.polytechnique.fr/team/1/view">AlCo</a>, <a href="http://www.lix.polytechnique.fr/cosynus/">Cosynus</a> and <a href="https://team.inria.fr/partout/">Partout</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> @@ -41,7 +41,7 @@ title: Seminar {% if talk.video != nil %}(<a href="{{ talk.video }}">recording available</a>){% endif %} {% if talk.slides != nil %}(<a href="{{ talk.slides }}">slides available</a>){% endif %} <br/> - {% if talk.team %}Invited by the <a href="{{talk.team | replace: "Cosynus", "http://www.lix.polytechnique.fr/cosynus/" | replace: "Partout", "https://team.inria.fr/partout/" | replace: "AlCo", "https://www.lix.polytechnique.fr/alco/"}}">{{talk.team}}</a> team.<br/>{% endif %} + {% if talk.team %}Invited by the <a href="{{talk.team | replace: "Cosynus", "http://www.lix.polytechnique.fr/cosynus/" | replace: "Partout", "https://team.inria.fr/partout/" | replace: "AlCo", "https://www.lix.polytechnique.fr/alco/"}}" | replace: "PhIQuS", "https://team.inria.fr/phiqus/">{{talk.team}}</a> team.<br/>{% endif %} <div style="clear: both;"></div> <div class="abstract">{% if talk.abstract != nil %}{{ talk.abstract | markdownify }}{% endif %}</div> <div class="bio">{% if talk.bio != nil %}{{ talk.bio | markdownify }}{% endif %}</div> -- GitLab