| Event title | 34th EACSL Annual Conference on Computer Science Logic |
|---|---|
| Location | Université Sorbonne Paris Nord, Paris, FranceShow on map |
| Period | 24 Feb 2026 → 27 Feb 2026 |
Keywords
- call-by-push-value
- logic
- computation
- lambda-calculus
- computational effects
2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation
- Levy, Paul (Recipient)
Prize: Prize (including medals and awards)