ISEF and olympiads