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

[Atsushi Igarashi]

京都大学の五十嵐です．

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

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

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

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

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

https://docs.google.com/forms/d/e/1FAIpQLSeNY78Nptel4SY_U5MAGMX6qEzyipeFBSnGdCxP-oVkzS9jFA/viewform

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

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

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

にあります．

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

    五十嵐 淳