Why ITP 2027

The Interactive Theorem Proving conference series brings together researchers interested in all aspects of interactive theorem proving. It covers topics ranging from theoretical foundations to implementation aspects; applications to program verification, security; and the formalisation of mathematics, and dates back as far as 1988.
For more information about ITP, please visit the conference series' website

Scotland is internationally renowned for its leading expertise in programming language design, implementation, and formal verification. Its vibrant Programming Languages research community coordinates through the Scottish Informatics and Computer Science Alliance and the Scottish Programming Languages Institute, organising regular research and knowledge exchange events.

By sponsoring ITP 2027, your organisation will gain access not only to the ITP communities, but also to the SICSA and SPLI communities that contain experts at the cutting edge of programming languages and verification research. Your organisation will have the opportunity to collaborate and engage with these communities, as well as access to the communities’ postgraduate students.

Through sponsoring ITP 2027 your company’s funds will help to lower participation costs, and support the running of the conference.

Contact

If your company would like to sponsor ITP 2027 then please get in contact with the local organising team

using the email address .

Sponsorship Packages

We offer the following sponsorship opportunities for companies interested in ITP 2027. If you would like to sponsor the conference in a way not listed below, please contact the ITP 2027 co-organisers.

For Small and Mid-size Enterprises, Not-For-Profit Third Sector Organisation, and Early Stage Start-ups we are also happy to discuss alternative packages where appropriate.

Traditional Sponsorship Options

Bronze (1000 GBP):

Recognised sponsor for ITP 2027.

  • Logo on website;
  • Mention in all ITP 2027 related communications;
  • Name listed in conference materials;
Silver (2000 GBP):

Bronze sponsorship and:

  • One complimentary registration to ITP 2027;
  • Complimentary stand in common areas;
  • Logo on all publicity materials, such as banners and posters;
Gold (4000 GBP):

Silver sponsorship and:

  • One additional complimentary registration (two total);
  • Provide merchandise in participants’ registration materials;

Prestige Sponsorship Opportunities

We also present the following additional prestigious sponsorship options:

Student Volunteer Sponsor (8000 GBP)

Funds will support student volunteer participation, specifically registration costs, time, and accommodation during ITP 2027.

All benefits of Gold and:

  • Logo displayed on volunteer t-shirts;
  • Mention during Chair Welcome and Closing;
  • Excess funds will be used to lower student registration costs;
Diversity Sponsor (package + 1000 GBP)

Contributions from EDI (Equality, Diversity, and Inclusion) sponsors will go into our EDI Fund. This fund will support those from underrepresented groups to attend the conference.

All benefits of your chosen sponsorship package (Bronze, Silver, or Gold) and:

  • Explicit mention as EDI Sponsor.
  • Mention during Chair Welcome and Closing;
  • Excess funds will be used to lower registration costs;