CGPA Forums

WAIT you're going?? I literally submitted a registration last week and was hoping someone from here would be attending!!! 😭💕

I am NOT presenting this year (maybe next year if my dissertation committee stops being so slow about reviewing my draft lol) but I am absolutely attending as a regular participant. Copenhagen in June sounds magical honestly. I've never been to Denmark.

Dinner sounds like an amazing idea. Wednesday evening works better for me personally — Thursday I'll probably be wrung out from networking all day lol. Either way I'm in!! Put me on the list 🙋

Tabby omg congrats on getting a paper in!! That's huge 🎉🎉 okay for Q&A tips I have heard from people who go regularly that the trick is to just have 2-3 pre-prepared "I can follow up on that" responses and not be afraid to say "that's a great direction for future work" when you genuinely don't know the answer. The audience is usually on your side!!

I am probably going too — waiting on funding confirmation from my advisor but like… 90% sure. I'll update when I know. Also I really want to meet people from the forum irl this would be so fun

oh wow okay hi!! I literally made an account here last month and I'm already being invited to a PLDI dinner?? this forum is so nice 😭

I'm going to PLDI as part of a student volunteer cohort so I'll be running around doing conference stuff during the day but I should have evenings free! Would love to come to the dinner if that's okay with everyone 🥺

Also random question — is anyone planning to bring laptop stickers to trade?? I have a huge collection and I've heard conference meetups are great for sticker trading. I have some really cute cat-themed PLT ones I made as custom die-cuts. Would happily swap for anything Coq/Lean/Agda-adjacent or just general cute PL art 🐾

OKAY I've been lurking this thread for two hours and I keep going back and forth and I finally decided: I'm going to submit a travel grant application and if I get it I will absolutely be there 😤 no more excuses. I went to POPL last year and it was wonderful and I've been telling myself I'd do PLDI "next time" for like three years

quick q for NekoProof or anyone who knows Copenhagen — is the main conference venue fully wheelchair accessible? a friend might be coming with me and I want to make sure before I get their hopes up 🙏

Adding myself to the going list! I have a poster in the SRC (Student Research Competition) so I'll definitely be at the venue the whole week. Super nervous about the poster session but also very excited 😬✨

On the sessions I'm most excited about: the EGRAPHS workshop is on my list for sure, I've been getting really into equality saturation stuff lately. And the memory management track (ISMM) is co-hosted this year which is great.

Also I second the sticker trading idea SO hard. I have custom trans flag + lambda calculus enamel pins I've been meaning to distribute to the world 🏳️‍⚧️

Completely up to you!! I plan to wear mine because I like it but there's absolutely no expectation either way. The whole point of the dinner is to be comfortable and unwind 🌸 If people want to bring a little card with their forum username so we can recognize each other that could also be cute?

Congrats on getting advisor funding btw!! Added to the list: now at 8 confirmed + 1 tentative. This is really coming together!! I'm going to start looking at restaurant options this week. If anyone has dietary restrictions (vegan, gluten free, halal, kosher, allergies etc.) please DM me or just mention it here, I want to find somewhere that works for everyone 💕

okay I'm writing this down in my notes document titled "pre-talk anxiety coping strategies" which is a real document I have 😅 thank you so much genuinely this helps a lot

I'm presenting on Thursday morning (first slot after the opening keynote which… is either great or terrible for audience size, I haven't decided which yet). My advisor said "get a good night's sleep Wednesday" which means the Wednesday dinner is OFF for me unfortunately 😭 BUT I can do Thursday evening once I've survived my slot!!

Can we do both nights? Thursday is my vote for the main dinner. Post-presentation celebratory drinks = motivation to survive the Q&A lmao

That is literally exactly what conferences are for!! Authors specifically hang around after sessions hoping someone will come talk to them. Just introduce yourself, say you're working on something adjacent and found the paper really interesting, and let the conversation flow. Worst case they're busy and say "let's schedule time later" and then you get a coffee chat out of it 🙏

Networking at academic conferences is just "asking people very specific questions about their papers while pretending you're not nervous." You've got this 💕

YES!! OH MY GOODNESS YES 💕💕 Please come!! The whole vibe I'm aiming for is "safe casual hangout for PL cat girls at a conference that can sometimes feel very overwhelming." You don't need to know people in advance. You don't need to be a long-time member. First conference, first dinner, first time meeting anyone — all completely fine and welcome!!

Honestly I specifically want the dinner to be a place where people who are feeling a bit lost or lonely at the conference can decompress and just have a nice meal with friendly people. That's the whole point 🌸

UPDATE: travel grant application submitted!! Fingers, toes, and ears crossed 🐱🤞 My advisor also said she might try to come now that I told her about the forum dinner and honestly I hope she does because she is also a cat girl (in spirit) and would have a great time

Also I just want to say that this thread is making me feel so much better about going to a big conference alone for basically the first time. Like I already feel like I have people to look for 💜 this community is so good