Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 55fd8f19 authored by Samuel Mimram's avatar Samuel Mimram
Browse files

More PhIQuS.

parent 9f89c4f2
Branches
No related tags found
No related merge requests found
Pipeline #1185075 failed
...@@ -14,7 +14,6 @@ We focus on foundational approaches, from theories to applications: studying fun ...@@ -14,7 +14,6 @@ We focus on foundational approaches, from theories to applications: studying fun
The pole consists of the following teams: The pole consists of the following teams:
- [AlCo](AlCo)
- [Cosynus](http://www.lix.polytechnique.fr/cosynus/) - [Cosynus](http://www.lix.polytechnique.fr/cosynus/)
- [Partout](https://team.inria.fr/partout/) - [Partout](https://team.inria.fr/partout/)
- [PhIQuS](https://team.inria.fr/phiqus/) - [PhIQuS](https://team.inria.fr/phiqus/)
......
...@@ -19,7 +19,7 @@ title: Seminar ...@@ -19,7 +19,7 @@ title: Seminar
<h1>Seminar</h1> <h1>Seminar</h1>
<p> <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> <ul>
<li><a href="https://sympa.lix.polytechnique.fr/lists/subscribe/proofs-algorithms-seminar">subscribe to the mailing-list</a></li> <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> <li><a href="{{ site.baseurl }}/seminar/calendar.ics">subscribe to the calendar</a></li>
...@@ -41,7 +41,7 @@ title: Seminar ...@@ -41,7 +41,7 @@ title: Seminar
{% if talk.video != nil %}(<a href="{{ talk.video }}">recording available</a>){% endif %} {% if talk.video != nil %}(<a href="{{ talk.video }}">recording available</a>){% endif %}
{% if talk.slides != nil %}(<a href="{{ talk.slides }}">slides available</a>){% endif %} {% if talk.slides != nil %}(<a href="{{ talk.slides }}">slides available</a>){% endif %}
<br/> <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 style="clear: both;"></div>
<div class="abstract">{% if talk.abstract != nil %}{{ talk.abstract | markdownify }}{% endif %}</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> <div class="bio">{% if talk.bio != nil %}{{ talk.bio | markdownify }}{% endif %}</div>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment