<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div dir="ltr" class=""><div tabindex="0" class="" style="margin: 0px; padding: 0px; border: 0px; font-size: 13.3333330154419px; font-family: Arial, Helvetica, sans-serif;"><div style="margin:0px;padding:0px;border:0px" class=""><div style="margin:0px;padding:0px;border:0px;overflow:auto" class=""><div style="margin:0px;padding:0px;border:0px;max-height:10000px" class=""><div dir="ltr" style="margin:0px;padding:0px;border:0px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Dear all, </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">(English letter and CFP below) </span><br style="font-size:13.3333330154419px" class=""><br class="">PPLおよびlogic-mlの皆様、<br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">今年のTPP（Theorem Proving and Provers meeting） </span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">の最終案内</span><div style="margin:0px;padding:0px;border:0px" class=""><font face="Arial, Helvetica, sans-serif" style="margin:0px;padding:0px;border:0px" class="">をお送りいたします。</font></div><div style="margin:0px;padding:0px;border:0px" class=""><font face="Arial, Helvetica, sans-serif" style="margin:0px;padding:0px;border:0px" class="">準備（特に懇親会！）の都合上、下記要領のように、</font></div><div style="margin:0px;padding:0px;border:0px" class=""><font face="Arial, Helvetica, sans-serif" style="margin:0px;padding:0px;border:0px" class="">８月３１日までに参加のお知らせ</font><span style="font-size:13.3333330154419px" class="">をいただきたいと希望しています。</span></div><div style="margin:0px;padding:0px;border:0px" class=""><span style="font-size:13.3333330154419px" class="">確実でなくとも、参加の可能性があれば是非お知らせください。</span></div><div style="margin:0px;padding:0px;border:0px" class=""><span style="font-size:13.3333330154419px" class="">講演についても、講演の可能性があれば、</span></div><div style="margin:0px;padding:0px;border:0px" class=""><span style="font-size:13.3333330154419px" class="">題目は未定(TBA/to be announced)でも</span><span style="font-size:13.3333330154419px" class="">構いませんので</span></div><div style="margin:0px;padding:0px;border:0px" class=""><span style="font-size:13.3333330154419px" class="">お知らせください。</span></div><div style="margin:0px;padding:0px;border:0px" class=""><br class=""></div><div style="margin:0px;padding:0px;border:0px" class=""><div style="margin:0px;padding:0px;border:0px" class="">TPPmark11 の課題も添付にて再送いたします。</div><div style="margin:0px;padding:0px;border:0px" class=""><a href="https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/" target="_blank" style="margin:0px;padding:0px;border:0px;text-decoration:none;color:rgb(102,17,204);font-size:13.3333330154419px" class="">TPP2015のweb site</a><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">にもアップロードしてあります。</span></div><div style="margin:0px;padding:0px;border:0px" class="">多数の解答が寄せられるよう期待しています。<br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">TPP2015幹事 (神奈川大学 木下佳樹) </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">-------------------------[CFP: TPP2015]----------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">--------- </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">TPPミーティングについてのご案内です． </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">第11回 TPPミーティングを 9月16日(水)-17日(木) に神奈川大学理学部情報科学科 </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">（平塚市）にて開催します．このミーティングは，</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">2005年から年に1回開催され， </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">定理証明系を作っている人から使う側の人まで幅広い人たちが集ま</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">り，様々な </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">側面からの話をしてアイディアの交換をしてきたものです． </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">ミーティング期間中の討論 (discussion) を大切にしたいと考えていますので </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">出来上がった仕事の講演だけでなく、進行中の仕事、</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">未完成の仕事についての </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">講演も歓迎します。</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">参加者には可能な限りご講演いただきたいと希望しています。 </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">日時： 2015年 9月16日(水) 13:00頃 〜 9月17日(木) 15:00頃 （予定） </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">場所： 神奈川大学 湘南ひらつかキャンパス 11号館 サーカムホール </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">〒259-1293 神奈川県平塚市土屋2946 </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">参加者と講演の概数を把握したいので、参加される（</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">かもしれない）方は、 </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">8月31日までに下の参加申し込みを下記メールアドレスまでお送</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">りください． </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊ </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">＊ </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">＊ 参加（するかもしれない）申込締切： ８月３１日 </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">＊ </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊＊ </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">申込み・問い合わせ先: </span><br style="font-size:13.3333330154419px" class=""><a href="mailto:yoshiko@progsci.info.kanagawa-u.ac.jp" target="_blank" style="margin:0px;padding:0px;border:0px;text-decoration:none;color:rgb(102,17,204);font-size:13.3333330154419px" class="">yoshiko@progsci.info.kanagawa-u.ac.jp</a><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">(神奈川大学 理学部情報科学科 木下佳樹研究室 松本佳子) </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">URL: </span><a href="https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/" target="_blank" style="margin:0px;padding:0px;border:0px;text-decoration:none;color:rgb(102,17,204);font-size:13.3333330154419px" class="">https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/</a><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------- </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">TPP 2015 参加申し込み </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">お名前： </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">ご所属： </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">参加 ：する／するかもしれない </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">講演 ：する／しない </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> 講演する場合 </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> 講演題目： </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> （TBAでもかまいません．） </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> 概要： </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">懇親会に参加：する／しない </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------- </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">==============================</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">==============================</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">============= </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">This is the LAST CALL for participation for the 11th TPP meeting (Theorem </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Proving and Provers meeting), to be held on Sep. 16(Wed) - 17(Thu), </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">2015 at Kanagawa University. </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Date and Time: 2015/9/16 around 1pm to 9/17 around 3pm </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Place: Shonan-Hiratsuka Campus, Kanagawa University </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> Circum Hall (Bld. 11) </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">TPP is a series of annual meetings for developers as well as users of theorem </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">provers. Discussions from various aspects as well as exchanges of ideas </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">took place in the past ten meetings. </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">We regard the discussions during the meeting to be most important. </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">As such, not only the talks about completed work, but those about </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">ongoing work and half-baked work are also welcome. We hope all participants </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">would consider giving a talk. </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">If you are planning to attend the meeting, even if not yet decided to do so, </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">please send the information slip below to the indicated address by 31 August. </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">******************************</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">*********** </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">* participation application deadline: 31 August, 2015. </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">******************************</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">*********** </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Submission/questions to: </span><br style="font-size:13.3333330154419px" class=""><a href="mailto:yoshiko@progsci.info.kanagawa-u.ac.jp" target="_blank" style="margin:0px;padding:0px;border:0px;text-decoration:none;color:rgb(102,17,204);font-size:13.3333330154419px" class="">yoshiko@progsci.info.kanagawa-u.ac.jp</a><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> (Keiko Matsumoto , Kinoshita lab.) </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">URL: </span><a href="https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/" target="_blank" style="margin:0px;padding:0px;border:0px;text-decoration:none;color:rgb(102,17,204);font-size:13.3333330154419px" class="">https://sites.google.com/a/progsci.info.kanagawa-u.ac.jp/tpp2015/</a><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------- </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">TPP 2015 Registration </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Name: </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Affiliation: </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Will participate: </span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Yes/No/Maybe </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Will give a talk: Yes/No </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> In case of Yes: </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> Title: (If it is not decided yet, TBA is OK.) </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""> Abstract: </span><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">Will join the dinner: Yes/No </span><br style="font-size:13.3333330154419px" class=""><br style="font-size:13.3333330154419px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------------------------</span><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class="">------------- </span></div><div style="margin:0px;padding:0px;border:0px" class=""><span style="margin:0px;padding:0px;border:0px;font-size:13.3333330154419px" class=""><br class=""></span></div></div></div></div></div></div></div></div>
</body></html>