Seminar Calendar
for events the day of Friday, April 4, 2003.

.
events for the
events containing

Questions regarding events or the calendar should be directed to Tori Corkery.
      March 2003             April 2003              May 2003
Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa   Su Mo Tu We Th Fr Sa
1          1  2  3  4  5                1  2  3
2  3  4  5  6  7  8    6  7  8  9 10 11 12    4  5  6  7  8  9 10
9 10 11 12 13 14 15   13 14 15 16 17 18 19   11 12 13 14 15 16 17
16 17 18 19 20 21 22   20 21 22 23 24 25 26   18 19 20 21 22 23 24
23 24 25 26 27 28 29   27 28 29 30            25 26 27 28 29 30 31
30 31


Friday, April 4, 2003

The gradient conjecture of R. Thom
3:00 pm   in 159 Altgeld Hall,  Friday, April 4, 2003
 Del Edit Copy
Submitted by tokaiser.
 Tobias Kaiser, Lou van den Dries (UIUC Math)The gradient conjecture of R. Thom (cont.)

Geometry and Algebra of Computer Vision
3:00 pm   in 3169 Beckman Institute,  Friday, April 4, 2003
 Del Edit Copy
Submitted by rmfossum.
 Kun Huang   [email] (UIUC ECE)Multiple-View Matching and Reconstruction from Symmetry CellsAbstract: The paradox that automatic feature tracking relies on small motion of the camera and accurate 3D reconstruction requires large camera motion can be resolved in the presence of symmetry. We propose a symmetry-based approach which allows automatic feature matching between images with arbitray camera motions and performs automatic 3-D reconstruction based on the matched features.

Model Theory Seminar
4:00 pm   in 143 Altgeld Hall,  Friday, April 4, 2003
 Del Edit Copy
Submitted by seminar.
 Marcus Tressl (University of Regensburg, Germany)A Uniform Companion for Large Differential FieldsAbstract: We introduce a first order theory of differential fields of characteristic 0, called UC (for Uniform Companion), with the following properties: 1. Whenever L and M are models of UC and F is a common differential subfield of L and M such that L and M have the same universal theory over F as pure fields, then they have the same universal theory over F as differential fields. 2. Every differential field F which is 'large' can be extended to a model of UC and this extension is elementary in the language of rings. Here, a field F is called large if every smooth curve defined over F that has an F-rational point, has infinitely many F-rational points (e.g. PAC, PRC and PpC-fields are large). The theory UC is a simultaneous axiomatization of differentially closed fields (introduced by T. McGrail) and of differentially closed ordered fields (introduced by M. Singer in the case of one derivative). If we add UC to the theory of p-adically closed fields in the language of p-valued fields we get the model completion of p-adically closed, differential fields. If we add UC to the theory of pseudo finite fields in the language of rings enlarged by some constants, we get the model companion of pseudo finite, differential fields (of characteristic 0).