~/talk

How to Give a Talk

Talkat PLMW @ POPL 2024 · on Wednesday, 2024-01-17· [soft-skills]
links:none on file
slides:none on file

Science is collective so talks sit between one‑on‑one conversations and papers and must manage attention by motivating a problem, giving a roadmap, and explaining one key idea in depth. Example: using generalized algebraic data types (Vector, nil, cons) requires existential types to type functions like filter, which makes subtyping ambiguous and can cause exponential backtracking; the fix is polarization and focusing to separate rules and produce a syntax‑directed, efficient algorithm. Ends with a summary slide and pointers to the paper and implementation.

AI-written summary · about

  1. 0:00Giving scientific talks
  2. 1:03Why talks matter
  3. 2:48Managing audience attention
  4. 7:26Holding attention with narrative
  5. 9:11Structuring talks effectively
  6. 11:16Motivation in talks
  7. 13:26Top-down vs bottom-up motivation
  8. 17:20Bottom-up motivation
  9. 22:43Explaining key ideas
  10. 26:41Breaking technical ideas
  11. 34:42Context in conclusions
  12. 37:51Summary and preparing for questions
~/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.