This is a seminar course. The instructor is Ryan O'Donnell. The course homepage is http://www.cs.cmu.edu/~odonnell/hits09/, but that page will be mostly static. Please read this blog regularly, or add it to your RSS feed.
We will use MathML in these posts; if it is working correctly for you, the following statements should look basically the same:
A set system L is "laminar" if for all A, B ∈ L, either A∩B = Ø, A ⊆ B, or B ⊆ A.
A set system $L$ is "laminar" if for all $A$, $B$ $\in$ $L$, either $A \cap B = \emptyset$, $A \subseteq B$, or $B \subseteq A$.
If you use Firefox, try going here:
For Chrome and Safari, I'm not sure; if someone wants to comment on whether or not it works for them, please do.