Sunday 7 July 2024, Tallinn, Estonia
Co-located with Logic in Computer Science (LICS) 2024, as well as with ICALP and FSCD.
| Time | Speaker | Title |
|---|---|---|
| 09:30–10:00 | Meet and greet | |
| 10:00–10:30 | Coffee break | |
| 10:30–11:00 | Filip Mazowiecki | Theoretical computer science: art or science? |
| 11:00–11:30 | Raheleh Jalali | From Doubt to Determination: Building Confidence In Your PhD and Beyond |
| 11:30–12:00 | Pawel Sobocinski | How to give a talk |
| 12:00–12:30 | Mikołaj Bojańczyk | Low level writing tips |
| 12:30–14:00 | Lunch break | |
| 14:00–14:30 | Alex Kavvos | Weak accept, or: how I learned to write papers and cope with reviews |
| 14:30–15:00 | Niccolò Veltri | Add a proof assistant to your toolbox |
| 15:00–15:30 | Karoliina Lehtinen | Fantastic collaborations and where to find them: a beginner's guide to conferences |
| 15:30–16:00 | Coffee break | |
| 16:00–17:00 | Ugo Dal Lago, Alex Kavvos, Karoliina Lehtinen, chaired by Marie Kerjean | Panel discussion |
Filip Mazowiecki. Theoretical computer science: art or science? [pdf].
Raheleh Jalali. From Doubt to Determination: Building Confidence In Your PhD and Beyond [pdf].
Mikołaj Bojańczyk. Low level writing tips [link].
Alex Kavvos. Weak accept, or: how I learned to write papers and cope with reviews [pdf].
Karoliina Lehtinen. Fantastic collaborations and where to find them: a beginner's guide to conferences [pdf].