Mathematical models of natural language semantics oscillate between the two opposing approaches of word-based statistical and sentence-based compositional. Word-based models rely on the ideas of Harris and Firth that words occurring in similar contexts have similar meanings. Compositional models, in the sense of Montague 1970, systematically associate the steps of a syntactic derivation with semantic operations acting on the interpretations of the constituents. This workshop is an attempt to bring together active researchers of these seemingly separate approaches to address problems of both theoretical and practical nature.

One major goal is to introduce the statistical researchers to the advanced type-logical techniques that have been developed to handle challenging grammatical phenomena; the second one is to help the researchers of the logical field to enhance their systems with vector representations. The overall goal is to help both groups collaborate to develop systems where both word vectors and complex grammatical structures can be reasoned about in a compositional and computationally tractable way.

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

This will be the 5th world congress organized about the square of opposition after very successful previous editions in Montreux, Switzerland 2007, Corté, Corsica 2010, Beirut, Lebanon 2012, Vatican, 2014. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitivists, artists and computer scientists.

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.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend. Drinks will be served afterwards (also in the ILLC Common Room).

For more information, contact illc at uva.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.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

Keynote speaker: Jiri Adamek (Braunschweig, Germany). Invited speakers: Andreas Abel (Gothenburg, Sweden) and Filippo Bonchi (CNRS/ENS Lyon, France). There will be a special session on weighted automata, with invited tutorials by Borja Balle (Lancaster, UK) and Alexandra Silva (UC London, UK). CMCS'16 is co-located with ETAPS 2016.

For more information, including the full programme of the workshop, see http://www.coalg.org/cmcs16/

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.

In more than a decade of research, it has been established that a wide variety of state-based dynamical systems can be treated uniformly as coalgebras. Coalgebra has developed into a field of its own interest presenting a deep mathematical foundation, a growing field of applications, and interactions with various other fields. The aim of the CMCS workshops is to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop serie strives to maintain breadth in its scope, participation by researchers in neighbouring areas is strongly encouraged.

Keynote speaker: Jiri Adamek (Braunschweig, Germany). Invited speakers: Andreas Abel (Gothenburg, Sweden) and Filippo Bonchi (CNRS/ENS Lyon, France). There will be a special session on weighted automata, with invited tutorials by Borja Balle (Lancaster, UK) and Alexandra Silva (UC London, UK). CMCS'16 is co-located with ETAPS 2016.

For more information, including the full programme of the workshop, see http://www.coalg.org/cmcs16/

This workshop aims to bring together researchers working in the two communities of Constraint/Logic Programming (e.g., ICLP and CP) and Program Verification (e.g., CAV, TACAS, and VMCAI) on the topic of Horn clause based analysis, verification and synthesis.

Most Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around efficiently solving problems presented as Horn clauses. Horn clauses for verification and synthesis have been advocated by these two communities in different times and from different perspectives and this workshop is organized to stimulate interaction and a fruitful exchange and integration of experiences.

For more information see http://hcvs2016.it.uu.se/

We are pleased to announce that the 21st Conference on Applications of Logic in Philosophy and the Foundations of Mathematics will be held in Szklarska Poreba from May 9 to May 13, 2016. Traditionally, the organizers of the conference are Chair of Logic, University of Wroclaw, Institute of Mathematics and Informatics, Opole University and Institute of Mathematics, University of Silesia at Katowice. The meeting takes place in Szklarska Poreba, in the lovely Sudety Mountains on the Polish-Czech border. The event is being held under the patronage of the Polish Association for Logic and Philosophy of Science.

The invited speakers of the upcoming meeting are: Henrich Wansing, Ruhr-Universität Bochum, Jan Wolenski, University of Information Technology and Management in Rzeszów .

The detailed information regarding conference registration, submission of abstracts, and accommodation will be available in the forthcoming announcements and on the conference's website at www dot klmn dot uni dot wroc dot pl slash conference dot html. For more information, please contact marcisel at uni dot wroc dot pl.

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.

Over the past five years the VISI research project 'Roots of Deduction', directed by Catarina Dutilh Novaes, has investigated the historical, cognitive and philosophical roots of deduction. The main focus of the project has been a particular multi-agent dialogical account of deduction, the 'built-in opponent' conception of deduction. This has been used in the project to inform analyses of ancient Greek conceptions of logic and deduction; to help us to understand mathematical cognition and cognitive biases; and to shed light on classical and contemporary problems in the philosophy of logic.

