Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] VeTSS Summer School, 11 – 14 August 2025, University of Glasgow, Theory and practice of verification, registration now open, please circulate
Chronological Thread
- From: "Carbajo Garcia, Teresa" <address@concealed>
- To: "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, Concurrency Working Group UK <address@concealed>, "address@concealed" <address@concealed>, "address@concealed" <address@concealed>, "Announcements concerning Provably Correct Systems ('ProCoS')." <address@concealed>
- Subject: [PN-world] VeTSS Summer School, 11 – 14 August 2025, University of Glasgow, Theory and practice of verification, registration now open, please circulate
- Date: Tue, 15 Apr 2025 13:37:52 +0000
- Accept-language: en-US, en-GB
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=imperial.ac.uk; dmarc=pass action=none header.from=imperial.ac.uk; dkim=pass header.d=imperial.ac.uk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=wJaoG/1SxG5xnAS+WDV7ILrdx/qn6Wkvd7aVNBS3p+8=; b=EZZQl05uiT/WXcsXeSbjUeeaVdMUYIf8ub+F6bNtmS1ecAP4JgY5ZCKL4A73obb32cgxIjMPgVqSJA8Wxkj5njL6JCxJn194CBXqjYNRdGw9CDt6WS2Jr9z9lhr6LSXvD2Av2ydXH0Lu4zgNbxwxtYgLQM75azXognMTIUfzajIOqBkmDysabXFytJaJiWDElMxHDB94mLIMAPA/qRHki1XmzgTR8nPWk+h0rCiu009dQLACuRoXbddl8J64sEfSGx4GA1K4mGyI6bJI77AK3sI/tThE6Gxli/oadHW+SlPsFbQROa7HArsbXglcP1ZQcuea6P23VJU5IutRAUmRAg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=LTsoFiTYMHAW+WQUk97zfmjJ8gR8yhviGdu8AF0XAT1qNiR+7vbbGs8i++vK4ML+ow6FrhuSqElQoJTtM3cacDBQOpYGj3RLrRthA4i1pWrPwr1wCSIK8//Ea3FKXw90l2DJBQoeX9A82uhNx7cLRFJeFyQ+i92+qgBkV6ey1brE92sQgsNitpVyvCHJp+58gzdgycn8PseEvJ2kWlDzC9pZ63o5FmJnspqmYFYrAKU0+r492KQ93SDOUHoUqqdvrE+g6L26no+yMuxDyIXaWgBKOMrQbAZPWOFh8k5RUQwDdcUHkyjBWXkJ7f24ePa5a+rAwL7lVWPcMknmuS1AFw==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=imperial.ac.uk header.s=main01 header.b=M12EEvQp; dkim=pass header.d=ImperialLondon.onmicrosoft.com header.s=selector2-ImperialLondon-onmicrosoft-com header.b=AIr77cu2; arc=pass ("microsoft.com:s=arcselector10001:i=1"); dmarc=pass (policy=none) header.from=imperial.ac.uk; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 2a0c:5bc0:88:101::47 as permitted sender) address@concealed
|
Dear all, Registration to this year’s VeTSS Summer School, University of Glasgow, Scotland, 11-14 August 2025 is now open. Please circulate to your networks and students.
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. You can register by completing this short form
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 programme here and see the kind of talks we offer on this page with details of previous editions of the School.
Registration and fees:
We want to make the school as inclusive as we can, and we will cover the registration fee and accommodation of all accepted participants. Breakfast, lunches and refreshments for the three days will also be covered, as well as one evening meal. Regrettably, travel to and from the summer school is not included with the registration and we would expect supervisors or institutions to cover this. If you are not able to secure travel support to attend the conference, please let us know, as there may be some travel grants available.
Deadline: The number of students attending the Summer School is limited and previous editions have been oversubscribed, we encourage you to apply early.
Any questions, just contact us!
Teresa and Ling
Teresa Carbajo Garcia and Ling Zhang Program Managers ••••••• Preferred pronouns: she/her
Research Institute in Verified Trustworthy Software Systems (VeTSS)
|
- [PN-world] VeTSS Summer School, 11 – 14 August 2025, University of Glasgow, Theory and practice of verification, registration now open, please circulate, Carbajo Garcia, Teresa, 04/15/2025
Archive powered by MHonArc 2.6.19+.