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:<div>\n  <p>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. &nbsp;Neutral constructive 
 mathematics may also be studied for systems that m
 ake fewer ontological assumptions, which is import
 ant for reverse mathematics.</p>\n</div><div>\n  <
 p>Proposals for contributed talks are welcome and 
 are to be submitted via the EasyChair system.</p>\
 n</div>
URL:http://logic.math.su.se/mloc-2019/
CONTACT:mloc19 at math.su.se
END:VEVENT
END:VCALENDAR