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/9764/9--
 -10-July-2018-Pre-AAMAS2018-Workshop-on-Formal-Met
 hods-and-Logical-Aspects-of-Multi-Agent-Systems-FM
 LAMAS-2018-Stockholm-Sweden
DTSTAMP:20180310T205611
SUMMARY:Pre-AAMAS2018 Workshop on Formal Methods a
 nd Logical Aspects of Multi-Agent Systems (FMLAMAS
  2018), Stockholm, Sweden
DTSTART;VALUE=DATE:20180709
DTEND;VALUE=DATE:20180710
LOCATION:Stockholm, Sweden
DESCRIPTION:The FMLAMAS 2018 workshop will provide
  a working meeting and discussion forum for resear
 chers working on various formal methods and logica
 l aspects of multi-agent systems (MAS) from the pe
 rspectives of artificial intelligence, computer sc
 ience, and game theory. It will address a wide ran
 ge of issues that arise in these contexts, from th
 eoretical foundations to algorithmic methods, impl
 emented tools, and applications.  Submissions are 
 invited of short abstracts (preferably up to 2 pag
 es) reporting either original, ongoing, or recentl
 y published good quality work in the area of the w
 orkshop. Published work can be submitted for prese
 ntation in full, though an extended abstract would
  be preferable. Submissions for relevant talks pre
 sented elsewhere are welcome, too. The submissions
  are not anonymous and will be subjected to light 
 reviewing and selection.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The FMLAM
 AS 2018 workshop will provide a working meeting an
 d discussion forum for researchers working on vari
 ous formal methods and logical aspects of multi-ag
 ent systems (MAS) from the perspectives of artific
 ial intelligence, computer science, and game theor
 y. It will address a wide range of issues that ari
 se in these contexts, from theoretical foundations
  to algorithmic methods, implemented tools, and ap
 plications.</p>\n</div><div>\n  <p>Submissions are
  invited of short abstracts (preferably up to 2 pa
 ges) reporting either original, ongoing, or recent
 ly published good quality work in the area of the 
 workshop. Published work can be submitted for pres
 entation in full, though an extended abstract woul
 d be preferable. Submissions for relevant talks pr
 esented elsewhere are welcome, too. The submission
 s are not anonymous and will be subjected to light
  reviewing and selection.</p>\n</div>
URL:https://sites.google.com/view/fmlamas18/
CONTACT:fmlamas18 at easychair.org
END:VEVENT
END:VCALENDAR
