Merge branch 'new-pub-format'

5 files changed, 7 insertions, 7 deletions

diff --git a/experience/2019-06_lis.nix b/experience/2019-06_lis.nix
index 6b2612f..456e6dc 100644
--- a/experience/2019-06_lis.nix
+++ b/experience/2019-06_lis.nix
@@ -27,12 +27,12 @@
     {
       name = "internship report";
       id = "aristoteMarcheQuantiqueReseau2019";
-      type = "Publications";
+      type = "Writings";
     }
     {
       name = "paper";
       id = "aristoteDynamicalTriangulationInduced2020";
-      type = "Publications";
+      type = "Writings";
     }
   ];
   description = "Developed a quantum walker model whose density changes its own environment.";
diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
index 68357fa..0324f3d 100644
--- a/experience/2020-03_nii.nix
+++ b/experience/2020-03_nii.nix
@@ -31,7 +31,7 @@
     {
       name = "internship report";
       id = "aristoteFibrationalFrameworkNested2020";
-      type = "Publications";
+      type = "Writings";
     }
   ];
   description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
diff --git a/experience/2022-03_irif.nix b/experience/2022-03_irif.nix
index 531c0d8..ecffaae 100644
--- a/experience/2022-03_irif.nix
+++ b/experience/2022-03_irif.nix
@@ -27,7 +27,7 @@
     {
       name = "internship report";
       id = "aristoteApplicationsCategoricalFramework2022";
-      type = "Publications";
+      type = "Writings";
     }
   ];
   description = "Generalized a categorical framework for the minimization and active learning of transition systems and instanciated it to develop new such algorithms.";
diff --git a/experience/2022-09_tweag.nix b/experience/2022-09_tweag.nix
index 0836be3..bc7c000 100644
--- a/experience/2022-09_tweag.nix
+++ b/experience/2022-09_tweag.nix
@@ -27,7 +27,7 @@
     {
       name = "blog post";
       id = "aristoteSmtlibbackendsFasterSMTLIBbased2023";
-      type = "Publications";
+      type = "Writings";
     }
     {
       name = "library";
diff --git a/experience/2023-03_irif.nix b/experience/2023-03_irif.nix
index 9e0f0ba..b3aad75 100644
--- a/experience/2023-03_irif.nix
+++ b/experience/2023-03_irif.nix
@@ -25,8 +25,8 @@
   ];
   assets = [
     {
-      type = "Publications";
-      id = "aristoteFunctorialApproachMinimizing2023a";
+      type = "Writings";
+      id = "aristoteActiveLearningDeterministic2024";
       name = "paper";
     }
   ];