[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
Please see below for details of this year’s VeTSS Summer
School<https://urldefense.com/v3/__https://vetss.org.uk/event/vetss-summer-school-2026/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdP7vpLJg$
>. Kindly circulate to anyone interested, and if you are planning to apply,
please do so this week, as we have a very tight deadline this year.
Registration is by completing this short
form<https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLScNwckwO1DpfklZ1IcP6Yz8vVTKje7AEYviLUGFWIZ7xGhF4A/viewform__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdJi_kaBw$
>
This’s years Summer School will be held at the University of Exeter, 3-6
August 2026.
The school is open to PhD students and early career researchers. Women and
anyone currently underrepresented in the field of Computer Science are
especially welcome to apply.
The school has a focus on the theory and practice of verification, and students
can expect talks and tutorials on the theory of verification, (e.g., Program
Synthesis, Algebraic effects, Advanced theorem proving, Model checking, and
Functional programming) and the use of industrial strength tools. You can find
this year's list of topics
here<https://urldefense.com/v3/__https://vetss.org.uk/event/vetss-summer-school-2026/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdP7vpLJg$
> and see the kind of talks we offer on this page with details of previous
editions of the
School<https://urldefense.com/v3/__https://vetss.org.uk/summer-school/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdEUYNE4Q$
>.
To make the Summer School as inclusive as we can, we cover the registration fee
and accommodation and subsistence of all accepted participants. Students can
also apply for travel support grants.
The number of students attending the Summer School is limited and previous
editions have been oversubscribed, we encourage anyone to apply this week or
next.
Any questions, just contact me,
Teresa
Teresa Carbajo Garcia
Program Manager, Assistant to the Director, Dr Azalea Raad
Research Institute in Verified Trustworthy Software Systems (VeTSS)
Imperial College London
South Kensington Campus
London SW7 2AZ, UK
E-mail: [email protected]<mailto:[email protected]>
Tel.: MS Teams or Zoom, +44 (0)20 7594 43140 when in the office, or if you send
me your number, I can call you back
••••••• Preferred
pronouns<https://urldefense.com/v3/__https://www.imperial.ac.uk/equality/resources/trans-awareness/pronouns/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwd98f47wk$
>: she/her
https://urldefense.com/v3/__https://vetss.org.uk/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdk__4CLk$
You can subscribe to the VeTSS mailing list on this link
here<https://urldefense.com/v3/__https://www.jiscmail.ac.uk/cgi-bin/webadmin?A0=VETSS__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdu0rdGWs$
>
You can join our Zulip channel, for our news, job adverts and calls using this
link
here<https://urldefense.com/v3/__https://vetss.zulipchat.com/join/v425vuju2rc2anlnvrvjepjf/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdVUfaoUE$
>
LinkedIn:
https://urldefense.com/v3/__https://www.linkedin.com/in/VeTSS/__;!!IBzWLUs!THvuY9QwR4z5NIF_b6KLTS54kHSdK3URwljdRRqkfmaawksC-WzBzAzuKbLieLurIphL0koHHGjF7w87Fo8wl0XlIvttNQanYjmmqMwdOwF2NAQ$