The closing workshop of the project is taking place on April 7-9 (starting right after lunch, ending just before lunch) at the Faculty of Philosophy in Groningen.

All welcome, but if you wish to attend the workshop, please drop us a note, as we only have a limited number of spots. For more information, see https://sites.google.com/site/therootsofdeduction/

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on issues significant for computer science.

Three affiliated workshops will be held as co-located events in the days following the conference: LCC'16: Logic and Computational Complexity 2016 (September 2 and 3)
PLRR: Parametricity, Logical Relations and Realizability (September 2)
QSLC: Quantitative Semantics of Logic and Computation (September 2 and 3)

For more information see http://csl16.lif.univ-mrs.fr/

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 five years the VISI research project 'Roots of Deduction', directed by Catarina Dutilh Novaes, has investigated the historical, cognitive and philosophical roots of deduction. The main focus of the project has been a particular multi-agent dialogical account of deduction, the 'built-in opponent' conception of deduction. This has been used in the project to inform analyses of ancient Greek conceptions of logic and deduction; to help us to understand mathematical cognition and cognitive biases; and to shed light on classical and contemporary problems in the philosophy of logic.

The closing workshop of the project is taking place on April 7-9 (starting right after lunch, ending just before lunch) at the Faculty of Philosophy in Groningen.

All welcome, but if you wish to attend the workshop, please drop us a note, as we only have a limited number of spots. For more information, see https://sites.google.com/site/therootsofdeduction/

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 five years the VISI research project 'Roots of Deduction', directed by Catarina Dutilh Novaes, has investigated the historical, cognitive and philosophical roots of deduction. The main focus of the project has been a particular multi-agent dialogical account of deduction, the 'built-in opponent' conception of deduction. This has been used in the project to inform analyses of ancient Greek conceptions of logic and deduction; to help us to understand mathematical cognition and cognitive biases; and to shed light on classical and contemporary problems in the philosophy of logic.

The closing workshop of the project is taking place on April 7-9 (starting right after lunch, ending just before lunch) at the Faculty of Philosophy in Groningen.

All welcome, but if you wish to attend the workshop, please drop us a note, as we only have a limited number of spots. For more information, see https://sites.google.com/site/therootsofdeduction/

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics.

NLCS'16 is affiliated with Logic in Computer Science 2016.

For more information, see http://www.indiana.edu/~iulg/nlcs.html

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.

Henkjan Honing will give two lectures in Russia on 13 April 2016 in St Petersburg and 10 April 2016 in Moscow with the title "What makes us musical animals".

For more information, see http://www.nispb.ru/en/news--calendar/dutch-wednesday-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.

Henkjan Honing will give two lectures in Russia on 13 April 2016 in St Petersburg and 10 April 2016 in Moscow with the title "What makes us musical animals".

For more information, see http://www.nispb.ru/en/news--calendar/dutch-wednesday-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.

Henkjan Honing will give two lectures in Russia on 13 April 2016 in St Petersburg and 10 April 2016 in Moscow with the title "What makes us musical animals".

For more information, see http://www.nispb.ru/en/news--calendar/dutch-wednesday-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.

Henkjan Honing will give two lectures in Russia on 13 April 2016 in St Petersburg and 10 April 2016 in Moscow with the title "What makes us musical animals".

For more information, see http://www.nispb.ru/en/news--calendar/dutch-wednesday-2016/

One major challenge throughout the history of programming is the development of an interface between humans, software and hardware. It has been the task of the so-called operating system to: maintain a file system; regulate access to resources; synchronize operations; etc. Today, Operating Systems are usually equipped with Graphical User interfaces (GUI) designed to give the 'user' a 'friendly' experience thus hiding – and sometimes even rendering inaccessible – much of the underlying structure and features of the computing machinery. The aim of the current symposium is to offer an opportunity for historical and philosophical reflection on operating systems and the programs they coordinate.

Our approach is interdisciplinarity and openness towards different fields relevant to HaPoC. We were and are strongly convinced that such trans- and interdisciplinarity is necessary if one wants to reflect on a discipline such as computer science with its multidimensional nature. The current symposium will be organized in a similar manner and invites researchers coming from a diversity of backgrounds, including historians, philosophers, logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically that of operating systems.

For more information, see http://hapoc.org/hapop3

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.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

