John Power is visiting HWU for 3 weeks, starting this week. He will give two talks, one at Edinburgh Informatics (15th August), and another — at HWU (16 August). See the details below. If, in the course of these weeks, you would like to meet with John, please email to me or John directly,...
Read more →Wednesday 31 May, 13.15, EM 1.70 — Refinement in Dependent Type Theory via Proofs by Resolution — Logic programming, that is Horn Clause Logic equipped with a resolution mechanism, provides an expressive framework for first order proving with computational advantages over alternative approaches. Traditionally, resolution mechanisms employ full unification. Recently, however, attention was given...
Read more →ICFP’17 now announced all terms of student poster and paper competition for this summer: http://icfp17.sigplan.org/track/icfp-2017-Student-Research-Competition
Read more →The Spring Seminar Series are scheduled as follows (all Seminars are scheduled 14.15-15.15, on Wednesdays): 15 March 2017. Reading group. Patrick Cousot “Abstract Interpretation Based Formal Methods and Future Challenges” 22 March 2017. Jamie Gabbay, TBC 30 March 2017 (Thursday). Blesson Varghese, Queens University, Belfast. Title TBC 13 April 2017 (Thursday). Yutaka Nagashima, Trustworthy...
Read more →