The THUG Home Page

The Theory Umbrella Group (THUG) coordinates the Theory Seminar. The topics covered in these meetings are diverse, ranging from verification, applied logic and term rewriting, analysis of algorithms and graph theory and combinatorics.

Schedule:

• Meeting Dates and Topics

Faculty involved:

• Peter Christopher
• Dan Dougherty
• Kathi Fisler
• Joshua Guttman
• Micha Hofri,
• Bill Martin
• Gabor Sarkozy
• Stan Selkow
• Brigitte Servatius