{ ... }:
{
  conferences = {
    number = 2;
    names = {
      CAlCo = [ 2023 ];
      FoSSaCS = [ 2025 ];
      CONCUR = [ 2025 ];
    };
  };
  journals = {
    number = 1;
    names = [ "Theory Appl. Categ." ];
  };
}