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:
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.
Submissions are i nvited of short abstracts (preferably up to 2 page s) reporting either original, ongoing, or recently published good quality work in the area of the wo rkshop. Published work can be submitted for presen tation in full, though an extended abstract would be preferable. Submissions for relevant talks pres ented elsewhere are welcome, too. The submissions are not anonymous and will be subjected to light r eviewing and selection.