The Rudolf-Carnap-Lectures are an annual event started by Prof. Dr. Albert Newen from the Institute of Philosophy II at Ruhr-Universität Bochum, Germany in 2007. The Lectures provide a platform for distinguished scholars to present their work in the form of several talks on their preferred topic. The focus is usually on the areas of Philosophy of Mind, Language or Science. In turn, graduate students interested in these topics get the chance to engage in extensive discussion and get in touch with state-of-the-art research. In addition, some of them have the chance to present their own work on related topics during a graduate conference, based on a peer review process.

From June 8-10, 2017, the next RCL will be presented by Prof. Frank Jackson (ANU), who is going to present his work on meaning, perception, and the nature of mind in Bochum, as always in the context of a Graduate workshop where several PhD students and Postdocs will also have the chance to present their ideas on themes from the work of Frank Jackson.

The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia.

The Symposium series is organized by the University of Duesseldorf in conjunction with the Centre for Language, Logic and Speech at the Tbilisi State University, the Georgian Academy of Sciences and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. There have been eight instalments of this series of biannual Symposia. The preceding meetings took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997), in the Black see coastal resort Chakvi (1999), in the spa resort Likani situated in the Borjomi Canyon (2001), Tbilisi (2003), Batumi (2005), Tbilisi (2007), Bakuriani (2009), Kutaisi (2011), Gudauri (2013) and Tbilisi (2015).

Throughout the last two decades philosophical discussions on scientific inquiry have increasingly utilized formal models. To this end a variety of formal models have been developed, starting from analytical ones to agent-based models that provide computer simulations of scientific inquiry. The aim of this conference is to bring together scholars working on different approaches to the formal modeling of scientific inquiry to discuss both different types of formal models and the prospects and limits of their usefulness for philosophy of science, social epistemology and science policy.

Keynote speakers: Gregor Betz (Karlsruhe Institute of Technology), Leah Henderson (University of Groningen) and Jason McKenzie Alexander (London School of Economics).

Grammatical Inference (GI) studies machine learning algorithms for classical recursive models of computations like automata and grammars. The expressive power of these models and the complexity of associated computational problems are a major research topic within theoretical computer science (TCS). This workshop aims at offering a favorable place for dialogue and at generating discussions between researchers from these two communities.

The workshop will have a particular emphasis on the recent successes due to collaborations between members with these two different backgrounds.

MAMLS at VCU will be a gathering of set theorists working on large cardinals, inner models, forcing and relative consistency results, sponsored by the NSF and the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University.

Speakers: Omer Ben-Neria, James Cummings, Monroe Eskew, Victoria Gitman, Joel David Hamkins, John Krueger, Dima Sinapova, Hugh Woodin.

MAMLS at VCU will be a gathering of set theorists working on large cardinals, inner models, forcing and relative consistency results, sponsored by the NSF and the Department of Mathematics and Applied Mathematics at Virginia Commonwealth University.

Speakers: Omer Ben-Neria, James Cummings, Monroe Eskew, Victoria Gitman, Joel David Hamkins, John Krueger, Dima Sinapova, Hugh Woodin.

The ITP conference series is concerned with all topics related to interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP is the evolution of the TPHOLs conference series to the broad field of interactive theorem proving.

The mission of the TARK conferences is to bring together researchers from a wide variety of fields in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. TARK 2017 is the 16th conference of the TARK conference series. Previous conferences have been held bi-annually around the world.

Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action; applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems.

The conference is concerned with the theory of computability and complexity over real-valued data. 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.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques).

CALCO 2017 will feature a Special Session on Metrics, Privacy and Learning. CALCO 2017 will run together with the CALCO Early Ideas Workshop, a workshop intended to enable presentation of work in progress and original research proposals, with dedicated sessions at the end of each conference day. Finally, the CALCO Tools Workshop, dedicated to tools based on algebraic and/or coalgebraic principles, will take place on June 13.

The past few decades have seen major developments and practical achievements in automated reasoning systems. For example, SAT solving has become an inherent part of the standard hardware production process; SMT solvers are now the backbone of most software verification techniques; first-order theorem provers have pushed the productivity of interactive theorem proving to a new level; computer algebra systems have solved difficult problems in mathematics and biology; knowledge representation systems have become indispensable for reasoning in the world wide web; automatic termination checkers routinely prove the termination of complex programs.

