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: https://2024.splashcon.org/home/live-2024#program

I'll be a remote participant, presenting at Onwards! @Stefan 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 (https://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!

I’ll be there, talking at LIVE and organizing Onward! Papers. We should do a mini-meetup during one of the lunch breaks.

I'll be presenting at LIVE and UNSOUND 🤠 Stoked to see you there

I’ll be around, excited to see everyone else who’ll be there too. 😄

I’ll be presenting an Onward! paper in person. Happy to meet people in person!

I am also going to Splash, but won't be arriving until the Tuesday due to a series of unfortunate and easily preventable events.

I will be there, presenting at Onward! and attending LIVE, PAINT, and the rest.

I'll be there!

I just booked my ticket. Unfortunately can't be there for LIVE, but will be at the conf Wed-Fri and at the Ink & Switch unconf on Saturday. Looking forward to seeing some of you there!

As @Konrad Hinsen already mentioned, I’ll be presenting at Splash Onwards! I was overwhelmed by all the acronyms and didn’t register for anything other than the Wed-Fri conference. And I signed up for the Ink & Switch unconf Saturday. I’ll be in LA from Tue-Mon. Happy to meet and mingle!

Just in case anyone here missed the other thread: if you’re at SPLASH or in LA, you should come to the Ink & Switch unconf. Free. Loads of great people.

Hey everyone going to Splash Pasadena 2024! Does it make sense to have a separate communication channel for those of us going there in person to coordinate activities at and around the conference together? I’m thinking anything from coffees, lunches, dinners, parties, ride-shares from and to airports and hotels, etc. If such a group already exists, please let me know. Otherwise, here’s a Signal group I just created that could become that channel. Feel free to join via the invite link if you will be in LA/Pasadena, California during Splash and interested in connecting for such activities.

@Stefan we could make a thread in is the #C012KFFPW15 channel?

I'll also be there, presenting EYG.