<div style="font-family: Arial, sans-serif; font-size: 14px;"><span>==========================================================<mark data-auto-scroll="true"></mark></span><div><br></div><div><span><mark>CALL</mark> <mark>FOR</mark> PARTICIPATION</span></div><div><br></div><div><span><mark></mark>Second Workshop on the Implementation of Type Systems</span></div><div><span>August 28th, 2023, Braga, Portugal</span></div><div><span><span><span><a target="_blank" rel="noreferrer nofollow noopener" href="https://ifl23.github.io/wits.html">https://ifl23.github.io/wits.html</a></span></span></span></div><div><br></div><div><span>==========================================================</span></div><div><span><br></span></div><div><span><span></span><div><span>=== Important Dates ===</span></div><div><br></div><div><span>* Early registration deadline: 11 August, 2023 (AoE)</span></div><div><span>* Late registration deadline: 23 August, 2023 (AoE)<br></span></div><div><span><span><span>* Workshop: 28th August, 2023 (AoE)</span></span></span></div></span></div><div><span><span><span><br></span></span><div><span>=== Registration ===</span></div><div><span><br></span></div><div><span>WITS is colocated with IFL '23. You can register either for WITS or for the combination of WITS + IFL. The pricing is as follows:<br></span></div><div><span><br></span></div><span><span></span></span></span></div><div><span><span><span><span><span><span><span></span></span></span></span><span><span><span><span>WITS - Early Registration (student): 40€</span></span></span></span><br></span></span></span></div><div><span><span><span>WITS - Early Registration: 50€</span></span></span></div><div><span><span><span>WITS - Late Registration: 60€<br></span></span></span></div><div><span><span><span><span><span><span><span></span></span></span></span><span><span><span><span></span></span></span></span><span><span><span><span>IFL + WITS - Early Registration (student): 210€</span></span></span></span><br></span></span></span></div><div><span><span><span>IFL + WITS - Early Registration: 270€</span></span></span></div><div><span><span><span>IFL + WITS - Late Registration: 330€<br></span></span></span></div><div><span><span><span><br></span></span></span></div><div><span>=== Schedule ===<br></span></div><div><span><br></span></div><div><span><span>The schedule for the workshop is available at <a target="_blank" rel="noreferrer nofollow noopener" href="https://ifl23.github.io/wits.html">https://ifl23.github.io/wits.html</a></span>.</span></div><div><span><br></span></div><div><span>=== Venue ===</span></div><div><span><br></span></div><div><span><span>Information about the venue and how to get there is available at <a target="_blank" rel="noreferrer nofollow noopener" href="https://ifl23.github.io/venue.html">https://ifl23.github.io/venue.html</a>.</span><br></span></div><br></div>
<div class="protonmail_signature_block protonmail_signature_block-empty" style="font-family: Arial, sans-serif; font-size: 14px;">
    <div class="protonmail_signature_block-user protonmail_signature_block-empty">
        
            </div>
    
            <div class="protonmail_signature_block-proton protonmail_signature_block-empty">
        
            </div>
</div>