BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/700
1/15-19-February-2016-Lorentz-center-workshop-on-U
nified-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 \n Pa
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.

\n For more in
formation, see https://www.lorentzcenter.nl/lc/web/2016/757/
info.php3?wsid=757 or here.

\n
URL:/NewsandEvents/Events/Conferences/newsitem/700
1/15-19-February-2016-Lorentz-center-workshop-on-U
nified-Correspondence-Lorentz-center-Leiden
END:VEVENT
END:VCALENDAR