This special issue is dedicated to automated reasoning systems in their full variety, along the dimensions of considered logic, considered problem, application area and user base. In particular, we welcome papers emphasizing engineering aspects because, while often crucial for the success of automated reasoning tools, they are typically not given a sufficiently detailed treatment in theory papers or system description papers published at conferences or workshops.

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to inaugurate, in addition to its biennial main conferences, its first graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition.

The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017).

The past two decades have seen impressive progress in a variety of areas of AI, particularly NLP, through the application of machine learning methods to a wide range of tasks. While deep learning is opening up exciting new approaches to longstanding, difficult problems in computational linguistics, it also raises important foundational questions. Specifically, we do not have a clear formal understanding of why multi-level recursive deep neural networks achieve the success in learning and classification that they are delivering. It is also not obvious whether they should displace more traditional, logically driven methods, or be combined with them. Finally, we need to explore the extent, if any, to which both logical models and machine learning methods offer insights into the cognitive foundations of natural language.

The Conference on Logic and Machine Learning in Natural Language will address these questions and related issues. It will feature invited talks by leading researchers in both fields, and high level contributed papers selected through open competition and rigorous review. Our aim is to initiated a genuine dialogue between these two approaches, where they have traditionally remained separate and in competition.

Previous shared tasks on coreference resolution have largely focused on entity coreference. But this constitutes only one of the many kinds of coreference relations that were discussed in theoretical and computational linguistics in the past few decades. In fact, by focusing on entity coreference resolution, NLP researchers have only scratched the surface of the wealth of interesting problems in coreference resolution. This workshop seeks to encourage work on under-investigated coreference resolution tasks (as well as coreference resolution in under-investigated languages) and provide a forum for coreference researchers to discuss and present such work.

This workshop is a chance to discuss the problem of the continuum (broadly construed) in the foundations of mathematics and physics, and how logical tools from the foundations of mathematics can be applied to illuminate issues in contemporary physics. This workshop is associated to Riccardo Pinosio's PhD defense.

The LICS 2017 workshop will bring together three strands of investigation dealing with the model theory and complexity of numeric graph parameters and their generalization to other first order structures.

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 or homotopy type theory.

Large and complex enterprises are a common occurrence in today?s business environment. Such enterprises usually involve complex and interdependent business processes and IT systems. Enterprise architecture is used to model such enterprises in a holistic fashion by connecting their IT infrastructure and applications to the business processes they support.

In this interdisciplinary workshop, organized in conjunction with the PhD defense of Marc van Zee, we attempt to build bridges between Enterprise architecture and formal reasoning methods in Artificial Intelligence, with the goal to recommend practitioners in their daily activities.

In this workshop we aim to explore the social dimensions of mathematics, connecting new work in social epistemology, mathematical practice, and sociology, in order to gain a better understanding of how collaboration in mathematics produces knowledge, proofs and understanding.

Speakers include Patrick Allo (Oxford), Line E. Andersen (Aarhus), Catarina Dutilh Novaes (Groningen) and S. Orestis Palermos (Edinburgh).

In this workshop we aim to explore the social dimensions of mathematics, connecting new work in social epistemology, mathematical practice, and sociology, in order to gain a better understanding of how collaboration in mathematics produces knowledge, proofs and understanding.

Speakers include Patrick Allo (Oxford), Line E. Andersen (Aarhus), Catarina Dutilh Novaes (Groningen) and S. Orestis Palermos (Edinburgh).

The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields.

The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields.

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The scientific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters. The symposium is open to researchers worldwide who work in logic broadly conceived.

The workshop Algebra and Coalgebra meet Proof Theory (ALCOP) brings together experts in algebraic logic, coalgebraic logic and proof theory to share new results and to strengthen the relationships between these fields.

The BCSWomen Lovelace Colloquium is an annual one day conference for women students of Computing and related subjects.  The event started in 2008, and moves around the country - in 2017 it will be at Aberystwyth Universityon April 12th.

The aims of this event are:

• To provide a forum for undergraduate women and masters students to share their ideas and network
• To provide a stimulating series of talks from women in computing, both from academia and industry
• To provide both formal (talks) and informal (networking) advice to undergraduate women about careers in computing from a female perspective

