Hi all,

As many of you book your tickets to New Orleans for POPL,* I’d like to 
encourage you to be there on* Tuesday, January 21st (the day before POPL, 
or the last day of CPP) for the POPLmark 15 Year Retrospective Panel 
This panel will take a look back at the influential POPLmark Challenge 
<https://www.seas.upenn.edu/~plclub/poplmark/> for mechanized metatheory 15 
years later, with an eye toward the future. It should be an exciting panel 
for anyone who is interested in proof assistants, mechanized metatheory, 
and in benchmark suites and challenges to help the POPL community more 
broadly. .

We have some stellar panelists:

   Benjamin Pierce (Penn)
   Peter Sewell (Cambridge)
   Xavier Leroy (Collège de France)
   Robby Findler (Northwestern)
   Scott Owens (Kent)
   Brigitte Pientka (McGill)

We want to make sure this is a fun and engaging panel, so if you have 
anything you’d like to hear the panelists discuss, we’d love your questions 
ahead of time (we’ll of course also take questions in person at the panel). You 
can send questions using this form 
No need to shy away from controversy (we have a great moderator), and don’t 
worry if you aren’t sure if your question is worth asking. Just send us 
anything you’d like to hear about related to the POPLmark challenge, 
mechanized metatheory, and benchmark suites and challenges.

Here are just a few examples of what we hope to discuss:

   What did we learn about different proof assistants and different binding 
   styles from the challenge itself?
   What happened in the years immediately following the POPLmark challenge?
   What about POPLmark led to its impact? What can we learn from that in 
   designing future benchmark suites for mechanized metatheory, and for 
   programming languages in general?
   What has changed since 2005, and what new challenges has this brought 
   with it?
   What problems raised in POPLmark were underaddressed? How can we address 
This is completely free if you’re registered for POPL—no need to sign up 
separately! Just show up on January 21st. Hopefully see you there!

Talia Ringer (UW)


You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
To view this discussion on the web visit 

Reply via email to