• About Rob Stewart

    DSG seminar: Clemens Kupke, University of Strathclyde, 27.04.2018

    by  • March 14, 2018 • DSG Research Seminars: Logic and Programming Languages

    13:15-14:15, Friday 27 April, EM 1.83. Title: Coalgebraic Modal Logic & Learning Abstract: Coalgebra provides a general model of state-based transition systems. Coalgebraic Modal Logic allows to specify properties of such systems. In my talk I plan to (i) provide a brief introduction to coalgebraic modal logic and (ii) describe how these logics can...

    Read more →

    Bastian Hagedorn – High Performance Stencil Code Generation with Lift, 11.04.2018

    by  • March 13, 2018 • DSG Research Seminars: Logic and Programming Languages

    Title: High Performance Stencil Code Generation with Lift Speaker: Bastian Hagedorn, University of Münster 13:15, EM G.61. Abstract Stencil computations are widely used from physical simulations to machine-learning. They are embarrassingly parallel and are commonly executed on modern parallel systems such as multi-core CPUs, Graphic Processing Units (GPUs). Although stencil computations have been extensively...

    Read more →

    Jan De Muijnck-Hughes – Type-Driven Development of Communicating Systems using Idris (6th December, 2017)

    by  • December 1, 2017 • DSG Research Seminars: Logic and Programming Languages

    Time, Location: 14:15, Wednesday 6 December, EM G.61. Speaker: Jan De Muijnck-Hughes Title: Type-Driven Development of Communicating Systems using Idris Abstract Communicating protocols are a cornerstone of modern system design. However, there is a disconnect between the different tooling used to design, implement and reason about these protocols and their implementations. Session Types are...

    Read more →

    Blair Archibald – Branching Out: Skeletons for Parallel Tree Search (22nd November, 2017)

    by  • November 10, 2017 • DSG Research Seminars: Logic and Programming Languages

    Speaker: Blair Archibald, University of Glasgow Time and location: 14:15, Wednesday 22nd November, EM 1.70. Abstract Tree search problems are everywhere, from exploring mathematical objects and scheduling factories to making the most effective drugs possible. While these problems, in essence, lend themselves well to parallelsim, often this is done on a per-application or per-instance...

    Read more →

    Ross Duncan – Substitution, binding, and pattern matching in string diagrams (8th November, 2017)

    by  • November 4, 2017 • DSG Research Seminars: Logic and Programming Languages

    Speaker: Ross Duncan, University of Strathclyde Time and location: 15:15, EM 3.07 Abstract: Diagrams are widely used in science and engineering; well known examples include electronic circuit diagrams, Feynman diagrams, proof-nets, petri-nets, and countless others. All these diagrams share the same basic features because they are all presentations of monoidal categories — one of...

    Read more →

    Rajiv Murali – A Rigorous Approach to Use Case Driven Development in SysML (18th October, 2017)

    by  • October 2, 2017 • DSG Research Seminars: Logic and Programming Languages

    Time and location: 14:30, EM 1.70 Abstract: Use cases (UC) are a popular technique used to define the goals of a system. As part of use case driven development (UCD), these goals drive the analysis, design and testing of the system. An integral part of UCD, are document-based use case specifications (UCS) that help...

    Read more →