Dear all (English translation follows below),

皆様，

東北大学の中野です．

第14回 TPP (Theorem Proving and Provers) ミーティングを

11月21日(水)から 11月22日(木)まで

の予定で，東北大学片平キャンパスにて開催します．

このミーティングは，2005年から年に1回開催され，定理証明系を作っている人から 使う側の人まで幅広い人たちが集まり，様々な側面からの話をしあうことでアイディ アの交換をしてきたものです．

ミーティング期間中の討論を大切にしたいと考えていますので，出来上がった仕事の 講演だけでなく，進行中の仕事，未完成の仕事についての講演も歓迎します．参加者 には可能な限りご講演いただくことを期待しています．

詳細は以下のWebページをご確認ください： https://ksk.github.io/tpp2018/

参加をご希望の方は11/9(金)までに上のWebページから参加申し込みをお願いします． また，懇親会を1日め (11/21) の夜に予定しており，そちらの参加希望も同じ登録 フォームから受け付けております．奮ってご参加ください． 後からでも変更可能ですので，お早めにご登録いただけると大変ありがたいです．

また，上記のWebページにおきまして毎年恒例のTPPmarkの問題も掲載しております． 当日参加できない方の解答も受け付けておりますので，ぜひ挑戦してみてください．

多数のご参加をお待ちしております． どうぞよろしくお願いします．

We are happy to announce the 14th TPP meetings (Theorem Proving and Provers meeting) will be held in the Katahira Campus of Tohoku University:

from Wednesday, November 21 to Thursday, November 22

TPP is a series of annual meetings for developers as well as users of theorem provers. Discussions from various aspects and exchanges of ideas have taken place in the past meetings since 2005.

We regard the discussions during the meeting to be most important. As such, not only the talks about completed work, but those about ongoing work and half-baked work are also welcome. We hope all participants would consider giving a talk.

More information is available at: https://ksk.github.io/tpp2018/

If you are interested in participating the meeting, please register at the Web page above by November 9. In the registration form, you may express intent to join the dinner party which is planned at the evening of the first day. Please make your early registration if possible because you may modify it later.

The page also shows the TPPmark problem. Those who will not attend the meeting also can submit the solution. Please check it out and submit your solution.

We are looking forward to your attendance and your solutions.

-- 中野圭介 東北大学 電気通信研究所 [email protected]