Colloquium

GMA hosts a colloquium approximately 5-7 times per semester. Talks are given by both graduate students and professors on a wide variety of research topics at a technical level accessible to all graduate students. Talks are held in the Atrium and refreshments are provided.
Scheduled talks for this semester (Spring 2019) are:

Date and TimeSpeakerTitle / Abstract
January 16 at 4:05 pmJohn HesterRefutational Completeness of Paramodulation
January 30 at 4:05 pmColin DefantStructure in Stack-Sorting
February 27 at 4:05 pmScott McCulloughSetting Analysis Free
March 13 at 4:05 pmJohn OpreaGeometry, Soap Films and Biology
March 27 at 4:05 pm
April 10 at 4:05 pmAlexandre Turull

Past Colloquia