SPLASH 2021 (series) / Hanneli Tavante
Registered user since Wed 21 Aug 2019
Contributions
| HATRA 2021 | Towards an Incremental Dataset of Proofs | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile
SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
- Attending
- Program
- Tracks
- SPLASH 2021
- OOPSLA
- SIGPLAN Papers
- SIGPLAN Business
- - Future of Conferences
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- REBASE
- Doctoral Symposium
- PLMW
- Posters
- SPLASH-E
- Student Research Competition
- Student Volunteers
- Workshops
- Keynotes
- Ask Me Anything (AMA)
- PLTea
- Faculty Mentorship Roundtable
- CARES
- Awards
- Opening
- Closing
- Organization
- SPLASH 2021 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- OOPSLA
- SIGPLAN Papers
- SIGPLAN Business
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- Doctoral Symposium
- PLMW
- Posters
- SPLASH-E
- Student Research Competition
- Student Volunteers
- Workshops
- PLTea
- Faculty Mentorship Roundtable
- CARES
- Contributors
- People Index
- Search
- Series