Ogni anno alcuni coraggiosi ricercatori italiani decidono di rientrare dagli Stati Uniti per nuotare nelle difficili acque del sistema universitario italiano. Peccato che ad attenderli all'aeroporto in Italia non ci sia mai alcun rappresentante del Governo.
🎉 Submissions for #FM2024 are officially closed! A huge thank you to everyone who contributed to the record number of over 200 papers submitted! 🎉
Submission to co-located events and workshops is still open: don't miss this opportunity ➡️ https://t.co/Rq6ESlYmWH
📢📢 FM 2024 will be held at Politecnico di Milano on September 9-13, 2024, in Milan, Italy!
https://t.co/Rq6ESlYmWH
The submission deadline is in April 2024: check out the preliminary CfP!
https://t.co/Jtvt8YOdsD
The DevSecOps Modelling Language (DOML) is a new language developed within the @PIACEREproject that makes it easier to write correct and safe Infrastructure-as-Code.
📑Read about it here: https://t.co/7Pkzx7Byq4
So Elizabeth II passed away today. Rest In Peace. A long life spanning nearly a century. So, inspired by the thread below, what happened in our field during her life? 1/10
Congratulations to our #ECOOP22 Distinguished Artifact Reviewers!
* Michele Chiari, Politecnico di Milano
* Jonas Norlinder, Uppsala University
* Chiao Hsieh, University of Illinois at Urbana-Champaign
* Patrick Rein, Hasso Plattner Institute @codezeilen
https://t.co/J4x2SJXCy4
10/ A biiig thank you goes to the other co-authors @terraccianoluca, @PentaBananaSwag, and @lucbar67 for their amazing work!
This was the first conference paper for Luca and Davide, our two new Ph.D. students
This pic shows the moments after receiving the notification :))
This year we are reviewing papers and artifacts together
📄🔍🧐🔎💾
The deadline to submit your artifact for R1:
📅10th of December 2021📅
Call for Artifacts 👇🏼
https://t.co/jZ3uGGemqt
What do you think is crucial to include in a good artifact? 😄
Taylor Swift as important papers in programming languages, a thread.
"An Axiomatic Basis for Computer Programming," C.A.R. Hoare, 1969. Introduced Hoare Logic for proving program properties.
https://t.co/iW7GZoz039
Dopo due giorni di lettura di polemiche, una polarizzazione assurda di opinioni, e centinaia di tweet il mio unico modo di intervenire e' di cercare di fare un po' di chiarezza scientifica.
1/n
One on the disadvantages of having a PhD in computer science is that I get asked really difficult questions.
Like - "In gmail on my iPhone I press archive - can I get my mail back?"
and "Why have they changed the interface?"
Why no easy questions like what's a monad?