Not registered as user yet
Name:Andrew Sogokon
Contributions
| ICSE 2023 | Pegasus: A Framework for Sound Continuous Invariant Generation | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2023-profile
View general profile
View general profile
ICSE 2023
Sun 14 - Sat 20 May 2023 Melbourne, Australia
- Attending
- Venue: Melbourne Convention Exhibition Centre | MCEC
- Keynotes
- Melbourne
- Victoria
- Australia
- Code of Conduct
- Diversity and Inclusion Plan
- Main Conference In-Person Presenter Instructions
- Main Conference Virtual Presenter Instructions
- Workshop and Co-Located Event Instructions
- Session Chair Instructions
- Venue Floor Map
- Accommodation
- Registration
- Visa Letter of Invitation
- Social Events
- Recruitment Opportunities at ICSE 2023
- IEEE Computer Society Open Conference Statement
- Travel Support
- Childcare Support
- Tracks
- ICSE 2023
- ICSE Keynotes
- Social Events
- Technical Track
- FoSE - Future of Software Engineering
- ROSE festival
- Journal-First Papers
- SEIP - Software Engineering in Practice
- SEET - Software Engineering Education and Training
- SEIS - Software Engineering in Society
- NIER - New Ideas and Emerging Results
- Industry Forum
- DEMO - Demonstrations
- SRC - ACM Student Research Competition
- Artifact Evaluation
- Posters
- Workshops
- DS - Doctoral Symposium
- New Faculty Symposium
- SCORE 2023
- Showcase
- SMeW - Student Mentoring Workshop
- Most Influential Paper ICSE N-10
- Student Volunteers
- Technical Briefings
- Submitting to ICSE2023: Q&A
- ICSE 2023 Open Science Policies
- Organization
- ICSE 2023 Committees
- Organising Committee
- Track Committees
- Technical Track
- FoSE - Future of Software Engineering
- ROSE festival
- Journal-First Papers
- SEIP - Software Engineering in Practice
- SEET - Software Engineering Education and Training
- SEIS - Software Engineering in Society
- NIER - New Ideas and Emerging Results
- Industry Forum
- DEMO - Demonstrations
- SRC - ACM Student Research Competition
- Artifact Evaluation
- Posters
- Workshops
- DS - Doctoral Symposium
- New Faculty Symposium
- SCORE 2023
- Showcase
- SMeW - Student Mentoring Workshop
- Most Influential Paper ICSE N-10
- Student Volunteers
- Technical Briefings
- Contributors
- People Index
- Sponsorship
- Program
- Search
- Series