AAMAS is the leading scientific conference for research in autonomous agents and multiagent systems. The AAMAS conference series was initiated in 2002 by merging three highly respected meetings: the International Conference on Multi-Agent Systems (ICMAS); the International Workshop on Agent Theories, Architectures, and Languages (ATAL); and the International Conference on Autonomous Agents (AA). The aim of the joint conference is to provide a single, high-profile, internationally respected archival forum for scientific research in the theory and practice of autonomous agents and multiagent systems.

For more information, see http://sis.smu.edu.sg/aamas2016

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Several internationally renowned speakers will bring you up-to-date on the exciting topic of quantum computing. The symposium is aimed towards a general academic public. CWI Lectures 2015 are organized by CWI´s Algorithms & Complexity group, headed by Prof. Harry Buhrman.

Speakers: Prof. Ronald Hanson (Delft TU), Prof. Richard Jozsa (Cambridge), Prof. Serge Massar (Bruxelles) and Prof. Mario Szegedy (Rutgers).

Attending the event is free after registration. For more information, see http://www.cwi.nl/lectures2015 or contact Susanne van Dam (susanne.van.dam at cwi.nl).

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

For more information, see here or contact Jop Briët at j.briet at cwi.nl.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

The next History of Humanities and Sciences Meeting will take place on Monday 7 December, with two talks on HHS -- ranging from Europe to Japan!

After the talks, we will give an update about the latest news on our Center. The Governing Board (CvB) of the UvA has decided last month to grant our subsidy request and we will start as an official Center for the History of Humanities and Sciences from 2016 onwards. This is great news, and we will celebrate the new Center with a major kick-off event in 2016. More news will follow soon. On December 7 we will already give some further details about our new course in HHS, our research program for the years to come, our ideas about the fellowship program, and our new collaboration between the Max Planck Institut für Wissenschaftsgeschichte and the UvA.

For more information, see here or contact rens.bod at gmail.com

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

For more information, see http://event.cwi.nl/wine2015/.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

For more information, see http://event.cwi.nl/wine2015/.

Invited Speakers:
- Martin Otto (TU Darmstadt)
- Igor Walukiewicz (LABRI, Université Bordeaux-I)
- Sebastian Enqvist (University of Amsterdam)
- Alessandro Facchini (IDSIA)
- Yde Venema (University of Amsterdam)

International experts will give talks on topics related to fixpoint logics, automata, bisimulation and second-order logics. More information on the workshop can be found on the webpage at http://fcarreiro.github.io/workshop.html, or contact f.m.carreiro at uva.nl.

CSR is an annual conference that intends to reflect the broad scope of international cooperation in computer science.

Distinguished opening lecture: Herbert Edelsbrunner (IST, Austria) Invited Speakers include Christos H. Papadimitriou (Berkeley, USA), Orna Kupferman (Hebrew University, Israel), Virginia Vassilevska Williams (Stanford, USA) and Vladimir Kolmogorov (IST, Austria).

Further information and contacts:
Web: http://logic.pdmi.ras.ru/csr2016
Email: csr2016info at gmail.com.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

For more information, see http://event.cwi.nl/wine2015/.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Over the past decade, research in theoretical computer science, artificial intelligence, and microeconomics has joined forces to tackle problems involving incentives and computation. These problems are of particular importance in application areas like the Web and the Internet that involve large and diverse populations. WINE is an interdisciplinary forum for the exchange of ideas and results on incentives and computation arising from these various fields.

For more information, see http://event.cwi.nl/wine2015/.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

The aim of the Inquisitive Turn project (2010-2015) has been to develop a new perspective on meaning in semantics, logic, and pragmatics, which places informative and inquisitive content on equal footing.
The closing event of the project will consist of two workshops, one on "Questions in Logic and Semantics", and one on "Questions in Pragmatics".

For more information, see https://www.illc.uva.nl/inquisitivesemantics/workshops/

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

The aim of the Inquisitive Turn project (2010-2015) has been to develop a new perspective on meaning in semantics, logic, and pragmatics, which places informative and inquisitive content on equal footing.
The closing event of the project will consist of two workshops, one on "Questions in Logic and Semantics", and one on "Questions in Pragmatics".

For more information, see https://www.illc.uva.nl/inquisitivesemantics/workshops/

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 20th Amsterdam Colloquium will feature two workshops on Negation and on Reasoning in Natural Language; and one evening lecture, jointly organized with the E.W. Beth Foundation.

Furthermore, there will be a special issue of the journal Topoi with selected contributions presented at the Colloquium, both in the main programme and in the workshops.

For more information, see https://www.illc.uva.nl/AC/AC2015/

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 20th Amsterdam Colloquium will feature two workshops on Negation and on Reasoning in Natural Language; and one evening lecture, jointly organized with the E.W. Beth Foundation.

Furthermore, there will be a special issue of the journal Topoi with selected contributions presented at the Colloquium, both in the main programme and in the workshops.

For more information, see https://www.illc.uva.nl/AC/AC2015/

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The 20th Amsterdam Colloquium will feature two workshops on Negation and on Reasoning in Natural Language; and one evening lecture, jointly organized with the E.W. Beth Foundation.

Furthermore, there will be a special issue of the journal Topoi with selected contributions presented at the Colloquium, both in the main programme and in the workshops.

For more information, see https://www.illc.uva.nl/AC/AC2015/

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at n.bulling at tudelft.nl and d.grossi at liverpool.ac.uk.

Logica 2016 is the 30th in the series of annual international symposia devoted to logic. Invited speakers are Kit Fine, Sara Negri, Nick Smith, and Neil Tennant.

For more information, see http://logika.flu.cas.cz/en/logica. All correspondence concerning the symposium should be directed to logica at flu.cas.cz.