ISSTA 2024
Mon 16 - Fri 20 September 2024
Vienna, Austria
co-located with
ISSTA/ECOOP 2024
Toggle navigation
Attending
Venue: Vienna University of Technology (TU Wien) - Campus Gusshaus
Reception: Vienna University of Technology (TU Wien) - Campus Karlsplatz
Banquet: Fuhrgassl-Huber
Travel Support
ISSTA/ECOOP 2024
Equity, Diversity and Inclusion
Code of Conduct
Visa Support Letters
Accomodation
Registration
Program
ISSTA Program
Your Program
ISSTA/ECOOP 2024
Schedule Overview
Mon 16 Sep
Tue 17 Sep
Wed 18 Sep
Thu 19 Sep
Fri 20 Sep
Tracks
ISSTA 2024
Technical Papers
Artifact Evaluation
Keynotes
ISSTA/ECOOP 2024
Diversity
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Organization
ISSTA 2024 Committees
Organizing Committee
Track Committees
Technical Papers
Artifact Evaluation
ISSTA/ECOOP
Doctoral Symposium
Sponsorship
Student Volunteers
Tool Demonstrations
Workshops
Contributors
People Index
Search
Series
Series
ISSTA 2025
ISSTA 2024
ISSTA 2023
ISSTA 2022
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ISSTA/ECOOP 2024
(
series
) /
ISSTA 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 2025 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
ICFP/SPLASH 2025 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
Session Chair of Synthesis and verification (part of Technical Papers)
Show activities from other conferences
Share
ISSTA/ECOOP 2024-profile
View general profile
x
Tue 3 Dec 18:37