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/2023/newsitem/14549/7- December-2023-Conference-on-Techniques-from-Logic- in-Mathematics-CTLM-2023-Vienna-Austria DTSTAMP:20231019T145653 SUMMARY:Conference on Techniques from Logic in Mat hematics (CTLM 2023), Vienna, Austria DTSTART;VALUE=DATE:20231207 LOCATION:Vienna, Austria DESCRIPTION:CTLM 2023 is aimed to enhance the enga gement between domestic researchers/students and e xternal researchers working in connections between logic and other areas of mathematics. Invited sp eakers: Julia Wolf (University of Cambridge, UK) a nd Ulrich Kohlenbach (TU Darmstadt, Germany). We' re looking for contributed speakers and we'd appre ciate if you take into consideration giving a talk at the conference. The deadline for submitting yo ur presentation proposal (the title and abstr act of your talk) is 7/Nov/2023. X-ALT-DESC;FMTTYPE=text/html:
\n

CTLM 2023 is aimed to enhance the engagement between domest ic researchers/students and external researchers w orking in connections between logic and other area s of mathematics.

\n

Invited speakers: Juli a Wolf (University of Cambridge, UK) and Ulrich Ko hlenbach (TU Darmstadt, Germany).

\n
\n

We're looking for contributed speakers and we'd appreciate if you take into consideration giv ing a talk at the conference. The deadline for sub mitting your presentation proposal (the title and abstr act of your talk) is 7/Nov/2023.

\n
URL:https://sites.google.com/view/techniquesfromlo gic/ CONTACT:Lorenzo Sauras-Altuzarra at lorenzo at log ic.at END:VEVENT END:VCALENDAR