[TYPES/announce] WITS '23 Call for Participation

[Jesper Cockx]

==========================================================
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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230807/f1d5a95c/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: publickey - jesper at sikanda.be - 0x42DD5655.asc
Type: application/pgp-keys
Size: 645 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230807/f1d5a95c/attachment-0001.skr>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 249 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230807/f1d5a95c/attachment-0001.asc>