The conference features talks by invited speakers Catarina Dutilh Novaes (Groningen) and Stephen Read (St Andrews).

It will also include submitted talks on the following topics: - the bounds of logic and the bounds of rationality
- criteria of formality, logical hylomorphism, the invariance under isomorphism as a criterion of formality
- psychologism and anti-psychologism
- limits of classical logic, logical monism and logical pluralism, universal logic
- logic as a theory of agency, ideal and non-ideal logical agents
- logic as metaphysics, the connection between epistemic logic and epistemology
- Wittgenstein and the limits of logic
- logical form and linguistic form, the problem of ontological commitment

For more information, see https://sites.google.com/site/hselogic2016/ or contact Anastasiya Yastrebtseva ( ayastrebtseva at gmail.com or Vitaliy Dolgorukov (v.dolgorukov at gmail.com).

The conference brings together researchers from various fields of logic with applications in computer science. In addition to contributed lectures, student sessions will be organized.

For more information, see http://imft.ftn.uns.ac.rs/math/cms/LAP2016>

The rise of Bitcoin and other so-called "cryptocurrencies" has renewed interest in electronic payment systems and raised many research questions, which range from understanding, formalizing, and analyzing the protocols that support the underlying blockchain technology to designing new cryptocurrencies with better security guarantees. There have been a number of relevant papers that have appeared in recent cryptography and security conferences, but the space of research problems is enormous and -- especially with the introduction of more robust blockchain platforms like Ethereum -- is still growing.

This summer school aims to bring together the communities working on cryptocurrencies, cryptographic electronic cash, and distributed consensus. The target audience is anyone (students, researchers, developers, professionals) with an interest in cryptography/security. It is helpful for participants to have a basic knowledge of cryptography but we will make sure to provide an overview of all the necessary cryptographic building blocks; similarly, we expect that the school will be able to educate and motivate even those participants who already work within these research areas.

For more information, see http://bitcoinschool.gr/

The rise of Bitcoin and other so-called "cryptocurrencies" has renewed interest in electronic payment systems and raised many research questions, which range from understanding, formalizing, and analyzing the protocols that support the underlying blockchain technology to designing new cryptocurrencies with better security guarantees. There have been a number of relevant papers that have appeared in recent cryptography and security conferences, but the space of research problems is enormous and -- especially with the introduction of more robust blockchain platforms like Ethereum -- is still growing.

This summer school aims to bring together the communities working on cryptocurrencies, cryptographic electronic cash, and distributed consensus. The target audience is anyone (students, researchers, developers, professionals) with an interest in cryptography/security. It is helpful for participants to have a basic knowledge of cryptography but we will make sure to provide an overview of all the necessary cryptographic building blocks; similarly, we expect that the school will be able to educate and motivate even those participants who already work within these research areas.

For more information, see http://bitcoinschool.gr/

Kick-off workshop for the ERC grant "BroadSem: Broad Coverage Semantic Parsing" on June 2 in central Amsterdam (Allard Pierson Museum). Besides semantic parsing, we will also look into related problems and methods in natural language understanding. We have a great set of guest speakers including Guillaume Bouchard (UCL), Mirella Lapata (Edinburgh), Dan Roth (UIUC) and Nathan Schneider (GWU). Free sign-up!

For more information, see https://broadsem.wordpress.com/

The Grant Team organises an information meeting on European consortium grants, ie. funding schemes for projects to be carried out by international consortia. Confirmed speakers are Wim Hupperetz, Julia Noordegraaf and Ronald Pfau; they will speak about (inter alia) the Marie Curie Innovative Training Networks, the Horizon2020 funding scheme (in particular Societal Challenge 6: 'Europe in a changing world - Inclusive, innovative and reflective societies') and best practices regarding networking in 'Europe' and forming fruitful international connections. The meeting is scheduled for Thursday 2 June at 15.00-17.00, Oudemanhuispoort room C3.23. All are welcome; please send an e-mail to subsidie-fgw at uva.nl if you are planning to attend.

For more information, see https://medewerker.uva.nl/en/humanities/a-z/a-z/a-z/content/folder-2/grant-team/

HIGHLIGHTS 2016 is the fourth conference on Highlights of Logic, Games and Automata which aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume.

