Isabelle_jedit
teaching

MATH 654 Fall 2020

Leave a comment
Readings for this graduate course:
  • Foundations of Mathematics, Kenneth Kunen, parts of chapters I-IV.
  • Modal logic for open minds, Johan van Benthem, some of chapters 1-11 and 16.
  • A Proof Assistant for Higher-Order Logic, Isabelle tutorial, parts of chapters 1-7.
conferences

History of ASL Annual Meetings

Leave a comment
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).
UCB-angled-wide
conferences, research

The contract disclosure mandate

Leave a comment

I was the discussant for this 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”.