ForMaRE – News
- 2013-Aug-23: The source code of the Auction Theory Toolbox (ATT) is now hosted on Github to allow for easier participation in the development. (Read more)
- 2013-Jul-05: The date of our half-day tutorial on Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts at Informatik 2013 in Koblenz, Germany, has been fixed to 17 September (afternoon). Early registration is possible until 15 July. (Read more)
- 2013-Jun-12: We invite high-quality original research papers to a special issue of Mathematics in Computer Science titled “Enabling Domain Experts to use Formalised Reasoning”. Submission deadline is 31 October. (Read more)
- 2013-Jun-12: On half a day between 16–20 September, we will be giving a tutorial on Applying Mechanised Reasoning in Economics – Making Reasoners Applicable for Domain Experts at Informatik 2013 in Koblenz, Germany. Early registration is possible until 15 July. (Read more)
- 2013-Apr-12: Manfred Kerber gave an invited talk at the Automated Reasoning Workshop, presenting the ForMaRE project. (Read more)
- 2013-Apr-05: Do-Form, the symposium on enabling domain experts (in economics and other fields) to use formalised reasoning, which included three hands-on tutorial sessions given by world-class economists, is over. It took place at the AISB convention in Exeter, UK, April 3–5, 2013. The proceedings are available from the homepage. (Read more)
- 2012-Oct-31: We accomplished the first step of building an auction theory toolbox: a complete Isabelle formalisation of Vickrey's theorem on second price auctions. Please see the announcement e-mail for further details.
[Formalisation] [Paper source]
This page was last modified on 23 August 2013.