School of Computing

Upcoming seminars

These are the group's upcoming seminars. Information on past seminars can be found here.

Upcoming events

Tag: plas (show all tags)
Oct 26
15:00 - 16:00
PLAS Group Seminar
Classical Data-Flow Analyses as Effects and Graded Monads
Nov 9
15:00 - 16:00
PLAS Group Seminar
Bounded verification of message-passing concurrency in Go using Promela and Spin
Nov 16
15:00 - 16:00
PLAS Group Seminar
Automatic Compositional Checking of Multi-Object TypeState Properties
Jan 18, 2021
15:00 - 16:00
PLAS Group Seminar
AI assistants: A framework for semi-automated, accountable, and tooling-rich data wrangling

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 12/10/2016