Zulip Chat Archive

Stream: Geographic locality

Topic: Karlsruhe, DE


view this post on Zulip Marc Huisinga (Feb 28 2020 at 10:46):

@Sebastian Ullrich , @Markus Himmel and myself are at KIT in Karlsruhe. Sebastian supervised my CS BSc thesis and is now co-supervising Markus' math+CS BSc thesis.

view this post on Zulip Jakob von Raumer (Apr 12 2020 at 12:31):

In Karlsruhe, Germany right now, being stuck at my parents place after Covid-19 destroyed my travel plans for the early summer. Spending the time looking for jobs :point_left: :bangbang: :upside_down:

view this post on Zulip Alexandre Rademaker (Apr 12 2020 at 12:44):

But what is the idea of this stream?

view this post on Zulip Kevin Buzzard (May 03 2020 at 14:53):

To enable people who are geographically close and share common interests to find each other?

view this post on Zulip Shekhinah Memmel (Dec 27 2020 at 10:59):

I'm from Hadiko.

view this post on Zulip Shekhinah Memmel (Dec 27 2020 at 11:02):

I'm from Hadiko.

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:22):

first time I'm seeing a Karlsruhe group in a math community. hi from Waldstadt

view this post on Zulip Johan Commelin (Jan 26 2021 at 15:22):

Karlsruhe is super critical for Lean's existence (-;

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:24):

just by numbers or is there a working group at the KIT?

view this post on Zulip Johan Commelin (Jan 26 2021 at 15:24):

One of the two core developers is at KIT

view this post on Zulip Johan Commelin (Jan 26 2021 at 15:25):

so, maybe not by numbers, but if you do a weighted count, then....

view this post on Zulip Sebastian Ullrich (Jan 26 2021 at 15:30):

@Jakob von Raumer did find a job here as a postdoc, so I guess two people now makes us an actual Lean group!

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:30):

ah, a nontrivial group :)

view this post on Zulip Darij Grinberg (Jan 26 2021 at 15:31):

i have no KIT connection (i "work" in Philadelphia); i'm just here for the pandemic

view this post on Zulip Sebastian Ullrich (Jan 26 2021 at 15:32):

Oh I'm sure other cities have pandemics as least as nice as ours

view this post on Zulip Sebastian Reichelt (Jan 26 2021 at 19:47):

Hi to all fellow Karlsruhers! Although I haven't done enough Lean to be in any group yet, I'd love to get to know you and maybe even meet you when that becomes possible again.

view this post on Zulip Darij Grinberg (Jan 26 2021 at 21:57):

I have done even less Lean so far... (just Kevin's integer game)

view this post on Zulip Darij Grinberg (Jan 26 2021 at 21:58):

but I like to be in the loop about formalization efforts, particularly in algebraic combiantorics

view this post on Zulip Max (May 30 2021 at 17:19):

I'm in Karlsruhe as well! Doing my humble BSc thesis, but with Isabelle/HOL instead of lean (I wasn't aware of lean when I started)

view this post on Zulip Sebastian Ullrich (May 30 2021 at 22:02):

Wait, who's doing Isabelle in Karlsruhe? I thought I had supplanted them!

view this post on Zulip Max (May 31 2021 at 13:20):

The Institute of Theoretical Informatics, ITI at KIT :).

view this post on Zulip Sebastian Reichelt (Jun 06 2021 at 18:42):

Now that it's become reasonably safe to meet others in Karlsruhe, would any of you be interested in, say, going to a Biergarten to get to know each other?

view this post on Zulip Sebastian Ullrich (Jun 11 2021 at 15:16):

Shall we open a chat with all the :beers: people to try and find a time and location?

view this post on Zulip Johan Commelin (Jun 11 2021 at 15:36):

I'm not sure I will be able to travel from Freiburg to Karlsruhe soon. But if at some point I'm travelling up north, I'll let you know and if it fits I can make a stop in Karlsruhe.

view this post on Zulip Marc Huisinga (Jun 11 2021 at 16:17):

surely you don't want to miss out on our beautiful construction sites? :grinning_face_with_smiling_eyes:

view this post on Zulip Johan Commelin (Jun 11 2021 at 16:32):

Ooh, I'm sure the construction sites in Karslruhe can't beat the mess that is the math dept in Freiburg.

view this post on Zulip Sebastian Reichelt (Jun 11 2021 at 18:24):

Oops, I hadn't noticed the :beers:. Nice!
Given my obvious lack of Zulip skills, I may not be the best person to start a chat, but I'll try.

view this post on Zulip Christian Pehle (Oct 06 2021 at 12:17):

if there is another meet-up in Karlsruhe at some point, I might make it as well :)

view this post on Zulip Sebastian Ullrich (Oct 06 2021 at 12:29):

Yeah, we should do another one some time. And bully @Johan Commelin into attending as well :) .

view this post on Zulip Sebastian Reichelt (Oct 06 2021 at 18:06):

Was thinking about this as well. Hopefully the beginning of the semester is not too packed with other obligations?

view this post on Zulip Sebastian Ullrich (Oct 06 2021 at 18:15):

Nah, we have student TAs for that

view this post on Zulip Sebastian Reichelt (Oct 17 2021 at 06:31):

