Personal tools
You are here: Home Events LFCS Seminars-Folder LFCS Seminars Seminar Archives 1997

1997

Theory Seminar Archive 1997

2007-8 · 2006-7 · 2005 · 2004 · 2003 · 2002 · 2001 · 2000 · 1999 · 1998 · 1997 · 1996

Date Speaker Title
January Prakash Panangaden Proof Nets as Formal Feynman Diagrams

Roope Kaivola From Automata to Fixpoint Logics and Back
March Zhaohui Luo Coercive subtyping and its applications
April Joost-Pieter Katoen The Bounded Retransmission Protocol Must be on Time!

Arnon Avron Multiplicative Conjunction, Contraction and Weakening

David Schmidt Using Model Checking to Understand the Relationship between Abstract Interpretation and Data Flow Analysis
May Jon G. Riecke A Relational Account of Call-by-Value Sequentiality
June Peter Selinger First-order Axioms for Asynchrony

Daniele Turi Well-Behaved Operational Rules are Natural

Peter O'Hearn Affine/Intuitionistic Typing for Idealized Algol
July Anton Setzer Universes in Type Theory
September Peter Sewell Global/Local Subtyping for a Distributed pi-calculus
October Neil Ghani Conditional Term Rewriting Systems Via Enriched Monads

A.D. Gordon A Calculus of Mobile Ambients

Healf Goguen Typed Operational Semantics Revisited

Gian Luca Cattani Presheaf Models over Recursively Defined Path Categories
November Ralph Loader Elementary Proofs of Adequacy

Masahiko Sato Classical Brouwer-Heyting-Kolmogorov interpretation

Guy McCusker Games, factorizations, definability and ML-style references

Adriana Compagnoni Typed Operational Semantics for Higher Order Subtyping

Martin Wirsing From sequential to multi-threaded Java: An event-based operational semantics

Robin Cockett Linear Bicategories
December Fritz Henglein Operational interpretation of recursive subtyping
Ian Stark

There are currently no items in this folder.

Document Actions