GlynnFestSchedule

06:53 - Leave a Comment





Friday May 31

  • 09h00 Welcome
  • 09h05 Mogens Nielsen: Trust in Event Structures
  • 09h45 Gordon Plotkin: Cartesian Closed Categories of Separable Scott Domains
  • 10h25 Coffee
  • 10h40 Henrik R. Andersen: From modal mu-calculus to the Jaguar F-type
  • 11h20 Thomas T. Hildebrandt: Restless Events, Responses and Workflow Management
  • 12h00 Lunch
  • 14h00 Kim G. Larsen: Concurrent Weighted Logic
  • 14h40 Steve Brookes: Events in fair computation
  • 15h20 Coffee
  • 15h40 Andy Pitts: Nominal Domain Theory
  • 16h20 Olivier Danvy: A Characterization of Moessner's Sieve

Saturday June 1st

  • 09h00 Samson Abramsky: Events and Presheaves in Physics
  • 09h40 Prakash Panangaden: The Causal Structure of Spacetime
  • 10h20 Coffee
  • 10h40 Pierre-Louis Curien: Revisiting the categorical interpretation of dependent type theory
  • 11h20 Ugo Montanari: A network-conscious pi-calculus and its coalgebraic semantics
  • 12h00 Lunch
  • 14h00 Vladimiro Sassone: Language-based models for linked data
  • 14h40 Marcelo Fiore: Polymorphic Algebraic Theories
  • 15h20 Coffee
  • 15h40 Martin Hyland: Elements of a theory of algebraic theories
  • 16h20 Glynn Winskel: Concluding Session