π-calculus, Session Types research at the University of Oxford
Mariangiola Dezani-Ciancaglini, a long-term collaborator with our group working on Session Types turns 70 today, more details here.
Our group’s Masters project student Fahd Adeljallal gave a talk titled Session Types with Fahd Abdeljallal in a recent F#unctional Londoners Meetup Group meeting on his Masters project which applied Multiparty Session Types on F#.
» moreNobuko gave a talk at Papers We Love / Stange Loop 2016 on the topic of Multiparty Session Types and their Applications to Concurrent and Distributed Systems. Details and slides can be found on the talks page.
» moreRoland Kuhn, CTO of Actyx, and one of our industry collaborators, gave a talk titled Distributed Systems vs. Compositionality at Scala World, talked about some of our works.
His slides are on slideshare.
» moreNick gave a talk on Static Deadlock Detection for Go at Golang UK. Details and slides of the talk can be found on the talks page.
» moreThe Kohei Honda Prize for Distributed Systems at QMUL was awarded to Alhamza Alnaimi for the project titled ‘Near Real-time Distributed Temporal Graph Processing’.