|
Speaker Information |
Colloquium Title |
Time and Place |
|
Jeff Horn
NMU Mathematics and Computer Science |
Solving Sudoku Using Parallel Simultaneous Constraint
Satisfaction via Species Selection |
Thursday, November 19, 2009
4:00 p.m.
NSF 1205 |
Don Faust
NMU Mathematics and Computer Science |
The Structure of the Syntax and Semantics of Languages of 1st-order
Predicate Logic |
Thursday, November 12, 2009
4:00 p.m.
NSF 1205 |
Mathematics and Computer Science
Student
Presentations |
Various
Student Research Projects |
Thursday, November 5, 2009
4:00 p.m.
NSF 1205 |
John Sarkela
Lead Software Engineer
Cincom Systems |
Distinction, Representation and the Evolution of Signal:
Computation in Smalltalk |
Thursday, October 29, 2009
4:00 p.m.
NSF 1205 |
J.D.Phillips
NMU Mathematics and Computer Science |
Abelian Inner Mapping Groups and Nilpotency in Loops |
Thursday, October 22, 2009
4:00 p.m.
NSF 1205 |
Ken Culp
NMU Mathematics and Computer Science |
Make Your Life Easier! |
Thursday, October 15, 2009
4:00 p.m.
New Science Facility 1205 |
Sien Deng
Northern Illinois University |
Weak Sharp Minima: Theory and Applications |
Thursday, October 8, 2009
4:00 p.m.
New Science Facility 1205 |
Brenda Marshall
Wolfram Research, Inc. |
Mathematica® 7 in Education and
Research |
Thursday, October 1, 2009
4:00 p.m.
Mead Auditorium, West Science |
|
|
|
|