Anyone else here going to splash? I know Ivan Reese and Lu Wilson are presenting. I’ll be attending. Just wanted to see if anyone else is going to
Quite a few familiar names in the LIVE program: 2024.splashcon.org/home/live-2024#program
For more information, including a helpful FAQ, please visit http://liveprog.org|liveprog.org. Programming is cognitively demanding, and too difficult. LIVE is a workshop exploring new user interfaces that improve the immediacy, usability, and learnability of programming. Whereas PL research traditionally focuses on programs, LIVE focuses more on the activity of programming. Programmers don’t materialize programs out of thin air, but construct them out of existing programs. Embracing this insight leads to a different focus at LIVE compared to traditional PL workshops. Here are some of the qualities that we c ...
I'll be a remote participant, presenting at Onwards! Stefan Lesser and Lu Wilson are presenting at Onwards! as well.
I sadly won't be there, but have a joint paper with my student at HATRA (2024.splashcon.org/home/hatra-2024#event-overview) about making interactive theorem provers more interactive (somewhat in "augmenting human intellect" style...) - and would love to hear what people here think about that!