Please check https://www.rationality-freiburg.de/events/meetup-2022-07-01-sequences-tap-introduction/ or for the German version https://www.rationality-freiburg.de/de/termine/meetup-2022-07-01-sequences-tap-einf%C3%BChrung/ .