Carsten Fuhs (@[email protected])

Senior Lecturer in Computer Science at Birkbeck, U of London: program analysis, verification, automated reasoning, term rewriting, ... Language(s) aficionado.

[Andrew Myers @AndrewCMyers]

The Wooden Firehouse: An allegory for computer security [A/B test]
You have lived all your life in a quickly growing town, whose growth has been sped up by constructing all the buildings out of wood. Some buildings in town are huge structures that have been repeatedly expanded/1

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

This generalises to "Delegating a work task to X (human or machine) is useful if ...". The costs on the left-hand side depend on the detail level for the spec X needs and how much X's results need to be checked/adapted. (And: how much X learns for later tasks from this one.)

[Eran Yahav @yahave]

Every day is a good day to remind ourselves of the fundamental "theorem" of program synthesis: Synthesis is useful if the cost of specification + cost of consuming result << cost of writing the code yourself.

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

Call for Participation: attend the 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) in-person in Rome, Italy and online anywhere with Internet access on 3-6 July 2023! More info: https://t.co/gGiE7oRcXv

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

@Harriyot It seems that I overestimated how well known the song had become in the run-up to the show. 😉 I gather that the song captures the spirit of the ESC well, in its own way, regardless of what the votes by jury and public may say.

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

Call for papers: 11th Workshop on Higher-Order Rewriting on 4 July 2023 in Rome, Italy and anywhere in the world, virtually. HOR is an informal and friendly setting to discuss recent work and work in progress. Submit an extended abstract by 9 May 2023 AoE: https://t.co/gHNqhmN5UG

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

Doing research on termination analysis of programs, rewrite systems, transition systems, ...? Perhaps complexity analysis? Consider presenting your work on 24/25 August 2023 at the Workshop on Termination in Obergurgl, high up in the Tyrolean Alps! CFP: https://t.co/ELQk2ILdEM

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

@Harriyot It is marvellous!👍Thank you!

[Stephanie Weirich @fancytypes]

The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here: https://t.co/iFvuEXuw1K

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

@johannes_kinder @LMU_Muenchen Congratulations!

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

The International Conference on Formal Structures for Computation and Deduction (FSCD) is looking for a home for its 10th jubilee edition, in summer 2025! Check out the Call for Location with further details: https://t.co/izMRELKTpl

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

Still working on the latest tweaks to your paper for FSCD 2023? Fear not -- the abstract submission deadline has been extended to 4 Feb 2023, and the paper deadline to 9 Feb 2023. More info: https://t.co/hvyTPGqAC0

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

Doing research in Formal Structures for Computation and Deduction? Consider submitting to FSCD 2023! If your paper is accepted, you can present either on-site in Rome, Italy or online. The conference is from 3 to 6 July. More info in the Call for Papers: https://t.co/U4uYJzX9jX

[Dr Valeria dePaiva @valeriadepaiva]

A friend wrote asking where is "Women in Logic" happening in 2023? so everyone gets to know that WiL2023 will be in Rome, Italy collocated with FSCD and CADE, https://t.co/HbIXQIo1Hy

[Laure Gonnord @l_gonnord]

So proud that my Phd student Thaïs Baudon -together with @CarstenFuhs and I, as coauthors- won the best paper award at LOPSTR 2022

[MAA @maanow]

Today is Ada Lovelace's birthday. She was an English mathematician and writer, best known for her work on Charles Babbage's proposed mechanical general-purpose computer. She is also known as the first computer programmer. Click the link to learn more. https://t.co/AxwF9mMjiY

[The Register @TheRegister]

RIP: Kathleen Booth, the inventor of assembly language https://t.co/FT4Sm7sDEK

[Birkbeck Business School @BBK_Business]

The deadline for applications to the Kathleen Booth Anniversary #PhD Studentship is this Saturday 15 October ⏰ Don't miss your chance to apply!
All the details and eligibility requirements here 👉 https://t.co/aMoipOjpFG

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

I'd say this goes for academia in general: stories and analogies are super useful for intuition and getting others on board, in research or in teaching. I much prefer a good story to convey the idea rather than all the formal details. They are important too, but only in step 2.

[Sumit Gulwani @SumitGulwani]

Science is increasingly becoming a team sport. #Storytelling takes on a strategic significance to connect various stakeholders.
Check out some useful guidelines illustrated via personal stories in this @CACMmag article with @barik and @MLJuarez.

https://t.co/FftyNnRqx6

[Carsten Fuhs (@[email protected]) @CarstenFuhs]

@fm_volker I defer to instructions by the PC chair, who was in the conference room. :)