Registered user since Thu 22 Oct 2015
Name:Luca Cardelli
Affiliation:Microsoft Research and University of Oxford
Contributions
Using general profile
ATVA 2025
Mon 27 - Fri 31 October 2025 Bengaluru, India
- Attending
- Sponsorship
- Program
- Tracks
- Organization
- ATVA 2025 Committees
- Artifact Evaluation Committee
- Programme Committee
- Organizing Committee
- General Chair
- Contributors
- People Index
- Search
- Series