I've created a doodle with the dates where I'm personally available: https://doodle.com/poll/9pi223m8wxf3bqmt?utm_source=poll&utm_medium=link
I suggest we continue in the private stream again, and invite everyone who participated in the doodle.
Looking forward to seeing you again, and hopefully also Johan, Christian, and Jakob, who couldn't make it last time.

view this post on Zulip Sebastian Reichelt (Oct 19 2021 at 17:34):

I'll continue here instead as I don't have the Zulip name of everyone in the Doodle. Let's meet on Wednesday, October 27, as that seems to be ok for everyone so far.
Shall I reserve a table at Oxford again? (Inside this time...)

view this post on Zulip Johan Commelin (Oct 19 2021 at 17:48):

Unfortunately I can't make it this time either

view this post on Zulip Sebastian Ullrich (Oct 22 2021 at 06:50):

@Sebastian Reichelt I'm open to other locations, but otherwise I'd say: go ahead!

view this post on Zulip Sebastian Reichelt (Oct 24 2021 at 17:53):

The reservation has just been confirmed: October 27, 7 pm at Oxford Ost.

view this post on Zulip Markus Himmel (Feb 23 2022 at 12:22):

My employer is offering an MSc thesis in industry, partly supervised by me, about using Lean to verify a piece of real-world software: https://www.cas-mitgestalter.de/jobs/abschlussarbeit-informatik-formale-verifikation/

view this post on Zulip Alex J. Best (Feb 23 2022 at 12:26):

You could post this in #job postings too

view this post on Zulip Markus Himmel (Feb 23 2022 at 12:27):

I considered this, but since the offer is limited to German-speaking students who are willing to live in Karlsruhe for the duration of the thesis, I think it makes more sense here.

view this post on Zulip Johan Commelin (Feb 23 2022 at 12:32):

I think you should just point out that condition, but cross-post nonetheless. Not sure all German-speaking-students-willing-to-live-in-Karlsruhe follow this thread.

view this post on Zulip Markus Himmel (Feb 23 2022 at 12:32):

Fair enough. I'll cross-post.

view this post on Zulip Sebastian Reichelt (May 03 2022 at 19:34):

As @Sebastian Ullrich already mentioned in the Freiburg thread, a new instance of K∀-B∃∃R is overdue. The weather report for next week looks all right, so here is a doodle: https://doodle.com/meeting/participate/id/dNkRl1ze

view this post on Zulip Henrik Böving (May 03 2022 at 19:39):

(question from the uninitiated, what is K∀-B∃∃R?)

view this post on Zulip Sebastian Reichelt (May 03 2022 at 19:41):

Just an informal Lean meeting in Karlsruhe, which happened twice last year at Oxford Ost.

view this post on Zulip Sebastian Reichelt (May 05 2022 at 22:06):

Looks like there are a lot of possible dates, so let's just pick Tuesday May 10.
Shall we try another location this time? Unless more people join, we are pretty flexible, it should just be somewhere with a reasonably quiet area outside, preferably with good food. If we're looking for something in Oststadt again, maybe Henderson's? Hoepfner is nice, too, but (a few years ago) I wasn't too happy with the food served in their Biergarten. Alter Schlachthof would be a good option but is closed on Mondays and Tuesdays now, so we'd just have to pick Wednesday then. Or just Oxford again? Any preferences?

view this post on Zulip Sebastian Ullrich (May 06 2022 at 07:44):

Hmm, looks like we may as well choose my office given the audience... :) . But Henderson's sounds good to me, even without Campus-Ale.

view this post on Zulip Markus Himmel (May 06 2022 at 09:19):

Unfortunately I missed the doodle and would love to join but I don't have time on Tuesdays. @Sebastian Reichelt, since you mentioned that there were other good dates, maybe one of them is on a different weekday?

view this post on Zulip Sebastian Ullrich (May 06 2022 at 09:24):

Let's notify some previous participants as well @Jakob von Raumer @Max Nowak @Sebastian Graf @Max Wagner

view this post on Zulip Max Nowak (May 06 2022 at 13:47):

I forgot to submit the doodle, whoops. I'm 60% likely to show up, sadly have a lot of stuff going on :(.

view this post on Zulip Sebastian Reichelt (May 06 2022 at 16:00):

I didn't quite realize that picking a date closed the poll. @Markus Himmel, @Max Nowak, I've reopened it.
Currently, Tuesday and Wednesday next week or the week after are all equally good.

view this post on Zulip Sebastian Reichelt (May 07 2022 at 08:56):

So Wednesday, May 11 it is.

view this post on Zulip Jakob von Raumer (May 10 2022 at 08:41):

I'm in, rather later than early in the evening, as soon as viva celebrations of a friend of mine end

view this post on Zulip Sebastian Ullrich (May 10 2022 at 08:42):

@Sebastian Graf will likely join us as well

view this post on Zulip Sebastian Ullrich (May 10 2022 at 08:43):

We should probably make a reservation soon, if we're not already too late :)

view this post on Zulip Sebastian Reichelt (May 10 2022 at 08:57):

Cool, but looks like we need a bit more space.
On the website of Henderson's, it said that reservations are possible only during opening hours, so I couldn't book anything on Sunday or yesterday but will call them as soon as they open today.

view this post on Zulip Sebastian Reichelt (May 10 2022 at 15:22):

I've reserved a table at Henderson's tomorrow at 7 pm, outside. Looking forward to seeing you all.


Last updated: Sep 24 2022 at 19:12 UTC