Registered user since Mon 28 Jan 2019
Name:Virgile Prevosto
Country:France
Affiliation:CEA Tech List
Research interests:Formal Methods, Static Analysis, Formal Specifications
Contributions
ICSE 2021-profile
View general profile
View general profile
- Attending
- Program
- Complete Program
- Your Program
- Overview of All Events
- Co-located Events Overview
- ICSE Conference
- Workshops Overview
- Sponsors Exhibitions
- Keynotes
- Awards
- Technical Track
- Journal-First
- Software Engineering in Practice
- Software Engineering in Society
- New Ideas and Emerging Results
- Joint Track on Software Engineering Education and Training
- Doctoral Symposium
- New Faculty Symposium
- Technical Briefings
- Social and Networking
- Culture and Sports
- Panels
- Filter by Day
- Tracks
- ICSE 2021
- Ceremonies
- Keynotes
- Awards
- Sponsors Exhibitions
- Technical Track
- Journal-First Papers
- SEIP - Software Engineering in Practice
- JSEET - Joint Track on Software Engineering Education and Training
- SEIS - Software Engineering in Society
- NIER - New Ideas and Emerging Results
- DEMO - Demonstrations
- SRC - ACM Student Research Competition
- AE - Artifact Evaluation
- Posters
- Workshops
- DS - Doctoral Symposium
- NFS - New Faculty Symposium
- Spanish Industry Case Studies
- Most Influential Paper ICSE N-10
- Student Volunteers
- TB - Technical Briefings
- Submitting to ICSE2021: Q&A
- Open Science Policies
- Social and Networking
- Culture and Sports
- Panels
- Sponsorship
- Organization
- ICSE 2021 Committees
- Organizing Committe
- Track Committees
- Technical Track
- Journal-First Papers
- SEIP - Software Engineering in Practice
- JSEET - Joint Track on Software Engineering Education and Training
- SEIS - Software Engineering in Society
- NIER - New Ideas and Emerging Results
- DEMO - Demonstrations
- SRC - ACM Student Research Competition
- AE - Artifact Evaluation
- Posters
- Workshops
- DS - Doctoral Symposium
- NFS - New Faculty Symposium
- Spanish Industry Case Studies
- Most Influential Paper ICSE N-10
- Student Volunteers
- TB - Technical Briefings
- Social and Networking
- Contributors
- People Index
- Co-hosted Conferences
- AST
- CHASE
- FormaliSE
- ICPC
- ICSSP/ICGSE
- Organizing Committee
- PC Members
- Steering Committee ICSSP
- Steering Committee ICGSE
- Research Papers PC Co-Chairs
- Research Papers PC Members
- Experience Reports & Industry Talks Industry Co-Chairs
- Experience Reports & Industry Talks Industry PC Members
- Doctoral Track Doctoral Symposium Co-Chairs
- Doctoral Track Doctoral Symposium PC Members
- Doctoral Track Doctoral Symposium Mentors
- MOBILESoft
- MSR
- TechDebt
- Workshops
- BoKSS
- BotSE
- CloudIntelligence
- DeepTest
- EnCyCriS
- GI
- MET
- Q-SE
- RoSE
- SEH
- SER&IP
- SERP4IoT
- SESoS/WDES
- SEthics
- SoHeal
- WAIN
- WETSEB
- Contests
- SCORE
- Co-hosted Symposia
- SEAMS
- Search
- Series