Scientists are regularly called upon to serve as experts advisors for various institutions, be it on the authorization of a new drug, the effects of climate change, or a monetary policy. Typically, expert advisers are constituted in panels, who are to utter their advice collectively. This raises a variety of questions about the decision-making process: How should the group best take advantage of the individual strengths and expertise? How to wager individual opinions and how to ideally deal with peer disagreement? One may want to devise special deliberation procedures to avoid groupthink, and to install voting rules tailored to the situation at hand.

This workshop aims at gathering researchers who tackle these normative questions, from a variety of perspectives. We aim to bring together approaches from fields such as philosophy of science, social epistemology, political philosophy, political science, judgment aggregation, social choice theory, or agent-based modeling that provide inside on these problems. We are particularly looking for papers who are concerned with the specificity of both group decision-making and scientific expertise (compared to, say, an individual scientist giving advice, or a group of friends choosing a restaurant). Submissions may cover abstract work as well as case studies, and may involve formal tools.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

Scientists are regularly called upon to serve as experts advisors for various institutions, be it on the authorization of a new drug, the effects of climate change, or a monetary policy. Typically, expert advisers are constituted in panels, who are to utter their advice collectively. This raises a variety of questions about the decision-making process: How should the group best take advantage of the individual strengths and expertise? How to wager individual opinions and how to ideally deal with peer disagreement? One may want to devise special deliberation procedures to avoid groupthink, and to install voting rules tailored to the situation at hand.

This workshop aims at gathering researchers who tackle these normative questions, from a variety of perspectives. We aim to bring together approaches from fields such as philosophy of science, social epistemology, political philosophy, political science, judgment aggregation, social choice theory, or agent-based modeling that provide inside on these problems. We are particularly looking for papers who are concerned with the specificity of both group decision-making and scientific expertise (compared to, say, an individual scientist giving advice, or a group of friends choosing a restaurant). Submissions may cover abstract work as well as case studies, and may involve formal tools.

]The International Conference on Logic, Rationality and Interaction (LORI) conference series aims at bringing together researchers working on a wide variety of logic-related topics that concern the understanding of rationality and interaction. The series aims at fostering a view of Logic as an interdisciplinary endeavour, and supports the creation of an East-Asian community of interdisciplinary researchers.

Computational linguistics studies natural language in its various manifestations from a computational point of view, both on the theoretical level (modeling grammar modules dealing with natural language form and meaning, and the relation between these two) and on the practical level (developing applications for language and speech technology). Right from the start in the 1950ties, there have been strong links with computer science and logic - one can think of Chomsky's contributions to the theory of formal languages and automata, or Lambek's logical modeling of natural language syntax. The workshop assesses the place of computer science logic in present day computational linguistics.

The workshop focuses on logical approaches to the computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. . It intends to be a forum for presenting new results as well as work in progress. LACompLing 2017 is affiliated with the 26th Annual EACSL Conference on Computer Science Logic CSL'2017, and co-located with: Logic in Stockholm 2017.

This conference promises to bridge the gap between literary formalism and formal logic by investigating conceptual and historical links between them in a range of subfields and periods. We will identify discrete affinities and analogical resonances among different areas of logic and literature. We will also consider what the cross-fertilization of ideas and practices has meant for logical and literary fields in the past, and might mean for these disciplines in the present.

We will convene amid an unprecedented wave of scholarship addressing historical and theoretical commonalities in literature and logic. Our conference undertakes an interdisciplinary effort to extend and enrich this current surge in research connecting formal logic and literary formalism.

EPIA is a well-established international conference on Artificial Intelligence, supported by Portuguese Association for Artificial Intelligence (APPIA). The purpose of the conference is to promote research in AI and scientific exchange among AI researchers, practitioners, scientists, and engineers in related disciplines.

As in past editions, EPIA 2017 will feature a number of leading researchers in AI as invited speakers.The technical program of EPIA 2017 will feature a set of thematic tracks, covering a wide spectrum of AI topics.The conference will also include a doctoral symposium, a poster session, AI competitions and tutorials on specific topics.

