CHASE 2023
Sun 14 - Mon 15 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
ICSE 2023
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
Program
CHASE Program
Your Program
Open Science policy
Sun 14 May
Mon 15 May
Tracks
CHASE 2023
Research Track
Registered Reports
Vote Items
J1C2
Mentoring Workshop
Organization
CHASE 2023 Committees
Organizing Committee
Track Committees
Research Track
Program chairs
Program Committee
Registered Reports
Registered Reports Chairs
Registered Reports Program Committee
Vote Items
J1C2
Mentoring Workshop
Contributors
People Index
Search
Series
Series
CHASE 2025
CHASE 2024
CHASE 2023
CHASE 2022
CHASE 2021
Sign in
Sign up
ICSE 2023
(
series
) /
CHASE 2023
(
series
) /
Subhajit Roy
ICSE 2023 profile
conf.research.org general profile
17th Innovations in Software Engineering Conference (ISEC 2024) profile
ASE 2023 profile
ASE 2024 profile
CC 2022 profile
CGO 2021 profile
CGO 2023 profile
ECOOP and ISSTA 2023 profile
ESEC/FSE 2018 profile
ETAPS 2019 profile
ICFP/SPLASH 2025 profile
ISSTA 2019 profile
ISSTA 2022 profile
ISSTA/ECOOP 2024 profile
PLDI 2024 profile
SPLASH 2011 profile
SPLASH 2016 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
Registered user since Fri 9 Mar 2018
Name:
Subhajit Roy
Country:
India
Affiliation:
IIT Kanpur
Contributions
2023
ICSE
A Theorem Proving Approach to Programming Language Semantics
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Thu 21 Nov 20:20