Areal Foliation and AVTD Behavior in T^2 Symmetric Spacetimes with Positive Cosmological Constant

We prove a global foliation result, using areal time, for T^2 symmetric spacetimes with a positive cosmological constant. We then find a class of solutions that exhibit AVTD behavior near the singularity.