The conference itself is three days long (Sept. 7-9) and it is preceeded by the Highlights tutorial day (Sept. 6). Representative areas include, but are not restricted to: logic and finite model theory, automata theory, games for logic and verification. The contributed talks are around ten minutes. Ideally, they let participants learn something new, and enable them to understand the objective/problem/question and the result, and to get an idea of the technique.

Detailed information about Highlights 2016 are available at http://highlights-conference.org.

The workshop aims to bring together researchers working in (1) Provability Logic, (2) Realizability, (3) Proof certificates and (4) Justification Logic. The aim is to foster collaboration and share ideas between the four fields, and all presentations will be accessible to researchers and students working in any of them.

There will be one session devoted to each field, each with two invited speakers. In order to generate a constructive exchange, aside from one hour of speaking time, each presentation will include an additional half hour devoted to questions and discussion.

The workshop is open to all and no registration is needed. For more information, see the workshop webpage at http://www.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4th-june or direct inquiries to David Fernández Duque at david.fernandez at irit.fr.

This workshop intends to gather the research communities for computer Theorem Proving (TP), Automated Theorem Proving (ATP), Interactive Theorem Proving (ITP), as well as Computer Algebra Systems (CAS) and Dynamic Geometry Systems (DGS). The goal of this union is to combine and focus systems of these areas to enhance existing educational software as well as studying the design of the next generation of mechanised mathematics assistants (MMA).

The workshop provides a meeting place for educators and developers of educational mathematics software and experts in TP. The discussions shall clarify the requirements of education, identify advantages and promises of TP for learning and motivate development of such a novel kind of educational mathematical tools.

For more information, see http://www.uc.pt/en/congressos/thedu/thedu16

The workshop aims to bring together researchers working in (1) Provability Logic, (2) Realizability, (3) Proof certificates and (4) Justification Logic. The aim is to foster collaboration and share ideas between the four fields, and all presentations will be accessible to researchers and students working in any of them.

There will be one session devoted to each field, each with two invited speakers. In order to generate a constructive exchange, aside from one hour of speaking time, each presentation will include an additional half hour devoted to questions and discussion.

The workshop is open to all and no registration is needed. For more information, see the workshop webpage at http://www.cimi.univ-toulouse.fr/cippmi/en/workshop-ii-3-4th-june or direct inquiries to David Fernández Duque at david.fernandez at irit.fr.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing involving learning, knowledge discovery, knowledge representation and reasoning, ontology engineering, and as well as information retrieval and text processing. Thus, there exist many ``natural links'' between FCA and AI.

Accordingly, in this workshop, we will be interested in two main issues:
- How can FCA support AI activities such as knowledge processing, learning, natural language processing and information retrieval.
- How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain.

For more information, see http://www.fca4ai.hse.ru/2016

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

For more information see http://qpl2016.cis.strath.ac.uk/

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

For more information see http://qpl2016.cis.strath.ac.uk/

When we hear music, we often tap our feet, dance together or play and sing together. In order to do this, we need to be able to synchronize our behavior to the regular beat that is often present in music. This seems an easy task, but how do our brains accomplish this? Can everyone do this? And is this specific to humans?

This workshop on beat perception is organised on the occasion of the PhD defense of Fleur Bouwer on June 8. Distinguished international speakers will discuss several aspects of beat perception and prediction. Topics range from the role of the motor system in beat perception, to beat perception in non-human animals and timing and predictions in the human brain.

For more information on the workshop, see http://www.fleurbouwer.nl/workshop

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

For more information see http://qpl2016.cis.strath.ac.uk/

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

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

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

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

For more information see http://qpl2016.cis.strath.ac.uk/

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

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

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

This is a workshop to be held in Canterbury which explores how type theory might play the kinds of role in philosophy taken at present by standard calculi such as first-order logic, set theory and modal logic. The event will consist of tutorials and talks and is open to anyone who would like to find out more about type theory.

For more details see https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.

The LMP Graduate Student Conference is a graduate student conference in philosophy at Western University in London, Ontario, Canada. LMP will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. James Ladyman (University of Bristol) will be giving the keynote address.

For more information, see http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.

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

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

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

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

For more information see http://qpl2016.cis.strath.ac.uk/

