[logic-ml] TPP2015 Theorem Proving and Provers 集会のお知らせ

[Jacques Garrigue]

Dear all,
(English letter and CFP below)

今年のTPP（Theorem Proving and Provers meeting）
の案内をお送りします。是非参加をご検討頂きたく、
何卒よろしくお願いいたします。

TPP2015幹事 (神奈川大学　木下佳樹)
（今年は準備をJacques Garrigue さんにもお手伝いいただいています。感謝。）

-------------------------[CFP: TPP2015]-------------------------------

TPPミーティングについてのご案内です．

第11回 TPPミーティングを 9月16日(水)-17日(木) に神奈川大学理学部情報科学科
（平塚市）にて開催します．このミーティングは，2005年から年に1回開催され，
定理証明系を作っている人から使う側の人まで幅広い人たちが集まり，様々な
側面からの話をしてアイディアの交換をしてきたものです．

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

日時：	2015年 9月16日(水) 13:00頃 〜 9月17日(木) 15:00頃　（予定）
場所：	神奈川大学 湘南ひらつかキャンパス　11号館 サーカムホール
〒259-1293 神奈川県平塚市土屋2946

参加者と講演の概数を把握したいので、参加される（かもしれない）方は、
8月31日までに下の参加申し込みを下記メールアドレスまでお送りください．

＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
＊
＊　参加（するかもしれない）申込締切：　８月３１日
＊
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊

申込み・問い合わせ先:
yoshiko at progsci.info.kanagawa-u.ac.jp
(神奈川大学 理学部情報科学科 木下佳樹研究室 松本佳子)

URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/

-------------------------------------------------------------------------
TPP 2015 参加申し込み

お名前：
ご所属：
参加　　　　：する／するかもしれない
講演　　　　：する／しない
	講演する場合
	　講演題目：
	　　（TBAでもかまいません．）
	　概要：
懇親会に参加：する／しない

-------------------------------------------------------------------------

=========================================================================

This is a call for participation for the 11th TPP meeting (Theorem
Proving and Provers meeting), to be held on Sep. 16(Wed) - 17(Thu),
2015 at Kanagawa University.

Date and Time: 2015/9/16 around 1pm to 9/17 around 3pm
Place: Shonan-Hiratsuka Campus, Kanagawa University
	Circum Hall (Bld. 11)

TPP is a series of annual meetings for developers as well as users of theorem
provers. Discussions from various aspects as well as exchanges of ideas
took place in the past ten meetings.

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.

If you are planning to attend the meeting, even if not yet decided to do so,
please send the information slip below to the indicated address by 31 August.

*****************************************
* participation application deadline: 31 August, 2015.
*****************************************

Submission/questions to:
yoshiko at progsci.info.kanagawa-u.ac.jp (Keiko Matsumoto , Kinoshita lab.)

URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/

-------------------------------------------------------------------------
TPP 2015 Registration

Name:
Affiliation:
Will participate:		Yes/No/Maybe
Will give a talk:		Yes/No
	In case of Yes:
		Title: (If it is not decided yet, TBA is OK.)
		Abstract:
Will join the dinner:	Yes/No

-------------------------------------------------------------------------