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.
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.
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.)
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.
Angsheng Li announcing TAMC 2020.