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/2014/newsitem/6069/28- November-2014-Workshop-Structure-and-Relations- DTSTAMP:20141127T000000 SUMMARY:Workshop "Structure and Relations" DTSTART;VALUE=DATE:20141128 DTEND;VALUE=DATE:20141128 LOCATION:Drift 6, room 007, Utrecht, The Netherlan ds DESCRIPTION:No matter how chaotic the world may se em, some of us think that structure is all there i s. We are not going to determine whether this view is correct, but we will focus on the requirements for a mathematical foundation that enables us to talk in the most direct way about structure and re lations. Program: 10:00-11:00 F.A. Muller (Eras mus University Rotterdam, Utrecht University), Axi omatising Structure: Why? What? How? 11:00-12:00 Benno van den Berg (University of Amsterdam), Univ alent Foundation 12:00-13:00 Lunch 13:00-14:00 J oop Leo (Utrecht University), A new logic of relat ions 14:00-14:30 Discussion For more informatio n, contact Joop Leo at joop.leo at uu.nl. X-ALT-DESC;FMTTYPE=text/html:\n
No matter how chaotic the world may seem, some of us think t hat structure \n is all there is. We are no t going to determine whether this view is \n correct, but we will focus on the requirements f or a mathematical \n foundation that enable s us to talk in the most direct way about structur e \n and relations.\n
\nP
rogram:
\n 10:00-11:00 F.A. Muller (Er
asmus University Rotterdam, Utrecht University),\n
Axiomatising Structure: Why?
What? How?
\n 11:00-12:00 Benno van d
en Berg (University of Amsterdam),\n
Univalent Foundation
\n 12:00-1
3:00 Lunch
\n 13:00-14:00 Joop Leo (U
trecht University),\n A new l
ogic of relations
\n 14:00-14:30 Discu
ssion\n
For more informa tion, contact Joop Leo at joop.le o at uu.nl.\n
URL:/NewsandEvents/Archives/2014/newsitem/6069/28- November-2014-Workshop-Structure-and-Relations- END:VEVENT END:VCALENDAR