The theme of this workshop is the computation, modeling, and mathematical analysis of heterostructured nanocrystalline materials. This includes quantum dots, nanowires, graphene, and grain boundaries. These various phenomena will be discussed in the context of modeling and computation on different scales ranging from density functional theory to continuum mechanics. The workshop will also address various techniques that allow one to combine models on different scales to yield efficient computational methods.

This workshop will bring together dynamicists, number theorists, and algebraic geometers to study the geometry and arithmetic of dynamical moduli spaces. The set Rat_dⁿ of rational degree d self-maps of Pⁿ has a natural structure as an affine variety. The dynamical moduli space M_dⁿ is the quotient of Rat_dⁿ by the conjugation action of the group PGL_n+1. Problems to be investigated include the geometry of M_dⁿ, the distribution of special maps such as post-critically finite maps in M_dⁿ, dynamical modular curves associated to one-parameter families of maps with a marked point of period N, and degeneration of families of maps and the associated points on the boundary of moduli space. A tutorial session will be held the week before this workshop.

This workshop will examine global arithmetic dynamics from the perspectives of number theory, algebraic geometry, and model theory. It will introduce aspects of this topic to a larger audience, and clarify connections between different perspectives. In addition, there will be extensive discussion periods in which participants can collaborate on theoretical and computational aspects of the topic.

This workshop will bring together researchers working in classical complex dynamics and in the newer area of p-adic (nonarchimedean) dynamics. It will promote interactions between the two groups by highlighting the similarities and differences between complex and p-adic dynamics.

In particular, it will address Berkovich space, whose introduction has greatly enhanced the exchange of ideas between complex and p-adic dynamics.

The goal of this program is to bring together researchers in complex dynamics, arithmetic dynamics, and related fields, with the purpose of stimulating interactions, promoting collaborations, making progress on fundamental problems, and developing theoretical and computational foundations on which future work will build. Complex dynamics is the study of iteration of holomorphic self-maps of a complex space. Fundamental examples of such maps arise as algebraic self-maps of algebraic varieties. Starting with the fundamental results of Fatou and Julia, complex dynamics has evolved into a well established field with many deep theorems and many important unresolved questions. Arithmetic dynamics refers to the study of number theoretic phenomena arising in dynamical systems on algebraic varieties. Many global problems in arithmetic dynamics are analogues of classical problems in the theory of Diophantine equations or arithmetic geometry, including for example uniform bounds for rational... (more)

This workshop focuses on mathematical and statistical aspects of public key cryptography. The main ingredients from mathematics so far include discrete logarithms and factoring over the integers, generalizations of the discrete logarithm to elliptic curves, hyperelliptic curves and further generalizations, aspects of infinite non-abelian groups, and closest vector problems (CVP) in integer lattices. Cryptanalysis in all of these areas can involve analyses of patterns in vast amounts of data, hence the need for statistical methods. One goal of this workshop, though not the only one, is to focus attention on the problem of quantifying the complexity of lattice-based problems, for example extrapolating the difficulty of solving a CVP in an integer lattice as a function of its dimension and other parameters.

A copy of the presentations given at this workshop is available as a PDF... (more)

As concurrency in scientific computing pushes beyond a million threads and performance of individual threads becomes less reliable for hardware-related reasons, attention of mathematicians, computer scientists, and supercomputer users and suppliers inevitably focuses on reducing communication and synchronization bottlenecks. Though convenient for succinctness, reproducibility, and stability, instruction ordering in contemporary codes is commonly overspecified. This workshop attempts to outline evolution of simulation codes from today's infra-petascale to the ultra-exascale and to encourage importation of ideas from other areas of computer science into numerical algorithms, new invention, and programming model generalization.

The celebrated Boltzmann equation is the foundation of the kinetic theory for dilute collections of particles, which undergo elastic binary collisions. The Boltzmann theory is at the center of a series of multi-scaled physical models that connect microscopic multiparticle models to macroscopic fluid models such as the Navier-Stokes equations:

The first arrow refers the Boltzmann-Grad limit, while the second arrow refers to various hydrodynamic limits which lead to the fundamental equations of fluids. The Boltzmann theory therefore provides a practical tool and machinery for deriving macroscopic models in broad physical applications. Due to its importance, there has been an explosion of mathematical studies, both theoretical and numerical, for the Boltzmann equation.A major open problem that remains is to determine whether or not smooth initial data would lead to a unique global-in-time solution of the Boltzmann... (more)