You are likely to find kaist at daejon