[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]========================================================== CALL FOR PARTICIPATION Second Workshop on the Implementation of Type Systems August 28th, 2023, Braga, Portugal https://ifl23.github.io/wits.html ========================================================== === Important Dates === * Early registration deadline: 11 August, 2023 (AoE) * Late registration deadline: 23 August, 2023 (AoE) * Workshop: 28th August, 2023 (AoE) === Registration === WITS is colocated with IFL '23. You can register either for WITS or for the combination of WITS + IFL. The pricing is as follows: WITS - Early Registration (student): 40€ WITS - Early Registration: 50€ WITS - Late Registration: 60€ IFL + WITS - Early Registration (student): 210€ IFL + WITS - Early Registration: 270€ IFL + WITS - Late Registration: 330€ === Schedule === The schedule for the workshop is available at https://ifl23.github.io/wits.html. === Venue === Information about the venue and how to get there is available at https://ifl23.github.io/venue.html.
publickey - [email protected] - 0x42DD5655.asc
Description: application/pgp-keys
signature.asc
Description: OpenPGP digital signature
