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.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/lfcs-2016/

The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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 LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/lfcs-2016/

The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

The conference covers a broad spectrum of disciplines working towards enabling intelligent systems to interact with humans using natural language, to understanding computational and other linguistic properties of language, and to enhancing human-human communication through services such as speech recognition, automatic translation, information retrieval, text summarization, and information extraction

For more information see http://naacl.org/naacl-hlt-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.

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 LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/lfcs-2016/

The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

For more information, see http://www.aslonline.org/asl_meetings.php

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 LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode.

For more information, see http://lfcs.info/lfcs-2016/

The 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

For more information, see http://www.aslonline.org/asl_meetings.php

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

For more information, see http://www.aslonline.org/asl_meetings.php

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

The 2015-16 Winter Meeting of the Association for Symbolic Logic will take place in conjunction with the Joint Mathematics Meetings. The invited speakers include: D. Bartosova, N. Dobrinen, L. van den Dries, J. Freitag, C. Jockusch, B. Khoussainov, and J. Zapletal.

For more information, see http://www.aslonline.org/asl_meetings.php

We are happy to announce the 98th Peripatetic Seminar on Sheaves and Logic, which will take place during the weekend of 9 and 10 January 2016 in Doorn, the Netherlands. As usual, we invite talks on every aspect of category theory or its applications in mathematics.

To have a clear estimate of the number of participants, we ask participants to register preferably before December 21. For more information, see https://staff.fnwi.uva.nl/b.vandenberg3/PSSL98/

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

We are happy to announce the 98th Peripatetic Seminar on Sheaves and Logic, which will take place during the weekend of 9 and 10 January 2016 in Doorn, the Netherlands. As usual, we invite talks on every aspect of category theory or its applications in mathematics.

To have a clear estimate of the number of participants, we ask participants to register preferably before December 21. For more information, see https://staff.fnwi.uva.nl/b.vandenberg3/PSSL98/

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

There are various forms of reported speech in which the aspect of reporting is somehow backgrounded, or not-at-issue. and the content of the report itself, i.e., the complement or quoted phrase, serves as the main point. In this workshop we want to bring together the more or less disjoint strands of research on the different classes of backgrounded reporting to explore the possibilities of a unified approach of all these phenomena that takes into account the relevant facts about commitment, denial, and projection.

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

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

Note that it was previously announced that this event was going to take place on 8 January 2016.

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

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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 6th Bar-Ilan Winter School on Cryptography has as a theme "Cryptography in the Cloud - Verifiable Computation and Special Encryption". The school program includes approximately 21 hours of lectures and a half-day excursion. The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome.

The winter school is open to participants from all over the world; all talks will be in English. Participation is free, but registration is required. Registration includes school participation, lunch, refreshments and the excursion (Accommodation is not included).

For more information, see http://crypto.biu.ac.il/6th-biu-winter-school

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-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.

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 first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-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.

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 first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-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.

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 first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-2016/

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area.

For more information, see http://fscdconference.org/ and http://fscd2016.dcc.fc.up.pt/ or email fscd2016 at dcc.fc.up.pt.

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 first CROSSING Winter School on Quantum Security will take place in Darmstadt, Germany, from January 25th to January 29th, 2016. The school is aimed mainly at young students and security researchers with interest in quantum cryptography, quantum computing, and quantum complexity theory.

As quantum computing slowly but steadily makes its way from the realm of science fiction to the realm of feasibility, modern cryptographic technologies face the danger of becoming obsolete, exposing critical infrastructures to unforeseen consequences. Good practice in security requires worst-case scenarios to be considered well before they manifest in order to prevent them. For this reason, in the last few years we have witnessed a growing interest in quantum security from academia, private companies, and governmental agencies. There is unfortunately often a missing link between understanding the quantum theory and designing quantum-proof security solutions. The aim of this winter school is to give an opportunity to fill this gap for many researchers worldwide.

The school will focus on the connection between quantum information theory and cryptography, with the participation of renowned international speakers. Addressed topics will include: quantum computing and quantum algorithms, quantum information and code theory, quantum complexity theory and query complexity, provable security and reductions for post-quantum cryptography, quantum key distribution, and other quantum cryptographic protocols.

For more information, see https://www.crossing.tu-darmstadt.de/en/news-events/winter-school-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.

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.

Since 1995, the NLDB conference aims at bringing together researchers, industrials and potential users interested in various applications of Natural Language in the Database and Information Systems field.

For more information see http://www.salford.ac.uk/conferencing-at-salford/conference-management/

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.