The biennial European Conference on Artificial Intelligence (ECAI) is Europe’s premier venue for presenting scientific results in AI. Supported by the European Coordinating Committee for AI (ECCAI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. As well as a full programme of technical papers, ECAI 2016 will feature several other events. Special topic for ECAI 2016 is 'Artificial Intelligence for Human Values'.

For more information, see http://www.ecai2016.org/ or email contact at ecai2016.org.

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.

Human reasoning or the psychology of deduction is well researched in cognitive psychology and in cognitive science. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. For example there is increasing interest in modeling human rea- soning within automated reasoning systems including modeling with answer set programming, deontic logic or abductive logic programming. There are also various approaches within AI research.

This workshop is intended to get an overview of existing approaches and make a step towards a cooperation between computational logic and cognitive science. The workshop will be held in conjunction with IJCAI-16 and is supported by IFIP TC12.

For more information, see http://ratiolog.uni-koblenz.de/bridging2016

We are pleased to announce that SIGLEX and SIGSEM, special interest groups of the ACL, are organizing the fifth joint conference on lexical and computational semantics: *SEM (pronounced "starsem"). This time *SEM will be colocated with ACL-2016 in Berlin, Germany.

*SEM brings together researchers interested in the semantics of natural languages and its computational modeling. The conference embraces symbolic and probabilistic approaches, and everything in between; theoretical contributions as well as practical applications are welcome. The long-term goal of *SEM is to provide a stable forum for the growing number of NLP researchers working on all aspects of semantics.

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

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.

Our tendency to delegate responsibilities to machines (self-driving cars, algorithmic trading, military drones, autonomous surveillance systems, etc.) leads to pressing questions that call for answers from an interdisciplinary perspective. Computer scientists can contribute by studying how to design responsible AI, but they first need to know exactly what is meant by that. Philosophers may be able to tell them what responsibility is, but may find it hard to operationalise their insights in such fundamental topics as action, freedom, ethics, norms, and reasons. And that is where legal theorists may be of help, as they are used to think about the relation between abstract notions like fairness, justice, duty, excuse, complicity, causality and their concrete reflections in the rules of law.

On April 18-19 2016, we organise an interdisciplinary workshop where we bring together researchers from Philosophy, Computer Science and Legal Theory to exchange views on the subject of responsible intelligent systems.

Attendance is free and open to all academics. To enable us to estimate how much coffee and sandwiches we have to order, we would be happy if you let us know if you plan to come by sending an email to H.W.A.Duijf at uu.nl with the subject 'Attendance REINS workshop'. Please mention your name and affiliation so that we can make a name tag for you to wear at the workshop.

For more information, see https://www.projects.science.uu.nl/reins/

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.

Our tendency to delegate responsibilities to machines (self-driving cars, algorithmic trading, military drones, autonomous surveillance systems, etc.) leads to pressing questions that call for answers from an interdisciplinary perspective. Computer scientists can contribute by studying how to design responsible AI, but they first need to know exactly what is meant by that. Philosophers may be able to tell them what responsibility is, but may find it hard to operationalise their insights in such fundamental topics as action, freedom, ethics, norms, and reasons. And that is where legal theorists may be of help, as they are used to think about the relation between abstract notions like fairness, justice, duty, excuse, complicity, causality and their concrete reflections in the rules of law.

On April 18-19 2016, we organise an interdisciplinary workshop where we bring together researchers from Philosophy, Computer Science and Legal Theory to exchange views on the subject of responsible intelligent systems.

Attendance is free and open to all academics. To enable us to estimate how much coffee and sandwiches we have to order, we would be happy if you let us know if you plan to come by sending an email to H.W.A.Duijf at uu.nl with the subject 'Attendance REINS workshop'. Please mention your name and affiliation so that we can make a name tag for you to wear at the workshop.

For more information, see https://www.projects.science.uu.nl/reins/

JerSem will be the 20th edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2016 the workshop will be hosted by the Rutgers University Center for Cognitive Science, at its downtown New Brunswick Campus, approximately one hour from New York City. The workshop is timed to immediately follow IJCAI 2016 in New York City, and will be collocated at Rutgers with NASSLLI, the North American Summer School in Logic, Language and Information.

The workshop will feature a special session on Questions Under Discussion, focusing on the role of discourse purposes in utterance interpretation and dialogue structure, and their reflection in utterance form.

For more information, see http://semantics.rutgers.edu/jersem/

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 Dutch Research School of Philosophy (OZSW) and the University of Twente invite anyone interested to the yearly "OZSW Graduate Conference in Theoretical Philosophy" (OZSW-GCTP2016): "How Philosophy Meets the World", to take place from 20 to 22 April 2016. At the conference, PhD & Research Master students will present their current research.

Keynote speakers are Jan Broersen (Utrecht University), Federica Russo (University of Amsterdam), Sonja Smets (University of Amsterdam), Johnny Søraker (University of Twente), Krist Vaessen (Eindhoven University of Technology) and Pieter Vermaas (Delft University of Technology).

Further information, the program, and a registration form can be found on the OZSW website: http://www.ozsw.nl/activity/gctp-2016/.

MFCS is a well-established venue for presenting high-quality research from various branches of theoretical computer science. The conference provides a platform for researchers interested in different aspects of theoretical computer science to interact, exchange ideas, and present their work.

The conference will have invited talks from Shai Ben-David (Waterloo, Canada), Mikołaj Bojańczyk (Warsaw, Poland), Patricia Bouyer-Decitre (LSV, CNRS & ENS Cachan, France), Tobias Friedrich (Hasso Plattner Institute, Potsdam, Germany) and Virginia Vassilevska Williams (Stanford, USA). EATCS sponsors a best paper award and a best student paper award.

For more information, see http://mfcs.ki.agh.edu.pl/

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 Dutch Research School of Philosophy (OZSW) and the University of Twente invite anyone interested to the yearly "OZSW Graduate Conference in Theoretical Philosophy" (OZSW-GCTP2016): "How Philosophy Meets the World", to take place from 20 to 22 April 2016. At the conference, PhD & Research Master students will present their current research.

Keynote speakers are Jan Broersen (Utrecht University), Federica Russo (University of Amsterdam), Sonja Smets (University of Amsterdam), Johnny Søraker (University of Twente), Krist Vaessen (Eindhoven University of Technology) and Pieter Vermaas (Delft University of Technology).

Further information, the program, and a registration form can be found on the OZSW website: http://www.ozsw.nl/activity/gctp-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.

The Dutch Research School of Philosophy (OZSW) and the University of Twente invite anyone interested to the yearly "OZSW Graduate Conference in Theoretical Philosophy" (OZSW-GCTP2016): "How Philosophy Meets the World", to take place from 20 to 22 April 2016. At the conference, PhD & Research Master students will present their current research.

Keynote speakers are Jan Broersen (Utrecht University), Federica Russo (University of Amsterdam), Sonja Smets (University of Amsterdam), Johnny Søraker (University of Twente), Krist Vaessen (Eindhoven University of Technology) and Pieter Vermaas (Delft University of Technology).

Further information, the program, and a registration form can be found on the OZSW website: http://www.ozsw.nl/activity/gctp-2016/.

In the spring of 2016 Prof. Albert Visser (Philosophy) will retire. He has been a professor in Logic and the Foundations of Mathematics at Utrecht University for more than a decade. Since September 2015 he is also a Faculty Professor at the Faculty of Humanities. There will be two days of celebrations in honour of his long and distinguished career. Registration is now open.

There are two events. On 22 April there will be a workshop dedicated to his scientific work, with speakers from the various areas that Visser has contributed to. This event will take place in the Kanunnikenzaal of the University Hall (Academiegebouw).

On 25 April there will be an afternoon of celebratory speeches by colleagues (starting at 13:00), followed by Albert's retirement speech in the Auditorium of the University Hall and a reception. The valedictory lecture of Prof. Visser will be at 16:00.

For more information regarding 22 April, see http://www.uu.nl/en/events/retirement-albert-visser-register-now.

For information regarding 25 April and to register for the events, see http://forms.wp.hum.uu.nl/registration-retirement-albert-visser/

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).

