Muito obrigado pela ajuda. Vou seguir o seu tutorial e hoje ou amanhã mesmo posto o link para o arquivo em mp3.

Eu desconfiei do tamanho desse wav, já que normalmente arquivos wav são estremamente grandes, e esse parece ter quase 1 hora e só ter 13 megas. Descobri então que esse wav é na verdade um formato diferente, provavelmente devido ao gravador que você usou (http://en.wikipedia.org/wiki/IMA_ADPCM).

Uma googleada e achei um tutorial para bsd que também funciona no linux. No caso, você precisa do programa sox instalado.

sox -i palestraMozillaIMEUSP.wav -s out.wav
(o comando acima converte do formato esquisito para wav puro, se bem que continua pequeno, ~50 mega)

lame out.wav
(para converter para mp3… e o resultado…)

-rw-rw-r– 1 felipe felipe 3,4M Jul 1 08:50 out.wav.mp3
(o .ogg ficou maior, o mp3 gerado com o lame ficou com o tamanho bem reduzido…)

Agora só falta aprender a usar o Audacity, talvez ele tenha um recurso para melhorar o áudio da gravação. Se eu conseguir alguma melhoria eu posto os procedimentos aqui.

Espero ter ajudado! Bom domingo!

Felipe Rafailov

Estou tendo alguns problemas para convertê-la. Sem contar que por algum motivo está ficando maior que o original. (em teoria a compactação de mp3 deveria ser melhor que a de WAV). Se o problema é ouví-la em Linux, eu usei o mplayer para ouví-la na faculdade.

Mas vou continuar tentando resolver esses problemas e assim que conseguir, postaremos um link para a palestra em mp3.

Obrigado pela visita.