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/2016/newsitem/7001/15- 19-February-2016-Lorentz-center-workshop-on-Unifie d-Correspondence-Lorentz-center-Leiden DTSTAMP:20150917T000000 SUMMARY:Lorentz center workshop on Unified Corresp ondence, Lorentz center, Leiden DTSTART;VALUE=DATE:20160215 DTEND;VALUE=DATE:20160219 LOCATION:Lorentz center, Leiden DESCRIPTION:Unified correspondence is a very recen t approach to the the well known Sahlqvist theory in modal logic, which has imported techniques from duality, algebra and formal topology and exported the state of the art of Sahlqvist theory to a wid e range of logics. This wealth of new techniques, results and insights is now ready to be put to use in the mathematical environments of logical syste ms which are suitable to address formalization pro blems in the target application areas of linguisti cs and management science. The aim of this worksho p is therefore to foster new scientific collaborat ions among mathematical logicians using correspond ence theoretic tools on the one hand and, on the o ther, researchers in linguistics and management sc ience interested in applying logical methods. Par ticipation in Lorentz workshops is by invitation o nly, and the number of participants at any given w orkshop is limited to 55 per any given day. If you are interested in participating, please contact t he workshop coordinator AimeƩ Reinards, reinards a t lorentzcenter.nl. For more information, see htt ps://www.lorentzcenter.nl/lc/web/2016/757/info.php 3?wsid=757 or here. X-ALT-DESC;FMTTYPE=text/html:\n
Unified correspondence is a very recent approach to the th e well known Sahlqvist theory in modal logic, whic h has imported techniques from duality, algebra an d formal topology and exported the state of the ar t of Sahlqvist theory to a wide range of logics. T his wealth of new techniques, results and insights is now ready to be put to use in the mathematical environments of logical systems which are suitabl e to address formalization problems in the target application areas of linguistics and management sc ience. The aim of this workshop is therefore to fo ster new scientific collaborations among mathemati cal logicians using correspondence theoretic tools on the one hand and, on the other, researchers in linguistics and management science interested in applying logical methods.
\n \nPa rticipation in Lorentz workshops is by invitation only, and the number of participants at any given workshop is limited to 55 per any given day. If yo u are interested in participating, please contact the workshop coordinator Aimeé Reinards, reinards at lorentzcenter.nl.
\nFor more in formation, see https://www.lorentzcenter.nl/lc/web/2016/757/ info.php3?wsid=757 or here.
URL:/NewsandEvents/Archives/2016/newsitem/7001/15- 19-February-2016-Lorentz-center-workshop-on-Unifie d-Correspondence-Lorentz-center-Leiden END:VEVENT END:VCALENDAR