Finite Model Theory (Popularity: )
http://www-mgi.informatik.rwth-aachen.de/FMT/ From the Research Group on Mathematical Foundations of Computer Science. Finite model theory studies the relationship between logical definability and computational complexity on finite structures. A particularly important aspect concerns ...