| Event title | The 28th International Conference on Automated Deduction |
|---|---|
| Location | Virtual - due to Covid , Show on map |
| Period | 11 Jul 2021 → 16 Aug 2021 |
Thoralf Skolem Award
- Sattler, Uli (Recipient), Horrocks, Ian (Recipient) & Tobies, Stephan (Recipient)
Prize: Prize (including medals and awards)