For more information, see http://dl2016.cs.uct.ac.za/

CiE 2016 is the twelfth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

CiE 2016's Motto is: "Pursuit of the Universal". The year 2016 brings the eightieth anniversary of the publication of Alan Turing's seminal paper featuring the Universal Turing Machine. Just as the semantics of the machine gave rise to Incomputability, and pointed to future directions in proof theory, AI, generalised computability, the underlying role of typed information and natural language, and the computability and definability underpinning bioinformatics: so our conference subtitle honours Turing's role in anticipating the quest for universal computational frameworks across a wide spectrum of scientific and humanist disciplines.

For more information, see http://lipn.univ-paris13.fr/CIE2016/

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.

In the spring of 2016 Prof. Albert Visser (Philosophy) will retire. He has been a professor in Logic and the Foundations of Mathematics at Utrecht University for more than a decade. Since September 2015 he is also a Faculty Professor at the Faculty of Humanities. There will be two days of celebrations in honour of his long and distinguished career. Registration is now open.

There are two events. On 22 April there will be a workshop dedicated to his scientific work, with speakers from the various areas that Visser has contributed to. This event will take place in the Kanunnikenzaal of the University Hall (Academiegebouw).

On 25 April there will be an afternoon of celebratory speeches by colleagues (starting at 13:00), followed by Albert's retirement speech in the Auditorium of the University Hall and a reception. The valedictory lecture of Prof. Visser will be at 16:00.

