The “lab” reduced in size in 2023 as Sam Birns graduated with a PhD and Calvin Bannister with an MA.
Graduates 2023
Category Archives: conferences
Recent talks
- Spring 2021: New England Recursion and Definability Seminar.
- Fall 2021: invited talk in the workshop Automata Theory and Applications
- Fall 2021: Penn State Logic Seminar
- Summer 2022 : Computability in Europe conference, special session on computability and other areas of mathematics
- Summer 2022: Computability, Complexity, and Randomness conference
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
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.
Jaccard distance and Normalized Information Distance
Computability and Automatic Complexity
This new 42,000 USD grant from the Simons Foundation will support travel and collaboration during 2020-2025.
Pictured: Angsheng Li announcing TAMC 2020 in Changsha, China during TAMC 2019 in Kitakyushu, Japan.
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.)
*UC Irvine (cancelled).
| 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 | * |
VC-dimensions for nondeterministic finite automata
The paper was accepted for the International Symposium on AI and Mathematics 2020.
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.
CHINA, NO PAPERS:
| 1 | 2004 | Beijing |
| 2 | 2005 | Kunming, China |
CHINA, PAPERS:
| 3 | 2006 | Beijing |
| 4 | 2007 | Shanghai |
| 5 | 2008 | Xi’an |
| 6 | 2009 | Changsha |
INTERNATIONAL:
| 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 |
Angsheng Li announcing TAMC 2020.