This is a workshop to be held in Canterbury which explores how type theory might play the kinds of role in philosophy taken at present by standard calculi such as first-order logic, set theory and modal logic. The event will consist of tutorials and talks and is open to anyone who would like to find out more about type theory.

For more details see https://ncatlab.org/davidcorfield/show/Type+Theory+and+Philosophy.

The LMP Graduate Student Conference is a graduate student conference in philosophy at Western University in London, Ontario, Canada. LMP will bring together philosophers of logic, mathematics, and physics for two days of presentations and discussions with some of the leaders in these fields. James Ladyman (University of Bristol) will be giving the keynote address.

For more information, see http://logicmathphysics.ca. Please send questions to the LMP Conference Committee at uwolmp at gmail.com.

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

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

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

This workshop will critically explore Georg Kreisel's seminal contributions to logic and the philosophy of mathematics, by bringing together a number of experts to discuss developments initiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve around three main topics: the "unwinding program" in proof theory, new insights about intuitionism and finitism in the foundations of mathematics, and Church's thesis and informal rigor in computability and philosophy of mathematics.

For more information, see the conference webpage at http://www.ihpst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at marianna.antonutti at gmail.com and mattia.petrolo at univ-paris1.fr.

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

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

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

This workshop will critically explore Georg Kreisel's seminal contributions to logic and the philosophy of mathematics, by bringing together a number of experts to discuss developments initiated or significantly advanced by Kreisel's work in different areas. The discussion will revolve around three main topics: the "unwinding program" in proof theory, new insights about intuitionism and finitism in the foundations of mathematics, and Church's thesis and informal rigor in computability and philosophy of mathematics.

For more information, see the conference webpage at http://www.ihpst.cnrs.fr/en/activites/conferences/. To enquire about the workshop, please contact the organizers at marianna.antonutti at gmail.com and mattia.petrolo at univ-paris1.fr.

Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different types of inference to reason with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others.

It turns out that everyday reasoning usually shows two salient intertwined aspects, the ampliative aspect (augmenting reasoning by allowing more conclusions) and the defeasible aspect (curtailing reasoning by disregarding or disallowing some conclusions). Several efforts have been put into the study and definition of formalisms within which these aspects could adequately be captured at different levels, but despite the progress that has been achieved, a large avenue remains open for exploration.

DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

For more information, see http://dare2016.yolasite.com or send enquiries to dare.to.contact.us at gmail.com.

Normative systems are complex systems which use normative concepts in order to describe or specify their behaviour. A normative multi-agent system combines models for normative systems (dealing for example with conventions, or obligations) with models for multi-agent systems (dealing with coordination between individual agents). Norms have been proposed in multi-agent systems and computer science to deal with issues of coordination, security, electronic commerce, electronic institutions and agent organization.

Due to the lack of a unified theory, many researchers are presently developing their own ad hoc concepts and applications. The aim of this workshop is to stimulate interdisciplinary research on normative concepts and their applications.

For more information, please contact the organizers, or refer to the homepage at http://icr.uni.lu/normas/.

AI*IA 2016 covers broadly the many aspects of theoretical and applied Artificial Intelligence. A series of workshops dedicated to specific topics will complement the main conference program.

The conference is organized by the Italian Association for Artificial Intelligence (AIIA), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field.

For more information see http://www.aixia2016.unige.it/

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

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

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

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/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

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

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

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

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/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

The London Aesthetics Forum (Institute of Philosophy), with generous funding from the British Society of Aesthetics, announces a conference on Pictures and Propositions. The event is free and open to all but registration is required.

This conference brings philosophers from art and aesthetics working on pictorial representation together with philosophers of mind and language working on the nature of content. We believe that each party is well positioned to offer new insights to the other.

For more information, see https://www.eventbrite.co.uk/e/pictures-and-propositions-tickets-24998072909. Please direct inquires to Alex Grzankowski: ag890 at cam.ac.uk

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/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

The London Aesthetics Forum (Institute of Philosophy), with generous funding from the British Society of Aesthetics, announces a conference on Pictures and Propositions. The event is free and open to all but registration is required.

This conference brings philosophers from art and aesthetics working on pictorial representation together with philosophers of mind and language working on the nature of content. We believe that each party is well positioned to offer new insights to the other.

