1 Illinois State Geological Survey, University of Illinois at Urbana-Champaign, 615 East Peabody Drive, Champaign, Illinois, USA. 2 Département des sciences de la Terre et de l’Atmosphère, Université du Québec à Montréal, Montréal, Québec, Canada. 3 Prairie Research Institute, University of Illinois at Urbana-Champaign, 615 East Peabody Drive, Champaign, Illinois, USA. * Corresponding author: c...

The National Institutes of Health (NIH) K18 award mechanism provides funded opportunities for established investigators to gain knowledge in fields outside of their primary disciplines, but outcomes associated with these awards have not been evaluated to date. NIH's Basic Behavioral and Social Sciences Opportunity Network (OppNet) is one of the few initiatives that has used this award mechanism...

Glenn Stevens for helpful comments. The views expressed are those of the author, and not necessarily those of the Reserve Bank of Australia.

The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. It is presented during the annual conference of the EACSL (CSL’xx). This contribution reports on the 2017 edition of the award. 1998 ACM Subject Classification F.3 Logics and Meanings of Programs, F.4 Mathematical Logic and Formal Languages