School of Computing

Upcoming events

Oct 2
11:00 - 12:00
School of Computing - Security Group Seminar
Speaker: Francesca Stevens (University of Kent)
Oct 12
15:00 - 16:00
PLAS Group Seminar
Resourceful Program Synthesis from Graded Linear Types
Oct 16
11:00 - 12:00
School of Computing - Security Group Seminar
Speaker: Lisa Sugiura (University of Portsmouth)
Oct 23
11:00 - 12:00
School of Computing - Security Group Seminar
Speaker: Enes Altuncu (University of Kent)
Oct 26
15:00 - 16:00
PLAS Group Seminar
Classical Data-Flow Analyses as Effects and Graded Monads
Oct 30
11:00 - 12:00
School of Computing - Security Group Seminar
Speaker: Virginia Franqueira (University of Kent)
Nov 9
15:00 - 16:00
PLAS Group Seminar
Bounded verification of message-passing concurrency in Go using Promela and Spin
Nov 20
11:00 - 12:00
School of Computing - Security Group Seminar
Speaker: Tim Aistrope
Dec 4
11:00 - 12:00
School of Computing - Security Group Seminar
Speaker: Hager Ben Jaffel - National Center for Scientific Research (CNRS) in Paris
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: 14/08/2015