News
| Sep 22, 2026 | Starting with the ancora project |
|---|---|
| Dec 05, 2025 | Starting at KIT in January |
| Mar 20, 2025 | New versions of the SIMAX and TAC papers |
| Feb 18, 2025 | Containment comes to CORA |
| Apr 23, 2024 | This webpage goes live, hurray! |
| Sep 22, 2026 | Starting with the ancora project |
|---|---|
| Dec 05, 2025 | Starting at KIT in January |
| Mar 20, 2025 | New versions of the SIMAX and TAC papers |
| Feb 18, 2025 | Containment comes to CORA |
| Apr 23, 2024 | This webpage goes live, hurray! |