Theories of Programming (Dagstuhl Seminar 22231)

Authors Thomas D. LaToza, Amy Ko, David C. Shepherd, Dag Sjøberg, Benjamin Xie and all authors of the abstracts in this report

Thumbnail PDF


  • Filesize: 2.53 MB
  • 13 pages

Document Identifiers

Author Details

Thomas D. LaToza
  • George Mason University - Fairfax, US
Amy Ko
  • University of Washington - Seattle, US
David C. Shepherd
  • Virginia Commonwealth University - Richmond, US
Dag Sjøberg
  • University of Oslo, NO
Benjamin Xie
  • University of Washington – Seattle, US
and all authors of the abstracts in this report

Cite AsGet BibTex

Thomas D. LaToza, Amy Ko, David C. Shepherd, Dag Sjøberg, and Benjamin Xie. Theories of Programming (Dagstuhl Seminar 22231). In Dagstuhl Reports, Volume 12, Issue 6, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)


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.

Subject Classification

ACM Subject Classification
  • Social and professional topics → Computing education
  • Human-centered computing → Human computer interaction (HCI)
  • Software and its engineering
  • computing education
  • human-computer interaction
  • programming languages
  • software engineering
  • theories of programming


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail