~/talk

Discussions, Closing

Talkat FTSCS 2023 · on Sunday, 2023-10-22
links:none on file
links:none on file
slides:none on file

Workshop organizers report fewer submissions than expected and trace the drop to deadline clustering with related venues and rising AI/ML interest, propose moving collocation to conferences like ATVA in Kyoto or CPS week and shifting to late 2024/early 2025 or spring to avoid fall congestion, debate keeping scope tight versus expanding to include security for safety-critical systems, and note travel convenience and venue attractiveness as factors that influence submissions and attendance.

AI-written summary · about

  1. 0:00Welcome
  2. 2:13Formal methods workshops
  3. 6:52Conference collocation
  4. 11:49Conference scope
  5. 13:15Closing
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.