Registration

• Early regular registration (until 12 May): £300
• Early student registration (until 12 May): £250
• Late regular registration (until 30 May): £360
• Late student registration (until 30 May): £310

Researchers from COST Inclusiveness Target Countries are reminded that the European Research Network on Formal Proofs COST action has some funding available for conference attendance, with a deadline of 4 May.

Visa information

Note that participants from outside the UK (including the EU) most likely will need a visa or an electronic travel authorisation (ETA). An ETA should be easy to apply for, but you need to do it at least a few days before travelling.

If you need to apply for a visa rather than an ETA, we are happy to supply a support letter for you after you have registered for the conference. Please contact CIS_types2025@groups.strath.ac.uk with the following information:

• Your name (as it appears in your passport);
• Your date of birth;
• Your nationality;
• Your passport number;
• The dates you will be travelling to and from the UK, and from/to where.

Sponsors

Gold sponsor

Bronze sponsors

Other sponsors