For more information, see https://www.eventbrite.co.uk/e/pictures-and-propositions-tickets-24998072909. Please direct inquires to Alex Grzankowski: ag890 at cam.ac.uk

The conference is centered around the areas of logic, epistemology, philosophy and history of science, while bringing together scholars in the fields of philosophy, logic, mathematics, and computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE's strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired in, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods.

For more information, see http://www.cle.unicamp.br/trendsxvi/

This special issue initiates Philosophy and Technology's new subject area on logic and technology by proposing to explore how our thinking about logic can be shaped by our thinking about technology. This includes, first and foremost, the suggestion that we can see logic as a technology itself. A general header under which we can study logics as technologies starts from the insight that logical systems and theories are (pick your preferred term) developed, engineered or designed, and are often so with a particular application in mind. Many of their properties are best seen as the result of design or modelling decisions.

We welcome papers that explore the potential connections between logic and technology, and further develop fruitful ways of technological thinking about logic. Deadline for submission (extended): 15 June 2016.

For more information, see here or contact Patrick Allo at patrick.allo at oii.ox.ac.uk.

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/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS)
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

For more information, see http://automata2016.ini.uzh.ch/

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

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

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

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/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS)
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

For more information, see http://automata2016.ini.uzh.ch/

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

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

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

The topic of the workshop is intended to be construed fairly broadly, with an eye on questions regarding conceptual clarification. We are especially interested in debates concerning:
(*) a priori methods and a posteriori methods in philosophy
(*) conceptual analysis and Carnap's conception of explication
(*) formal methods in philosophy

Attendence is free of charge, but please register by June 10, 2016. For details see https://philosophicalmethods.wordpress.com/.

The aim of this workshop is to further stimulate the synergy between, on the one hand, ongoing work that concerns the logic and philosophy of human (intentional) agency, and on the other, conceptual and formal work on causation and causal reasoning. Although this means the workshop covers a very broad range of possible topics, we particularly welcome talks in which both (intentional) agency and causation, and their logical and conceptual interrelations, get a fair share.

Keynote speakers: Jan Broersen (University of Utrecht, Netherlands), Agnes Moors (Catholic University of Leuven, Belgium), Elisabeth Pacherie (Institut Jean Nicod, France)

For more information, see http://www.lrr.ugent.be/ac/

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in: implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity.

The programme will consist of invited lectures as well as contributed talks selected by the Programme Committee. Invited speakers: Anupam Das (Lyon), Hugo Férée (Darmstadt), Yevgeny Kazakov (Ulm) and Emanuel Kieronski (Wroclaw).

For more information, see http://lcc2016.cs.unibo.it/

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/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

The aim of the AUTOMATA series is:
- To establish and maintain a permanent, international, multidisciplinary forum for the collaboration of researchers in the field of Cellular Automata (CA) and Discrete Complex Systems (DCS)
- To provide a platform for presenting and discussing new ideas and results.
- To support the development of theory and applications of CA and DCS (e.g. parallel computing, physics, biology, social sciences, and others) as long as fundamental aspects and their relations are concerned.
- To identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.

For more information, see http://automata2016.ini.uzh.ch/

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

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

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

The topic of the workshop is intended to be construed fairly broadly, with an eye on questions regarding conceptual clarification. We are especially interested in debates concerning:
(*) a priori methods and a posteriori methods in philosophy
(*) conceptual analysis and Carnap's conception of explication
(*) formal methods in philosophy

Attendence is free of charge, but please register by June 10, 2016. For details see https://philosophicalmethods.wordpress.com/.

The Plural Foundations conference will showcase and explore the uses of logics of plural quantification in the philosophical foundations of mathematics.

Speakers: Neil Barton (Kurt Gödel Research Center) Francesca Boccuni (San Raffaele, Milan) Berta Grimau (Glasgow) and Øystein Linnebo (Oslo).

For more information and registration, see https://www.eventbrite.co.uk/e/. Note that there are a limited number of places available at this workshop. Please direct any further enquiries to Simon Hewitt at s.hewitt at leeds.ac.uk.

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.

All are welcome, including MoL students.

