Dear all, (English letter and CFP below)
PPLおよびlogic-mlの皆様、
今年のTPP（Theorem Proving and Provers meeting） の最終案内 をお送りいたします。 準備（特に懇親会！）の都合上、下記要領のように、 ８月３１日までに参加のお知らせをいただきたいと希望しています。 確実でなくとも、参加の可能性があれば是非お知らせください。 講演についても、講演の可能性があれば、 題目は未定(TBA/to be announced)でも構いませんので お知らせください。
TPPmark11 の課題も添付にて再送いたします。 TPP2015のweb site https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/にもアップロードしてあります。 多数の解答が寄せられるよう期待しています。
TPP2015幹事 (神奈川大学 木下佳樹)
-------------------------[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日までに下の参加申し込みを下記メールアドレスまでお送りください．
＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊ ＊ ＊ 参加（するかもしれない）申込締切： ８月３１日 ＊ ＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊
申込み・問い合わせ先: [email protected] mailto:[email protected] (神奈川大学 理学部情報科学科 木下佳樹研究室 松本佳子)
URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/
------------------------------------------------------------------------- TPP 2015 参加申し込み
お名前： ご所属： 参加 ：する／するかもしれない 講演 ：する／しない 講演する場合 講演題目： （TBAでもかまいません．） 概要： 懇親会に参加：する／しない
-------------------------------------------------------------------------
=========================================================================
This is the LAST 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: [email protected] mailto:[email protected] (Keiko Matsumoto , Kinoshita lab.)
URL: https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/ 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
-------------------------------------------------------------------------