Department of Mathematics, Statistics
and Computer Science
Wim Ruitenburg's Fall 2002 Logic Seminar page
This is the home page for the Marquette MSCS Logic Seminar
- The Logic Seminar usually meets on Fridays at 5 PM
- We usually meet in room CU 401
- 29 November 2002, 5 PM, no seminar (thanksgiving)
- 22 November 2002, 5 PM, Roman Zrotowski will talk about
Automorphisms of the ring of polynomials in n variables over Z_2, and
consequences, part 3
- 15 November 2002, 5 PM, Roman Zrotowski will talk about
Automorphisms of the ring of polynomials in n variables over Z_2, and
consequences, part 2
- 8 November 2002, 5 PM, Roman Zrotowski will talk about
Automorphisms of the ring of polynomials in n variables over Z_2, and
consequences
- 1 November 2002, 5 PM, Paul Bankston will talk about
Completeness and translation for operator logics
- 25 October 2002, 5 PM, Wim Ruitenburg will talk about
The universal algebra of subsystems of arithmetic, part 2
- 18 October 2002, 5 PM, no seminar (mid-semester break)
- 11 October 2002, 5 PM, Wim Ruitenburg will talk about
The universal algebra of subsystems of arithmetic
- 4 October 2002, 5 PM, Roman Zrotowski will talk about
Simple classes of functions from 2^n to 2
- 27 September 2002, 5 PM, Paul Bankston will talk about
Modeling non-intersective adjectives using variable-binding operator
logics
Last updated: November 2002
Comments & suggestions:
wimr@mscs.mu.edu