The Isabelle Workshop usually happens every second year: this time on 14-Sep-2024 in Tbilisi, Georgia, colocated with the ITP 2024 conference. The workshop website includes all papers (and some slides).