他の `Z' の人々は何処にいるのでしょうか?

第 10 回の Z ユーザーズ国際会議(ZUM'97)が, 1997 年 4 月 3-4 日に UK の Reading 大学で行なわれます. 一般的な事については会議のチェアマンの Jonathan Bowen (tel +44-118-931-6544, fax +44-118-975-1994, email <J.P.Bowen@reading.ac.uk> )に聞いてください. ZUM'97 に関する情報は, http://www.cs.reading.ac.uk/archive/z/zum97/ から WWW をとおして得るこ とができます. Zユーザーズ国際会議に関する情報は, comp.specisication.z などの newsgroupや郵便によるメーリングリストのほか,さまざまなメーリン グリストでもみることができます. 第 9 回の Z ユーザーズ国際会議が, 1995 年 9 月 7-9 日に Ireland のLimerickで行われました. 多くのチュート リアルが 1995 年 9 月 4-6 日にやはり Limerickで行われました. 予稿集は Springer-Verlag LNCS series (volume 967) で出版されています. それ以前 の予稿集は, 1989 年の第 4 回の会議の時からSpringer-Verlag Workshops の Computing series から出版されています. 以前の会議に関する情報は http://www.comlab.ox.ac.uk/archive/z/zum.html から入手する事もできます.

第 6 回 Refinement Workshop は City University,London, UK で1994 年 1 月 5-7 日に行われました。プログラムチェアは David Till,Dept of Computer Science, City University, Northampton Square, London, EC1V 0HB, UK (tel +44-171-477-8552 email <till@cs.city.ac.uk>) でした。予稿集は Springer-Verlag Workshops in Computing series で出版される予定です。

WIFT'95 (Workshop on Industrial-strength Formal specification Techniques) は Boca Raton, Florida, USA で 5-7 April 1995 に行なわれます. 詳細については, http://www.cse.fau.edu/WIFT/ を見て下さい.

FORTE はEstelle, Lotos, SDL, ASN.1, Z などのような分散システムに適用可能な形式 的技法とテストの方法論に焦点があてられていている。IFIP WG6.1 7th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (FORTE'94) は 1994 年 10 月 4-7 日にスイスのベルンで 行なわれました. 第8回の会議 (FORTE'95)は 1995 年 10 月 17-20 日にカナダのモン トリオール(ケベック州) で行なわれます. 詳細については http://www.comlab.ox.ac.uk/archive/formal-methods/conf/FORTE95.htmlを参照して 下さい.

Z2B - Z とその将来 (情報システム設計に関して実践的な事や方法論やツー ル)がNantes, 10-12 October 1995 で行なわれます. http://www.comlab.ox.ac.uk/archive/formal-methods/conf/Z2B95.htmlを参 照してください.

ICECCS'95 (IEEE International Conference on Engineering of Complex Computer Systems) には形式手法のトラックがあり, Southern Florida, USA で 6-10 November 1995 に開催されます. 詳細については, http://rtlab12.njit.edu:8000/rtcl_pub_html/Mosaic/act/iceccs95.html を 見て下さい.

第2回の FME (Formal Methods Europe) シンポジウムが 1994 年 10 月 24-28 日に スペイン, バルセロナで行なわれました. 予稿集は Springer LNCS 873 として 入手する事ができます. 次の FME シンポジウムは 1996 年 3 月 18-22 日に UK オックスフォードで行なわれます.投稿の〆切は, 1995 年 9 月 11 日です. 詳細については http://www.lri.fr/conferences/FME-96/ をみてください. FME のチェアマンは Prof. Peter Lucas, TU Graz, Austria (email <lucas@ist.tu-graz.ac.at>) です.

Z に関連する会議は必要に応じて comp.specification.z で連絡されます。 上記で述べた会議は、何回か繰り返された連絡されました。 形式手法に関する会議のリストは http://www.comlab.ox.ac.uk/archive/formal-methods/meetings.htmlをみて ください.

Next: Z User Group ってなんですか?