Projektet ForMare tillämpar formellt matematiskt resonemang på ekonomi. Vi försöker öka förtroendet för ekonomins teoretiska resultat, hjälpa till att upptäcka nya resultat och främja intresset för formella metoder, d.v.s. Datorstödda resonemang inom ekonomi. Till formella metoder strävar vi efter att bidra med användarupplevelser från ny publik, samt nya utmaningsproblem. Under det första projektåret fortsatte vi tidigare spelteoristudier men fokuserade sedan på auktioner, där vi bygger en verktygslåda med formaliseringar, och har börjat studera matchning och ekonomisk risk. Parallellt med forskning som kopplar samman ekonomi och formella metoder organiserar vi evenemang och tillhandahåller infrastruktur för att knyta samman båda samhällena, från att främja ömsesidig medvetenhet till målinriktad matchmaking. Dessa ansträngningar sträcker sig bortom ekonomi, till att allmänt göra det möjligt för domänexperter att använda mekaniserat resonemang.
Projektet ForMare syftar till att tillämpa formellt matematiskt resonemang på ekonomiska resultat.
The ForMaRE Project - Formal Mathematical Reasoning in Economics
{'venue': 'MKM/Calculemus/DML', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}