https://credog.github.io/ https://credog.github.io/program/ https://credog.github.io/speakers/ https://credog.github.io/venue/ https://credog.github.io/papers/cooper.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/cross.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/ginzburg.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/holler.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/hough-tian.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/hough.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/luecking.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/schlangen.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/tian.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/wisniewski-entailments.pdf 2017-12-04T11:40:42+00:00 https://credog.github.io/papers/wisniewski-questions.pdf 2017-12-04T11:40:42+00:00