2026-07-22T16:11:55Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:17453 2026-04-20T13:24:15Z ddc:004 open_access

Theories of Programming (Dagstuhl Seminar 22231) LaToza, Thomas D. Ko, Amy Shepherd, David C. Sjøberg, Dag Xie, Benjamin computing education human-computer interaction programming languages software engineering theories of programming Much of computer science research focuses on techniques to make programming easier, better, less error prone, more powerful, and even more just. But rarely do we try to explain any of these challenges. Why is programming hard? Why is it slow? Why is it error prone? Why is it powerful? How does it do harm? These why and how questions are what motivated the Dagstuhl Seminar 22231 on Theories of Programming. This seminar brought together 28 CS researchers from domains most concerned with programming human and social activities: software engineering, programming languages, human-computer interaction, and computing education. Together, we sketched new theories of programming and considered the role of theories more broadly in programming. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Thomas D. LaToza and Amy Ko and David C. Shepherd and Dag Sjøberg and Benjamin Xie 2023 Is Part Of Dagstuhl Reports, Volume 12, Issue 6 (2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.12.6.1 urn:nbn:de:0030-drops-174533 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.6.1 eng https://creativecommons.org/licenses/by/4.0/legalcode