Prueba usando esto, creo que deberia de andar
Código PHP:
<?
$filename="CALEN.txt";
$handle=fopen($filename,"r");
while (!feof($handle)) {
$buffer = fgets($handle); //Teoricamente lee de a lineas en el archivo
$fecha1= substr($buffer ,0,8);
if($fecha1==$fecha_del_usuario){
$fecha2= substr($buffer ,12,8);
echo $fecha2;
break;
}
}
fclose($handle);
?>
Suerte