Note that this is different date than was communicated before, i.e., the 24th of June. That date clashed with other events. We therefore decided to move the ILLC colloquium to the 17th of June.

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

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

TIME 2016 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 23rd edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond.

For more information, see http://time2016.compute.dtu.dk or email the organizers at time2016 at compute.dtu.dk.

AI research continues to face huge challenges in developping truly intelligent systems. Recent developments in neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The workshops in the NeSy series are intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

Keynote speakers are Leon Bottou (Facebook AI Research, U.S.A.) and Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.). NeSy'16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence 2016.

For more information, see http://www.neural-symbolic.org/NeSy16/ or contact TarekRichard.Besold at unibz.it.

The Colloquium Logicum is the biannual meeting of the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung in den exakten Wissenschaftgen (DVMLG).

This year, the Colloquium takes place in Hamburg, Germany and is organized by Alexander Block, Yurii Khomskii and Benedikt Löwe. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences, in particular, logic in philosophy, computer science and artificial intelligence.

For more information, see http://www.math.uni-hamburg.de/spag/ml/CL2016/ or contact us by email at cl2016.math at lists.uni-hamburg.de.

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

Keynote speakers are Richard Pettigrew (University of Bristol), Sonja Smets (University of Amsterdam) and Kevin Zollman (Carnegie Mellon University). The full program and further information can be found at http://www.philos.rug.nl/few2016/

*Participation is free, but registration until Mai 31 is required. To register please write an email to 2016few at gmail.com

The Formal Epistemology Workshop 2016 is followed by a workshop on chance. For further information on this second event please visit http://www.philos.rug.nl/chance/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

Keynote speakers are Richard Pettigrew (University of Bristol), Sonja Smets (University of Amsterdam) and Kevin Zollman (Carnegie Mellon University). The full program and further information can be found at http://www.philos.rug.nl/few2016/

*Participation is free, but registration until Mai 31 is required. To register please write an email to 2016few at gmail.com

The Formal Epistemology Workshop 2016 is followed by a workshop on chance. For further information on this second event please visit http://www.philos.rug.nl/chance/

Anuj Dawar, who is visiting from Cambridge, will give a three-part tutorial on 'Definability and Complexity of Counting Logics'.

Part 1 (21 June 13:00-15:00) covers first-order logic with counting, fixed-point logic with counting, relations to complexity, and definability of constraint satisfaction problems.
Literature: Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)

Part 2 (22 June 13:00-15:00) covers combinatorial optimization problems and their linear programming relaxations and issues of symmetry and definability.
Literature: Matthew Anderson, Anuj Dawar, Bjarki Holm, Solving Linear Programs without Breaking Abstractions, J. ACM 62(6): 48 (2015)

Part 3 (23 June 11:00-14:00) covers the relationship between definability and circuit complexity for first-order logic, fixed-point logic and counting logics.
Literature: Matthew Anderson, Anuj Dawar: On Symmetric Circuits and Fixed-Point Logics. STACS 2014: 41-52

The Workshop on Termination (WST) traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilization of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The event is held as part of CLA 2016

For more information, see http://cl-informatik.uibk.ac.at/events/wst-2016/

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

Keynote speakers are Richard Pettigrew (University of Bristol), Sonja Smets (University of Amsterdam) and Kevin Zollman (Carnegie Mellon University). The full program and further information can be found at http://www.philos.rug.nl/few2016/

*Participation is free, but registration until Mai 31 is required. To register please write an email to 2016few at gmail.com

The Formal Epistemology Workshop 2016 is followed by a workshop on chance. For further information on this second event please visit http://www.philos.rug.nl/chance/

Anuj Dawar, who is visiting from Cambridge, will give a three-part tutorial on 'Definability and Complexity of Counting Logics'.

Part 1 (21 June 13:00-15:00) covers first-order logic with counting, fixed-point logic with counting, relations to complexity, and definability of constraint satisfaction problems.
Literature: Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)

Part 2 (22 June 13:00-15:00) covers combinatorial optimization problems and their linear programming relaxations and issues of symmetry and definability.
Literature: Matthew Anderson, Anuj Dawar, Bjarki Holm, Solving Linear Programs without Breaking Abstractions, J. ACM 62(6): 48 (2015)

