In this talk I will review some mathematical theories of
A-models, including Gromov-Witten theory, FJRW theory and Gauged
Gromov-Witten theory. Then I will describe the project with Tian on the
construction of Gauged Linear Sigma Model which was introduced by Witten
in 1993.