Changes between Version 304 and Version 305 of WikiStart
- Timestamp:
- Jan 17, 2020, 3:55:03 AM (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
WikiStart
v304 v305 24 24 * [wiki:Related more...] 25 25 26 == Program (20 19) ==26 == Program (2020) == 27 27 28 28 FP-Syd is held on the fourth Wednesday of each month. … … 31 31 32 32 33 === 119: 23rd October ===34 35 * Ben Lippmeier: The Why3 theorem proving framework.36 * Rongmin Lu: The differentiable curry and other misadventures in differentiable programming.37 38 === 120: 27th November ===39 40 * Jost Berthold41 * (speaker needed)42 33 43 34