Previous Conferences & Workshops

Feb
11
2013

Computer Science/Discrete Mathematics Seminar I

Mathematical Theories of Interaction with Oracles: Active Property Testing and New Models for Learning Boolean Functions
Liu Yang
11:15am|S-101

With the notion of interaction with oracles as a unifying theme of much of my dissertation work, I discuss novel models and results for property testing and computational learning, with the use of Fourier analytic and probabilistic methods. One...

Feb
08
2013

Joint IAS/Princeton University Symplectic Geometry Seminar

Toric b-Symplectic and Origami Manifolds
Ana Rita Pires
1:30pm|Fine Hall 322

Origami manifolds and b-symplectic manifolds are examples of manifolds which are symplectic except on a hypersurface Z: in the origami case, the symplectic form vanishes at Z; in the b-case, it explodes to infinity at Z. In this talk we will...

Feb
07
2013

Joint IAS/Princeton University Number Theory Seminar

Relative Artin Motives and the Reductive Borel-Serre Compactification of a Locally Symmetric Variety
4:30pm|Fine Hall 214

Let $X$ be a locally symmetric variety, $\bar{X}$ its Baily-Borel compactification, $\bar{X}^{rbs}$ its reductive Borel-Serre compactification and $p:\bar{X}^{rbs} \to \bar{X}$ the canonical map. We prove that the derived direct image sheaf $Rp_*...

Feb
07
2013

Working Group on Algebraic Number Theory

An Introduction to motives
2:00pm|Fine Hall 322

We review the construction of the triangulated categories of motives over a base scheme (following the method of Morel and Voevodsky). We then explain quickly the construction of various operations between these categories as well as some...

Feb
07
2013

Univalent Foundations Seminar

Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Peter Aczel
11:00am|S-101
Feb
06
2013

Mathematical Conversations

What is a Higher Order Object?
Nils Baas
6:00pm|Dilworth Room

I will discuss what we should mean by a higher order structure, and relate it to examples in link theory,cobordism theory and higher categories, motivating a general notion. Examples from physics and chemistry will also appear.

Feb
06
2013

Workshop on Topology: Identifying Order in Complex Systems

Linear Algebra over Cell Complexes: Applications to Data, Coding and Sensor Networks
Justin Curry
5:00pm|Proteomics Bldg. 120, Rutgers, The State University of New Jersey

In this talk we introduce a discrete and computable version of a mathematical technique known as sheaf theory. This tool provides a method for extracting qualitative topological features of data over a space, rather than of the space itself. We...

Feb
06
2013

Workshop on Topology: Identifying Order in Complex Systems

Community Structure in Networks
Mason Porter
3:30pm|Proteomics Bldg. 120, Rutgers, The State University of New Jersey

Networks arise pervasively in biology, physics, technology, social science, and myriad other areas. They consist of a collection of entities (called nodes) connected via ties, and they typically exhibit a complicated mixture of random and structured...

Feb
06
2013

Workshop on Topology: Identifying Order in Complex Systems

Visualizing and Exploring Molecular Simulation Data via Protein Energy Landscape metaphor
Yusu Wang
2:00pm|Proteomics Bldg. 120, Rutgers, The State University of New Jersey

The rapid improvements in computational power have enabled researchers to produce large amounts of molecular simulation data. Hence there is a pressing need to be able to analyze such data to enhance our understanding of molecular dynamics. However...