[logic-ml] CFP: TPP 2017 (Dec. 6-7 in Kyoto Univ.)

京都大学の五十嵐です．

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

１２月６日（水）の午後から １２月７日（木）まで

の予定で、京都大学吉田キャンパスにて開催します．このミーティングは， 2005 年から年に１回開催され，定理証明系を作っている人から使う側の人ま で幅広い人たちが集まり，様々な側面からの話をしてアイディアの交換をして きたものです．

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

参加者と講演の概数を把握したいので，参加される(かもしれない)方は、

https://docs.google.com/forms/d/e/1FAIpQLSeNY78Nptel4SY_U5MAGMX6qEzyipeFBSnG...

経由で 11月22日(水)までに参加申し込みをしてください．また12月6日(水) の夜に懇親会を予定しております．こちらの参加(するかもしれない)表明をお 願いいたします．

恒例のTPP問題を含む，詳しい情報は

https://aigarashi.github.io/TPP2017/

にあります．

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

五十嵐 淳