The MoH conferences are organized by the Society for the History of the Humanities and bring together scholars and historians interested in the history of a wide variety of disciplines, including archaeology, art history, historiography, linguistics, literary studies, media studies, musicology, and philology, tracing these fields from their earliest developments to the modern day.

Keynote Speakers: Elisabeth Décultot, Shamil Jeppie, and Peter Mandler.

This conference promises to bridge the gap between literary formalism and formal logic by investigating conceptual and historical links between them in a range of subfields and periods. We will identify discrete affinities and analogical resonances among different areas of logic and literature. We will also consider what the cross-fertilization of ideas and practices has meant for logical and literary fields in the past, and might mean for these disciplines in the present.

We will convene amid an unprecedented wave of scholarship addressing historical and theoretical commonalities in literature and logic. Our conference undertakes an interdisciplinary effort to extend and enrich this current surge in research connecting formal logic and literary formalism.

CAOS is a workshop devoted to the relationship between cognition and ontologies with the purpose to model, simulate and represent cognitive phenomena for artificial intelligence.

CAOS addresses the difficult and topical question how key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology and reasoning, can be formally and ontologically understood, analysed and represented. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.

CAOS is a workshop devoted to the relationship between cognition and ontologies with the purpose to model, simulate and represent cognitive phenomena for artificial intelligence.

CAOS addresses the difficult and topical question how key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology and reasoning, can be formally and ontologically understood, analysed and represented. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.

The major premise of the Scientiae conference series is that knowledge in the early modern world (roughly 1400-1800) was inherently interdisciplinary, involving complex mixtures of theories, practices and objects, which had yet to be separated into their modern 'scientific' configurations. Although centred on attempts to understand and control the natural world, Scientiae addresses natural philosophy, natural history, and the scientiae mixtae within a wide range of related fields, including but not restricted to Biblical exegesis, medicine, artisan practice and theory, logic, humanism, alchemy, magic, witchcraft, demonology, divinatory practices, astronomy, astrology, music, antiquarianism, experimentation and commerce.

This year attention is especially given to the history of early modern knowledge and erudition, the history of universities, particularly though not exclusively the history of the university of Padua, as well as the history of the book and the history of political thought. Our Keynote Speakers will be Paula Findlen (Stanford), Claire Preston (QM London), and Antonio Clericuzio (Roma Tre).

The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

MFCS conference series is organized since 1972. Traditionally, the conference moved between the Czech Republic, Slovakia, and Poland, while since a few years ago, the conference travels around Europe (in 2013 it was held in Austria, then in 2014 in Hungary, in 2015, in Italy). In 2016 the conference returned to Poland and in 2017 it will be held in Denmark. MFCS is a high-quality venue for original research in all branches of theoretical computer science. The broad scope of the conference encourages interactions between researchers who might not meet at more specialized venues.

MFCS 2017 consists of invited lectures and contributed talks, selected by an international program committee of researchers focusing on diverse areas of theoretical computer science. The conference will be accompanied by workshops.

At this conference we want to bring together linguists and philosophers interested in the methodological foundations of linguistics. In particular, we want to better understand whether linguistic intuitions can legitimately be used as evidence for theories of grammar. How big is the risk of bias and distortion when linguists use their own intuitions? Can the evidential value of linguistic intuitions be improved by systematically studying the intuitions of non-linguists? Or are there good reasons to prefer the judgements of expert linguists?

The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics. As the law gets more complex, conflicting, and ever changing, more advanced methodologies are required for analyzing, representing and reasoning on legal knowledge.Specifically, it is necessary to address both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance.

The aim of the MIREL-2017 workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, towards these objectives described above.

CAOS is a workshop devoted to the relationship between cognition and ontologies with the purpose to model, simulate and represent cognitive phenomena for artificial intelligence.

CAOS addresses the difficult and topical question how key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology and reasoning, can be formally and ontologically understood, analysed and represented. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.

The major premise of the Scientiae conference series is that knowledge in the early modern world (roughly 1400-1800) was inherently interdisciplinary, involving complex mixtures of theories, practices and objects, which had yet to be separated into their modern 'scientific' configurations. Although centred on attempts to understand and control the natural world, Scientiae addresses natural philosophy, natural history, and the scientiae mixtae within a wide range of related fields, including but not restricted to Biblical exegesis, medicine, artisan practice and theory, logic, humanism, alchemy, magic, witchcraft, demonology, divinatory practices, astronomy, astrology, music, antiquarianism, experimentation and commerce.

