Hi everyone! Thank you to all of you who filled the form! The Typing Summit is getting closer and the date will finally be 13th of May to avoid overlapping with the Language Summit. After taking a look at the topics which have been proposed to present or that people would like to see discussed, we have the following list of tentative topics: # Block 1 Differences between typecheckers Type syntax simplifications Scoped Type Variables Tensor Shape Checking Type arithmetic Growing Typeshed # Block 2 Validating JSON with TypedDict and trycast Fast and Reliable Incremental Check with Pyre Type checking at scale Types in bytecode compilation and at runtime # Block 3 Efforts to reduce imports from typing module Applications of type information Dependent types Formal treatment of Python types The Block 1 are topics that are especially well-suited for discussion so we will try to prioritize them, potentially in combination with some from Block 2. On other hand, Block 3 are topics that only one person said that would like to see discussed, however if you happen to be interested or willing to present any topic from Block 3 please let us know. From Block 1, only "Differences between typecheckers" is missing an organizer. The goal is to discuss how to prevent typechecker from having different behaviours and incompatibilities due to ambiguous aspects of the type system. Thus, if anyone would be willing to organize a discussion around this topic it would be highly appreciated. Although probably it will not be possible to cover all during the summit, we believe that some of the topics could be great candidates for taking place during the Tensor Typing Meetings. Finally, we are currently contacting people who could be willing to present the topics and once we have a more solid confirmation we will send a tentative schedule specifying who is organizing each topic so that you can get in touch with the organizer to collaborate or simply express that you would like to participate in the discussion. Best, Shannon & Alfonso.