Papers in Systems: Programming as Theory Building

Programming as Theory Building

Our Papers in Systems discussion series will continue with discussion of “Programming as Theory Building” by Peter Naur

The discussion will be led by Yvonne Lam.

When: August 12th, 2024, 1PM - 2PM Eastern Time (US/Canada). (19:00-20:00 CET) The Zoom room will remain open until 2:30PM for informal discussion. Check time in your time zone.

The paper is available at: https://pages.cs.wisc.edu/~remzi/Naur.pdf (from Appendix B of Alistair Cockburn's book)

Tickets

Additional Information