Some links:

• Conferences and workshops I co-organise:
  • December 2026, conference: SETTA, Symposium on Dependable Software Engineering Theories, Tools and Applications in Singapore
  • November 2026, workshop: Verification & Validation & Runtime Analysis around the Hardware/Software Boundary in Bariloche (Patagonia, Argentina)
  • August 2026, conference: RuleML+RR Rules and Reasoning in Vilnius (Lithuania)
  Please submit!
• My Google Scholar
• My papers at martinfriedrichberger.net
• My online calendar for appointments
• My 2019 compilers course
• 2003 interview with Robin Milner
• S-REPLS 9, May 2018