Version 2024.07.09
The Scottish Programming Languages and Verification Summer School (SPLV) is a collaborative effort between the Universities of Edinburgh, Glasgow, Heriot-Watt, Strathclyde and St Andrews. SPLV is organised as part of the wider remit of the Scottish Programming Languages Institute (SPLI). More information about SPLI and SPLV is available online.
We will use SPLV to refer to the physical and virtual communities (participants, members, contributors, and leaders) involved during the running of any SPLV related event.
The Organisers refers to the principal organisers for SPLV, and other volunteers involved with the running of SPLV. The list of principal SPLV organisers for each edition is available on their respective website. For SPLV 2024 the list is provided here.
The SPLV community pledges to provide a harassment-free experience for everyone involved with SPLV. Regardless of age, body size, visible or invisible disability, ethnicity, sex characteristics, gender identity and expression, level of experience, education, socio-economic status, nationality, personal appearance, race, caste, colour, religion, or sexual identity and orientation.
We pledge to act and interact in ways that contribute to open, welcoming, diverse, inclusive, and healthy communities.
This code of conduct applies to all SPLV community spaces, both online and offline. Anyone who violates this code of conduct may be sanctioned or expelled from these spaces at the discretion of the organisers.
Our code of conduct also applies when an individual is officially representing the community in public spaces. Examples of representing our community include using an official email address, posting via an official social media account, or acting as an appointed representative at an online or offline event.
The SPLS Zulip Chat Service which houses the virtual SPLV community has its own Code of Conduct.
SPLV hopes to create an environment in which diverse individuals can collaborate and interact in a positive and affirming way. Examples of behaviour that contributes to a positive environment for our community include:
- Demonstrating empathy and kindness toward other people;
- Being respectful of differing opinions, viewpoints, and experiences;
- Giving and gracefully accepting constructive feedback;
- Accepting responsibility and apologising to those affected by our mistakes, and learning from the experience;
- Focusing on what is best not just for us as individuals, but for the overall community;
SPLV will not tolerate harassment of any kind. Examples of unacceptable behaviour include:
- The use of sexualised language or imagery, and sexual attention or advances of any kind;
- Trolling, insulting or derogatory comments, and personal or political attacks;
- Public or private harassment;
- Publishing others' private information, such as a physical or email address, without their explicit permission;
- Other conduct which could reasonably be considered inappropriate in a professional setting;
If group members have questions or concerns about these issues, reach out to any of the organisers.
If any member of the SPLV community is being harassed by another member of our community, notice that someone else is being harassed, or have any other concerns, please get in contact directly with an organiser during the event.
All SPLV organisers will be clearly identifiable during the running of SPLV.
Alternatively you can email:
All complaints will be reviewed and investigated promptly and fairly.
All community leaders are obligated to respect the privacy and security of the reporter of any incident.
If an organiser is the harasser, they will not be involved in handling, or resolving, of the incident. The organising team will respond to any complaint as promptly as possible.
In order to protect volunteers from abuse and burnout, organisers reserve the right to reject any report we believe to have been made in bad faith. Reports intended to silence legitimate criticism may be deleted without response.
Community leaders are responsible for clarifying and enforcing our standards of acceptable behaviour and will take appropriate and fair corrective action in response to any behaviour that they deem inappropriate, threatening, offensive, or harmful.
Community leaders have the right and responsibility to remove, edit, or reject comments, commits, code, wiki edits, issues, and other contributions that are not aligned to this Code of Conduct, and will communicate reasons for moderation decisions when appropriate.
Every code of conduct violation report will be treated with seriousness and care. If a member’s immediate safety and security is threatened, an individual organiser may take any action that they deem appropriate, up to and including temporarily banning the offender from any SPLV space. In less urgent situations, at least two organisers will discuss the offence and mutually arrive at a suitable response, which will be shared with the offender privately. Whatever the resolution they decide upon, the decision of the admins involved in a violation case will be considered final.
We will respect confidentiality requests for the purpose of protecting victims of abuse. At our discretion, we may publicly name a person about whom we've received harassment complaints, or privately warn third parties about them, if we believe that doing so will increase the safety of our members or the general public. We will not name harassment victims without their affirmative consent.
Community leaders will follow these Community Impact Guidelines in determining the consequences for any action they deem in violation of this Code of Conduct:
Community Impact: Use of inappropriate language or other behaviour deemed unprofessional or unwelcome in the community.
Consequence: A private, written warning from community leaders, providing clarity around the nature of the violation and an explanation of why the behaviour was inappropriate. A public apology may be requested.
Community Impact: A violation through a single incident or series of actions.
Consequence: A warning with consequences for continued behaviour. No interaction with the people involved, including unsolicited interaction with those enforcing the Code of Conduct, for a specified period of time. This includes avoiding interactions in community spaces as well as external channels like social media. Violating these terms may lead to a temporary or permanent ban.
Community Impact: A serious violation of community standards, including sustained inappropriate behaviour.
Consequence: A temporary ban from any sort of interaction or public communication with the community for a specified period of time. No public or private interaction with the people involved, including unsolicited interaction with those enforcing the Code of Conduct, is allowed during this period. Violating these terms may lead to a permanent ban.
Community Impact: Demonstrating a pattern of violation of community standards, including sustained inappropriate behaviour, harassment of an individual, or aggression toward or disparagement of classes of individuals.
Consequence: A permanent ban from any sort of public interaction within the community.
This Code of Conduct is adapted from the following existing codes:
- Queer Tech Club (QTC) Code of Conduct, available at https://queertechclub.com/queer-tech-club-code-of-conduct/
- Contributor Covenant, version 2.1, available at https://www.contributor-covenant.org/version/2/1/code_of_conduct.html
The Contributor Covenant is an open source effort and is built on many codes of conduct that came before it, including the Code of Conduct of the LGBTQ in Technology.
Community Impact Guidelines were inspired by Mozilla's code of conduct enforcement ladder.
Adapted from the QTC Code of Conduct and Contributor Covenant, which are licensed under a Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/).
The adaptation was by Jan de Muijnck-Hughes on behalf of the SPLV/SPLI communities.