Uncomputably large integral points on algebraic plane curves? Various problems on analytic varieties. Proceedings of a Symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, February 4-7, 1980 