~/series

CoqPL

editions:6
ran:2020–2025
talks:56
latest:Denver, United States

what it is about

editionyearlocationtalks
no edition on file2026
CoqPL 20252025Denver, United States11
CoqPL 20242024London, United Kingdom11
CoqPL 20232023Boston, United States09
CoqPL 20222022online09
CoqPL 20212021online08
CoqPL 20202020New Orleans, United States08
~/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.