Italy

Stream: Geographic locality

[Amos Turchet]

Anyone joining from Italy?

[Filippo A. E. Nuccio]

But there are Italians around...

[Nicolò Cavalleri]

I am in between Milan and Santa Margherita Ligure!

[Nicolò Cavalleri]

Nicolò Cavalleri said:

I am in between Milan and Santa Margherita Ligure!

I mean travelling continuously between these places

[Filippo A. E. Nuccio]

Nice places!

[Stefano Volpe]

I was studying in Bologna until July. Moved to Amsterdam in September:melting_face:

[Oliver Butterley]

Just noticed this stream despite flirting with lean for quite a while now. I'm in Rome.

[Ruben Van de Velde]

Cc @Alessio P.

[Marco Lenci]

Bologna here :wave:

[Fabrizio Barroero]

I'm in Italy too! Rome to be precise...

[Riccardo Brasca]

If you want to appear in the map here you can set the latitude and longitude fields in your Zulip profile.

[Riccardo Brasca]

(and wait 24 hours)

[Fabrizio Barroero]

Yes, I've already done it

[Enrico Borba]

Is anyone attending ICFP 2024 (Milan, Sept 2-7)?

[Shreyas Srinivas]

Enrico Borba said:

Is anyone attending ICFP 2024 (Milan, Sept 2-7)?

Tentatively I am attending

[Enrico Borba]

For context, I'll be giving a short talk on HVM and Interaction Nets, as part of FProPer.

[Luisa Cicolini]

Is anyone around Trento?

[Luigi Massacci]

@Pietro Monticone is in Trento normally

[Luigi Massacci]

I'm also here slow cooking for about one more week. 36° in the shade : (

[Pietro Monticone]

Luigi Massacci said:

Pietro Monticone is in Trento normally

Yes, I will return to Trento around the 20th of August.

[Shreyas Srinivas]

Enrico Borba said:

For context, I'll be giving a short talk on HVM and Interaction Nets, as part of FProPer.

Just landed in Milan