ICSSP 2023
Sun 14 - Mon 15 May 2023
Melbourne, Australia
co-located with
ICSE 2023
Toggle navigation
Attending
Venue: Melbourne Convention Exhibition Centre | MCEC
Visiting Melbourne
Keynotes
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
ICSSP Program
Your Program
Program Overview
Sun 14 May
Mon 15 May
Calls and Accepted Papers
Organization
ICSSP 2023 Committees
Organizing Committee
Track Committees
Program Committee
Contributors
People Index
Search
Series
Series
ICSSP 2023
ICSSP+ICGSE 2021
ICSSP 2020
ICSSP 2019
ICSSP 2018
Sign in
Sign up
ICSE 2023
(
series
) /
ICSSP 2023
(
series
) /
Kirsten Winter
ICSE 2023 profile
conf.research.org general profile
* ICSE 2018 * profile
ICSE 2019 profile
ICSE 2024 profile
POPL 2019 profile
Registered user since Sat 2 Feb 2019
Name:
Kirsten Winter
Affiliation:
Defence Science and Technology Group, Australia
Contributions
2023
FormaliSE
Committee Member in Program Committee within the FormaliSE 2023-track
ICSE
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
Show activities from other conferences
Share
ICSE 2023-profile
View general profile
x
Wed 18 Dec 20:56