10:00 - 10:45
N. Cutland
Stochastic Navier-Stokes equations: ideas and results using nonstandard analysis
10:50 - 11:20
Coffee Break
11:20 - 12:05
R. Jin
The ultrapower of N and density problems
12:10 - 12:55
M.B. Nathanson
Problems in additive number theory with an ultrafilter flavor
13:00 - 15:00
Lunch Break
* * *
15:00 - 15:25
M. Forti
Counting infinite point-sets
15:30 - 15:55
P. Borodulin-Nadzieja
On pseudo-intersections and condensers
16:00 - 16:15
Coffee Break
16:15 - 16:40
R. O'Donovan
Analysis using relative infinitesimals
16:45 - 17:10
K. Hrbacek
Relative set theory
17:15 - 17:30
Break
17:30 - 17:55
J.P. Teixeira
Local-in-time existence and regularity of the n-dimensional Navier-Stokes equations via discretization
18:00 - 18:25
U. Clotz
Topology from a remote point of view
18:30
End of sessions