Stream: Geographic locality
Topic: Karlsruhe, DE
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.
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:
Alexandre Rademaker (Apr 12 2020 at 12:44):
But what is the idea of this stream?
Kevin Buzzard (May 03 2020 at 14:53):
To enable people who are geographically close and share common interests to find each other?
Shekhinah Memmel (Dec 27 2020 at 10:59):
I'm from Hadiko.
Shekhinah Memmel (Dec 27 2020 at 11:02):
I'm from Hadiko.
Darij Grinberg (Jan 26 2021 at 15:22):
first time I'm seeing a Karlsruhe group in a math community. hi from Waldstadt
Johan Commelin (Jan 26 2021 at 15:22):
Karlsruhe is super critical for Lean's existence (-;
Darij Grinberg (Jan 26 2021 at 15:24):
just by numbers or is there a working group at the KIT?
Johan Commelin (Jan 26 2021 at 15:24):
One of the two core developers is at KIT
Johan Commelin (Jan 26 2021 at 15:25):
so, maybe not by numbers, but if you do a weighted count, then....
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!
Darij Grinberg (Jan 26 2021 at 15:30):
ah, a nontrivial group :)
Darij Grinberg (Jan 26 2021 at 15:31):
i have no KIT connection (i "work" in Philadelphia); i'm just here for the pandemic
Sebastian Ullrich (Jan 26 2021 at 15:32):
Oh I'm sure other cities have pandemics as least as nice as ours
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.
Darij Grinberg (Jan 26 2021 at 21:57):
I have done even less Lean so far... (just Kevin's integer game)
Darij Grinberg (Jan 26 2021 at 21:58):
but I like to be in the loop about formalization efforts, particularly in algebraic combiantorics
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)
Sebastian Ullrich (May 30 2021 at 22:02):
Wait, who's doing Isabelle in Karlsruhe? I thought I had supplanted them!
The Institute of Theoretical Informatics, ITI at KIT :).
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?
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?
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.
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:
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.
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.
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 :)
Sebastian Ullrich (Oct 06 2021 at 12:29):
Yeah, we should do another one some time. And bully @Johan Commelin into attending as well :) .
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?
Sebastian Ullrich (Oct 06 2021 at 18:15):
Nah, we have student TAs for that
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.
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...)
Johan Commelin (Oct 19 2021 at 17:48):
Unfortunately I can't make it this time either
Sebastian Ullrich (Oct 22 2021 at 06:50):
@Sebastian Reichelt I'm open to other locations, but otherwise I'd say: go ahead!
Sebastian Reichelt (Oct 24 2021 at 17:53):
The reservation has just been confirmed: October 27, 7 pm at Oxford Ost.
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/
Alex J. Best (Feb 23 2022 at 12:26):
You could post this in #job postings too
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.
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.
Markus Himmel (Feb 23 2022 at 12:32):
Fair enough. I'll cross-post.
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
Henrik Böving (May 03 2022 at 19:39):
(question from the uninitiated, what is K∀-B∃∃R?)
Sebastian Reichelt (May 03 2022 at 19:41):
Just an informal Lean meeting in Karlsruhe, which happened twice last year at Oxford Ost.
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?
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.
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?
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
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 :(.
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.
Sebastian Reichelt (May 07 2022 at 08:56):
So Wednesday, May 11 it is.
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
Sebastian Ullrich (May 10 2022 at 08:42):
@Sebastian Graf will likely join us as well
Sebastian Ullrich (May 10 2022 at 08:43):
We should probably make a reservation soon, if we're not already too late :)
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.
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