\n

This work shop aims to focus on the scope and limits of neut ral constructivism. With Errett Bishop's seminal w ork Foundations of Constructive Analysis 1967, a n eutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumpt ions about choice-sequences and continuity, and it did not assume that every total function on the n atural numbers is computable. Successful full-fled ged formal logical foundations for neutral constru ctivism exists, among the most well-known are Acze l-Myhill set theory and Martin-Löf type theory. Th e study of neutral constructivism paves the way fo r further developments of interactive proof system s, which is of strategic importance for verificati on of software, and in particular, correctness-by- construction software. Neutral constructive mathematics may also be studied for systems that m ake fewer ontological assumptions, which is import ant for reverse mathematics.

\n\n <
p>Proposals for contributed talks are welcome and
are to be submitted via the EasyChair system.\
n

URL:http://logic.math.su.se/mloc-2019/
CONTACT:mloc19 at math.su.se
END:VEVENT
END:VCALENDAR