This year attention is especially given to the history of early modern knowledge and erudition, the history of universities, particularly though not exclusively the history of the university of Padua, as well as the history of the book and the history of political thought. Our Keynote Speakers will be Paula Findlen (Stanford), Claire Preston (QM London), and Antonio Clericuzio (Roma Tre).

The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. There are two special sessions planned: 'Logic in computer science' and 'New models of computation'.

For more information, see http://www.tamc2017.unibe.ch/

The conference 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 tothe study of physical behaviour in general. Work that appliesstructures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

CAOS is a workshop devoted to the relationship between cognition and ontologies with the purpose to model, simulate and represent cognitive phenomena for artificial intelligence.

CAOS addresses the difficult and topical question how key cognitive phenomena and concepts (and the involved terminology) that can be found across language, psychology and reasoning, can be formally and ontologically understood, analysed and represented. It moreover seeks answers to ways such formalisations and ontological analysis can be exploited in Artificial Intelligence and information systems in general.

The major premise of the Scientiae conference series is that knowledge in the early modern world (roughly 1400-1800) was inherently interdisciplinary, involving complex mixtures of theories, practices and objects, which had yet to be separated into their modern 'scientific' configurations. Although centred on attempts to understand and control the natural world, Scientiae addresses natural philosophy, natural history, and the scientiae mixtae within a wide range of related fields, including but not restricted to Biblical exegesis, medicine, artisan practice and theory, logic, humanism, alchemy, magic, witchcraft, demonology, divinatory practices, astronomy, astrology, music, antiquarianism, experimentation and commerce.

This year attention is especially given to the history of early modern knowledge and erudition, the history of universities, particularly though not exclusively the history of the university of Padua, as well as the history of the book and the history of political thought. Our Keynote Speakers will be Paula Findlen (Stanford), Claire Preston (QM London), and Antonio Clericuzio (Roma Tre).

The 6th International Conference on Computational Intelligence in Music, Sound, Art and Design (EvoMusArt) will be held in Amsterdam in 19-21 April 2017, as part of the evo* event. The main goal of EvoMusArt is to bring together researchers who are using Computational Intelligence techniques for artistic tasks such as visual art, music, architecture, video, digital games, poetry, or design. The conference gives researchers in the field the opportunity to promote, present and discuss ongoing work in the area.

TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. There are two special sessions planned: 'Logic in computer science' and 'New models of computation'.

For more information, see http://www.tamc2017.unibe.ch/

The major premise of the Scientiae conference series is that knowledge in the early modern world (roughly 1400-1800) was inherently interdisciplinary, involving complex mixtures of theories, practices and objects, which had yet to be separated into their modern 'scientific' configurations. Although centred on attempts to understand and control the natural world, Scientiae addresses natural philosophy, natural history, and the scientiae mixtae within a wide range of related fields, including but not restricted to Biblical exegesis, medicine, artisan practice and theory, logic, humanism, alchemy, magic, witchcraft, demonology, divinatory practices, astronomy, astrology, music, antiquarianism, experimentation and commerce.

This year attention is especially given to the history of early modern knowledge and erudition, the history of universities, particularly though not exclusively the history of the university of Padua, as well as the history of the book and the history of political thought. Our Keynote Speakers will be Paula Findlen (Stanford), Claire Preston (QM London), and Antonio Clericuzio (Roma Tre).

TAMC 2017 aims at bringing together a wide range of researchers with interest in computational theory and its applications. The main themes of the conference are computability, computer science logic, complexity, algorithms, models of computation and systems theory. There are two special sessions planned: 'Logic in computer science' and 'New models of computation'.

For more information, see http://www.tamc2017.unibe.ch/

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties.

The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice.

Given the complementarity and the synergy between these two communities, and following the successful experience of co-location of DICE-FOPARA 2015 in London at ETAPS 2015, we will hold the 8th Workshop on DICE and the 5th Workshop on FOPARA together at ETAPS 2017..

The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties.

The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice.

Given the complementarity and the synergy between these two communities, and following the successful experience of co-location of DICE-FOPARA 2015 in London at ETAPS 2015, we will hold the 8th Workshop on DICE and the 5th Workshop on FOPARA together at ETAPS 2017..