Part 3 (23 June 11:00-14:00) covers the relationship between definability and circuit complexity for first-order logic, fixed-point logic and counting logics.
Literature: Matthew Anderson, Anuj Dawar: On Symmetric Circuits and Fixed-Point Logics. STACS 2014: 41-52

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/

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.

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

Anuj Dawar, who is visiting from Cambridge, will give a three-part tutorial on 'Definability and Complexity of Counting Logics'.

Part 1 (21 June 13:00-15:00) covers first-order logic with counting, fixed-point logic with counting, relations to complexity, and definability of constraint satisfaction problems.
Literature: Albert Atserias, Andrei A. Bulatov, Anuj Dawar: Affine systems of equations and counting infinitary logic. Theor. Comput. Sci. 410(18): 1666-1683 (2009)

Part 2 (22 June 13:00-15:00) covers combinatorial optimization problems and their linear programming relaxations and issues of symmetry and definability.
Literature: Matthew Anderson, Anuj Dawar, Bjarki Holm, Solving Linear Programs without Breaking Abstractions, J. ACM 62(6): 48 (2015)

Part 3 (23 June 11:00-14:00) covers the relationship between definability and circuit complexity for first-order logic, fixed-point logic and counting logics.
Literature: Matthew Anderson, Anuj Dawar: On Symmetric Circuits and Fixed-Point Logics. STACS 2014: 41-52

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/

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.

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

ICML is the leading international machine learning conference and is supported by the International Machine Learning Society (IMLS). The conference will consist of one day of tutorials, followed by three days of main conference sessions, followed by two days of workshops.

For more information, see http://icml.cc/2016/

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/

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.

On June 24th the Amsterdam Brain and Cognition center organizes the ABC Brain Day (& Night), the yearly conference where ABC members present their research.

For more information, see http://abc.uva.nl/events/item/brainday-2016.html

The Amsterdam Science Park community celebrates the summer this month, with the second edition of the Flux Festival. Coinciding with the traditional Midsummer's Day, the festival takes place on Friday, 24th June, and is open to everyone who works, studies or lives at the park. The event begins at 4pm and includes a beach volleyball tournament, sport clinics, DJs, live music, a barbecue and more. Read the latest news on the festival here, and see you there!

For more information, see http://www.amsterdamsciencepark.nl/index.php?id=198

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

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.

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

Epistemic game theory is a modern and blooming approach to game theory where thereasoning of people is at center stage. More precisely, it investigates the beliefs that people form - about the opponents' choices, but also about the opponents' beliefs - before they make a decision. This course offers a deep introduction into the beautiful world of epistemic game theory, and is open to advanced bachelor students, master students, PhD students and researchers all over the world.

The registration deadline is May 15, 2017.

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.

World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.

The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

For more information, see http://isao2016.inf.unibz.it or contact ISAO2016 at unibz.it.

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/

The Vossius Center for the History of Humanities and Sciences will be officially opened on Monday 27 June, 15.00h-18.00h, at the place where G. Vossius held his inaugural lecture in 1632.

Speakers include Dymph van den Boom, Frank van Vree, Hans-Jörg Rheinberger, Haun Saussy, Joep Leerssen, Julia Kursell, Jeroen van Dongen and Rens Bod. The afternoon will be concluded with the presentation of the new journal "History of Humanities". All those interested are cordially invited to attend the opening. Full program follows soon.

Since places are allotted on a first-come, first-serve basis, please register as early as possible (no later than 15 May).

For more information, see http://vossius.uva.nl/news-and-events/componenten-midden/news/news/content/

World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.

The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

For more information, see http://isao2016.inf.unibz.it or contact ISAO2016 at unibz.it.

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/

Funded by the Volkswagen foundation and hosted by the ILLC, talks (but not the closed group work-sessions) are open to interested researchers. Please e-mail frank.zenker at fil.lu.se before 20 June if you'd like to attend any of the talks.

For more information and a programme, see https://conceptualspaces360.wordpress.com/events/.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science and Philosophy. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas.

The featured topics for this meeting are the following: algebraic semantics and abstract algebraic logic, applications and foundational issues, first, higher-order and modal formalisms, geometric and game theoretic aspects, and proof theory and computational complexity. The invited speakers include: L. Cabrer, M. Gehrke, H. Hosni, P. Jipsen, and N. Preining.

