I think graph theory is a good source for nice "labs" (see Deane Yang's post)...
There are nice activities you can do involving:
The Königsberg Bridges, Eulerian paths, Hamiltonian paths
The non-planarity of $K_5$ and $K_{3,3}$
Map coloring and graph coloring, leading up to a discussion of the four color theorem
Euler characteristics of graphs, leading up to a discussion of topology
Traveling salesman problems (... leading up to a discussion of NP-completeness????)