Changes between Version 9 and Version 10 of Past/2014

Timestamp:

Oct 22, 2014, 3:21:58 AM (10 years ago)

Author:

Ben Lippmeier

Comment:

--

Past/2014

@@ -1 +1 @@
 = Past Meetings, 2014 =
 
-=== 65: 23rd July 2014 ===
+=== 67: 24th September 2014 ===
+ * Eric Torreborre: The Expression Problem solved, finally!
+ * Dom De Re: Refined Types
+ * Raphael Speyer: Software defined networking
+
+=== 68: 20th August 2014 ===
+ * Tony Sloane: Compiling Strict Functional Languages using Continuation Passing Style
+ * Thomas Sewell: The Kepler conjecture
+ * Tran Ma: Streaming OT (or "the wonders of Gabriel Gonzalez")
+
+=== 66: 23rd July 2014 ===
  * Liam O'Conner: Hilbert - Two graphics theorem provers
  * Shane Stephens: Effects in Idris and (maybe) Haskell
  * Eric Willigers: More efficient Combinatory Logic
 
-
-=== 64: 25th June 2014 ===
+=== 65: 25th June 2014 ===
  * Ben Sinclair: Haskell and ABC iView
  * Declan Conlon: Kicking the tires on linear sorting
  * Hugh Giddens: Codensity
 
-=== 65: 28th May 2014 ===
+=== 64: 28th May 2014 ===
  * Ben Lippmeier: Flattening Nested Database Queries
  * Frederick Madsen: Streaming in Accelerate