All Seminars & Colloquia

Stability of Soliton Solutions to the Korteweg-deVries Equation

Friday, 2/21/2014, 6:00pm - 11:59pm

Speaker:Sarah Raynor is an associate professor of Mathematics at Wake Forest University in Winston-Salem, NC

Abstract: In this talk, we introduce the Korteweg-deVries Equation, a canonical nonlinear differential equation modelling the behavior of surface water waves in a long, narrow, shallow canal. We study special solutions to this equation, known as solitons. We are particularly interested in the stability of these special solutions.

Logic Seminar February 20

Thursday, 2/20/2014, 9:00pm - 11:59pm

Logic Seminar February 20

Applied Mathematics Seminar

Models for “mixtures” ; multifluid flows

Thursday, 2/20/2014, 8:00pm - 11:59pm

The speaker in Thierry Goudon from INRIA, Sophia Antipolis Research Center (France)

http://www-sop.inria.fr/members/Thierry.Goudon/index.html

An Introduction to twist spinning of knots

Tuesday, 2/18/2014, 6:00pm - 11:59pm

An Introduction to twist spinning of knots

Speaker: Seung Yeop Yang (GWU)

Speaker: Juncheng Wei

Geomterization Program of Semilinear Elliptic PDEs

Thursday, 2/13/2014, 7:20pm - 11:59pm

Abstract: Understanding the entire solutions of nonlinear elliptic equations

Logic Seminar

Thursday, 1/30/2014, 9:00pm - 11:59pm

Logic Seminar

The theory of fields is complete for isomorphisms

Friday, 1/24/2014, 9:00pm - 11:59pm

Abstract: We give a highly effective coding of countable graphs into countable fields. For each countable graph G, we build a countable field F(G), uniformly effectively from an arbitrary presentation of G. There is a uniform effective method of recovering the graph G from the field F(G). Moreover, each isomorphism g from G onto any G' may be turned into an isomorphism F(g) from F(G) onto F(G'), again by a uniform effective method so that F(g) is computable from g.

Logic Seminar

Friday, 1/24/2014, 9:00pm - 11:59pm

Logic Seminar

Towards topological applications of Laver tables

Victoria Lebed, Advanced Mathematical Institute, Osaka City University, Japan

Tuesday, 1/21/2014, 10:00pm - 11:59pm

Abstract: Laver tables are certain finite shelves (i.e., sets endowed with a binary operation which is distributive with respect to itself). They originate from set theory and have a profound combinatorial structure. In this talk I will discuss our dreams regarding potential braid and knot invariant constructions using Laver tables, and also present some real results in this direction, such as a detailed description of 2- and 3-cocycles for Laver tables. The rich structure of the latter promises interesting topological applications.
(Joint work with Patrick Dehornoy)

Towards topological applications of Laver tables

Speaker: Victoria Lebed (Advanced Mathematical Institute, Osaka City University,Japan)

Tuesday, 1/21/2014, 10:00pm - 11:59pm

(The talk will be introduced by Valentina Harizanov description of
Richard Laver (1942-2012) work in logic.)