Category Archives: conferences


Recent PhDs

Three new papers

with my recent PhDs Birns (2023, left) and Webb (2022, right). Webb is now an Assistant Professor at Chaminade University, and Birns is a data scientist at Pacific Life in California.
  1. KL-randomness and effective dimension under strong reducibility (with David J. Webb). Computability in Europe, Lectures Notes in Computer Science, 2021.
  2. On the degrees of constructively immune sets (with Samuel D. Birns). Computability in Europe, Lectures Notes in Computer Science, 2021.
  3. Strong Medvedev reducibilities and the KL-randomness problem (with David J. Webb). Computability in Europe, Lectures Notes in Computer Science, 2022.

Principles-based classification

I was the discussant for the following paper at Hawaii Accounting Research Conference 2020 on the UH Hilo campus:

The Contract Disclosure Mandate and Earnings Management under External Scrutiny

by Carlos Corona and Tae-Wook Ryan Kim

Discussant slides

I learned that research in the Theory Track of the accounting discipline primarily is about mathematical modeling of the effects of government policies and business decisions. It borrows methods from economics for such modeling. In the case of the Corona-Kim paper: quadratic programming without constraints, and exponential utility functions. Usually these are not empirical papers, i.e., they don’t test the model explicitly against data. Indeed this would be hard to do with notions like “intensity of scrutiny”.

I am a discussant for “A theory of principles-based classification” by Konvalinka, Penno, and Stecher, at HARC 2021.

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).

History of TAMC

The conference series Theory and Applications of Models of Computation deserves a history post.

My impression is that it started as a Chinese counterpart to Computability in Europe and S. Barry Cooper was involved with starting up both.

TAMC venues:
First 6 conferences in China
The next 9 in China (3), Europe (2), Japan (2), Singapore, India
DBLP entry

B. Kjos-Hanssen gave two special session talks in 2007, and had 2 accepted papers in 2019.
The conference was held every year since 2004 except for 2018.

There seem to have been roughly speaking three periods.


1 2004 Beijing
2 2005 Kunming, China


3 2006 Beijing
4 2007 Shanghai
5 2008 Xi’an
6 2009 Changsha


7 2010 Prague, Czech Republic
8 2011 Tokyo
9 2012 Beijing
10 2013 Hong Kong
11 2014 Chennai, India
12 2015 Singapore
13 2016 Xi’an
14 2017 Bern, Switzerland
15 2019 Kitakyushu, Japan
16 2020 Changsha

download_20190921_200022Angsheng Li announcing TAMC 2020.