Luxembourg

Stream: Geographic locality

[Oliver Butterley]

Anyone in Luxembourg? I'm here these days.

[Shreyas Srinivas]

Saarbrucken is only 1 hour from Luxembourg

[Shreyas Srinivas]

If you want to organise a meet, greet, and eat, we can do that. Krishna Vilas is a great Indian restaurant there

[Shreyas Srinivas]

PS : For those matriculated with Saarland uni, the trip to luxembourg and back is free of cost.

[Oliver Butterley]

Shreyas Srinivas said:

If you want to organise a meet, greet, and eat, we can do that. Krishna Vilas is a great Indian restaurant there

absolutely

[Oliver Butterley]

And if there are more of you there in Saarbruken, I'm happy to travel there. Would be great to meet.

[Shreyas Srinivas]

@Laurent Bartholdi runs a seminar here on lean formalisation of math

[Oliver Butterley]

Shreyas Srinivas said:

Laurent Bartholdi runs a seminar here on lean formalisation of math

Great! Is there a link for the schedule?

[Shreyas Srinivas]

There are some students here who formalise theoretical computer science as part of their student jobs

[Shreyas Srinivas]

Oliver Butterley said:

Shreyas Srinivas said:

Laurent Bartholdi runs a seminar here on lean formalisation of math

Great! Is there a link for the schedule?

I think it is only accessible internally. But if you write you Laurent, he might be able to add you to the list

[Shreyas Srinivas]

Here's the most recent webpage of the seminar that I could find : https://www.math.uni-sb.de/ag/bartholdi/cap/