🌟You listen to @sw_unscripted and suddenly both #ChoreographicProgramming and #Jolie get mentioned!
💡Did you know? The first choreographic programming language actually compiled to Jolie, because Jolie's primitives made the implementation much simpler.
HT @realThesave
🗓️ Save the Date!
This year the "Agility with Microservices Programming" (#AMP2024) workshop is co-located @ICSOCConf in Tunis 🇹🇳 !
👉 Paper deadline: Sep 26th, 2024
👉 Workshop: Dec 3rd, 2024
Join us as we explore the fascinating world of #microservices!
https://t.co/DuculFfpJ7
💭 Choreographic Programming 2024 @PLDI was fantastic. :-) An entry to remember the tough questions and the importance of such events.
Thanks so much @lindsey, @marcoperessotti, and @realThesave for the great organisation!!
#choreographicprogramming
https://t.co/uvXwV62Mkb
The call for talk proposals of the #Choreographic#Programming Workshop @PLDI (June, Copenhagen 🇩🇰) has been extended by one week. The new deadline is March 29, 2024.
Don't miss this opportunity to showcase ongoing research and completed projects!
info:https://t.co/I75XQRqEtq
📣 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
Just realised that my book is at @poplconf! Here are a few ideas on how to use it for your next POPL paper.
We're also hiring PhDs, postdocs, and faculty in PL! You can talk to @Manchegobaby at POPL about it.
(I'm not there myself for a reason you can guess from the picture.)
📣 We are happy to renew our collaboration with the COORDINATION conference — #microservices are among its topics of interest!
@DisCoTecConf@univgroningen 🇳🇱 on June 18-20, 2024
Abstracts: Feb. 02, 2024
Papers: Feb. 09, 2024
To know more visit https://t.co/dvbMDBUIvr
🤔A misconception I've encountered on #ChoreographicProgramming is that it requires a type system (w/ data types, linear/session types, or ...) to get its interesting properties (like deadlock-freedom). No, they stem from language design.
Pic from: https://t.co/rxcCETcr0f
1/
🚀 Thrilling day 1 of #Microservices2023 in Pisa! 🇮🇹
Davide Taibi gave an inspiring keynote on the future of microservices!🗣️
Engaging sessions delved into microservice integration, development, & migration!
🔄🛠️
Day 2 has just started, stay tuned!
https://t.co/SXDrxWWoN2
È italiano il nuovo tool gratuito contro il #ransomware che riesce a contrastare fino al 94% degli attacchi informatici @Unibo@ArpaER@realThesave https://t.co/0sVhqHvsOv
Proud to announce that Ranflood—our #cybersecurity tool that fights #ransomware with floods of decoy files, developed by @Unibo and @ArpaER—has been accepted at Computer & Security 🎉
https://t.co/FDMBCSUMEx
Learn more about the project at https://t.co/9CfP1VV3Tt
New in Jolie 1.11: The beginning of an increased focus on #HCI and #UX. Simpler explanations, actionable errors, and a systematic approach. 👇🧵
Special thanks to V. Mixen (MSc thesis on the topic at @imadaSDU) and @Kicito (work on modules)!
#jolie#microservices#programming
📣 Exciting news to share! 🚀
The deadline for the #AMP2023 workshop, co-located with ECSA2023 at Yeditepe University in Istanbul, has been extended!
🗓️ You now have until the 7th of July to submit your research.
#amp2023@ECSACONF
https://t.co/24UTxZFfQ5
🏆 Our paper 'JoT: A Framework for Testing #Microservices in Jolie' is gonna receive the Best Artefact award at COORDINATION 2023!
A mini thread on it. 👇🧵
w/ @realThesave@marcoperessotti F. Rademacher and N. Unwerawattana
@jolielang@imadaSDU
Link: https://t.co/BC3MuXeLjo
📖 I'm delighted to announce the publication of my book 'Introduction to Choreographies' with Cambridge University Press (@CUP_SciEng)!
Concurrency, distribution, and decentralised coordination plans. 👇 🧵
https://t.co/4FjhfURcbX
#computerscience#math@VILLUMscience
[1/n]