12th Logic Mentoring Workshop

Monday, February 10th 2025, Amsterdam, The Netherlands

Co-located with Computer Science Logic (CSL) 2025

Location

Euler Room, CWI
Science Park 123, 1098 XG Amsterdam

Tentative Schedule

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

Talks

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.