Strange Loop

Sept 30 - Oct 2, 2021

/

Union Station

/

St. Louis, MO

Register for 2021!

Theory and Practice of Actors

This advanced workshop discusses the theory and practice of Actors in some depth. Actors are characterized up to a unique isomorphism using Event Induction. Event Induction can be used to prove properties of Actor Systems. Applications in Akka, Erlang, and Orleans. Future of Actor Systems.

Carl Hewitt

Carl Hewitt

Carl Hewitt is an Emeritus professor from MIT. He is known for his work on concurrency including both theory and practice as well as his work on the foundations of Computer Science.