CAIN 2023
Mon 15 - Sat 20 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
CAIN 2023 Keynote Speaker : Dr. Ken Power
CAIN 2023 Keynote Speaker : Dr. Foutse Khomh
CAIN 2023 Keynote Speaker : Dr. Aurelie Jacquet
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
Submission Format
Program
Complete Program
Your Program
Mon 15 May
Tue 16 May
Wed 17 May
Thu 18 May
Fri 19 May
Sat 20 May
Tracks
CAIN 2023
Dinner
Papers
Industrial Talks
Posters
Organization
CAIN 2023 Committees
Organizing Committee
Program Committee
Steering Committee
Track Committees
Papers
Industrial Talks
Posters
Contributors
People Index
Search
Series
Series
CAIN 2025
CAIN 2024
CAIN 2023
CAIN 2022
Sign in
Sign up
ICSE 2023
(
series
) /
CAIN 2023
(
series
) /
Zhanna Kaufman
ICSE 2023 profile
conf.research.org general profile
PLDI 2023 profile
Not registered as user yet
Name:
Zhanna Kaufman
Affiliation:
University of Massachusetts
Contributions
2023
ICSE
Proofster: Automated Formal Verification
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Sat 9 Nov 02:33