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/2023/newsitem/14395/30
 -September---1-October-2023-2nd-International-Work
 shop-on-Logical-Aspects-of-Multi-Agent-Systems-Str
 ategic-Reasoning-LAMAS-SR-2023-Krakow-Poland
DTSTAMP:20230801T004447
SUMMARY:2nd International Workshop on Logical Aspe
 cts of Multi-Agent Systems & Strategic Reasoning (
 LAMAS & SR 2023), Krakow, Poland
DTSTART;VALUE=DATE:20230930
DTEND;VALUE=DATE:20231001
LOCATION:Krakow, Poland
DESCRIPTION:Logic and strategic reasoning play a c
 entral role in multi-agent systems. Logic can be u
 sed, for instance, to express the agents' abilitie
 s, knowledge, and objectives. Strategic reasoning 
 refers to algorithmic methods that allow for devel
 oping good behaviour for the agents of the system.
  At the intersection, we find logics that can expr
 ess the existence of strategies or equilibria, and
  can be used to reason about them.  The LAMAS&SR w
 orkshop merges two international workshops: LAMAS 
 (Logical Aspects of Multi-Agent Systems), which fo
 cuses on all kinds of logical aspects of multi-age
 nt systems from the perspectives of artificial int
 elligence, computer science, and game theory, and 
 SR (Strategic Reasoning), devoted to all aspects o
 f strategic reasoning in formal methods and artifi
 cial intelligence. As such, the LAMAS&SR workshop 
 aims to bring together researchers working on diff
 erent aspects of either logic or strategic reasoni
 ng in computer science, artificial intelligence an
 d multi-agent systems research, both from a theore
 tical and a practical viewpoint.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Logic and stra
 tegic reasoning play a central role in multi-agent
  systems. Logic can be used, for instance, to expr
 ess the agents' abilities, knowledge, and objectiv
 es. Strategic reasoning refers to algorithmic meth
 ods that allow for developing good behaviour for t
 he agents of the system. At the intersection, we f
 ind logics that can express the existence of strat
 egies or equilibria, and can be used to reason abo
 ut them.</p>\n  <p>The LAMAS&amp;SR workshop merge
 s two international workshops: LAMAS (Logical Aspe
 cts of Multi-Agent Systems), which focuses on all 
 kinds of logical aspects of multi-agent systems fr
 om the perspectives of artificial intelligence, co
 mputer science, and game theory, and SR (Strategic
  Reasoning), devoted to all aspects of strategic r
 easoning in formal methods and artificial intellig
 ence. As such, the LAMAS&amp;SR workshop aims to b
 ring together researchers working on different asp
 ects of either logic or strategic reasoning in com
 puter science, artificial intelligence and multi-a
 gent systems research, both from a theoretical and
  a practical viewpoint.</p>\n
URL:https://vadimmalvone.github.io/lamas-sr-2023/
END:VEVENT
END:VCALENDAR