BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/100
85/2---6-July-2018-Algebraic-Proof-Theory-for-Soci
al-Behaviour-Delft-The-Netherlands
DTSTAMP:20180629T122639
SUMMARY:"Algebraic Proof Theory for Social Behavio
ur", Delft, The Netherlands
DTSTART;VALUE=DATE:20180702
DTEND;VALUE=DATE:20180706
LOCATION:Delft, The Netherlands
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 work
shop aims to bring together researchers in algebra
ic proof theory and its applications, explore prom
ising research directions, and foster collaboratio
ns. The workshop is organised on the occasion of t
he PhD defenses of Fei Liang and Apostolos Tzimoul
is.
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 introduction of l
ogics specific to contexts involving e.g. dynamic
changes, uncertainty, incomplete and inconsistent
information, which are at odds with reasoning as i
s formalized in classical logic. This rapid expans
ion has generated the need to develop overarching
theories capable to provide uniform proofs of fund
amental properties--such as soundness, completenes
s, analiticity, decidability--for each member of v
ast families of logics, while at the same time acc
ounting in a modular way for the specific features
of each.

\n\n Algebraic proof theory is a
research area in which these general results can b
e achieved using insights from algebraic logic, un
iversal algebra, duality and representation theory
for classes of algebras. This workshop aims to br
ing together researchers in algebraic proof theory
and its applications, explore promising research
directions, and foster collaborations. The worksho
p is organised on the occasion of the PhD defenses
of Fei Liang and Apostolos Tzimoulis.

\n
URL:http://www.appliedlogictudelft.nl/event/algebr
aic-proof-theory-for-social-behaviour/
CONTACT:F.Liang at tudelft.nl
END:VEVENT
END:VCALENDAR