Michele Chiari

[giuseppe mingione @grmvader]

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.

[Formal Methods 2026 @FMsymp]

🎉 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

[Formal Methods 2026 @FMsymp]

📢📢 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

[Michele Chiari @micchiari]

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

[Michele Chiari @micchiari]

Happy to announce that we have received the Best Explorative Paper award at @CAiSEConf for our paper on the DOML language!

[Michele Chiari @micchiari]

@ArjSabet We miss you too 😢

[Michele Chiari @micchiari]

Halting problem: solved ✅

[Nicola Gigante @gignico]

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

[ECOOP’26 Conference @ECOOPconf]

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

[giovanni quattrocchi @gioenn]

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 :))

[ECOOP’26 Conference @ECOOPconf]

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? 😄

[Matteo Pradella @bzoto]

Our paper on model checking OP languages is freely available for a limited time, if you are interested: https://t.co/fLjUjEpAsz
(later, just ask me)

[✨ Jean Yang ✨ @jeanqasaur]

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

[Alessandro Vespignani @alexvespi]

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

[✨ Jean Yang ✨ @jeanqasaur]

Programming constructs as cats, at thread. 🐱

GOTO

[Michele Chiari @micchiari]

https://t.co/SkQIAR6Bu5

[Riker Googling @RikerGoogling]

which starship systems are written in cobol

[Michele Chiari @micchiari]

#corsopl The repository is online. https://t.co/QRrNx2gxOl

[Joe Armstrong @joeerl]

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?

[Michele Chiari @micchiari]

@overleaf I just tried again and now it works. Thank you for your attention anyway.