Interested in Computer Science? 🖥️ Join us online to ask any questions you might have about any of the #undergraduate and #postgraduate #ComputerScience programmes. 🔹Wednesday 07 September 12:30-13:30 🔹Thursday 08 September 17:30-18:30 👉Book: ow.ly/FXw850KpoI1

Tomorrow, at 11 local time at Tbilisi, Georgia , at #LOPSTR22 conference ! cc Carsten Fuhs (@[email protected])

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.

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 👉 bbk.ac.uk/news/birkbeck-…

RIP: Kathleen Booth, the inventor of assembly language reg.cx/46ds?utm_sourc…

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. bit.ly/3aY8Hqf

So proud that my Phd student Thaïs Baudon -together with Carsten Fuhs (@[email protected]) and I, as coauthors- won the best paper award at LOPSTR 2022

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, sites.google.com/view/wil2023

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: fscd-conference.org/news/fscd-2025…

The program for the Oregon PL Summer School 2023 is now available and the application deadline is April 13th! Apply here: cs.uoregon.edu/research/summe…

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: lists.rwth-aachen.de/hyperkitty/lis…

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: lists.rwth-aachen.de/hyperkitty/lis…

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: groupes.renater.fr/sympa/arc/clap…

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

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