Marco Carbone

[Marco Carbone @carbonem]

@AnthropicAI This is not ok. It will be included until July 7 at 50%. Before the ban, we still had 10 days left at 100%. DISAPPOINTING

[Marco Carbone @carbonem]

Just got back from a really cool Dagstuhl seminar! Thanks to everyone who attended!

https://t.co/FaCGO8BVr0

[Marco Carbone @carbonem]

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

https://t.co/FaCGO8BVr0

[Microservices Community @c_microservices]

📣 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: https://t.co/qA0PjrMEoS

[Marco Carbone @carbonem]

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

[Marco Carbone @carbonem]

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

[DisCoTec Conference @DisCoTecConf]

DisCoTec 2024 is looking for satellite events: workshops / tutorials.
Keep an eye on https://t.co/jpbtAWY5Ja for more info!
#DisCoTec #workshops #tutorials

[Marco Carbone @carbonem]

Why can I not find any information about CONCUR 2024?

[Marco Carbone @carbonem]

@ShriramKMurthi How can you possibly recognize him? 😅

[Marco Carbone @carbonem]

Last exams before going on sabbatical :-)

[Marco Carbone @carbonem]

@stokfredrik @defcon Great talk

[Marco Carbone @carbonem]

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

[Fabrizio Montesi ⬣ A➔B @famontesi]

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

[Marco Carbone @carbonem]

@UEFAcom_it Kom så Eriksen

[Marco Carbone @carbonem]

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: https://t.co/C47CW8wcL9

[Marco Carbone @carbonem]

Buy #gme 🤣

[Marco Carbone @carbonem]

Perhaps we should generate random papers too https://t.co/hqaAf275vl

[Marco Carbone @carbonem]

@ShriramKMurthi Oh that breaks my heart 💔

[Marco Carbone @carbonem]

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

[Marco Carbone @carbonem]

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