From df40831cad07c4b5ddfa75d05eba749e8e49367b Mon Sep 17 00:00:00 2001 From: aristote Date: Mon, 29 Dec 2025 21:11:15 +0100 Subject: add research output section --- src/research/content.tex | 24 ++++++++++++++++++++++++ src/research/default.nix | 41 +++-------------------------------------- 2 files changed, 27 insertions(+), 38 deletions(-) create mode 100644 src/research/content.tex (limited to 'src/research') diff --git a/src/research/content.tex b/src/research/content.tex new file mode 100644 index 0000000..52e77a2 --- /dev/null +++ b/src/research/content.tex @@ -0,0 +1,24 @@ +$4$ conference papers: CALCO 2025~\cite{aristoteActiveLearningUpwardClosed2025}; +CSL 2024~\cite{aristoteActiveLearningDeterministic2024}; LICS +2025~\cite{aristoteMonotoneWeakDistributive2025}; STACS +2025~\cite{aristoteLearningWeightedAutomata2025}. + +$1$ paper accepted to an upcoming conference (FoSSaCS 2026). + +\smallskip + +$>23$ talks given. $5$ invited talks: Oxford University, Université +Aix-Marseille ($\times 2$), Université de Rouen, Université Savoie-Mont-Blanc + +\smallskip + +\textbf{Awards:} + +\smallskip + +\cventry{CSL 2024~\cite{aristoteActiveLearningDeterministic2024}}{Helena +Rasiowa Award}{Best Student Paper}{}{}{} + +\cventry{CSL 2024~\cite{aristoteActiveLearningDeterministic2024}}{Selected +Paper}{for publication in a special issue of the LMCS +journal~\cite{aristoteActiveLearningDeterministic2025}}{}{}{} diff --git a/src/research/default.nix b/src/research/default.nix index db70f5a..f8b1363 100644 --- a/src/research/default.nix +++ b/src/research/default.nix @@ -1,43 +1,8 @@ { - data, ... }: -let - addBibResource = name: '' - \begin{filecontents*}{${name}.json} - ${builtins.toJSON data.research."${name}"} - \end{filecontents*} - \addbibresource{${name}.json} - ''; -in { - title = "Research"; - priority = 30; - extraHeader = '' - \usepackage[style=ieee]{citation-style-language} - \cslsetup{bib-item-sep = 8 pt plus 4 pt minus 2 pt} - '' - + addBibResource "conferences" - + addBibResource "journals" - + addBibResource "misc" - + addBibResource "reports"; - content = '' - \nocite{*} - - \textbf{Conference papers} - - \printbibliography[heading=none,type=paper-conference] - - \textbf{Journal papers} - - \printbibliography[heading=none,type=article-journal] - - \textbf{Not peer-reviewed} - - \printbibliography[heading=none,nottype=article-journal,nottype=paper-conference,nottype=report] - - \textbf{Reports} - - \printbibliography[heading=none,type=report] - ''; + title = "Research output"; + priority = 1; + content = builtins.readFile ./content.tex; } -- cgit v1.3.1 From f4c78d6dd3b05d4adeeb0cb7a0d6fd4a0bd07cdf Mon Sep 17 00:00:00 2001 From: aristote Date: Wed, 31 Dec 2025 12:23:03 +0100 Subject: sections: remove priority system --- src/bibliography/default.nix | 1 - src/default.nix | 2 +- src/education/default.nix | 1 - src/experience/default.nix | 1 - src/languages/default.nix | 1 - src/research/default.nix | 1 - src/sections.nix | 14 +++++++++++--- src/service/default.nix | 1 - 8 files changed, 12 insertions(+), 10 deletions(-) (limited to 'src/research') diff --git a/src/bibliography/default.nix b/src/bibliography/default.nix index bf4bc27..b34ada4 100644 --- a/src/bibliography/default.nix +++ b/src/bibliography/default.nix @@ -12,7 +12,6 @@ let in { title = "Bibliography"; - priority = 30; extraHeader = '' \usepackage[style=ieee]{citation-style-language} \cslsetup{bib-item-sep = 8 pt plus 4 pt minus 2 pt} diff --git a/src/default.nix b/src/default.nix index dbc9fca..cd5c9cf 100644 --- a/src/default.nix +++ b/src/default.nix @@ -6,7 +6,7 @@ }: with latex; let - sections = sort.byKey "priority" (make ./sections.nix { }); + sections = make ./sections.nix { }; in with data.basics; lines [ diff --git a/src/education/default.nix b/src/education/default.nix index 8d373f8..b2e6289 100644 --- a/src/education/default.nix +++ b/src/education/default.nix @@ -10,7 +10,6 @@ let in { title = "Education"; - priority = 10; content = with latex; for (sortByStartDate education) ( diff --git a/src/experience/default.nix b/src/experience/default.nix index 96bf847..7cc3a39 100644 --- a/src/experience/default.nix +++ b/src/experience/default.nix @@ -9,7 +9,6 @@ let in { title = "Experience"; - priority = 15; content = with latex; for (sort.reverse.byFun (x: with x.date.start; day + 100 * month + 10000 * year) experience) ( diff --git a/src/languages/default.nix b/src/languages/default.nix index 067ba83..9f86c89 100644 --- a/src/languages/default.nix +++ b/src/languages/default.nix @@ -16,7 +16,6 @@ let in { title = "Languages"; - priority = 20; extraHeader = '' \usepackage{emoji} \setemojifont{NotoColorEmoji.ttf}[Path=./fonts/] diff --git a/src/research/default.nix b/src/research/default.nix index f8b1363..99c6f0d 100644 --- a/src/research/default.nix +++ b/src/research/default.nix @@ -3,6 +3,5 @@ }: { title = "Research output"; - priority = 1; content = builtins.readFile ./content.tex; } diff --git a/src/sections.nix b/src/sections.nix index fc749d7..aa2c527 100644 --- a/src/sections.nix +++ b/src/sections.nix @@ -5,8 +5,8 @@ }: let sectionTemplate = section: { - inherit (section) title priority; - extraHeader = if section ? extraHeader then section.extraHeader else ""; + inherit (section) title; + extraHeader = section.extraHeader or ""; content = latex.section section.title section.content; }; makeSection = path: sectionTemplate (make path { }); @@ -17,5 +17,13 @@ builtins.map makeSection [ ./research ./service ./languages - ./bibliography +] +++ [ + { + extraHeader = ""; + content = '' + \newpage + ''; + } + (makeSection ./bibliography) ] diff --git a/src/service/default.nix b/src/service/default.nix index 0b40956..6e183c9 100644 --- a/src/service/default.nix +++ b/src/service/default.nix @@ -9,7 +9,6 @@ let in { title = "Academic service"; - priority = 2; content = [ ( with service.reviews; -- cgit v1.3.1