[Alta-Logic] Peripatetic seminar Friday

[Benjamin MacAdam]

Hi Everyone,

Peripatetic will be a bit early this week:

Speaker: Jonathan Gallagher
Time and location: 12:00 Friday, May 22 on Zoom
Title: Abadi and Plotkin's language in terms of differential structure
Abstract:
Abadi and Plotkin defined the Simple Differential Programming Language (SDPL) to be a functional programming language with a first order type system where every program can be reverse differentiated.  Importantly this language has conditionals and recursive functions.  In this talk we will develop the denotational semantics and source code transformation semantics from a categorical point of view using the technology of reverse differential join restriction categories.  In particular, using an interpretation into such a category we will show that source code transformations are modelled correctly, that the trace-differentiation technique is modelled, and we will express a denotational semantics for SDPL into any such category with enough points.   Finally, we will use the theory of these categories to derive a modification to the operational semantics that yields an exponential speedup on the differentiation of loops.  Also, as a bonus, we will do recursion in a restriction category!


Zoom handle:
https://ucalgary.zoom.us/j/6183695417

Meeting ID: 618 369 5417
One tap mobile
+13017158592,,6183695417# US (Germantown)
+13126266799,,6183695417# US (Chicago)

Dial by your location
+1 301 715 8592 US (Germantown)
+1 312 626 6799 US (Chicago)
+1 346 248 7799 US (Houston)
+1 646 558 8656 US (New York)
+1 669 900 6833 US (San Jose)
+1 253 215 8782 US (Tacoma)
Meeting ID: 618 369 5417
Find your local number: https://ucalgary.zoom.us/u/amIFDb4m5

Join by SIP
6183695417 at zoomcrc.com<mailto:6183695417 at zoomcrc.com>

Join by H.323
162.255.37.11 (US West)
162.255.36.11 (US East)
69.174.57.160 (Canada)
Meeting ID: 618 369 5417

Join by Skype for Business
https://ucalgary.zoom.us/skype/6183695417

-Ben
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20200520/45c8ef40/attachment.html>