ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
Equity, Diversity and Inclusion
Code of Conduct
Visa Support Letters
Accomodation
Registration
Program
Complete Program
Your Program
Schedule Overview
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ISSTA/ECOOP 2024
Diversity
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Co-hosted Conferences
ECOOP
ECOOP
ECOOP
Technical Papers
ECOOP
Artifact Evaluation
ISSTA
ISSTA
ISSTA
Technical Papers
ISSTA
Artifact Evaluation
ISSTA
Keynotes
MPLR
Workshops
A-TEST
DEBT
FTfJP
FUZZING
Gamify
ICOOOLPS
MET
PLAID
PLF
Programming Local-first Software
VORTEX
Tutorials
CAKC
Concurrent Algorithms in Kotlin Coroutines Tutorial
Organization
ISSTA/ECOOP 2024 Committees
Track Committees
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Contributors
People Index
Co-hosted Conferences
ECOOP
Organizing Committee
Technical Papers
Program Committee
Technical Papers
Extended Review Committee and External Reviewers
Artifact Evaluation
ISSTA
Organizing Committee
Technical Papers
Artifact Evaluation
MPLR
Organizing Committee
Program Committee
Workshops
A-TEST
Organizing Committee
Programme Committee
DEBT
Organizing Committee
Program Committee
FTfJP
Organizing Committee
Program Committee
FUZZING
Organizing Committee
Program Committee
Gamify
N/A - check homepage
ICOOOLPS
Organizing Committee
Program Committee
MET
Organizing Committee
Programme Committee
PLAID
Organizing Committee
Program Committee
PLF
Organizing Committee
Program Committee
VORTEX
Organizing Committee
Program Committee
Tutorials
CAKC
Organizing Committee
Search
Series
Series
ISSTA/ECOOP 2024
ECOOP and ISSTA 2023
ECOOP and ISSTA 2021
ECOOP and ISSTA 2018
Sign in
Sign up
ISSTA/ECOOP 2024
(
series
) /
Peter Thiemann
ISSTA/ECOOP 2024 profile
conf.research.org general profile
APLAS 2019 profile
APLAS 2024 profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2022 profile
ECOOP and ISSTA 2018 profile
ECOOP and ISSTA 2023 profile
ESOP 2015 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2017 profile
ICFP 2018 profile
ICFP 2020 profile
ICFP 2023 profile
ICFP 2024 profile
Modularity 2016 profile
PEPM 2015 profile
PLDI 2015 profile
PLDI 2018 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2023 profile
SPLASH 2013 profile
SPLASH 2015 profile
SPLASH 2016 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2019 profile
SPLASH 2020 profile
SPLASH 2021 profile
SPLASH 2022 profile
SPLASH 2023 profile
SPLASH 2024 profile
‹Programming› 2017 profile
‹Programming› 2018 profile
‹Programming› 2019 profile
‹Programming› 2023 profile
Registered user since Fri 10 Apr 2015
Name:
Peter Thiemann
Affiliation:
University of Freiburg, Germany
Contributions
2024
ECOOP
Committee Member in Program Committee within the Technical Papers-track
A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson
Show activities from other conferences
Share
Using general profile
x
Sun 1 Sep 05:19