Write a Blog >>
ISSTA 2021
Mon 12 - Fri 16 July 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
Sponsorship
Tracks
ISSTA 2021
Technical Papers
Artifact Evaluation
Tool Demonstrations
Keynotes
ECOOP and ISSTA 2021
REBASE
Doctoral Symposium
Posters
Summer School
Workshops
AISTA
IWACO
FTfJP 2021
WOSCA
Organization
ISSTA 2021
Organizing Comittee
Program Committee
Artifact Evaluation
Artifact Evaluation Committee
Tool Demonstrations
Program Committee
ECOOP and ISSTA
REBASE
REBASE
Doctoral Symposium
Doctoral Symposium Committee
Program Committee
Posters
Posters Committee
Summer School
Summer School Committee
Workshops
Workshop Committee
FTfJP 2021
Program Committee Chair
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
ISSTA 2021
ISSTA 2020
ISSTA 2019
ISSTA 2018
ISSTA 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
23rd Workshop on Formal Techniques for Java-like Programs
/
Program Committee
ECOOP and ISSTA FTfJP
Wolfgang Ahrendt
Committee Member
Chalmers University of Technology
Sweden
Marie Farrell
Committee Member
Maynooth University
Ireland
Paula Herber
Committee Member
University of Munster, Germany
Germany
Nikolai Kosmatov
Committee Member
Thales Research and Technology
France
James Noble
Committee Member
Victoria University of Wellington
New Zealand
Violet Ka I Pun
Committee Member
John L. Singleton
Committee Member
Soar Technology, Inc.
United States
Mattias Ulbrich
Committee Member
Karlsruhe Institute of Technology
Germany
Elena Zucca
Committee Member
University of Genova
Petra van den Bos
Committee Member
University of Twente, The Netherlands
Netherlands
x
Fri 26 Feb 02:41