For more information, see http://www.latd2016.co.za/

The targeted audience for this ESSLLI-2016 workshop are researchers associated with fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence, as well as researchers coming from application areas, like computer-aided innovation (CAI). Also, in 2016 especially researchers working on logical methods related to creativity, concept formation, and conceptual change are invited to submit original research contributions or opinion papers to the workshop.

For more information, see http://c3gi.inf.unibz.it/

World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.

The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

For more information, see http://isao2016.inf.unibz.it or contact ISAO2016 at unibz.it.

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/

Funded by the Volkswagen foundation and hosted by the ILLC, talks (but not the closed group work-sessions) are open to interested researchers. Please e-mail frank.zenker at fil.lu.se before 20 June if you'd like to attend any of the talks.

For more information and a programme, see https://conceptualspaces360.wordpress.com/events/.

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science and Philosophy. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas.

The featured topics for this meeting are the following: algebraic semantics and abstract algebraic logic, applications and foundational issues, first, higher-order and modal formalisms, geometric and game theoretic aspects, and proof theory and computational complexity. The invited speakers include: L. Cabrer, M. Gehrke, H. Hosni, P. Jipsen, and N. Preining.

For more information, see http://www.latd2016.co.za/

In recent years we are witnessing a cognitive turn in logic. It results in inclusion of some areas of cognitive science, psychology and computer science into its hard core. Consequently, logic becomes capable of modelling actual cognitive activity of real life agents. This turn does not create a rival for the mathematical logic: it forms a next step in the development of logic. It also reminds that for many centuries logic stood in a close and natural relationship to the science of actual reasoning processes.

Poznan Reasoning Week, consisting of three conferences, aims at bringing together experts from various fields, whose research focus on reasoning processes and their modelling from three perspectives:
1. the interplay of logic and cognition (Logic and Cognition 2016);
2. formal modelling of reasoning and argumentation (14th ArgDiap);
3. natural question processing (QuestPro 2016).

For more information, see https://poznanreasoningweek.wordpress.com/

The conference is aimed to serve as a forum for the effective exchange of novel results and the survey of works in the widely understood non-classical logics and their applications.

For more information, see http://filozof.uni.lodz.pl/ncl

The orthodox approach to foundations interprets mathematics in the universe of sets. More recently, however, there have been developments that offer alternatives, such as combining category-theoretic structural methods with type theory to produce a foundation that accounts for the structural aspects of mathematical practice. We are now at a point where the notion of mathematical structure can be elucidated more clearly and its role in the foundations of mathematics can be explored more fruitfully.

The main objective of the conference is to reevaluate the different perspectives on mathematical structuralism in the foundations of mathematics and in mathematical practice.

World-class experts in different disciplines (Ontology Engineering, Conceptual Modeling, Knowledge Representation, Logic and Philosophy) will meet for a week with students, researchers and practitioners and present courses in complementary aspects of Applied Ontology. The summer school will be a full immersion experience in ontology, where lecturers engage in open discussions with each other as well as interact with the participants.

The school will take place in Bozen-Bolzano, the beautiful capital city of South Tyrol, Italy, and is open to students, researchers and practitioners. The event will have a limited number of participants to ensure the quality of the interactions and the immersion experience.

For more information, see http://isao2016.inf.unibz.it or contact ISAO2016 at unibz.it.

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/

Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science and Philosophy. This conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas.

The featured topics for this meeting are the following: algebraic semantics and abstract algebraic logic, applications and foundational issues, first, higher-order and modal formalisms, geometric and game theoretic aspects, and proof theory and computational complexity. The invited speakers include: L. Cabrer, M. Gehrke, H. Hosni, P. Jipsen, and N. Preining.

For more information, see http://www.latd2016.co.za/

The Australasian Association for Logic will hold its 2016 conference in Melbourne from June 30 to July 2. The keynote speaker is Dr. Sara L. Uckelman of Durham University. The conference venue is La Trobe City Campus, located in the middle of Melbourne's CBD. All are welcome to attend the conference, although there is a registration fee.

For more information and a programme, see http://blogs.unimelb.edu.au/logic/aal-2016/ or contact the conference organizers at aalmelb2016 at gmail.com.