[kisoron-ml] SLACS 2014 / 2014 Nonstandard Analysis Symposium