I need to convert an mp3 file to a midi file for a school project. I also have this file in ogg format, so ogg to midi file conversion is ok too.

Thanks!
To Imike: There is nothing about midi files on the links you gave me.