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/2017/newsitem/8790/11- --15-September-2017-19th-OeMG-Congress-and-Annual- DMV-Meeting-Section-Algebra-Logic-Set-Theory-Salzb urg-Austria DTSTAMP:20170629T145932 SUMMARY:19th OeMG Congress and Annual DMV Meeting, Section Algebra, Logic & Set Theory, Salzburg, Au stria DTSTART;VALUE=DATE:20170911 DTEND;VALUE=DATE:20170915 LOCATION:Salzburg, Austria DESCRIPTION:Every four years the Austrian Mathemat ical Society organizes a congress with internation al outreach. It became a nice tradition that the G erman Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altog ether, there are 17 different sections scheduled f or this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna , Austria) and Vasco Brattka (Munich, Germany). T he invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). A t the meeting there will also be a minisymposium o n Applied Proof Theory and the Computational Conte nt of Mathematics organized by Thomas Powell (Darm stadt) and Sam Sanders (Munich). Participants can submit proposals for contributed talks to each se ction. The section organizers will decide on these proposals and suggest a program to the organizers of the conference. X-ALT-DESC;FMTTYPE=text/html:
Every fou r years the Austrian Mathematical Society organize s a congress with international outreach. It becam e a nice tradition that the German Mathematical So ciety co-organizes this event and has its Annual M eeting at the congress. Altogether, there are 17 d ifferent sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaire d by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).
\n\nThe invited speakers of this section are Ekaterina Fokina (Vi enna, Austria), George Metcalfe (Berne, Switzerlan d) and Arno Pauly (Brussels, Belgium). At the meet ing there will also be a minisymposium on Applied Proof Theory and the Computational Content of Math ematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).
Partic ipants can submit proposals for contributed talks to each section. The section organizers will decid e on these proposals and suggest a program to the organizers of the conference.