31 Oct
2017
31 Oct
'17
6:55 p.m.
京都大学の五十嵐です．
第１３回 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/
にあります．
多数のご参加をお待ちしております．どうぞよろしくお願いします．
五十嵐 淳