| Name | [Kœr]ectness In Theory |
|---|---|
| Category | Participants |
| Affiliation |
Karlsruhe Institute of Technology |
| Location | Karlsruhe Institute of Technology |