BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9976/2---6-July-2018-Workshop-Algebraic-Proof-The
ory-for-Social-Behaviour-
DTSTAMP:20180517T133622
SUMMARY:Workshop "Algebraic Proof Theory for Socia
l Behaviour"
DTSTART:20180702T100000
DTEND:20180706T170000
LOCATION:Delft University of Technology
DESCRIPTION:The major trend in modern logic is the
move from logic to logics. The need for formal mo
delling of reasoning in various fields of science
(philosophy, linguistics, AI, cognitive, social an
d management sciences) led to the design of hundre
ds of bespoke logics. For instance, the focus on m
ulti-agent interaction and social behaviour has le
d to the introduction of logics specific to contex
ts involving e.g. dynamic changes, uncertainty, in
complete and inconsistent information, which are a
t odds with reasoning as is formalized in classica
l logic. This rapid expansion has generated the ne
ed to develop overarching theories capable to prov
ide uniform proofs of fundamental properties--such
as soundness, completeness, analiticity, decidabi
lity--for each member of vast families of logics,
while at the same time accounting in a modular way
for the specific features of each. Algebraic pro
of theory is a research area in which these genera
l results can be achieved using insights from alge
braic logic, universal algebra, duality and repres
entation theory for classes of algebras. This wor
kshop aims at bring together researchers in algebr
aic proof theory and its applications, explore pro
mising research directions, and foster collaborati
ons.
X-ALT-DESC;FMTTYPE=text/html:\n The major tren
d in modern logic is the move from logic to logics
. The need for formal modelling of reasoning in va
rious fields of science (philosophy, linguistics,
AI, cognitive, social and management sciences) led
to the design of hundreds of bespoke logics. For
instance, the focus on multi-agent interaction and
*social behaviour* has led to the introduc
tion of logics specific to contexts involving e.g.
dynamic changes, uncertainty, incomplete and inco
nsistent information, which are at odds with reaso
ning as is formalized in classical logic. This rap
id expansion has generated the need to develop *overarching theories* capable to provide unif
orm proofs of fundamental properties--such as soun
dness, completeness, analiticity, decidability--fo
r each member of vast families of logics, while at
the same time accounting in a modular way for the
specific features of each.

\n\n *Algebr
aic proof theory* is a research area in which
these general results can be achieved using insigh
ts from algebraic logic, universal algebra, dualit
y and representation theory for classes of algebra
s.

\n\n This workshop aims at bring togethe
r researchers in algebraic proof theory and its ap
plications, explore promising research directions,
and foster collaborations.

\n
URL:http://www.appliedlogictudelft.nl/event/algebr
aic-proof-theory-for-social-behaviour/
CONTACT:Fei Liang at F.Liang at tudelft.nl
CONTACT:Apostolos Tzimoulis at a.tzimoulis-1 at tu
delft.nl
END:VEVENT
END:VCALENDAR