• DSG Research Seminars: Logic and Programming Languages

    The Spring Seminar Series are scheduled on Wednesdays at 14.15-15.15 unless otherwise stated.
    For details please see the Spring Seminar Series page.

    DSG seminar: Inductive-Coinductive Reasoning: Computability and Type Theory, 30.05.2018

    by  • May 24, 2018 • DSG Research Seminars: Logic and Programming Languages

    Speaker: Henning Basold, University of Lyon. Title: Inductive-Coinductive Reasoning: Computability and Type Theory Location: EM 1.83, 13:15, 30th May. Abstract Induction and coinduction are well-studied and ubiquitous principles in both mathematics and computer science. Many interesting structures and properties can be described inductively, coinductively or by a combination of both. For this reason, it...

    Read more →

    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 →