Changes between Version 7 and Version 8 of Past/2019


Ignore:
Timestamp:
Jan 17, 2020, 3:53:59 AM (4 years ago)
Author:
Tim McGilchrist
Comment:

Add the remainder of 2019 to past talks

Legend:

Unmodified
Added
Removed
Modified

  • Past/2019

    v7 v8  
    4545* Erik de Castro Lopo: Haskell with PostgreSQL
    4646
     47=== 119: 23rd October ===
     48
     49* Ben Lippmeier: The Why3 theorem proving framework.
     50* Rongmin Lu: The differentiable curry and other misadventures in differentiable programming.
     51
     52=== 120: 27th November ===
     53
     54* Jost Berthold
     55* (speaker needed)