For more information regarding 22 April, see http://www.uu.nl/en/events/retirement-albert-visser-register-now.

For information regarding 25 April and to register for the events, see http://forms.wp.hum.uu.nl/registration-retirement-albert-visser/

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).

For more information, see http://dl2016.cs.uct.ac.za/

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.

In the spring of 2016 Prof. Albert Visser (Philosophy) will retire. He has been a professor in Logic and the Foundations of Mathematics at Utrecht University for more than a decade. Since September 2015 he is also a Faculty Professor at the Faculty of Humanities. There will be two days of celebrations in honour of his long and distinguished career. Registration is now open.

There are two events. On 22 April there will be a workshop dedicated to his scientific work, with speakers from the various areas that Visser has contributed to. This event will take place in the Kanunnikenzaal of the University Hall (Academiegebouw).

On 25 April there will be an afternoon of celebratory speeches by colleagues (starting at 13:00), followed by Albert's retirement speech in the Auditorium of the University Hall and a reception. The valedictory lecture of Prof. Visser will be at 16:00.

For more information regarding 22 April, see http://www.uu.nl/en/events/retirement-albert-visser-register-now.

For information regarding 25 April and to register for the events, see http://forms.wp.hum.uu.nl/registration-retirement-albert-visser/

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).

For more information, see http://dl2016.cs.uct.ac.za/

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.

In the spring of 2016 Prof. Albert Visser (Philosophy) will retire. He has been a professor in Logic and the Foundations of Mathematics at Utrecht University for more than a decade. Since September 2015 he is also a Faculty Professor at the Faculty of Humanities. There will be two days of celebrations in honour of his long and distinguished career. Registration is now open.

There are two events. On 22 April there will be a workshop dedicated to his scientific work, with speakers from the various areas that Visser has contributed to. This event will take place in the Kanunnikenzaal of the University Hall (Academiegebouw).

On 25 April there will be an afternoon of celebratory speeches by colleagues (starting at 13:00), followed by Albert's retirement speech in the Auditorium of the University Hall and a reception. The valedictory lecture of Prof. Visser will be at 16:00.

For more information regarding 22 April, see http://www.uu.nl/en/events/retirement-albert-visser-register-now.

For information regarding 25 April and to register for the events, see http://forms.wp.hum.uu.nl/registration-retirement-albert-visser/

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

This year the DL workshop is co-located with KR 2016 and will share a joint session with the International Workshop on Non-Monotonic Reasoning (NMR 2016).

For more information, see http://dl2016.cs.uct.ac.za/

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 Logic Colloquium 2016, organized under the auspices of the Association for Symbolic Logic, will feature 12 plenary speakers, as well as 2 tutorials and 6 special sessions. The twenty-seventh annual Gödel Lecture will be delivered by S. Todorcevic.

For more information, see http://www.lc2016.leeds.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.

Techniques based on formal logic, such as model checking, satisfiability, static analysis, and automated theorem proving, are finding a broad range of applications in modeling, analysis, verification, and synthesis. This school, the sixth in the series, will focus on the principles and practice of formal techniques, with a strong emphasis on the hands-on use and development of this technology. It primarily targets graduate students and young researchers who are interested in studying and using formal techniques in their research. A prior background in formal methods is helpful but not required. Participants at the school will have a seriously fun time experimenting with the tools and techniques presented in the lectures during laboratory sessions.

The main lectures in the summer school will be preceded by a background course on logic taught by Natarajan Shankar (SRI)and Stephane Graham-Lengrand (Ecole Polytechnique) on "Speaking Logic".

Applicants are urged to submit their applications before April 30, 2016, since there are only a limited number of spaces available. Non-US applicants requiring US visas are requested to apply early. For more information, see http://fm.csl.sri.com/SSFT16

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Intuitionistic, many-valued, linear logics, are typical examples. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This open conference is the first of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

For more information, see http://sysmics-16.iiia.csic.es/

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.