BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2019/newsitem/10752/20 ---23-August-2019-Workshop-on-Mathematical-Logic-a nd-Constructivity-MLoC-2019-The-Scope-and-Limits-o f-Neutral-Constructivism-Stockholm-Sweden DTSTAMP:20190404T152145 SUMMARY:Workshop on Mathematical Logic and Constru ctivity (MLoC 2019): The Scope and Limits of Neutr al Constructivism, Stockholm, Sweden DTSTART;VALUE=DATE:20190820 DTEND;VALUE=DATE:20190823 LOCATION:Stockholm, Sweden DESCRIPTION:This workshop aims to focus on the sco pe and limits of neutral constructivism. With Erre tt Bishop's seminal work Foundations of Constructi ve Analysis 1967, a neutral position in the founda tions of constructive mathematics emerged. It avoi ded Brouwer's assumptions about choice-sequences a nd continuity, and it did not assume that every to tal function on the natural numbers is computable. Successful full-fledged formal logical foundation s for neutral constructivism exists, among the mos t well-known are Aczel-Myhill set theory and Marti n-Löf type theory. The study of neutral constructi vism paves the way for further developments of int eractive proof systems, which is of strategic impo rtance for verification of software, and in partic ular, correctness-by-construction software. Neutr al constructive mathematics may also be studied fo r systems that make fewer ontological assumptions, which is important for reverse mathematics. Prop osals for contributed talks are welcome and are to be submitted via the EasyChair system. X-ALT-DESC;FMTTYPE=text/html:
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.
Proposals for contributed talks are welcome and ar e to be submitted via the EasyChair system.
URL:http://logic.math.su.se/mloc-2019/ CONTACT:mloc19 at math.su.se END:VEVENT END:VCALENDAR