PROMISE 2023
Fri 8 Dec 2023
San Francisco, California, United States
co-located with
ESEC/FSE 2023
Toggle navigation
Attending
Venue: San Francisco Marriott Marquis
ESEC/FSE 2023
Diversity and Inclusion Statement
Code of Conduct
Registration
Visa Application Support
Hotel
Travel Support
Social Excursion at Exploratorium
Virtual Attendance
In-person Attendance Information
Program
PROMISE Program
Your Program
ESEC/FSE 2023
Awards
Proceedings
Fri 8 Dec
Track/Call
Organization
PROMISE 2023 Committees
Track Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Info
ESEC/FSE 2023
Sponsorship Opportunities
Sponsors and Supporters
Search
Series
Series
PROMISE 2024
PROMISE 2023
PROMISE'22
Sign in
Sign up
ESEC/FSE 2023
(
series
) /
PROMISE 2023 (
series
) /
Vasileios Mavroeidis
ESEC/FSE 2023 profile
conf.research.org general profile
Not registered as user
Name:
Vasileios Mavroeidis
Affiliation:
University of Oslo
Contributions
2023
PROMISE
The FormAI Dataset: Generative AI in Software Security Through the Lens of Formal Verification
Show activities from other conferences
Share
ESEC/FSE 2023-profile
View general profile
x
Wed 18 Dec 18:58