diff --git a/index.md b/index.md index bbbfd73f0e309de71b81bd8dbb4e2a53f1c247a1..6a2e565e0476ebf5de70860955ded384561862eb 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 cdbf03742db6df12790026cdf8ea1958c7899b92..dda6e355850c264f19908ee93d44e03c63cdabfd 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>