‹Programming› 2022
Mon 11 - Thu 14 April 2022
Tue 22 Mar 2022 15:30 - 15:50 at Workshop I - Implementing Boxer Chair(s): Jonathan Edwards

In this paper, I present reflections on, and inspired by, my recent attempts to implement a web-based javascript implementation of Boxer. First I will comment on aspects of the implementation that have been surprisingly easy, and aspects that have been surprising difficult. Using javascript and ReactJS, I have found that some of the structure of Boxer has fallen out naturally, and with little effort. In other places, however, Boxer’s logic diverges in ways that pose significant difficulty. Second, I discuss how I think the new web-based Boxer could differ from the original conceptualization of Boxer. The power of current computers makes new features possible. In addition, I believe it is necessary to think anew about the niches that Boxer can fill in the current landscape.

Tue 22 Mar

Displayed time zone: Lisbon change

15:30 - 17:00
Implementing BoxerBoxer Salon at Workshop I
Chair(s): Jonathan Edwards Massachusetts Institute of Technology
15:30
20m
Talk
BoxerJS: Reflections on a JavaScript Boxer implementation
Boxer Salon
Bruce Sherin Northwestern University, USA
15:50
20m
Talk
On the Generality of Boxer Principles of Spatial Metaphor and Naive Realism
Boxer Salon
Jeremy Roschelle Digital Promise
16:10
10m
Talk
Boxer Sunrise Project Update
Boxer Salon
Steven Githens diSessa Family Foundation
16:20
10m
Talk
Boxer and the Tradition of Materialised Programming
Boxer Salon
Antranig Basman Raising the Floor - International
16:30
10m
Talk
Boxer and the "Time of Possibility"
Boxer Salon
Luke Church University of Cambridge | Lund University | Lark Systems
16:40
20m
Panel
How can Boxer be Built?
Boxer Salon