Y por que grabas en formato .camrec? El camtasia creo que te permite elegir un codec de grabacion y hacerlo en .avi por ejemplo con el que no tendras ningun problema para importarlo al premiere.
Ah pues no tenía ni idea de que se podía elegir un codec diferente a la hora de grabar con este programa, supongo que tendré que cambiar algo en las opciones del camtasia, ¿sabrias decirme más o menos donde está o qué opciones debo tocar para que me lo grabe en avi o en h264 por ejemplo?