Registered user since Tue 24 May 2022
Name:Anja Petković Komel
Affiliation:Argot Collective
Personal website: https://anjapetkovic.com/
Research interests:Type theory, proof assistants, automated theorem proving
Contributions
Using general profile
- Attending
- Venue (Sunday Workshops): NUS School of Computing
- Venue (FARM Performance): Yong Siew Toh Conservatory
- Venue (Main Conference): Marina Bay Sands Convention Centre
- Hotels: Concorde Hotel Singapore
- Hotels: Wyndham Singapore Hotel
- Hotels: Rendezvous Hotel Singapore
- ICFP/SPLASH 2025
- Code of Conduct
- Call for Sponsorship
- Registration
- Travel Information
- Explore Singapore
- Outdoor Activities
- Information for Presenters at National University of Singapore
- Information for Presenters at Marina Bay Sands
- Information for Session Chairs
- Information for Attendees
- ICFP/SPLASH Live Streams
- Program
- Tracks
- Organization
- SPLASH 2025 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- Doctoral Symposium
- FARM
- OOPSLA
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- Posters
- SPLASH-E
- Student Research Competition
- ICFP/SPLASH
- Volunteers
- Workshops
- Contributors
- People Index
- Search
- Series
- Series
- SPLASH 2026
- SPLASH 2025
- SPLASH 2024
- SPLASH 2023
- SPLASH 2022
- SPLASH 2021
- SPLASH 2020
- SPLASH 2019
- SPLASH 2018
- SPLASH 2017
- SPLASH 2016
- SPLASH 2015
- SPLASH 2014
- SPLASH 2013
- SPLASH 2012
- SPLASH 2011
- SPLASH 2010
- OOPSLA 2009
- OOPSLA 2008
- OOPSLA 2007
- OOPSLA 2006
- OOPSLA 2005
- OOPSLA 2004
- OOPSLA 2003
- OOPSLA 2002
- OOPSLA 2001
- OOPSLA 2000