### GEORGE MASON
UNIVERSITY

DEPARTMENT OF MATHEMATICAL
SCIENCES

COLLOQUIUM

OCTOBER 30, 2015

**Speaker: **
Craig Larson

**Title: ***
Automated Conjecture-Making
*

**Abstract:**
Computers can now generate invariant-relation and property-relation conjectures for a wide variety of objects including, for instance, graphs, integers, sequences, and games. Many examples, some history and motivation will be discussed. This is joint work with Nico Van Cleemput.

**Time:** Friday, October 30, 2015, 3:30-4:20 p.m.

**Place:** Exploratory Hall, room 4106

**Refreshments** will be served at 3:00 p.m.

Department of Mathematical Sciences

George Mason University

4400 University Drive, MS 3F2

Fairfax, VA 22030-4444

http://math.gmu.edu/

Tel. 703-993-1460, Fax. 703-993-1491