Discussion: Formalization of Analysis at ICERM

Stream: general

[Ching-Tsun Chou]

Will the talks be recorded and appear on YouTube later?

[Notification Bot]

A message was moved here from #announce > Techniques and Tools for the Formalization of Analysis by Floris van Doorn.

[Yaël Dillies]

Do we need to sign up if we plan to participate online?

[Patrick Massot]

Yes, please apply and check the box “I wish to attend this program virtually”.

[Patrick Massot]

Ching-Tsun Chou said:

Will the talks be recorded and appear on YouTube later?

Yes, but this is only part of the workshop. There will be three talks per day and everything else will be participants working on projects.

[Jireh Loreaux]

Reminder: the deadline for applications is January 14, 2026, which is in 9 days

[Nick Adfor]

Patrick Massot said:

Yes, please apply and check the box “I wish to attend this program virtually”.

I've sent an email to ask about attending this program virtually and I received:

"The program is not open for virtual applicants, which is why you are unable to select the option when applying. If you would like I can remove your application from the pool.  You are welcome to live stream the talks using this link https://icerm.brown.edu/live-stream. The schedule will be posted to the website about a month prior."

[Nick Adfor]

Now the box “I wish to attend this program virtually” disappears :( May I just ignore the application and wait for the YouTube?

[Ben Eltschig]

I'm interested in participating virtually too, but can't find an option for that in the application process either - is that just a technical issue, or is online attendance not actually possible?

[Jireh Loreaux]

I think this was an accidental miscommunication. There is no virtual participation for the conference aside from watching the live stream.

[Jireh Loreaux]

We sincerely apologize.

[Ben Eltschig]

Oh, I see - thank you for the clarification. I'm looking forwards to watching the livestreams then, and wish everyone who is actually attending a lot of fun.

[Nick Adfor]

The website looks like this website.jpg. For stream, if I do not understand it wrong, we can watch it from https://icerm.brown.edu/live-stream without application (?)

[Patrick Massot]

It looks like it.

[Sahan Wijetunga]

What is the procedure to apply as an undergraduate, as I do not have an advisor?

[Notification Bot]

A message was moved here from #announce > Techniques and Tools for the Formalization of Analysis by Riccardo Brasca.

[Jireh Loreaux]

Undergrads will be considered, but may not be particularly likely to be accepted, especially not without an advisor who can write a letter of recommendation. Sorry for the inconvenience. This workshop was not designed with undergraduate attendees in mind.