Amsterdam, NL

Stream: Geographic locality

[Stefano Volpe]

People keep opening "Amsterdam + X" topics. As I am not ubiquitous, this seems more appropriate. Hi everybody!

[Andrés Goens]

Cool! I'm also in Amsterdam (UvA)

[Stefano Volpe]

UvA student too here. Master of Logic programme

[Stefano Volpe]

@Anne Baanen do we know if the Logical Verification at VU course is going to be a thing this year too? Last time I checked, they hadn't found a substitute yet

[Anne Baanen]

Welcome to the Zulip! Last time I asked, the plan is that Kristina Sojakova will teach both Logic and Modelling (for bachelor students, this spring) and Logical Verification (for master students, next fall). I won't be at the VU after this summer, so it seems we'll miss each other course-wise.

[Anne Baanen]

There are of course many non-course opportunities to meet each other, such as the informal Formal Seminar in January :)

[Stefano Volpe]

Thanks! As a UvA Master student, I am assuming I should wait for next fall, too?

Is the informal Formal Seminar a VU initiative? Can UvA students join too?

[Anne Baanen]

It's a joint UU-VU initiative by @Johan Commelin and @Sander Dahmen: https://jcommelin.github.io/informal-formalization-seminar/ I don't think there are any restrictions on who can attend.

[Anne Baanen]

Stefano Volpe said:

Thanks! As a UvA Master student, I am assuming I should wait for next fall, too?

There might be a few courses offered by UvA in the meantime, I don't really know where to find this info. The plan is also to have a MasterMath course on formalizing mathematics, but it's taking a long time to set up so I don't know when you can expect to follow that.

[Stefano Volpe]

I see. Thank you!

[Stefano Volpe]

@Anne Baanen do you also happen to know in which block the Master course will take place? My January is a mess but even if I am not able to make it to Informal Formalization I'd love to take the course if possible.

[Johan Commelin]

Probably in the spring semester of 2025.

[Stefano Volpe]

Anne Baanen said:

Welcome to the Zulip! Last time I asked, the plan is that Kristina Sojakova will teach both Logic and Modelling (for bachelor students, this spring) and Logical Verification (for master students, next fall). I won't be at the VU after this summer, so it seems we'll miss each other course-wise.

I seemed to understand from this message that it was supposed to be next fall? I could still make it if I attend the course right before graduation

[Johan Commelin]

Ooh, you are talking about a different master course. Ignore my message. I thought you meant the MasterMath course.

[Stefano Volpe]

Oh we have information abut the MasterMath one too? That's great! elo.mastermath.nl only covers up to spring 2024, I believe. How will the two courses compare?

[Anne Baanen]

Stefano Volpe said:

How will the two courses compare?

Logical Verification at the VU is aimed at computer science, the MasterMath is aimed at mathematics. So the contents are quite different: LoVe has a lot of program semantics that math students wouldn't need to understand :)

[Lukas Miaskiwskyi]

Not in Academia currently, but I am also located in Utrecht. Maybe I can take an afternoon off every now and then to join the seminar :)

[Anne Baanen]

Please also see the announcement of the Informal Formalization Seminar!