Let’s meet on Friday October 10th at 8am for coffee at Daejeon Park, overlooking I-90 near the Pac Med building. The park is named after Daejeon, which is South Korea’s fifth-largest city. Daejeon hosted the International Mathematical Olympiads in 2000. Daejeon is one of Seattle’s sister cities. Here’s a map.