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/2018/newsitem/10085/2-
 --6-July-2018-Algebraic-Proof-Theory-for-Social-Be
 haviour-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  <p>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.</p>\n\n  <p>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.</p>\n
URL:http://www.appliedlogictudelft.nl/event/algebr
 aic-proof-theory-for-social-behaviour/
CONTACT:F.Liang at tudelft.nl
END:VEVENT
END:VCALENDAR