Speaker: 

iCAMP conference

Time: 

Thursday, August 11, 2011 - 10:00am

Location: 

RH 440R

iCAMP conference
10am-2pm

Resolution except for minimal singularities

Speaker: 

Professor Edward Bierstone

Institution: 

University of Toronto

Time: 

Friday, May 13, 2011 - 4:00pm

Location: 

MSTB 120

The talk will be in the general area of birational geometry. Can we find singular representatives of birational equivalence classes of algebraic varieties, with the simplest possible singularities? In particular, can we find the smallest class of singularities that necessarily persist after birational mappings that preserve smooth points and transverse self-intersections of the target spaces? Many of the questions considered were raised by Janos Kollar.

Algorithms and Mathematics for (and from!) Molecular Medicine and Visualization

Speaker: 

Research Professor Bob Palais

Institution: 

University of Utah

Time: 

Friday, May 13, 2011 - 2:30pm

Location: 

NS2 1201

Many branches of mathematics are used to develop algorithms for modern molecular medicine and visualization of its data. I will discuss some examples, including high-resolution DNA melting analysis to determine transplant compatibility, and identifying genes associated with tumor progression that led to a therapy. I will also describe some surprising mathematical connections discovered in the course of this work.

How to Write a Proof?

Speaker: 

Leslie Lamport

Institution: 

Microsoft Corporation

Time: 

Friday, May 13, 2011 - 1:00pm

Location: 

NS2 1201

Mathematicians have made a lot of progress in the last 350 years, but not in writing proofs. The proofs they write today are just like the ones written by Newton. In a talk presented at a workshop celebrating Dick Palais' 60th birthday, I explained how to do better. This is a new version of that talk, reflecting 20 more years of experience writing better proofs.

Pages

Subscribe to RSS - Conference