diff options
| author | quentin@aristote.fr <quentin@aristote.fr> | 2026-10-04 17:51:20 +0200 |
|---|---|---|
| committer | quentin@aristote.fr <quentin@aristote.fr> | 2026-10-04 18:13:38 +0200 |
| commit | 0842beec0fc2c9955361e0d3b5d7711b3875c4c7 (patch) | |
| tree | cc658f73efefa061b7b2050d7e8893d23a04d4aa /experience | |
| parent | 1d4fa17877b6921f1012fe2a7630c445178ec840 (diff) | |
| download | info-master.tar.gz info-master.tar.bz2 info-master.tar.xz | |
Diffstat (limited to 'experience')
| -rw-r--r-- | experience/jobs/2023-09_irif.nix | 2 | ||||
| -rw-r--r-- | experience/service/reviews.nix | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/experience/jobs/2023-09_irif.nix b/experience/jobs/2023-09_irif.nix index 1996a16..b561c72 100644 --- a/experience/jobs/2023-09_irif.nix +++ b/experience/jobs/2023-09_irif.nix @@ -24,5 +24,5 @@ url = "https:/www.irif.fr/~petrisan/"; } ]; - description = "Ongoing. Studying compositionality of monads and its application to effectful programming, in particular within automata theory."; + description = "Thesis to be defended. Studied automata with side-effects in the language of category theory, with a focus, on the one hand, on minimality, and, on the other hand, on the combination of non-determinism with other effects via weak distributive laws."; } diff --git a/experience/service/reviews.nix b/experience/service/reviews.nix index 050b5e0..8cef422 100644 --- a/experience/service/reviews.nix +++ b/experience/service/reviews.nix @@ -1,10 +1,11 @@ { ... }: { conferences = { - number = 4; + number = 5; names = { CALCO = [ 2023 ]; CONCUR = [ 2025 ]; + CSL = [ 2027 ]; LICS = [ 2026 ]; FoSSaCS = [ 2025 ]; }; |