<p>There is the comp.specification.z newsgroup, available on <a href="https://groups.google.com/g/comp.specification.z" rel="nofollow noreferrer">Google Groups</a>.</p>
<p>There are some mailing lists:</p>
<ul>
<li><a href="http://www.jiscmail.ac.uk/ZFORUM" rel="nofollow noreferrer">ZFORUM mailing list</a></li>
<li><a href="https://www.freelists.org/list/zed" rel="nofollow noreferrer">Zed Freelists mailing list</a></li>
</ul>
<p>Additionally, there are mailing lists for tools that support the Z notation.  For tools that support ISO Z (or a similar dialect), I doubt anyone would object to a question about the notation itself if the above sources are not useful.  For example:</p>
<ul>
<li><a href="https://sourceforge.net/p/czt/mailman/" rel="nofollow noreferrer">Community Z Tools (CZT) mailing lists</a></li>
<li><a href="http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com" rel="nofollow noreferrer">ProofPower mailing list</a></li>
</ul>

CC BY-SA 4.0
2021-03-14T10:34:13.963Z
The Google group is not active in years. The others I need to check.
Evan Aad
CC BY-SA 4.0
2021-03-15T12:16:28.247Z
Did you try posting to comp.specification.z?  Many lists appear inactive because there is so little interest in the Z notation.
Phil Clayton
CC BY-SA 4.0
2021-03-05T22:42:30.867Z
2021-03-05T22:42:30.867Z
Phil Clayton
<p>Where can I find an online community specializing in the Z specification language, where I can ask specific questions about the ISO standard for Z?</p>

CC BY-SA 4.0
2020-10-07T12:47:33.803Z
Try here and see what you get ;-)
Musa Al-hassy
CC BY-SA 4.0
2020-10-09T09:36:38.337Z
May be, you can look in the web site of the Z user group (http://zuser.org/).
Cyriac Antony
CC BY-SA 4.0
2020-10-09T10:09:30.933Z
@CyriacAntony: Thanks. I tried looking there, but the site seems not to have been updated in years. All linked usenet/Google groups are either defunct or have fallen out of use.
Evan Aad
<reference-request><formal-methods>
Looking for an online community specializing in the Z specification language, where I can ask questions
Evan Aad
# Looking for an online community specializing in the Z specification language, where I can ask questions

(Asked by: username_0 on 2020-10-07)

Where can I find an online community specializing in the Z specification language, where I can ask specific questions about the ISO standard for Z?

**Tags:** reference-request, formal-methods

> **Comments:**
> **username_1**: Try here and see what you get ;-)  
> **username_2**: May be, you can look in the web site of the Z user group (http://zuser.org/).  
> **username_0**: @CyriacAntony: Thanks. I tried looking there, but the site seems not to have been updated in years. All linked usenet/Google groups are either defunct or have fallen out of use.  

---

## 1 answers

### Answer by username_3 on 2021-03-05. Score: 1

There is the comp.specification.z newsgroup, available on [Google Groups](https://groups.google.com/g/comp.specification.z).

There are some mailing lists:

* [ZFORUM mailing list](http://www.jiscmail.ac.uk/ZFORUM)
* [Zed Freelists mailing list](https://www.freelists.org/list/zed)

Additionally, there are mailing lists for tools that support the Z notation. For tools that support ISO Z (or a similar dialect), I doubt anyone would object to a question about the notation itself if the above sources are not useful. For example:

* [Community Z Tools (CZT) mailing lists](https://sourceforge.net/p/czt/mailman/)
* [ProofPower mailing list](http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com)

> **Comments:**
> **username_0**: The Google group is not active in years. The others I need to check.  
> **username_3**: Did you try posting to comp.specification.z?  Many lists appear inactive because there is so little interest in the Z notation.  

---

