Location of Talks
The talks and the tutorials will be held in the lecture room A-6, in the back of the ground floor of the David Rittenhouse Laboratory on the SE corner of Walnut Street and 33rd Street on the Penn Campus in Philadelphia, University City. Here’s a campus map:
The main entrance to the building is on 33rd Street, a few steps South of Walnut Street, between Walnut Street and the big flagpole.
This location is about a 25 minute walk from the Club Quarters Hotel: Walk South on 17th Street to Walnut, turn right, and walk West on Walnut Street till 33rd Street, crossing the bridge on Walnut.
Wednesday, May 21
Tutorial Day Lectures
Category Theory and Computer Science
Note: Other than the start time of 9:00, the timing below is tentative and meant to be flexible
9:00 Welcome
9:15 Marcelo Fiore. Algebraic theories and equational logics
10:30 Break
10:45 Nicola Gambino, Categorical and homotopical structure in dependent type theory
12:00 Lunch
2:00 Pieter Hofstra, Introduction to abstract computability
3:15 Break
3:30 Peter Selinger, Categorical models of quantum computation
Thursday, May 22
8:45 Welcome
9:00 James Worrell (Oxford), On termination of linear programs and the Skolem
problem
10:00 Achim Jung*, Drew Moshier and Steve Vickers, Presenting dcpos and dcpo
algebras
10:30 Break
10:50 Gordon Plotkin* & John Power, Tensors of co-models and models for operational
semantics
11:20 Break
Special Session Honoring Phil Scott
11:30 Samson Abramsky (Oxford)
12:30 Lunch
Special Session Honoring Phil Scott
2:00 Rick Blute (Ottawa)
2:30 Peter Dybjer (Chalmers), The interpretation of intuitionistic type theory in
locally cartesian closed categories: an intuitionistic perspective
3:00 Masahiro Hamano (JAIST), An Indexed Linear Logic for Characters of Group
Representations
3:30 Break
3:50 Esfandiar Haghverdi (Indiana)
4:20 Guy Beaulieu (Ottawa)
4:50 Break
5:00 J. Lambek (McGill)
5:30 Peter Freyd (Penn) Łukasiewicz, Girard, Scott
6:00 End of Program
Friday, May 23
Special Session on Type Theory
9:00 Benjamin Pierce (Penn), Types Considered Harmful
10:00 Andrew W. Appel, Multimodal separation logic for reasoning about operational
semantics
10:30 Break
10:50 Andrew Gordon (Microsoft, Cambridge), Refinement types for secure
implementations
11:20 Aleksandar Nanevski (Microsoft, Cambridge), Reasoning with the Awkward Squad
11:50 Derek Dreyer (MPI-SWS, Saarbrücken), Good Fibrations: Simplifying and
generalizing the ML module system
12:20 Lunch
Special Session on Security
2:00 Dusko Pavlovic (Kestrel and Oxford)
3:00 Joshua Guttman (Mitre)
3:30 Break
3:50 Konstantinos Chatzikokolakis* and Keye Martin, A monotonicity principle for
information theory
4:20 Andrew Appel (Princeton), The Turing machine in the voting booth
4:50 End of Session - Break
5:00 Adam Scriven, A functional algorithm for exact real integration with real
numbers
5:30 Marino Miculan, A categorical model of Fusion calculus
6:00 End of Program
Saturday, May 24
Special Session on Systems Biology
9:00 Luca Cardelli (Microsoft, Cambridge), On process rates
semantics
10:00 Vashti Galpin (Edinburgh)
10:30 Break
10:50 Eric Mjolsness (UC Irvine)
11:20 Cosimo Laneve (Bologna)
11:50 Jean Krivine (Harvard Medical School), Stochastic bigraphs
12:20 Lunch
2:00 Bob Coecke*, Eric Paquette & Simon Perdix, Bases in diagrammatic quantum
protocols
2:30 Yannick Delbecque and Prakash Panangaden, Game semantics
for quantum stores
3:00 Chris Heunen, Semimodule enrichment
3:30 Break
3:50 Daniel Leivant, Propositional dynamic logic with quantifiers
over programs
4:20 Marcelo Fiore & Chung-Kil Hur, Term equational systems and
logics
4:50 Break
5:00 Alan Sexton & Hayo Thielecke, Reasoning about B+ trees
with operation semantics and separation logic
5:30 Carsten Varming* & Lars Birkedal, Higher-order separation
logic in Isabelle/HOL
6:00 End of Program
Sunday, May 25
9:00 Andreas Rossberg, Dynamic translucency with abstraction kinds
9:30 Paul Levy, Global state considered helpful
10:00 Keye Martin & Prakash Panangaden*, A technique for verifying measurements
10:30 Break
10:50 Phil Scott (Ottawa)
11:50 End of Conference
*: Denotes speaker