\begin{thebibliography}{BCGP12}

\bibitem[BCGP12]{BCGP12}
Ingrid Bauer, Fabrizio Catanese, Fritz Grunewald, and Roberto Pignatelli.
\newblock Quotients of products of curves, new surfaces with {$p_g=0$} and
  their fundamental groups.
\newblock {\em Amer. J. Math.}, 134(4):993--1049, 2012.

\bibitem[BD15]{Br-Da}
Damian Brotbek and Lionel Darondeau.
\newblock Complete intersection varieties with ample cotangent bundles.
\newblock {\em Preprint arxiv 1511.04709}, 2015.

\bibitem[Bog77]{Bog77}
F.~A. Bogomolov.
\newblock Families of curves on a surface of general type.
\newblock {\em Dokl. Akad. Nauk SSSR}, 236(5):1041--1044, 1977.

\bibitem[Bro16]{Br16}
Damian Brotbek.
\newblock On the hyperbolicity of general hypersurfaces.
\newblock {\em Preprint arxiv 1604.00311}, 2016.

\bibitem[Bru97]{Bru97}
Marco Brunella.
\newblock Feuilletages holomorphes sur les surfaces complexes compactes.
\newblock {\em Ann. Sci. \'Ecole Norm. Sup. (4)}, 30(5):569--594, 1997.

\bibitem[Bru99]{Br99}
Marco Brunella.
\newblock Courbes enti\`eres et feuilletages holomorphes.
\newblock {\em Enseign. Math. (2)}, 45(1-2):195--216, 1999.

\bibitem[Bru04]{Bru04}
Marco Brunella.
\newblock {\em Birational geometry of foliations}.
\newblock Publica\c c\~oes Matem\'aticas do IMPA. [IMPA Mathematical
  Publications]. Instituto de Matem\'atica Pura e Aplicada (IMPA), Rio de
  Janeiro, 2004.

\bibitem[Dem97]{Dem97}
Jean-Pierre Demailly.
\newblock Algebraic criteria for {K}obayashi hyperbolic projective varieties
  and jet differentials.
\newblock In {\em Algebraic geometry---Santa Cruz 1995}, volume~62 of {\em
  Proc. Sympos. Pure Math.}, pages 285--360. Amer. Math. Soc., Providence, RI,
  1997.

\bibitem[Dem11]{Dem11}
Jean-Pierre Demailly.
\newblock Holomorphic {M}orse inequalities and the {G}reen-{G}riffiths-{L}ang
  conjecture.
\newblock {\em Pure Appl. Math. Q.}, 7(4, Special Issue: In memory of Eckart
  Viehweg):1165--1207, 2011.

\bibitem[Dem14]{Dem15}
Jean-Pierre Demailly.
\newblock Towards the {G}reen-{G}riffiths-{L}ang conjecture.
\newblock {\em Preprint arxiv 1412.2986}, 2014.

\bibitem[Den16]{Deng}
Ya~Deng.
\newblock Effectivity in the hyperbolicity-related problems.
\newblock {\em Preprint arxiv 1606.03831}, 2016.

\bibitem[DMR10]{DMR10}
Simone Diverio, Jo{\"e}l Merker, and Erwan Rousseau.
\newblock Effective algebraic degeneracy.
\newblock {\em Invent. Math.}, 180(1):161--223, 2010.

\bibitem[DR15]{DR}
Simone Diverio and Erwan Rousseau.
\newblock The exceptional set and the {G}reen-{G}riffiths locus do not always
  coincide.
\newblock {\em Preprint to appear in Enseign. Math.}, 2015.

\bibitem[Duv08]{Duv08}
Julien Duval.
\newblock Sur le lemme de {B}rody.
\newblock {\em Invent. Math.}, 173(2):305--314, 2008.

\bibitem[Fre79]{Fr79}
Eberhard Freitag.
\newblock Ein {V}erschwindungssatz f\"ur automorphe {F}ormen zur {S}iegelschen
  {M}odulgruppe.
\newblock {\em Math. Z.}, 165(1):11--18, 1979.

\bibitem[GG80]{GG80}
Mark Green and Phillip Griffiths.
\newblock Two applications of algebraic geometry to entire holomorphic
  mappings.
\newblock In {\em The Chern Symposium 1979 (Proc. Internat. Sympos., Berkeley,
  Calif., 1979)}, pages 41--74. Springer, New York, 1980.

\bibitem[Jou78]{Jou}
J.~P. Jouanolou.
\newblock Hypersurfaces solutions d'une \'equation de {P}faff analytique.
\newblock {\em Math. Ann.}, 232(3):239--245, 1978.

\bibitem[Kol97]{Ko97}
J{\'a}nos Koll{\'a}r.
\newblock Singularities of pairs.
\newblock In {\em Algebraic geometry---{S}anta {C}ruz 1995}, volume~62 of {\em
  Proc. Sympos. Pure Math.}, pages 221--287. Amer. Math. Soc., Providence, RI,
  1997.

\bibitem[Lan86]{Lan86}
Serge Lang.
\newblock Hyperbolic and {D}iophantine analysis.
\newblock {\em Bull. Amer. Math. Soc. (N.S.)}, 14(2):159--205, 1986.

\bibitem[LY90]{LY}
Steven Shin-Yi Lu and S.-T. Yau.
\newblock Holomorphic curves in surfaces of general type.
\newblock {\em Proc. Nat. Acad. Sci. U.S.A.}, 87(1):80--82, 1990.

\bibitem[McQ98]{McQ98}
Michael McQuillan.
\newblock Diophantine approximations and foliations.
\newblock {\em Inst. Hautes \'Etudes Sci. Publ. Math.}, No. 87:121--174, 1998.

\bibitem[McQ08]{McQ08}
Michael McQuillan.
\newblock Canonical models of foliations.
\newblock {\em Pure Appl. Math. Q.}, 4(3, part 2):877--1012, 2008.

\bibitem[Mok89]{Mok89}
Ngaiming Mok.
\newblock {\em Metric rigidity theorems on {H}ermitian locally symmetric
  manifolds}, volume~6 of {\em Series in Pure Mathematics}.
\newblock World Scientific Publishing Co. Inc., Teaneck, NJ, 1989.

\bibitem[Mum77]{Mum77}
D.~Mumford.
\newblock Hirzebruch's proportionality theorem in the noncompact case.
\newblock {\em Invent. Math.}, 42:239--272, 1977.

\bibitem[Nad89]{Na89}
Alan~Michael Nadel.
\newblock The nonexistence of certain level structures on abelian varieties
  over complex function fields.
\newblock {\em Ann. of Math. (2)}, 129(1):161--178, 1989.

\bibitem[Rou15]{Rou15}
Erwan Rousseau.
\newblock Hyperbolicity, automorphic forms and siegel modular varieties.
\newblock {\em Preprint to appear in Ann. Ec. Norm. Sup.}, 2015.

\bibitem[Shi94]{Sh71}
Goro Shimura.
\newblock {\em Introduction to the arithmetic theory of automorphic functions},
  volume~11 of {\em Publications of the Mathematical Society of Japan}.
\newblock Princeton University Press, Princeton, NJ, 1994.
\newblock Reprint of the 1971 original, Kan{\^o} Memorial Lectures, 1.

\bibitem[Win07]{Win07}
J{\"o}rg Winkelmann.
\newblock On {B}rody and entire curves.
\newblock {\em Bull. Soc. Math. France}, 135(1):25--46, 2007.

\bibitem[Xie15]{Xie}
Song-Yan Xie.
\newblock On the ampleness of the cotangent bundles of complete intersections.
\newblock {\em Preprint arxiv 1510.06323}, 2015.

\end{thebibliography}
