All posts by admin

History of ASL Annual Meetings

The Association for Symbolic Logic has hosted an Annual Meeting in North America in the spring of each year. With the cancellation of the 2020 meeting due to coronavirus concerns, this rich history is worth pausing to consider. Personally I attended relatively regularly during 2001–2019. (Meetings rotate between Midwest, East, West.)  
W 1999 UCSD
MW 2000 UIUC
E 2001 UPenn
W 2002 Las Vegas
MW 2003 UIC
E 2004 Carnegie Mellon
W 2005 Stanford
MW 2006 Montréal
E 2007 Gainesville, FL
W 2008 UC Irvine
MW 2009 Notre Dame
E 2010 Washington, DC
W 2011 Berkeley, CA
MW 2012 Madison, WI
E 2013 U Waterloo
W 2014 UC Boulder
MW 2015 UIUC
E 2016 UConn
W 2017 Boise State U.
MW 2018 Western Illinois U.
E 2019 CUNY Graduate Center
W 2020 *
*UC Irvine (cancelled).

MATH 657 Spring 2020

Course title: “Recursive functions and complexity”

Textbook title: “A second course in formal languages and automata theory” by J. Shallit

Despite the intimidating titles this is just a graduate introduction to automata, computability, and complexity.
Possible additional topics: Automatic complexity and Python programming.