The formal RoboCup competition was preceded by the ( often unacknowledged ) first International Micro Robot World Cup Soccer Tournament ( MIROSOT ) held by KAIST in Taejon , Korea , in November 1996 .