Registered user since Tue 18 Sep 2018
Name:Christophe Garion
Country:France
Affiliation:ISAE-SUPAERO
Research interests:formal methods
Contributions
ICSE 2025-profile
View general profile
View 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