Mon, 27 Feb 2006
17:30
L3

Knowledge, Topology and Dynamics

Johan van Benthem
(Amsterdam & Stanford)
Abstract
We will survey the topological interpretation of modal languages, with some modern features, such as the appropriate bisimulations and model comparison games. Then we move to an epistemic version of this, showing how it provides a finer set of epistemic distinctions for group behaviour, including different notions of common knowledge. We explain the background for this in an epistemic MU-calculus. Finally, if we can pull this off within the time limit, we will discuss how topological models also show up in current dynamic-epistemic systems of belief revision.

 

 

Mon, 27 Feb 2006
15:45
DH 3rd floor SR

Title to be confirmed

Dr Qingyang Guan
(Dept of Statistics, Oxford)
Fri, 24 Feb 2006
16:30
L2

Knots, Flows and Fluids

Professor Jean-Marc Gambaudo
(Institut de Mathematiques de Bourgogne)
Abstract
In the year 1858, Herman Ludwig Ferdinand von Helmholtz published in Crelle's Journal a deep and pioneering paper on vortex motions where the topological properties of vortex lines in a fluid motion were emphasised. This work has been a strong source of inspiration for P G Tait who settled down the foundation of knot theory and for H Poincare, the father of geometric theory of dynamical systems. As a matter of fact, by the end of the 19th century, three topics, knots, flows and fluids were closely related. In the last decades, the topic has been boosted by a series of new appealing problems and interesting results gathered under the name Topological Methods in Hydrodynamics. Our talk will start with a short trip around the pioneering works. Then we will focus on two essential recent topics:
Thu, 23 Feb 2006

14:00 - 15:00
Comlab

On the numerical analysis of an augmented mixed finite element method for linear elasticity

Prof Gabriel Gatica
(Univ. de Concepcion)
Abstract

We present a new stabilized mixed finite element method for the linear elasticity problem. The approach is based on the introduction of Galerkin least-squares terms arising from the constitutive and equilibrium equations, and from the relation defining the rotation in terms of the displacement.

We show that the resulting augmented variational formulation and the associated Galerkin scheme are well posed, and that the latter becomes locking-free and asymptotically locking-free for Dirichlet and mixed boundary conditions, respectively. In particular, the discrete scheme allows the utilization of Raviart-Thomas spaces of lowest order for the stress tensor, piecewise linear elements for the displacement, and piecewise constants for the rotation.

In the case of mixed boundary conditions, the essential one (Neumann) is imposed weakly, which yields the introduction of the trace of the displacement as a suitable Lagrange multiplier. This trace is then approximated by piecewise linear elements on an independent partition of the Neumann boundary whose mesh size needs to satisfy a compatibility condition with the mesh size associated to the triangulation of the domain. A reliable and efficient a-posteriori error estimate is also described. Finally, several numerical results illustrating the performance of the augmented scheme are reported.

Tue, 21 Feb 2006
15:00
L3

Cancelled

Martin Dyer
(Leeds)