Presentation

Stream: ItaLean 2025

[Riccardo Brasca]

I've just received a message containing a slide template, and asking to "deliver a copy of your PowerPoint presentation (saved on your USB pen drive) to our technician upon your arrival at the Conference venue".
I guess we are all in the same boat wanting to connect our computer or at least having a computer with a working VS Code. Can the organizers check this?

[Pietro Monticone]

Done. You will be able to use your own laptop of course.

[Michael Rothgang]

I presume that using a .pdf file will also be fine?

[Michael Rothgang]

(I mostly use LateX with beamer, I may switch to typst at some point, but I don't anticipate switching to powerpoint.)

[Pietro Monticone]

Sure, there is no problem with everyone using their laptop with their preferred setup and format.

[Pietro Monticone]

All speakers will be asked to test their laptop before the start of their sessions to ensure that all presentations run smoothly.

[Riccardo Brasca]

Just to be sure: the intended audience are Lean beginners, right? Like someone that played the NNG but not much than that?

[Lorenzo Luccioli]

A good part of the audience will indeed be quite new to Lean.
At the same time, there will also be many advanced users.

To keep things interesting for everyone, one suggestion for talks of the type “X in Mathlib” is to give a bit of context on how that part of Mathlib is structured, what is already in Mathlib, what isn’t yet and why, what the main design choices or quirks are (for instance the use of filters in analysis), and some guidance on how to work with it in practice.
Of course, we want to leave speakers full freedom on how to frame their talk.

[Riccardo Brasca]

OK, thanks