Monday, February 10th 2025, Amsterdam, The Netherlands
Co-located with Computer Science Logic (CSL) 2025
Euler Room, CWI Science Park 123, 1098 XG Amsterdam
Time | Speaker | Title |
---|---|---|
8:30–9:00 | LMW registration | |
9:00–10:30 | Session 1 | Opening and two talks |
Opening | ||
Yde Venema | Three pieces of paradoxical advice | |
Jurriaan Rot | How to get a grant proposal rejected | |
10:30–11:00 | Coffee | |
11:00–12:30 | Session 2 | Three talks |
Niels van der Weide | How to give a talk | |
Simone Picenni | Towards a More Just Logical Practice: Lessons from Feminist Logic and Human Rights Advocacy | |
Elaine Pimentel | Logic outside the wall: Outreach, Vulgarisation, and the Future | |
12:30–14:00 | Lunch | |
14:00–15:20 | Session 3 | Two talks and discussion |
Wan Fokkink | Formal Stuff can be Surprisingly Useful | |
Krzysztof Apt | How to Write a Good Paper | |
15:20–15:50 | Tea | |
15:50–17:00 | Panel | Including Vlad Yaglamunov, Krzysztof Apt, Simone Picenni, and Jurriaan Rot |
18:00–20:30 | CSL Welcome Reception |
Yde Venema:
Three pieces of paradoxical advice.
Jurriaan Rot:
How to get a grant proposal rejected.
Niels van der Weide:
How to give a talk.
Simone Picenni:
Towards a More Just Logical Practice: Lessons from Feminist Logic and Human Rights Advocacy.
Elaine Pimentel:
Logic outside the wall: Outreach, Vulgarisation, and the Future.
Wan Fokkink:
Formal Stuff can be Surprisingly Useful.
Krzysztof Apt:
How to write a good paper.