Logic Colloquium: Foundations of Online Structure Theory

Colloquium | September 20 | 4-5 p.m. | 60 Evans Hall

 Rod Downey, Victoria University of Wellington

 Department of Mathematics

You are in a situation were you are given information in bundles one at a time, and you must make some kind of decision based on what you have seen so far. For example, you are packing objects into bins. You are in an online situation. I will look at some work trying to give a model theory to such situations.