AGENTS.md
AGENTS.md
Publication Sync
Publications on the homepage are synced by scripts/sync_publications.py, with behavior documented in scripts/README.md.
Author formatting policy:
- Bold
Vivi Anderssoninline using<span class="author-highlight">...</span>. - Show up to 3 authors before
et al. - Use consistent separators:
- one author:
Name - two authors:
Name and Name - three authors:
Name, Name, and Name - more than three authors:
Name, Name, Name, et al.
- one author:
- Publication entries use explicit HTML wrappers:
- title:
<span class="publication-title">...</span> - authors:
<span class="publication-authors">...</span> - meta:
<span class="publication-meta">...</span>
- title:
- Do not use Markdown
**...**to identify publication titles or author emphasis. Use.publication-titlefor titles and.author-highlightfor inline name emphasis. - Use title-based overrides in
scripts/publication_overrides.ymlfor special cases like equal-contribution markers or custom author-line notes such asยท Supervised by Javier Ron.
When changing publication formatting, update:
scripts/sync_publications.pyscripts/publication_overrides.ymlif exceptions are needed- The current publication entries in
index.markdownif they need to be brought into sync immediately
Adding a Talk
Talks are stored in _data/talks.yml. The homepage shows only entries with featured: true. The full archive lives at /talks/.
When adding a new talk:
- Copy the slide deck into
assets/talks/using a date-first filename. - Prefer the schema
YYYY-MM-DD-short-slug.pdf. - Add a new entry to
_data/talks.ymlwith these fields:title: full talk title as displayedlocation: venue and city/countrydate_display: human-readable date shown on the sitesort_date: ISO date used for ordering,YYYY-MM-DDdescription: short summaryfeatured:trueif it should appear on the homepage, otherwisefalselinks: a list of links withlabel,url, andkind
Supported link kinds
slides: rendered with the slide iconwatch: rendered with the play iconexternal: rendered as plain text, useful for seminar or event pages
Example
- title: "Dagstuhl Seminar 26192. Evaluating Logical Correctness in Agentic PoC Exploit Generation"
location: "Dagstuhl, Germany"
date_display: "6 May 2026"
sort_date: "2026-05-06"
description: "A Dagstuhl talk focused on how we evaluated PoCo's logical correctness."
featured: true
links:
- label: "Seminar"
url: "https://www.dagstuhl.de/26192"
kind: "external"
- label: "Slides"
url: "/assets/talks/2026-05-06-dagstuhl-poco-logical-correctness.pdf"
kind: "slides"