| Group # | Members (contact person in bold) | Topic Description |
| Coordinating Group | Russ Howard
Michael Leonard Don Bonidie | |
| 1 | Brian Lincoln
Polina Hristozova Suzan Hughes Sylvia Scott Sheela Ghosal |
propositional logic, introduction, theory, |
| 2 | Qiang Ye
Todd Schryer Loren Stroud Wei-Chi Lin | |
| 3 | Chris Gierlack
Anu Vijayamohan Scott Anderson Jasmine Ver |
set theory |
| 4 | Nick Laughlin
Nora Siewiorek Ethan Shirey Nichole Sarap |
Predicate Logic: emphasizing proof theory and examples, English to Logic translation, interactive presentation |
| 5 | Girish Chavan
Heath Asbury Harish Khemani Eric Kuhn Adamo Mosca |
predicate logic: 1. comparison to propositional,2. Syntax and semantics of FOPL, 3. Computable functions in predicate logic, 4. Conversion to normal [ canonical ] form, 5. Unification algo., 6. Proof methods in FOPL., (Resolution), 7. Applications of logic. |
| 6 | Ivy L. Gentile
Bryan McDowell Dave Salopek Sergey Sosnovsky |
|