Marco Carbone

Just got back from a really cool Dagstuhl seminar! Thanks to everyone who attended! dagstuhl.de/en/seminars/se…

Today I start my 6-month sabbatical, looking forward to interesting research interactions. First stop, this week for a #dagstuhl I’m organizing. dagstuhl.de/en/seminars/se…

📣 Excited to announce the 1st Choreographic Programming (CP 2024) @PLDI 2024 🇩🇰 The workshop invites talk proposals on the CP paradigm—where programs are concurrent/distributed coordination plans 🗒️ compilable into compliant implementations ⚙️ Info: pldi24.sigplan.org/home/cp-2024

@annargrs @VELUXFONDEN @VILLUMscience @ITUkbh @NLPnorth Congratulations! 🎊🎈🍾

🏆 I am a #VillumYoungInvestigator 2024! Tons of gratitude to @VELUXFONDEN @VILLUMscience for supporting my moonshot towards more transparent generative AI systems. I'll be looking for two PhD students & postdoc soon to join @ITUkbh @NLPnorth, stay tuned!

@ShriramKMurthi I also skip breakfast…unless I’m in a hotel 😊

This is what peak breakfast looks like. (I haven't eaten breakfast for 2.75 years—best life change I've made—but my excuse here is it's really night by my body clock so who even knows and what anyway is the nature of time and who imposed this hegemony and…) #India24

DisCoTec 2024 is looking for satellite events: workshops / tutorials. Keep an eye on #satellite-events" target="_blank" rel="nofollow noopener">discotec.org/2024/#satellit… for more info! #DisCoTec #workshops #tutorials

Why can I not find any information about CONCUR 2024?

@ShriramKMurthi How can you possibly recognize him? 😅

I was once passed at the same relative speed by a pro out training on the Col de la Madone. Unlike these pros, I couldn't have called out his name even if I knew it.

Last exams before going on sabbatical :-)

@stokfredrik @defcon Great talk

Big day, big day… Breathe, we go this! Showtime! (11:00 track2 @ @defcon)

@cjkirk111 @PMBreakingNews In Denmark there’s a mass shooting every 10 years. USA has at least 10 per year…

@PMBreakingNews Denmark: the strictest firearm control laws in Europe *proceeds to have a mass shooting* Wow imagine my surprise firearm laws dont stop people from committing illegal acts with firearms

Breaking: Video shows minutes before several people were shot at Field’s Mall in Copenhagen, Denmark. At least one person was arrested.

Pool order algebra. @reifyreflect @carbonem @rolandkuhn @philippkhaller @dagstuhl

@UEFAcom_it Kom så Eriksen

La partita di UEFA EURO 2020 a Copenhagen è stata sospesa per emergenza sanitaria.

The MECHANIST project is #hiring! Know anyone who might be interested? Position: PhD student (3 year) - supervised by me and Jesper Bengtson Area: Formal Methods, Session Types, Mechanisation in Coq Please contact me if you have questions! Apply here: candidate.hr-manager.net/ApplicationIni…

Buy #gme 🤣

Perhaps we should generate random papers too m-cacm.acm.org/blogs/blog-cac…

@ShriramKMurthi Oh that breaks my heart 💔

Wow. There's a story attached.

Almost three days following the US elections...almost as good as watching champions league. But now I’m tired 😓

This is my fourth tweet, ever...mmmh is this really useful? 🤔

I love Dropbox because it's simple, it's cool and easy to use! Bigs up! db.tt/rTULBxbk