From 5ac66a952b2797bd4f539968ca31570ef405c7f3 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@gmail.com>
Date: Wed, 21 May 2025 10:17:36 +0200
Subject: [PATCH] By alco, welcome PhIQuS.
---
AlCo/alco.css | 443 --------------------------------------------------
AlCo/index.md | 42 -----
_config.yml | 2 +-
index.md | 27 +--
4 files changed, 6 insertions(+), 508 deletions(-)
delete mode 100644 AlCo/alco.css
delete mode 100644 AlCo/index.md
diff --git a/AlCo/alco.css b/AlCo/alco.css
deleted file mode 100644
index 21bbd87..0000000
--- a/AlCo/alco.css
+++ /dev/null
@@ -1,443 +0,0 @@
-/* Base */
-/* ----------------------------------------------------------*/
-
-/* * { */
- /* margin: 0; */
- /* padding: 0; */
-/* } */
-
-html, body { height: 100%; margin: 0; padding: 0; }
-
-body {
- font-family: 'Source Sans Pro', Helvetica, Arial, sans-serif;
- text-rendering: optimizelegibility;
- /* font-size: 16px; */
- line-height: 1.5;
- font-weight: 300;
- background-color: #fdfdfd;
-}
-
-h1, h2, h3 {
- color: #333;
-}
-/* h1, h2, h3, h4, h5, h6 { font-size: 100%; font-weight: 400; } */
-
-a { color: #2a7ae2; text-decoration: none; }
-a:hover { color: #000; text-decoration: none; border-bottom:1px dotted; }
-a:visited { color: #205caa; }
-
-h2 a, h2 a:hover, h2 a:visited {
- color: #333;
-}
-
-p {
- text-align: justify;
-}
-
-.seminar img.photo {
- height: 12ex;
- float: right;
- margin: 1ex 0 0 1ex;
-}
-
-/* Utility */
-
-.wrap:before,
-.wrap:after { content:""; display:table; }
-.wrap:after { clear: both; }
-.wrap {
- max-width: 800px;
- padding: 0 30px;
- margin: 0 auto;
- zoom: 1;
-}
-
-
-/* Layout Styles */
-/* ----------------------------------------------------------*/
-
-/* Site header */
-
-.site-header {
- border-top: 5px solid #333;
- border-bottom: 1px solid #e8e8e8;
- min-height: 56px;
- background-color: white;
-}
-
-.site-title,
-.site-title:hover,
-.site-title:visited {
- font-family: serif;
- font-style: italic;
- display: block;
- color: #333;
- font-size: 60px;
- letter-spacing: -1px;
- float: left;
- line-height: 56px;
- position: relative;
- z-index: 1;
-}
-
-h1 {
- font-family: serif;
- font-style: italic;
- font-size: 40px;
- font-weight: normal;
- margin-top: 0;
-}
-
-.site-title:hover {
- border-bottom: none;
-}
-
-.site-nav {
- font-size: 100%;
- float: right;
- line-height: 56px;
-}
-
-.site-nav .menu-icon { display: none; }
-
-.site-nav .page-link {
- margin-left: 20px;
- color: black;
- letter-spacing: -.5px;
-}
-
-/* Site footer */
-
-.site-footer {
- border-top: 1px solid #e8e8e8;
- padding: 30px 0;
-}
-
-.footer-heading {
- font-size: 18px;
- font-weight: 300;
- letter-spacing: -.5px;
- margin-bottom: 15px;
-}
-
-.site-footer .column { float: left; margin-bottom: 15px; }
-
-.footer-col-1 {
- width: 270px; /*fallback*/
- width: -webkit-calc(35% - 10px);
- width: -moz-calc(35% - 10px);
- width: -o-calc(35% - 10px);
- width: calc(35% - 10px);
- margin-right: 10px
-}
-.footer-col-2 {
- width: 175px; /*fallback*/
- width: -webkit-calc(23.125% - 10px);
- width: -moz-calc(23.125% - 10px);
- width: -o-calc(23.125% - 10px);
- width: calc(23.125% - 10px);
- margin-right: 10px
-}
-.footer-col-3 {
- width: 335px; /*fallback*/
- width: -webkit-calc(41.875%);
- width: -moz-calc(41.875%);
- width: -o-calc(41.875%);
- width: calc(41.875%);
-}
-
-.site-footer ul { list-style: none; }
-
-.site-footer li,
-.site-footer p {
- font-size: 15px;
- letter-spacing: -.3px;
- color: #828282;
-}
-
-.github-icon-svg,
-.twitter-icon-svg {
- display: inline-block;
- width: 16px;
- height: 16px;
- position: relative;
- top: 3px;
-}
-
-
-/* Page Content styles */
-/* ----------------------------------------------------------*/
-
-.page-content {
- padding: 30px 0;
- background-color: #fff;
-}
-
-
-/* Home styles */
-/* ----------------------------------------------------------*/
-
-.home h1 { margin-bottom: 25px; }
-
-.posts { list-style-type: none; }
-
-.posts li { margin-bottom: 30px; }
-
-.posts .post-link {
- font-size: 24px;
- letter-spacing: -1px;
- line-height: 1;
-}
-
-.posts .post-date {
- display: block;
- font-size: 15px;
- color: #818181;
-}
-
-
-/* Post styles */
-/* ----------------------------------------------------------*/
-
-.post-header { margin: 10px 0 30px; }
-
-.post-header h1 {
- font-size: 42px;
- letter-spacing: -1.75px;
- line-height: 1;
- font-weight: 300;
-}
-
-.post-header .meta {
- font-size: 15px;
- color: #818181;
- margin-top: 5px;
-}
-
-.post-content { margin: 0 0 30px; }
-
-.post-content > * { margin: 20px 0; }
-
-
-.post-content h1,
-.post-content h2,
-.post-content h3,
-.post-content h4,
-.post-content h5,
-.post-content h6 {
- line-height: 1;
- font-weight: 300;
- margin: 40px 0 20px;
-}
-
-.post-content h2 {
- font-size: 32px;
- letter-spacing: -1.25px;
-}
-
-.post-content h3 {
- font-size: 26px;
- letter-spacing: -1px;
-}
-
-.post-content h4 {
- font-size: 20px;
- letter-spacing: -1px;
-}
-
-.post-content blockquote {
- border-left: 4px solid #e8e8e8;
- padding-left: 20px;
- font-size: 18px;
- opacity: .6;
- letter-spacing: -1px;
- font-style: italic;
- margin: 30px 0;
-}
-
-.post-content ul,
-.post-content ol { padding-left: 20px; }
-
-.post pre,
-.post code {
- border: 1px solid #d5d5e9;
- background-color: #eef;
- padding: 8px 12px;
- -webkit-border-radius: 3px;
- -moz-border-radius: 3px;
- border-radius: 3px;
- font-size: 15px;
- overflow:scroll;
-}
-
-.post code { padding: 1px 5px; }
-
-.post ul,
-.post ol { margin-left: 1.35em; }
-
-.post pre code {
- border: 0;
- padding-right: 0;
- padding-left: 0;
-}
-
-/* terminal */
-.post pre.terminal {
- border: 1px solid #000;
- background-color: #333;
- color: #FFF;
- -webkit-border-radius: 3px;
- -moz-border-radius: 3px;
- border-radius: 3px;
-}
-
-.post pre.terminal code { background-color: #333; }
-
-/* Syntax highlighting styles */
-/* ----------------------------------------------------------*/
-
-.highlight { background: #ffffff; }
-.highlight .c { color: #999988; font-style: italic } /* Comment */
-.highlight .err { color: #a61717; background-color: #e3d2d2 } /* Error */
-.highlight .k { font-weight: bold } /* Keyword */
-.highlight .o { font-weight: bold } /* Operator */
-.highlight .cm { color: #999988; font-style: italic } /* Comment.Multiline */
-.highlight .cp { color: #999999; font-weight: bold } /* Comment.Preproc */
-.highlight .c1 { color: #999988; font-style: italic } /* Comment.Single */
-.highlight .cs { color: #999999; font-weight: bold; font-style: italic } /* Comment.Special */
-.highlight .gd { color: #000000; background-color: #ffdddd } /* Generic.Deleted */
-.highlight .gd .x { color: #000000; background-color: #ffaaaa } /* Generic.Deleted.Specific */
-.highlight .ge { font-style: italic } /* Generic.Emph */
-.highlight .gr { color: #aa0000 } /* Generic.Error */
-.highlight .gh { color: #999999 } /* Generic.Heading */
-.highlight .gi { color: #000000; background-color: #ddffdd } /* Generic.Inserted */
-.highlight .gi .x { color: #000000; background-color: #aaffaa } /* Generic.Inserted.Specific */
-.highlight .go { color: #888888 } /* Generic.Output */
-.highlight .gp { color: #555555 } /* Generic.Prompt */
-.highlight .gs { font-weight: bold } /* Generic.Strong */
-.highlight .gu { color: #aaaaaa } /* Generic.Subheading */
-.highlight .gt { color: #aa0000 } /* Generic.Traceback */
-.highlight .kc { font-weight: bold } /* Keyword.Constant */
-.highlight .kd { font-weight: bold } /* Keyword.Declaration */
-.highlight .kp { font-weight: bold } /* Keyword.Pseudo */
-.highlight .kr { font-weight: bold } /* Keyword.Reserved */
-.highlight .kt { color: #445588; font-weight: bold } /* Keyword.Type */
-.highlight .m { color: #009999 } /* Literal.Number */
-.highlight .s { color: #d14 } /* Literal.String */
-.highlight .na { color: #008080 } /* Name.Attribute */
-.highlight .nb { color: #0086B3 } /* Name.Builtin */
-.highlight .nc { color: #445588; font-weight: bold } /* Name.Class */
-.highlight .no { color: #008080 } /* Name.Constant */
-.highlight .ni { color: #800080 } /* Name.Entity */
-.highlight .ne { color: #990000; font-weight: bold } /* Name.Exception */
-.highlight .nf { color: #990000; font-weight: bold } /* Name.Function */
-.highlight .nn { color: #555555 } /* Name.Namespace */
-.highlight .nt { color: #000080 } /* Name.Tag */
-.highlight .nv { color: #008080 } /* Name.Variable */
-.highlight .ow { font-weight: bold } /* Operator.Word */
-.highlight .w { color: #bbbbbb } /* Text.Whitespace */
-.highlight .mf { color: #009999 } /* Literal.Number.Float */
-.highlight .mh { color: #009999 } /* Literal.Number.Hex */
-.highlight .mi { color: #009999 } /* Literal.Number.Integer */
-.highlight .mo { color: #009999 } /* Literal.Number.Oct */
-.highlight .sb { color: #d14 } /* Literal.String.Backtick */
-.highlight .sc { color: #d14 } /* Literal.String.Char */
-.highlight .sd { color: #d14 } /* Literal.String.Doc */
-.highlight .s2 { color: #d14 } /* Literal.String.Double */
-.highlight .se { color: #d14 } /* Literal.String.Escape */
-.highlight .sh { color: #d14 } /* Literal.String.Heredoc */
-.highlight .si { color: #d14 } /* Literal.String.Interpol */
-.highlight .sx { color: #d14 } /* Literal.String.Other */
-.highlight .sr { color: #009926 } /* Literal.String.Regex */
-.highlight .s1 { color: #d14 } /* Literal.String.Single */
-.highlight .ss { color: #990073 } /* Literal.String.Symbol */
-.highlight .bp { color: #999999 } /* Name.Builtin.Pseudo */
-.highlight .vc { color: #008080 } /* Name.Variable.Class */
-.highlight .vg { color: #008080 } /* Name.Variable.Global */
-.highlight .vi { color: #008080 } /* Name.Variable.Instance */
-.highlight .il { color: #009999 } /* Literal.Number.Integer.Long */
-
-
-/* media queries */
-/* ----------------------------------------------------------*/
-
-
-@media screen and (max-width: 750px) {
-
- .footer-col-1 { width: 50%; }
-
- .footer-col-2 {
- width: 45%; /*fallback*/
- width: -webkit-calc(50% - 10px);
- width: -moz-calc(50% - 10px);
- width: -o-calc(50% - 10px);
- width: calc(50% - 10px);
- margin-right: 0;
- }
-
- .site-footer .column.footer-col-3 {
- width: auto;
- float: none;
- clear: both;
- }
-
-}
-
-@media screen and (max-width: 600px) {
-
- .wrap { padding: 0 12px; }
-
- .site-nav {
- position: fixed;
- z-index: 10;
- top: 14px; right: 8px;
- background-color: white;
- -webkit-border-radius: 5px;
- -moz-border-radius: 5px;
- border-radius: 5px;
- border: 1px solid #e8e8e8;
- }
-
- .site-nav .menu-icon {
- display: block;
- font-size: 24px;
- color: #505050;
- float: right;
- width: 36px;
- text-align: center;
- line-height: 36px;
- }
-
- .site-nav .menu-icon svg { width: 18px; height: 16px; }
-
- .site-nav .trigger {
- clear: both;
- margin-bottom: 5px;
- display: none;
- }
-
- .site-nav:hover .trigger { display: block; }
-
- .site-nav .page-link {
- display: block;
- text-align: right;
- line-height: 1.25;
- padding: 5px 10px;
- margin: 0;
- }
-
- .post-header h1 { font-size: 36px; }
- .post-content h2 { font-size: 28px; }
- .post-content h3 { font-size: 22px; }
- .post-content h4 { font-size: 18px; }
- .post-content blockquote { padding-left: 10px; }
- .post-content ul,
- .post-content ol { padding-left: 10px; }
-
- .site-footer .column {
- float: none;
- clear: both;
- width: auto;
- margin: 0 0 15px; }
-
-}
diff --git a/AlCo/index.md b/AlCo/index.md
deleted file mode 100644
index b5a9560..0000000
--- a/AlCo/index.md
+++ /dev/null
@@ -1,42 +0,0 @@
----
-layout: default
-title: Team AlCo
----
-
-# Presentation
-
-The AlCo (Algorithms and Complexity) team is part of the [LIX
-laboratory](http://www.lix.polytechnique.fr) at [École
-Polytechnique](http://www.polytechnique.edu/). It is part of the Pole [_Proofs
-and Algorithms_](https://www.lix.polytechnique.fr/proofs-algorithms/).
-
-The AlCo team works on algorithms, and complexity and computability theory. It
-works more concretely on analog computation models, constraint satisfaction
-problems and their complexity in various computational models, probabilistic
-analysis and approximation algorithms.
-
-## Permanent Members
-
-- Olivier Bournez (Polytechnique)
-- Benjamin Doerr (Polytechnique)
-- Miki Hermann (CNRS)
-- Martin Krejca (Polytechnique)
-- Hang Zhou (Poytechnique)
-
-## Postdocs
-
-- Riccardo Gozzi
-
-
-## PhD Students
-
-- Manon Blanc
-- Valentin Dardilhac
-- Johan Girardot
-
-## Seminars
-
-We have merged our seminar with the following two seminars:
-
-- [The Proofs and algorithms pole seminar](https://www.lix.polytechnique.fr/proofs-algorithms/seminar/)
-- [Séminare Algorithmique du Plateau de Saclay](https://bournez.gitlabpages.inria.fr/seminar-algorithms-plateau-Saclay/)
diff --git a/_config.yml b/_config.yml
index 86728f9..82e6b12 100644
--- a/_config.yml
+++ b/_config.yml
@@ -19,9 +19,9 @@ url: "https://www.lix.polytechnique.fr" # the base hostname & protocol for your
# --- List of links in the navigation bar --- #
navbar-links:
- AlCo: "AlCo"
Cosynus: "http://www.lix.polytechnique.fr/cosynus/"
Partout: "https://team.inria.fr/partout/"
+ PhIQuS: "https://team.inria.fr/phiqus/"
Seminar: "seminar"
Misc:
- TCS: "tcs"
diff --git a/index.md b/index.md
index 4953d59..bbbfd73 100644
--- a/index.md
+++ b/index.md
@@ -4,36 +4,19 @@ title: The proofs and algorithms pole
subtitle: A LIX pole
---
-_Proofs and algorithms_ is one of the
-[poles](https://www.lix.polytechnique.fr/article/2/view) of the [LIX
-lab](https://www.lix.polytechnique.fr/) at École Polytechnique.
+_Proofs and algorithms_ is one of the [poles](https://www.lix.polytechnique.fr/article/2/view) of the [LIX lab](https://www.lix.polytechnique.fr/) at École Polytechnique.
-Software and hardware systems perform computations (systems that process,
-compute and perform) and deduction (systems that search, check or prove). The
-makers of those systems express their intent using various frameworks such as
-programming languages, specification languages, and logics. Correctness of
-systems is a crucial issue. It is often necessary to go further, and also to be
-able to guarantee efficiency of conceived solutions, which sometimes depends
-heavily on the used paradigm or model of computation, or of the model of the
-underlying system.
+Software and hardware systems perform computations (systems that process, compute and perform) and deduction (systems that search, check or prove). The makers of those systems express their intent using various frameworks such as programming languages, specification languages, and logics. Correctness of systems is a crucial issue. It is often necessary to go further, and also to be able to guarantee efficiency of conceived solutions, which sometimes depends heavily on the used paradigm or model of computation, or of the model of the underlying system.
-The pole "Proofs and algorithms" aims at developing and using mathematical
-principles to design better frameworks for efficient and correct computations
-and reasoning,
+The pole "Proofs and algorithms" aims at developing and using mathematical principles to design better frameworks for efficient and correct computations and reasoning,
-We focus on foundational approaches, from theories to applications: studying
-fundamental problems of programming and proof theory (foundations of proof
-theory, semantics, computability and complexity theory, models of computations,
-foundations of complexity analysis for functional and imperative programming),
-modeling and analysis of programs and systems (invariants, temporal properties,
-correctness guarantees), computability and complexity theory for randomized
-algorithms, analog models of computations and constraint solving. One privileged
-field of applications concerns analog and numerical systems.
+We focus on foundational approaches, from theories to applications: studying fundamental problems of programming and proof theory (foundations of proof theory, semantics, computability and complexity theory, models of computations, foundations of complexity analysis for functional and imperative programming), modeling and analysis of programs and systems (invariants, temporal properties, correctness guarantees), computability and complexity theory for randomized algorithms, analog models of computations and constraint solving. One privileged field of applications concerns analog and numerical systems.
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/)
We have a [common seminar](seminar).
--
GitLab