温泉

*Talk by Abraham W.* Martin-Löf's meaning explanations provide an approach to understand mathematical statements as statements about functional computer programs. Furthermore, meaning explanations can be used to justify the inference rules of intuitionistic type theory. *As usual, there's mingling at the local bar after the talk.*

Booked pitch at Holmen. Pitch is booked until 22.30 💰 **Cost:** 10 kr Mobilepay: 9539SH Revolut: [revolut.me/frederwnn](https://revolut.me/frederwnn) Or bring Cash * Event begins at 20:15 * You must sign out no later than 9:00 same day * Spots are non-transferable (you cannot reserve a spot and send someone else in your place) * Members who follow the rules and attend regularly will be given priority **Be at the pitch at 20.15 sharp!** Minimum 14 players by midnight and we play! Otherwise the game is cancelled. We aim for 8v8. The game is naturally for everyone no matter gender, level or anything. We emphasise on having fun! That also means no risky tackles or foul language. Bring a white and a black t-shirt and a ball if you have one. **Last minute sign-off's** (Later than 9AM on the same day) or no-shows will be banned from the next games and be put in the no-show list. 3 Strikes and you're out for a full year - no exceptions

We are a group of people meeting on Tuesdays to socialize around cooking and eating together. Usually around 40-50 people. Many are international students, but also other people join. The foodclub exist independent of Meetup, we invite you because we have room for a few more people. The food is vegan and made from donated leftover veggies from a local greengrocery. The place has originally hosted leftwing activist groups, and many of the people joining are also involved in political groups. If you want to join for chopping and cooking, we will be doing that from 3 to 6 pm. It is possible to join part of the time. From 6:30 to 8pm we are serving food. Donation around 30 kroner. If you are helping out some hours, chopping, cooking or cleaning, you can eat for free. From 8 to 9 - 9:30 pm we are cleaning up the place. We hope to see you in our lovely foodclub <3

**👉Do Not Hesitate To Join the Waitlist — We will try to find room for everyone...👈** **This event is a memorial gathering, a wake** to the planned — but now cancelled [DevOpsDays Copenhagen 2026](https://www.devopsdays.dk/events/drink-up-2026/). **The event is free to participate - SEATS ARE LIMITED TO 40!** **Program (start 17:00 SHARP, arrive and be seated before that!)** * **Welcome** + 1 minute of silence for the deceased DevOpsDays * **Lessons from 10 years of Platform Engineering** by Kris Buytaert * **Table discussions** — "What the heck is going on in the DevOps Community right now?" * **Summary** on table discussions * **Outro** — The current status of the transformed Danish DevOpsDays Association and a glimpse into what the future will bring It ends at the "Workbar" no later than **19:00** but if we're still a decent crowd we will continue onward for a burger or a pizza. **Keynote:** [Kris Buytaert](https://www.devopsdays.dk/profiles/kris-buytaert/) is flying in from Belgium to deliver his planned Keynote [Lessons From 10 years of Platform Engineering ](https://www.devopsdays.dk/talks/lessons-from-10-years-of-platform-engineering/) **Post Mortem:** We had to cancel the planned two-day DevOpsDays conference, simply due to lack of interest from audience. This is the canary in coal mine; DevOps(Days) choked. Let's do a post mortem. Platform Engineering is the new DevOps — so we're told. *"No — that's Ops, not DevOps".* Where did all the *"You Build It You Run It"* hype go? We will kick off discussions on this topic at the tables - while you sip your funeral beer. **Phoenix rising:** — The Danish DevOpsDays Association has a new charter, new bylaws, a new purpose. We, the organizers, will lay out our plans for the future and encourage you to join. **Context:** [DevOps is Broken](https://www.devopsdays.dk/stories/devops-is-broken/)

**Guests: Registration on email is required before attendance** Guests are most welcome to join our meetings, but attendance must be registered by email to [copenhagen@toastmasters.dk.](http://copenhagen@toastmasters.dk.%2A%2A/) Please come 10 minutes before the meeting start. We start at exactly 18:00. Welcome to ***Copenhagen Toastmasters Club*** Looking to improve your speaking and communication skills? Ignite your career? Gain the confidence to speak up? You’ve come to the right place. **Our meetings for 2026 from April to June:** • Wk 15: 7. april • Wk 17: 21. april • Wk 19: 5. may • Wk 21: 19. may • Wk 23 2. jun. • Wk 25 16. jun. **Our history** The *Copenhagen Toastmasters Club* was established in June 1996 by a group of dedicated people. We are the first Toastmasters club in Denmark. We are part of the Toastmasters International which is a nonprofit organisation that helps people to improve public speaking. **Our goals** *Copenhagen Toastmasters Club* will give you the skills and confidence you need to express yourself effectively in any situation. Toastmasters is the most efficient, enjoyable and affordable way of gaining great communication skills. You'll learn how to: * Formulate and express your ideas effectively * Be more persuasive and confident when giving presentations * Improve your one-on-one dealings with others At *Copenhagen Toastmasters Club*, you'll get to practice your skills by organising and conducting meetings and motivating others to help you. Become a better negotiator. Gain trust. Inspire your team. **Want to know more about *Copenhagen Toastmasters Club*?** [Facebook](https://www.facebook.com/CopenhagenToastmasters) , [LinkedIn](https://www.linkedin.com/company/2480522/admin/dashboard/) [Toastmasters International - global network](https://www.toastmasters.org/)

Fulfillment. Joy. – Do you know what it is? Do you feel it now? Many of us are living lives that have “just sort of happened”. We had a dream, a vision (maybe we still do) for what we wanted our lives to look like. Somewhere along the way, life took over and something else ended up happening. We made decisions, took a turn down a path, and now our life isn’t what we thought it would be. Or we’re living someone else’s life. Maybe it’s what our parent’s wanted for us. What we believe our partner or a potential partner might want. Or maybe it’s what we believe we need to do and have to be happy. I was one of these people. My life checked all the boxes for what I thought I needed in order to be happy. And still, I wasn’t. Join me for a coffee talk on what it means to live a Life By Design. Where your choices are deliberate and based on your authentic, true self. What you have to let go off to achieve this (hint: the notion that vulnerability is a weakness and feelings of fear and guilt) and who you will become in the process.

Join us for an hour of writing! We’ve discovered that it’s strikingly helpful to write with other writers. See if it’s true for you at our Copenhagen Shut Up & Write! sessions. Be it a book, blog, script, essay, dissertation, résumé, melody, poem, or just plain work stuff, you are invited to write it with us. No one will see what you've written or give you unsolicited advice. Instead of just thinking about writing, come and get some real writing done. SCHEDULE: - 15 minutes of hellos and getting settled; maybe some quick intros. - Then, the timer starts! : writing for 1 hour. - After the hour is up... chat / take off / keep writing, if you're on a roll. OPTIONAL SOCIALIZING happens once the hour of writing is complete. Writing can be very solitary... connecting (and sometimes even commiserating) with other writers is a cool thing. It's best to be on time, but BEING LATE IS ALSO OKAY: just show up and get settled, then check in with us after the session. (We’ll be the ones with the small Shut Up & Write! sign.) If you were on time, please be willing to make room for the friendly latecomer. What Should I Bring? Whatever you need to be able to write! Bring earbuds/earplugs if you want to block the cafe’s overhead music or the occasional conversation by other patrons.

**𝗗𝗘𝗔𝗥 𝗪𝗢𝗥𝗟𝗗 – the international week-breaker** Your favorite after-work/after-uni bar night to connect, relax, and meet amazing people at ease. for context (as frequently asked): ***\- we are always many more people than sign up here on meetup as most traffic and updates happen on IG*** ***\- average age range is from 20\-30 \(everyone is welcome\)*** Yet another amazing year of Dear World the way we know it - together! At Bodega, we stocked up on board games to get cozy and competitive while social of course. 📸 IG @dearworldcph (for impressions from past events!) As the days are colder and shorter, we’re bringing the energy to our nights – with over 100+ at our bar nights and 200+ at our parties, 𝗗𝗘𝗔𝗥 𝗪𝗢𝗥𝗟𝗗 keeps growing! For almost 2 years now, we’ve been uniting Copenhagen’s international crowd (and locals) – countless nationalities, shining in different languages 🌍 Think easy-going conversation starters like flags, rotating chat charms & playful questions – all designed to spark great chats and eliminate any awkwardness. 📍 BODEGA DANZA, Flæsketorvet 13A, 1711 Copenhagen 🕖 When: starting at 19:00 (hosts & stickers until 22:00, the night continues however long you like) Let’s raise a glass, meet familiar and new faces, and break the week – together 🥂 𝗗𝗘𝗔𝗥 𝗪𝗢𝗥𝗟𝗗 The space for internationals and open-minded locals to connect in Copenhagen. Whether you’re looking to socialize, network, make friends, or simply vibe – just show up. Come solo or bring your crew – we’ve got you. Got questions? DM us on Instagram @dearworldcph or reach out to the host here. Let’s make Wednesdays the new favorite day of the week 🌇

New Host for the Meetup group and new horizon for the community. Join Mia for a drink and a discussion about how we can shape the group activity to give more value to the members and to AI development.

Hej! Copenhagen’s not just cozy — it’s cosmopolitan too. [[[Click this whatsapp groupchat link to join us](https://chat.whatsapp.com/ITxd1esbSuyJuVVZ1wkEXS)]] Our Saturday 7:30 PM meetups gather 20–30-somethings who love international connections. Expect warm vibes, open minds, and a seat at the table for everyone. Come join the city’s most hyggeligt hangout. join us!!

Important note: we will be changing venue every other week (from Main Library on Thursdays to Nørrebro Library on Fridays), so please check event details. **Dear Expat (or Dane!),** Looking for a job in Denmark? Whether you’re new to the country or seeking to advance your career, this session is designed to help you navigate the Danish job market with confidence. Join us for practical insights on: · Tailoring your CV for Applicant Tracking Systems (ATS) and Danish employer expectations. · Leveraging LinkedIn and networking strategies to uncover hidden job opportunities. · Understanding Danish workplace culture and what employers value most. This workshop is perfect for expats at all career stages, from newcomers to seasoned professionals. You’ll leave with actionable tips, a stronger network, and the tools to make your job search more effective. Looking forward to connecting with you, **Maria Depesova** Your Host & Expat Community Builder

🎶 Creative Meetup – Limited Spots 🎨 Hey! I’m organizing a small, intimate creative meetup, and I’d love to invite you to be part of it. To help cover food and the organization of the event, there’s a small fee of 50 kr to join. Because we want to keep the space safe, open, and genuinely connected, spots are limited. Everyone who’s interested will be notified, and we kindly ask you to send a short introduction about yourself just a few lines about who you are and what you enjoy creating. This helps us build a thoughtful and welcoming group. The intention is to create a space where everyone feels comfortable expressing themselves, connecting, and sharing creatively. If this resonates with you, reach out I’ll get back to you with more details. Looking forward to creating something special together ✨

Booked pitch at Holmen. Pitch is booked until 14.30 💰 **Cost:** 10 kr Mobilepay: 9539SH Revolut: [revolut.me/frederwnn](https://revolut.me/frederwnn) Or bring Cash * Event begins at 12:45 * You must sign out no later than 9:00 * Spots are non-transferable (you cannot reserve a spot and send someone else in your place) * Members who follow the rules and attend regularly will be given priority **Be at the pitch at 12.45 sharp!** Minimum 14 players by midnight and we play! Otherwise the game is cancelled. We aim for 8v8. The game is naturally for everyone no matter gender, level or anything. We emphasise on having fun! That also means no risky tackles or foul language. Bring a white and a black t-shirt and a ball if you have one. **Last minute sign-off's** (Later than 9AM on the same day) or no-shows will be banned from the next game and be put in the no-show list. 3 Strikes and you're out for a full year - no exceptions. See the list here: [No-shows @ Football.xlsx](https://kpdk-my.sharepoint.com/:x:/g/personal/hems_kp_dk/ETJW3_gniv1BmbKjidmn31wB9SFCobvhySRDW5fXSdc9Lg?e=lCafbH)

Viviane and Xavier are visiting from the Unity Montreal office, and they have kindly offered to give a talk about using machine learning inference in Unity games (actually same talk which will also be given internally) **Xavier Désilets** \- Senior Software Developer\, Unity **Viviane Rochon Montplaisir** \- Senior Software Developer\, Unity Are you a game dev who keeps hearing words like "tensors" and "logits" and quietly alt-tabs back to your prefab folder? This session is for you. In the first half, we'll do a fast, practical ML 101 specifically for game developers. We'll cover what tensors actually are (in human language), quantization, how model graphs work, and what to make of different model formats. In the second half, we'll focus on the decisions you have to make to ship something: how to pick a model size that won't set your players' fans on fire, what formats and hardware are supported, and how to think about speed vs. quality. We'll walk through real-world input and output pipelines. We'll ground this with currently available Unity Sentis samples. By the end, you won't be a data scientist, but you will know how to choose, run, and wire up ML models at runtime in Unity without breaking your frame budget or your brain. **Program:** 17:30 - Sandwiches, sodas and mingling 18:00 - Welcome 18:10 - Presentation 19.15 (approx.) - Mingling continues 21:30 - Venue closing

**Pickleball + coffee + community 🌱** **Let’s kick things off with pickleball at Park of Roses, then join us at Blackend Coffee to unwind and connect.** **Pickleball 🏓 10:30am-12:30pm** **Blackend Coffee ☕️ 🌯 1-3pm** **All levels welcome!** **Can’t waitt to see everyone!** **📍 Park of Roses** **3901 N High St** **Columbus, OH 43214** **📍Blackend Coffee** **2619 N High St** **Columbus, OH 43202**

It feels like we just saw each other 🤷. Join members of the local design and UX community for our monthly breakfast. For May we’re stopping in for Rooh’s popup breakfast/cafe concept. You know someone is getting the lobster yuzu croissant, and that’s not even the prettiest thing on the menu!.

Tickets are now on sale!🥳We also will have lunch before. At the Rusty Bucket in Easton which is posted separately. 😊 Park in the East Garage.The restaurant is across the street then we can walk back together to the movie! 🥳

Join us as we get together to see your choice of two VERY different movies – one sweet and wholesome – the other a terrifying folklore horror! Option 1 is the fun whodunnit-action-comedy-mystery led by Hugh Jackman, THE SHEEP DETECTIVES! Option 2 is the top-reviewed supernatural-horror-thriller starring Adam Scott, HOKUM! Here’s a description, trailer and plan for this event: THE SHEEP DETECTIVES: Every night a shepherd reads aloud a murder mystery, pretending his sheep can understand. When he is found dead, the sheep realize at once that it was a murder and think they know everything about how to go about solving it. The film is directed by Kyle Balda and take a look at this ensemble cast: Hugh Jackman, Nicholas Braun, Molly Gordon, Hong Chau and Emma Thompson and the voices of Julia Louis-Dreyfus, Bryan Cranston, Chris O'Dowd, Regina Hall, Patrick Stewart, Bella Ramsey, Brett Goldstein and Rhys Darby. TRAILER: https://www.youtube.com/watch?v=pyZI5oM6hWk HOKUM: In this film, a horror writer visits an Irish inn to scatter his parents' ashes, unaware the property is said to be haunted by a witch. It is written/directed by Damian McCarthy stars Adam Scott, Peter Coonan, David Wilmot, Florence Ordesh and Austin Amelio. Hokum premiered to rave reviews at this year’s SXSW Festival and is being release by Neon. It is earning a stellar 97% positive rating on Rotten Tomatoes, which calls it, “A classic haunted house story enriched with atmospheric folklore and perfectly-timed shocks!” TRAILER: https://www.youtube.com/watch?v=EVCIK_MPyhc PLAN: We’ll plan for a 7pm-ish showing of both films and will meet inside the theater lobby about 20 minutes before showtime. If the showtimes work out, we’ll try to get both groups together for a bite before the shows! Complete details and showtime will be confirmed/announced as the date gets closer. Look forward to seeing you there, Dan

Private Group. Closed to the Public Knowing ourselves and understanding our abilities is the first step toward wielding our gifts with control and accuracy. In subsequent classes we will verify and hone our talents with activities and discussion. These are hands-on workshops and participation is expected. The goal of our series will be to develop expertise in areas of particular interest such as mediumship, channeling, divination, healing and, etc.. Our ultimate directions will be determined by class members as we evolve. I look forward to sharing and discovering with you. - Cynthia

**Optional movie afterwards**

Over 50 CINCO de MAYO HAPPY HOUR - FLIGHTS N TACOS!!! Join us for a fun and relaxed Over 50 Happy Hour on Friday, May 1st from 5:00 PM – 8:00 PM at Giant Eagle Grandview Yard Event Center! (upper level) **Plenty of free parking**. The event center is huge! Pics are in the comments. Over 50 CINCO de MAYO HAPPY HOUR!! – Flights n Tacos Let’s join together for a fiesta! (Invite friends - we have lots of room!) • Taco Bar • Margarita and Beer tasting • Complementary chips and salsa • Margs/cocktails at the bar for purchase • Festive Band/Music Margaritas/Mexican Beer Tasting + Taco Bar: Optional - For $15.00 per person you can also get 4 Margarita or beer) Get ready for a fun evening filled with live music, great conversation, and a lively crowd of 50+ singles and friends looking to mix, mingle, and enjoy the night. Whether you come solo or with friends, you’ll quickly feel the welcoming, social vibe. Enjoy happy hour at the bar until 6 PM, or take part in the special Cinco de Mayo experience featuring margarita flights and delicious Mexican bites. It’s the perfect setting to relax, meet new people, and celebrate in style. Our private upstairs space gives us plenty of room to connect, laugh, and enjoy the energy of the night. Come when you can, stay as long as you like — the best conversations (and the most fun!) tend to build as the evening goes on. No agenda — just great people, live music, and a Cinco de Mayo celebration you won’t want to miss!