BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/505
4/20-21-May-2013-60th-Parallel-Workshop-on-Constru
ctivism-and-Proof-Theory-Stockholm-Sweden
DTSTAMP:20130512T000000
SUMMARY:60th Parallel Workshop on Constructivism a
nd Proof Theory, Stockholm, Sweden
DTSTART;VALUE=DATE:20130520
DTEND;VALUE=DATE:20130521
LOCATION:Stockholm, Sweden
DESCRIPTION:The workshop focusses on developments
in general constructive methods and results in log
ic and mathematics. Invited speakers include Ben
no van den Berg, Douglas S. Bridges, Eyvind Brisei
d, Jan von Plato and Sam Sanders Those intereste
d to attend, or to give a talk should contact Henr
ik Forssell (forssell at math.su.se) More informat
ion about the workshop is available on the worksho
p web page at http://www.math.su.se/~palmgren/para
llel60.html.
X-ALT-DESC;FMTTYPE=text/html:\n The worksh
op focusses on developments in general constructiv
e\n methods and results in logic and mathemat
ics.\n

\n Invited speakers includ
e\n Benno van den Berg, \n Douglas S
. Bridges,\n Eyvind Briseid,\n Jan v
on Plato and\n Sam Sanders\n

\n
\n Those interested to attend, or to give
a talk should contact\n Henrik Forssell (<
a class="email">forssell at math.su.se)\n More information about
the workshop is available\n on the workshop
web page at http://www.ma
th.su.se/~palmgren/parallel60.html.\n

\n
URL:/NewsandEvents/Events/Conferences/newsitem/505
4/20-21-May-2013-60th-Parallel-Workshop-on-Constru
ctivism-and-Proof-Theory-Stockholm-Sweden
END:VEVENT
END:VCALENDAR