Vienna, AT

Stream: Geographic locality

[Martin Dvořák]

Hi there! I live in Klosterneuburg / Maria Gugging, that is an Austrian town near Vienna. Is anyone nearby?

[Martin Dvořák]

Am I still the only Lean user around Wien?

[Anton Mellit]

Hi, I'm in Vienna, just started on Lean

[Abhiram M K]

HI Martin, Anton, I have joint responsibilities between Vienna and Leipzig at the moment so I've marked myself in Leipzig. But in principle I am partly in Vienna and also started on Lean recently.

[Martin Dvořák]

Great news!

[Martin Dvořák]

What about some Viennese meetup?

[Abhiram M K]

I have upcoming travel. I will be back in Vienna in April. How about then?

[György Kurucz]

Hi, I am also located in Vienna :) Please drop a message in this channel if you guys are organizing something. (April does sound good to me as well.)

[Ivan S.]

Heya! I've also recently moved close to Vienna and started playing with Lean too. Would love to join a Lean meet-up as well! :smiley:

[Martin Dvořák]

What about next week?
@Anton Mellit @Abhiram M K @György Kurucz @Ivan S.

[Abhiram M K]

I am in Leipzig Next Week unfortunately and then have a long summer travel
schedule.

[György Kurucz]

What about next week?

For me it's fine. (In general I don't have big plans for May, so probably any week works.)

[Stefan Hetzl]

Hello everyone! We are organising a Lean tutorial at TU Wien this September. Please see #announce > Lean Tutorial in Vienna, September 18-20 for the announcement. I would be happy to see you there!