Previous Conferences & Workshops

Dec
14
2015

Computer Science/Discrete Mathematics Seminar I

Toward the KRW conjecture: cubic lower bounds via communication complexity
Or Meir
11:15am|S-101

One of the major challenges of the research in circuit complexity is proving super-polynomial lower bounds for de-Morgan formulas. Karchmer, Raz, and Wigderson suggested to approach this problem by proving that formula complexity behaves "as...

Dec
11
2015

Workshop on Flows, Foliations and Contact Structures

Taut co-oriented foliations
Rachel Roberts
10:00am|Simonyi Hall 101
Eliashberg and Thurston proved that the tangent plane field of any C2 taut oriented foliation F≠S1×S2 can be C0 approximated by a pair of particularly nice smooth contact structures. Kazez and Roberts proved that the requirement that F be C2 can be...
Dec
10
2015

Joint IAS/Princeton University Number Theory Seminar

The first order theory of meromorphic functions
Héctor Pastén Vásquez
4:30pm|Fine 214, Princeton University

By a result of Julia Robinson, we know that the first order theory of the field of rational numbers is undecidable, and in fact the same holds for any number field. In view of this, it is suggested by analogies studied by Vojta and others that the...

Dec
10
2015

Workshop on Flows, Foliations and Contact Structures

Contact homology and virtual fundamental cycles
John Pardon
10:00am|Simonyi Hall 101
Contact homology is a powerful invariant of contact manifolds introduced by Eliashberg--Givental--Hofer. The definition involves certain counts of pseudo-holomorphic curves, however these are usually only "virtual" counts since the moduli spaces of...