The Florida State University
The Florida State University
Monday: 16 September 1996
No Graduate Seminar, 3:35 p.m., 102 Love Building
Tuesday: 17 September 1996
Hopf Algebra Seminar, 2:00 p.m., 104 Love Building
Knot Theory Seminar, 3:35 p.m., 104 Love Building
Wednesday: 18 September 1996
(Real) Analysis Seminar, 2:30 p.m., 102 Love Building
Complex/Symbolic Analysis Coffee, 3:30 p.m., 105 Love Building
Complex/Symbolic Analysis Seminar, 3:35 p.m., 102 Love Building
Algebra Seminar, 2:00 p.m., 104 Love Building
Applied Seminar, 3:30 p.m., 200 Love Building
Topology Tea Time, 3:00 p.m., 204 Love Building
Topology Seminar, 3:35 p.m., 104 Love Building
Friday: 20 September 1996
Colloquium Coffee, 3:00 p.m., 204 Love Building
Colloquium, 3:30 p.m., 101 Love Building
Scientific Computing Seminar, 4:30 p.m., 200 Love Building
This document is maintained by
Melissa Elaine Smith /
smith@math.fsu.edu
Last modified: 29 August 1996
Graduate Student Seminar: Coming Attractions
Tuesday Algebra Seminar: Coming Attractions
Hopf Algebra Seminar: Coming Attractions
Knot Theory Seminar: Coming Attractions
(Real) Analysis Seminar: Coming Attractions
Complex/Symbolic Analysis Seminar: Coming Attractions
October 30.....Douglas Liao, Unifpack, A Symbolic Calculator for Groups and Riemann Surfaces
Thursday Algebra Seminar: Coming Attractions
Applied Seminar: Coming Attractions
Topology Seminar: Coming Attractions
Scientific Computing Seminar: Coming Attractions
Stephen Woodruff
Large-Eddy Simulations of Non-Equilibrium Turbulence: When a Cray is Not Enough
The many interacting scales of motion in the turbulent flow of a fluid create a problem which is even today beyond the reach of the fastest computers, unless one replaces the direct computation of the smaller-scale motion by a formula giving roughly the same overall effect. The absence of a theory of turbulence ensures that the creation of these formulas, or models, requires a fair amount of art as well as science. After a brief overview of the subject, a proposed formal (though not rigorous) approach to model development will be discussed and its application to turbulent flows undergoing rapid changes will be examined.
(go back to twim)
23 September...Brian Felkel, History of Mathematics
07 October.....
21 October.....Chris Holt, Weird Lattices
04 November....
18 November....
02 December....
(go back to twim)
(go back to twim)
(go back to twim)
(go back to twim)
(go back to twim)
September 25...Pekka Smolander, Florida State University
(go back to twim)
(go back to twim)
26 September...
03 October.....
10 October.....
17 October.....
24 October.....
31 October.....
07 November....
14 November....
21 November....
28 November....Thanksgiving --- no classes
05 December....
(go back to twim)
19 September...Eric Klassen, Florida State University
26 September...Eric Klassen, Florida State University
03 October.....John Woods
10 October.....no seminar (AMS meeting)
17 October.....Peter Bismuti
24 October.....Aleksandar Poleksi
31 October.....Aleksandar Poleksi
07 November....Ivo Dinov, Florida State University
14 November....Ivo Dinov, Florida State University
21 November....Jack Quine, Florida State University
28 November....Thanksgiving --- no classes
05 December....Jack Quine, Florida State University
(go back to twim)
27 September...Konstantin Kurbatskii, Benchmark Problems of the 2nd CAA Workshop
04 October.....Peter Bismuti, Solutions of Problems in Acoustics Using a Multi-Domain Spectral Method
11 October.....Abbas Khavaran, Prediction of Jet Noise from Fine-Scale Turbulence
18 October.....I Michael Navon, Second Order Information in Optimal Control Applied to the Geosciences
25 October.....Homecoming, no seminar
01 November....David Kopriva, An Unstructured Mortar Spectral Multi-Domain Method for the Compressible Navier-Stokes Equations
08 November....Lighthill Symposium, no seminar
(go back to twim)
Scheduled Colloquia Speakers - Fall 1996
27 September...
04 October.....N. Berloff, Florida State University
11 October.....Abbas Khavaran, Prediction of Jet Noise from Fine-Scale Turbulence
18 October.....M. Fried
25 October.....
01 November....C. Sadosky
15 November....Jouko Vaananen, Academy of Finland & Univ of Helsinki
Logic and Mathematics---from Cantor to Shelah
I discuss the role of logic in mathematics in the light of both
classical and recent advances in mathematical logic. The concepts and
methods of logic have helped us to understand, for example, why
Cantor's Continuum Hypothesis, and algorithmic solution of Diophantine
equations (Hilbert's 1st and 10th problems), are hard or impossible to
solve. On the other hand, the logical analysis of mathematical
structures has uncovered a rich general theory of classes of
structures with a so called complete first order axiomatization. The
most beautiful manifestation of this is S. Shelah's Classification
Theory, the most famous result of which can be summarized as follows:
Classes of structures with a complete first order axiomatization
always contain either maximally many structures, which are moreover
indistinguishable from each other, or rather few structures, all
easily distinguishable from each other.
22 November....Gaston Gonnet (ETH, Zuerich)
22 November....Thanksgiving --- no classes
06 December....
(go back to twim)
Scheduled Colloquia Speakers - Spring 1997
17 January....
24 January....
31 January....J. Bona
07 February...R. Vogt
14 February...
21 February...M. Barnsley
28 February...
07 March......S. Wittington
14 March......Spring Break
21 March......
28 March......
04 April......
11 April......
18 April......
(go back to twim)
Returnto Main Menu