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 23
15:00 - 16:00
PLAS Group Seminar
Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent
Nov 6
15:00 - 16:00
PLAS Group Seminar
Denotational semantics in Synthetic Guarded Domain Theory

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

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

Last Updated: 12/10/2016