9:00
Registration
10:00
Welcome speeches
10:20 - 11:05
A. Blass
Ultrafilters and set theory
11:10 - 11:40
Coffee Break
11:40 - 12:25
J. Nesetril
Some topics on non-Ramsey connection of combinatorics and ultrafilters
12:30 - 12:55
C. Serpe'
Nonstandard methods in algebraic geometry
13:00 - 15:00
Lunch Break
* * *
15:00 - 15:25
Y.-Q. Li
Defining new generalized functions by nonstandard discrete functions and difference quotients
15:30 - 15:55
H. Vernaeve
Algebras of generalized functions and nonstandard analysis
16:00 - 16:15
Coffee Break
16:15 - 16:40
B. Tsaban
Super ultrafilters and Ramsey theory
16:45 - 17:40
M. Beiglbock
A variant of the Hales-Jewitt theorem
17:15 - 17:30
Break
17:30 - 17:55
P. Krautzberger
Idempotent ultrafilters and finer topologies on beta(N)
18:00 - 18:25
D.I. Saveliev
On Hindman sets
18:30
End of sessions