Contact homology and virtual fundamental cycles

Contact homology is a powerful invariant of contact manifolds introduced by Eliashberg--Givental--Hofer. The definition involves certain counts of pseudo-holomorphic curves, however these are usually only "virtual" counts since the moduli spaces of such curves are often not cut out transversally. I will discuss one way to construct these counts rigorously.