10/17(月)-20(木)はプログラムの解析や検証に関わる技術を扱う国際会議ATVA2016に参加していた。 この辺りの話は久しぶりに聞く話で楽しかった。ただ、今回はちょっと事情もあって宿泊しなかったので、毎日片道1時間半〜2時間ほどかけて通っていたのだけれど、時間とそれ以上に体力が削られてヘロヘロに……
ATVA 2016
http://atva2016.gforge.inria.fr/
Twitterで発表内容等に関係するツイートを少ししていたので、こちらもご参考までに。
1日目 http://twilog.org/masahiro_sakai/date-161017
2日目 http://twilog.org/masahiro_sakai/date-161018
3日目 http://twilog.org/masahiro_sakai/date-161019
4日目(チュートリアル) http://twilog.org/masahiro_sakai/date-161020