Tags

Tags give the ability to mark specific points in history as being important

daal2025

29bf13a9 · sparsify · May 12, 2025

Release: 2025 GT DAAL days
```
Version presented at the 2025 GT DAAL days.
```
Unverified
automata-seminar-may2025

c172f07f · typos · May 09, 2025

Release: 09/05/2025 IRIF's Automata seminar
```
Version presented at IRIF's automata seminar on May the 9th, 2025.
```
Unverified
move-seminar-march2025

97be08ae · add qrcode to hal · May 08, 2025

Release: 28/03/2025 LiS laboratory's MoVe seminar
```
Version presented at the LIS laboratory's MoVe seminar on Friday, March 28th, 2025.
```
Unverified
asv-days-fall2023

9990db23 · devenv: update · May 08, 2025

Release: Fall 2023 IRIF ASV days
```
Version presented at the Fall 2023 IRIF ASV days.
```
Unverified
dagstuhl2025

b3beb5c3 · biblio: update · May 08, 2025

Release: Dagstuhl 2025: Seminar 25141 – Categories for Automata and Language Theory
```
Version presented at the 2025 Dagstuhl seminar on category theory for automata theory.
```
Unverified