We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...

Das externe Umweltschutz-Reporting umfasst die fallweise und/oder regelmäßige Bereitstellung von Informationen über die umweltschutzbezogene Lage eines Unternehmens an externe Stakeholder.1 Als umweltschutzbezogene Lage wird dabei zum einen die ökologische Lage bezeichnet, die durch die von...

Das externe Umweltschutz-Reporting umfasst die fallweise und/oder regelmäßige Bereitstellung von Informationen über die umweltschutzbezogene Lage eines Unternehmens an externe Stakeholder.1 Als umweltschutzbezogene Lage wird dabei zum einen die ökologische Lage bezeichnet, die durch die von...