The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic, and philosophy working on formal approaches to rational individual and group decision making. This is the first DGL to be held in North America.

For more information, see http://www-personal.umich.edu/~skaron/dgl/

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.

Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.

The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).

For more information see https://sites.google.com/site/szklarskaporeba17/

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.

The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).

For more information see https://sites.google.com/site/szklarskaporeba17/

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.

The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).

For more information see https://sites.google.com/site/szklarskaporeba17/

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

The workshop series, Computational Models of Narrative (CMN) is dedicated to advancing the computationally grounded scientific study of narrative. Narrative provides a model for organizing and communicating experience, knowledge, and culture. This interdisciplinary workshop aims to provide an appropriate venue for papers addressing fundamental topics and questions regarding narrative.

The workshop will have a special focus on how the computational modeling, analysis, or generation of narrative has affected approaches in the humanities for studying and generating narrative in or across textual, aural, or visual media.

CMN 2016 is a satellite workshop symposium of The Digital Humanities 2016 (DH 2016)

For more information, see http://narrative.csail.mit.edu/cmn16/

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.

Linguists, logicians, philosophers, psychologists, and interested researchers from other areas are cordially invited to join the 17th Workshop on the Roots of Pragmasemantics to be held on the top of the Szrenica mountain in the Giant Mountains on the border of Poland and the Czech Republic on March 4-7, 2016.

The main theme of this year’s convention is "Conceptual Semantics meets Compositional Semantics". Confirmed invited speakers are Simon Dobnik (University of Gothenburg), Lotte Hogeweg (University of Amsterdam), Louise McNally (Universitat Pompeu Fabra), Galit Sassoon (Bar-Ilan University) and Joost Zwarts (Utrecht University).

For more information see https://sites.google.com/site/szklarskaporeba17/

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

The Interdisciplinary College (IK) is an intense annual one-week spring school, offering a dense state-of-the-art program in neurobiology, neural computation, cognitive science and psychology, artificial intelligence, robotics and philosophy. It provides a unique training opportunity for students, postgraduates and researchers, from academia and industry. The courses and discussions combine perspectives from the sciences and technology with those from philosophy and the humanities, to promote dialogue and connectedness between the various disciplines. In 2016, the focal topic of the school is "Transitions and Transformations in Cognition, Biology and Interactive Systems".

For more information, see http://www.interdisciplinary-college.de/.

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.

QPL is a workshop that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.

For more information see http://qpl2016.cis.strath.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.

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.

The conference is concerned with the theory of computability and complexity over real-valued data. The classical approach in these areas is to consider algorithms as operating on finite strings of symbols from a finite alphabet. Most mathematical models in physics and engineering, however, are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed.

Despite remarkable progress in recent years many important fundamental problems have not yet been studied, and presumably numerous unexpected and surprising results are waiting to be detected. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

For more information, see http://cca-net.de/cca2016/

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-third WoLLIC will be held at the Department of Computer Science, Benemérita Universidad Autónoma de Puebla, México, from August 16th to 19th, 2016.

It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).

For more information, see http://www.wollic.cs.buap.mx/

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.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

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.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

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.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

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.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

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.

LATA is a conference series on theoretical computer science and its applications. Following the tradition of the diverse PhD training events in the field developed at Rovira i Virgili University in Tarragona since 2002, LATA 2016 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas.

For more information, see http://grammars.grlmc.com/lata2016/ or contact florentinalilica.voicu at urv.cat

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.

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 workshop will address a number of new developments in which formal methods are used to model phenomena that play a central role in epistemic-social contexts. In particular we focus on modeling agents' epistemic and doxastic attitudes, the change of such attitudes as well as their communication-based interactions.

The following two themes will receive special attention: The first theme refers to the concept of social influence. In this context we use logic to model the spread of opinions, the exchange of information and the distribution of behavior in a social network. The second theme refers to the logical mechanism of information change as triggered by events, such as e.g. observations, communication as well as steps of logical inference.

The workshop is associated with the PhD defence of Zoé Christoff. Speakers will include Johan van Benthem, Jan van Eijck, Davide Grossi, Fenrong Liu, Olivier Roy, Frank Veltman and Zoé Christoff.

For more information, see https://ldsiic.wordpress.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.

Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools, and programming primitives for complex interactions.

The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models.

For more information, see http://2016.discotec.org/ice2016

The ESSLLI 2016 Student Session will be held during ESSLLI 2016 at the Free University of Bozen-Bolzano, Italy, between the dates of August 15-26, 2016. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation.

We invite submissions of original, unpublished work from students in any area at the intersection of Logic & Language, Language & Computation, or Logic & Computation. Submissions will be reviewed by several experts in the field, and accepted papers will be presented orally or as posters . This is an excellent opportunity to receive valuable feedback from expert readers and to present your work to a diverse audience.

Note that there are two separate kinds of submissions, one for oral presentations and one for posters. This means that papers are directly submitted either as oral presentations or as poster presentations. Reviewing and ranking will be done separately. We particularly encourage submissions for posters, as they offer an excellent opportunity to present smaller research projects and research in progress.

Submission deadline: March 10, 2016. Detailed guidelines regarding submission can be found on the Student Session website: http://www2.sfs.uni-tuebingen.de/esslli-stus-2016/. Please direct inquiries about submission procedures or other matters relating to the Student Session to marisa.koellner at uni-tuebingen.de and rziai at sfs.uni-tuebingen.de.

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.

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.

FG-2016 is the 20th conference on Formal Grammar, to be held in conjunction with the 28th European Summer School in Logic, Language and Information, which takes place in 2016 in Barcelona, Spain. FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

For more information, see http://fg.phil.hhu.de/2016/

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.