Not registered as user
Name:Sanjit A. Seshia
Country:United States
Affiliation:University of California, Berkeley
Contributions
Using general profile
- Attending
- Venue: Rogers Centre, Ottawa (formerly Shaw Centre)
- Venue: Offsite Special Venue
- Reception venue: National Arts Centre
- ICSE 2025
- Registration
- Virtual Attendance
- Presenting at ICSE 2025
- Food at ICSE2025
- Fun Activities
- Social media
- Hotels
- Getting Around Ottawa
- Visa and Travel Authorization
- Travelling to Ottawa
- Travel Support
- Code of Conduct
- Equity, Diversity, and Inclusion
- Sustainability
- FAQ
- Program
- Tracks
- FormaliSE 2025
- Research Track
- Artifact Track
- Organization
- FormaliSE 2025 Committees
- Track Committees
- Research Track Organization Committee
- Research Track Program Committee
- Artifact Track
- Contributors
- People Index
- Search
- Series