[Typing-sig] Typing Summit at PyCon?

There's a lot of interesting material to discuss at PyCon, probably more than we can fit into a series of BoF meetings. How would people feel if we organized a typing summit at PyCon? The best time would be the day before the conference, i.e. the day after the language summit. I'd limit it to a half day (probably the afternoon so people can recover from travel). I haven't asked the PyCon organizers for a room yet, but I imagine we will be able to swing this -- I'm mostly asking who would actually show up. -- --Guido van Rossum (python.org/~guido)