Logic List Mailing Archive

LAMAS 2017: Logical Aspects of Multi-Agent Systems

25 Aug 2017
Stockholm, Sweden

Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)
Webpage: http://www.cs.nott.ac.uk/~psznza/lamas17/

Affiliated with the 26th EACSL Annual Conference on Computer Science Logic 
CSL'2017:  https://www.csl17.conf.kth.se/

25 August 2017, Stockholm

Call for paticipation

The LAMAS workshop provides a meeting forum for the research community 
working on various logical aspects of multi-agent systems (MAS) from the 
perspectives of artificial intelligence, computer science, and game 
theory. It addresses the whole range of issues that arise in the context 
of using logic in MAS, from theoretical foundations to algorithmic methods 
and implemented tools.

Invited speakers:

Hans van Ditmarsch, LORIA, Nancy
Wojtek Jamroga, Polish Academy of Sciences

Organisers and contacts

Natasha Alechina natasha.alechina@nottingham.ac.uk
Mika Cohen
Valentin Goranko
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam