Open Problem Garden

If someone could add a Logic -> Finite Model Theory category, the list of open problems maintained by Dietmar Berwanger and Erich Gradel at

http://www-mgi.informatik.rwth-aachen.de/FMT/problems.pdf

is crying out for Web 2.0-ification.

Thanks,

TJ