CAGT Seminar

Title: Examples of evolutionary game theory
Speaker: Lars Bach, University of Lund
Time: Tue May 6th 2008, 14:15-15:15
Location: Ada-333
Abstract:

When introducing the notion of an Evolutionarily Stable Strategy (ESS) to Game Theory, J. Maynard Smith and others simultaneously began a tradition for applying Game Theory to Evolutionary thinking. (The ESS describes a more restricted case of a Nash...

---

[PL Seminar] Talk: Julien Brunel

Title: Combining temporal and deontic logics for the specification of security policies

Speaker: Julien Brunel, DIKU

Abstract:
In order to formally specify a security policy, it is natural to reason about
time on the one hand, and about permissions, obligations, and prohibitions on
the other hand. In this talk, we study the semantics of a logical combination
which allows to reason about such...

---

Dmitriy Morozov, Duke University

Persistence-Sensitive Simplification Simplified
Dmitriy Morozov, Duke University

Abstract:

We revisit the question of persistence-sensitive simplification on 2-manifolds. We call function g an epsilon-simplification of function f if the L_\\infty distance between f and g is no more than epsilon, and the persistence diagrams of g are the same as those of f except all points within L_1-distance...

---

Julian Dolby: Finding Bugs Efficiently with a SAT Solver

Abstract:

We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint solver to find specification
violations. We improve the efficiency of this approach with a new encoding of the program that effectively slices it at the logical level with respect to the specification. We also...

---

Distinguished lecture - Andries van Dam

Consider a not-too-distant scenario in which scientists use tablets with digital pens as extensible electronic lab notebooks. Each of these 'notebooks' is the size and weight of a pad of paper but is actually an "infinite" virtual piece of paper that permits sketching ideas for annotated graphical, diagrammatic, and mathematical designs, including proof-of-concept simulations, and engaging in...

---