(adapted from https://www.acm.org/about-acm/policy-against-harassment)
The open exchange of ideas is central to the mission of the International Conference on Interactive Theorem Proving (ITP) conference series. This requires an environment that embraces diversity and provides a safe, welcoming environment for all.
Expected Behavior
We expect all participants in ITP to abide by this policy at the conference, at ancillary events and at unofficial social gatherings:
- Exercise consideration and respect in your speech and actions;
- Refrain from demeaning, discriminatory, or harassing behavior and speech;
- Be mindful of your surroundings and of your fellow participants;
- Alert the conference organizers if you notice a dangerous situation, someone in distress, or violations of this policy, even if they seem inconsequential.
Unacceptable Behavior
Unacceptable at ITP is:
- Abuse: Any action directed at an individual that (a) interferes substantially with that person’s participation; or (b) causes that person to fear for his/her personal safety. This includes threats, intimidation, bullying, stalking, or other types of abuse.
- Discriminatory Harassment: Any conduct that discriminates or denigrates an individual on the basis of race, ethnicity, religion, citizenship, nationality, age, sexual or gender identity, disability, or any other characteristic protected by law.
- Sexual Harassment: Unwelcome sexual advances, requests for sexual favors, or other verbal/physical conduct of a sexual nature.
Consequences of Unacceptable Behavior
If a participant in ITP engages in prohibited behavior, the organizers reserve the right to remove the participant from ITP without warning or refund. Appropriate sanctions also will be taken toward any individual who knowingly makes a false allegation of harassment.
How to Report Unacceptable Behavior
Breaches and incidents can be reported directly to any of the conference organizers (John Harrison, John O’Leary, or Andrew Tolmach).
Warnings and Disclaimers
This policy is not intended to limit open discussion of the merits of particular work or issues presented at ITP. It applies only to behavior.
The ITP organizers assume no liability or responsibility for the actions of any ITP participant.
The ITP organizers are not responsible for protecting the safety of participants in ITP. Any individual who feels his/her safety is at risk due to harassment or for any other reason is encouraged to take appropriate steps to ensure personal safety.