The AGI conference series is the premier international event aimed at advancing the state of knowledge regarding the original goal of the AI field — the creation of thinking machines with general intelligence at the human level and possibly beyond.

This is an unprecedentedly exciting time to be working in the AGI field. Today, in 2017, the quest to create AI systems with general intelligence at the human level and beyond is taken more seriously by a broader community than ever before. There has been no better time in history to gather together with other AGI researchers and learn and discuss and share together, regarding how best to take the next steps toward advanced artificial general intelligence.

Please join us to celebrate the memory of Raymond Smullyan, mathematician, musician, magician, teacher, author, showman, and dear friend. There will be two speakers, Melvin Fitting and Graham Priest, followed by an open mic session. If you would like an open mic slot or would like to contribute to a slide show of Ray's life, please indicate that on the RSVP.

While this event is open to the public, a photo ID is needed to enter the building and an RSVP is appreciated as space is limited. A dinner will follow at a nearby restaurant.

Negation and negativity are key features of human languages. While negation is a phenomenon of semantic opposition, negativity adresses a broader spectrum of phenomena. The investigation of the form and meaning of negation and negativity in natural language is at the heart of many debates in philosophy, linguistics, logic and psychology. The aim of this interdisciplinary workshop is to bring together the various perspectives of negation and negativity and thereby force the interdisciplinary research on negation and negativity in natural language.

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

Invited Speakers:Markus Krötzsch (TU Dresden), Andreas Pieris (Edinburgh), and Uli Sattler (Manchester).

TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableau-based reasoning and related methods is presented.

Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For large groups of logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2017 will be co-located with both the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017) and the 8th International Conference on Interactive Theorem Proving (ITP 2017).

Negation and negativity are key features of human languages. While negation is a phenomenon of semantic opposition, negativity adresses a broader spectrum of phenomena. The investigation of the form and meaning of negation and negativity in natural language is at the heart of many debates in philosophy, linguistics, logic and psychology. The aim of this interdisciplinary workshop is to bring together the various perspectives of negation and negativity and thereby force the interdisciplinary research on negation and negativity in natural language.

Negation and negativity are key features of human languages. While negation is a phenomenon of semantic opposition, negativity adresses a broader spectrum of phenomena. The investigation of the form and meaning of negation and negativity in natural language is at the heart of many debates in philosophy, linguistics, logic and psychology. The aim of this interdisciplinary workshop is to bring together the various perspectives of negation and negativity and thereby force the interdisciplinary research on negation and negativity in natural language.

To show that a developed approach for automated reasoning actually scales to real systems, large case studies are essential. The development of formal models of real systems usually requires translating informal descriptions into a chosen specification formalism, and usually takes a large amount of time, often months or years, without even starting a formal analysis. When publishing the results on a formal analysis in a scientific paper, details of the model have to be skipped due to lack of space, and often the lessons learnt from modelling are not discussed since they are not the main focus of the paper. The workshop aims at discussing exactly these unmentioned lessons.

The workshop emphasises modelling over verification. In particular, we invite papers that present full Models of Real Systems, which may lay the basis for future formal analysis. The workshop will bring together researchers from different communities that all aim at verifying real systems and are developing formal models for such systems. Areas where large models often occur are within networks, (trustworthy) systems and software verification (from byte code up to programming- and specification languages). An aim of the workshop is to present different modelling approaches and discuss pros and cons for each of them.

Today's IT systems, and the interactions between them, become increasingly complex. Power grid blackouts, airplane crashes, failures of medical devices and malfunctioning automotive systems are just a few examples of incidents that affect system safety. Determining the root cause(s) of a system-level failure and elucidating the exact scenario that led to the failure is today a complex and tedious task that requires significant expertise. Formal approaches for automated causality analysis, fault localization, explanation of events, accountability and blaming have been proposed independently by several communities - in particular, AI, concurrency, model-based diagnosis, software engineering, security engineering and formal methods. Work on these topics has significantly gained speed during the last years. The goals of this workshop are to bring together and foster exchange between researchers from the different communities, and to present and discuss recent advances and new ideas in the field.

CREST 2017 is a satellite event of ETAPS 2017.