[Alta-Logic] Peripatetic Seminar

[Benjamin MacAdam]

Hello everyone,

We will be having a visitor give a talk the Friday.

Speak: Juan Qiao
Title: Rho Calculus
Time and Location: 1:00pm, Friday, May 8, on Zoom
Abstract:

Process calculus is a family of related approaches to formally model concurrent systems, e.g. Pi-calculus which pass channels as data along other channels; Ambient calculus which models distributed and mobile computations. Rho Calculus (Reflective Higher Order Calculus) is based on Pi-calculus; it is a closed theory in the form of an asynchronous message-passing calculus built on a notion of quoting. Names are quoted processes and unquoting is reification of processes. Names are subject to algebraic rules and reasoning such as substitutions and bisimulation.


Zoom info:

Topic: Peripatetic Seminar
Time: May 8, 2020 01:00 PM Edmonton

Join Zoom Meeting
https://ucalgary.zoom.us/j/97790581917

Meeting ID: 977 9058 1917
One tap mobile
+13462487799,,97790581917# US (Houston)
+16465588656,,97790581917# US (New York)

Dial by your location
+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)
+1 301 715 8592 US (Germantown)
+1 312 626 6799 US (Chicago)
Meeting ID: 977 9058 1917
Find your local number: https://ucalgary.zoom.us/u/acLsaXwrb4

Join by SIP
97790581917 at zoomcrc.com<mailto:97790581917 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: 977 9058 1917

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



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