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/9976/2--
 -6-July-2018-Workshop-Algebraic-Proof-Theory-for-S
 ocial-Behaviour-
DTSTAMP:20180517T133622
SUMMARY:Workshop "Algebraic Proof Theory for Socia
 l Behaviour"
DTSTART;TZID=Europe/Amsterdam:20180702T100000
DTEND;TZID=Europe/Amsterdam: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  <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
  <em>social behaviour</em> 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 <em
 >overarching theories</em> 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.</p>\n\n  <p><em>Algebr
 aic proof theory</em> 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.</p>\n\n  <p>This workshop aims at bring togethe
 r researchers in algebraic proof theory and its ap
 plications, explore promising research directions,
  and foster collaborations.</p>\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