The 93th Workshop on General Algebra (93. Arbeitstagung Allgemeine Algebra) will take place at the Bern University of Applied Sciences (BFH), Switzerland and will be jointly organized by the University of Bern and the Pädagogische Hochschule Bern.  We are happy to announce plenary lectures of the fowolling colleagues: Peter Gumm (Universität Marburg), Michael Pinsker (TU Wien / Charles University Prague), Marcel Tonga (Université de Yaounde I), Laura Ciobanu (Heriot-Watt University, Edinburg), Hilary Priestley (University of Oxford), Jens Zumbrägel (TU Dresden) and Jürg Schmid (Universität Bern).

On Friday 10 we will organize a special session on applications of algebra with contributions of Bernhard Ganter (TU Dresden), Baris Sertkaya (FH Frankfurt a.M.), Jens Zumbrägel (TU Dresden), Peter Mayr (University of Colorado) and Geoff Ostrin (Berner Fachhochschule).

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 21st LPAR will be held will be held in Maun, Botswana, at Cresta Riley's Hotel, 7-12th May 2017.

 

Manipal University is glad to inform you that they are organising a four-day international workshop on "Sanskrit Computational Linguistics - linking Sanskrit grammar and texts with modern Science and Technology" from January 2nd to 5th, 2017 at Dvaita Philosophy Resource Centre (DPRC), Department of European Studies (DES), Manipal University (MU) as part of their research project 'Grammatical Analysis and XML Tagging of Mahabharata'.

This workshop is open to all interested. Please send your details with letter of motivation by December 20, 2016 to dprc at manipal.edu.

Manipal University is glad to inform you that they are organising a four-day international workshop on "Sanskrit Computational Linguistics - linking Sanskrit grammar and texts with modern Science and Technology" from January 2nd to 5th, 2017 at Dvaita Philosophy Resource Centre (DPRC), Department of European Studies (DES), Manipal University (MU) as part of their research project 'Grammatical Analysis and XML Tagging of Mahabharata'.

This workshop is open to all interested. Please send your details with letter of motivation by December 20, 2016 to dprc at manipal.edu.

Manipal University is glad to inform you that they are organising a four-day international workshop on "Sanskrit Computational Linguistics - linking Sanskrit grammar and texts with modern Science and Technology" from January 2nd to 5th, 2017 at Dvaita Philosophy Resource Centre (DPRC), Department of European Studies (DES), Manipal University (MU) as part of their research project 'Grammatical Analysis and XML Tagging of Mahabharata'.

This workshop is open to all interested. Please send your details with letter of motivation by December 20, 2016 to dprc at manipal.edu.

Manipal University is glad to inform you that they are organising a four-day international workshop on "Sanskrit Computational Linguistics - linking Sanskrit grammar and texts with modern Science and Technology" from January 2nd to 5th, 2017 at Dvaita Philosophy Resource Centre (DPRC), Department of European Studies (DES), Manipal University (MU) as part of their research project 'Grammatical Analysis and XML Tagging of Mahabharata'.

This workshop is open to all interested. Please send your details with letter of motivation by December 20, 2016 to dprc at manipal.edu.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

For more information, see http://www.cse.iitk.ac.in/users/icla/ or contact icla2017.iitk at gmail.com.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

For more information, see http://www.cse.iitk.ac.in/users/icla/ or contact icla2017.iitk at gmail.com.

ICLA is a forum for bringing together researchers from a wide variety of fields in which formal logic plays a significant role, along with mathematicians, computer scientists, philosophers and logicians studying foundations of formal logic in itself. A special feature of this conference is the inclusion of studies in systems of logic in the Indian tradition, and historical research on logic.

For more information, see http://www.cse.iitk.ac.in/users/icla/ or contact icla2017.iitk at gmail.com.

The European Society for Analytic Philosophy organizes a major congress every three years. The next congress (ECAP 9) will take place at LMU Munich, Germany, from 21-28 August 2017. The goal of this congress is to bring together analytic philosophers from Europe and all over the world to discuss their work and to exchange ideas. There will also be four plenary speakers and ten panel speakers as well as several invited symposia representing the diverse field of analytic philosophy.

For more information, see http://analyticphilosophy.eu/ecap9/

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc.

M4M resumes after a short break, but will continue to be an important avenue for discussions of research in modal logics, especially on proof methods and decision procedures, and linkages of modal formalisms to computer science. In M4M-9 we hope to have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event. M4M-9 will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held during January 5-7, 2017.

The objective of the workshop is to discuss the latest advances in the modelling of discourses, in particular the kind held with pathological patients (e.g. schizophrenics). The adopted modelling paradigm is that of formal semantics, which falls within the scope of both linguistics and logic while also making ties to the philosophy of language.

Like the previous (In)Coherence of discourse workshops, the fourth edition is organised by the SLAM (Schizophrenia and Language: Analysis and Modelling) project. The SLAM project aims to systematize the study of pathological conversations as part of an interdisciplinary approach combining Psychology, Linguistics, Computer Science and Philosophy. It focuses particularly on conversations involving people with psychiatric disorders (schizophrenia, bipolar disorder).

 

 

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc.

M4M resumes after a short break, but will continue to be an important avenue for discussions of research in modal logics, especially on proof methods and decision procedures, and linkages of modal formalisms to computer science. In M4M-9 we hope to have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event. M4M-9 will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held during January 5-7, 2017.

Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.

We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?

This is a general model theory conference. The model theory of fields will receive particular attention, but contributed talks can be on any aspect of model theory. Students are very welcome and we intend to have a poster session. Talks will take place in Stellenbosch except on Tuesday 10 January when we shall visit the African Institute for Mathematical Sciences in Muizenberg.

Invited speakers: Artem Chernikov (UCLA), Franziska Jahnke (University of Muenster), Gareth Jones (University of Manchester) and Angus Macintyre (QMUL).

 

The workshop "Methods for Modalities" (M4M) aims to bring together researchers interested in developing proof methods, verification methods, algorithms and tools based on modal logic. Here the term "modal logics" is conceived broadly, including description logic, guarded fragments, conditional logic, temporal and hybrid logic, dynamic logic, etc.

M4M resumes after a short break, but will continue to be an important avenue for discussions of research in modal logics, especially on proof methods and decision procedures, and linkages of modal formalisms to computer science. In M4M-9 we hope to have a substantial part of the meeting devoted to tutorial lectures to increase the instructional content of the event. M4M-9 will be co-located with the Indian Conference on Logic and its Applications (ICLA) to be held during January 5-7, 2017.

Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.

We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?

This is a general model theory conference. The model theory of fields will receive particular attention, but contributed talks can be on any aspect of model theory. Students are very welcome and we intend to have a poster session. Talks will take place in Stellenbosch except on Tuesday 10 January when we shall visit the African Institute for Mathematical Sciences in Muizenberg.

Invited speakers: Artem Chernikov (UCLA), Franziska Jahnke (University of Muenster), Gareth Jones (University of Manchester) and Angus Macintyre (QMUL).

 

Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.

We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?

This is a general model theory conference. The model theory of fields will receive particular attention, but contributed talks can be on any aspect of model theory. Students are very welcome and we intend to have a poster session. Talks will take place in Stellenbosch except on Tuesday 10 January when we shall visit the African Institute for Mathematical Sciences in Muizenberg.

Invited speakers: Artem Chernikov (UCLA), Franziska Jahnke (University of Muenster), Gareth Jones (University of Manchester) and Angus Macintyre (QMUL).

 

Model theory is a branch of mathematical logic that studies languages and their interpretations. As such, research in model theory overlaps many areas in philosophy, linguistics, and mathematics. The introduction of model theory in the beginning of the previous century was intertwined with the development of set-theoretic foundations for mathematics; the implications and applications for philosophy and linguistics soon followed. The aim of this conference is to bring together philosophers, linguists and mathematicians for whom model theory is a basic tool-kit.

We wish to facilitate knowledge transfer between these disciplines and create a fruitful discussion on the applicability and the foundational role of model theory. To do this, the conference will explore the following research questions: Are model-theoretic tools sufficient for an adequate demarcation of logical from non-logical constants? How does the model-theoretic definition of truth advance our understanding of the semantic paradoxes? How is meaning in natural language represented in models? How can models account for specific linguistic phenomena (e.g., natural language quantifiers)? What are the philosophical and linguistic consequences of a theory's complexity as measured by model-theoretic classification theory?

This is a general model theory conference. The model theory of fields will receive particular attention, but contributed talks can be on any aspect of model theory. Students are very welcome and we intend to have a poster session. Talks will take place in Stellenbosch except on Tuesday 10 January when we shall visit the African Institute for Mathematical Sciences in Muizenberg.

Invited speakers: Artem Chernikov (UCLA), Franziska Jahnke (University of Muenster), Gareth Jones (University of Manchester) and Angus Macintyre (QMUL).

 

The ICAIL conference is the primary international conference addressing research in Artificial Intelligence and Law, and has been organized biennially since 1987 under the auspices of the International Association for Artificial Intelligence and Law (IAAIL). ICAIL provides a forum for the presentation and discussion of the latest research results and practical applications; it fosters interdisciplinary and international collaboration.

The conference will feature a main track for technical papers, a demonstration track, workshops, tutorials, a doctoral consortium and best paper prizes.

This is a general model theory conference. The model theory of fields will receive particular attention, but contributed talks can be on any aspect of model theory. Students are very welcome and we intend to have a poster session. Talks will take place in Stellenbosch except on Tuesday 10 January when we shall visit the African Institute for Mathematical Sciences in Muizenberg.

Invited speakers: Artem Chernikov (UCLA), Franziska Jahnke (University of Muenster), Gareth Jones (University of Manchester) and Angus Macintyre (QMUL).

 

After a successful first edition in Brazil (April 1-5, 2015) we are glad to announce the 2nd World Congress on Logic and Religion University of Warsaw, June 18-22, 2017. A wide range of issues concerning the relation between logic and religion, with regional complexities and historical layers of religions, are expected to be discussed.

Confirmed invited speakers: Dov Gabbay (London/Tel Aviv) Michael Heller (recipient of Templeton Prize, Kraków) Laurent Lafforgue (Fields medal, Bures-sur-Yvette) Yuhan Sohrab-Dinshaw Vevaina (Toronto) Jan Wolenski (Kraków)

SILFS 2017, the triennial international conference of the Italian Society for Logic and the Philosophy of Science, will be held at the Department of Philosophy and Communication of the University of Bologna, 20-23 June 2017.

Confirmed invited speakers: Giovanna D’Agostino (Università di Udine), Francesco Guala (University of Milan), Eleanor Knox (King’s College London), Sabina Leonelli (University of Exeter), Jan von Plato (University of Helsinki) and Dag Westerståhl (University of Stockholm).

The International Association for Computing and Philosophy promotes philosophical dialogue and interdisciplinary research on all aspects of the computational and informational turn. Coming to these issues from a rich variety of disciplines, IACAP;s members have a tradition of helping to shape philosophical and ethical debates about the nature, development, application, and limits of computation, information technologies, and artificial intelligence.

IACAP's 2017 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists. The meeting will have a single main track focusing on topics at the core of IACAP members' interests. Symposia will also be organized and run by members, or groups of members, to focus on special topics.

Paul Spade famously complained in 2000 that four key components of late medieval logic were mysterious to modern scholars. Since then, much has been done to clarify two of them (obligations and supposition), but the other two (exposition and proofs of propositions) remain just as mysterious. The aim of this workshop is to reach a clearer understanding of the genre of 'proofs of propositions' (probationes propositionum) that came to characterize British logic in the second half of the 14th century. We would also welcome contributions that shed some light on the earlier theories of 'exposition' that were subsumed into this new genre.

Our invited speakers are Jennifer Ashworth, Harald Berger, Egbert Bos, Martin Dekarli, Ota Pavlícek and Joke Spruyt.

This workshop provides a venue for work in computational psycholinguistics: the computational and mathematical modeling of linguistic generalization, development, and processing.  The workshop invites a broad spectrum of work in the cognitive science of language, at all levels of analysis from sounds to discourse and on both learning and processing.

CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.

CPP is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.

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.

The ICAS 2017 (International Conference on Autonomic and Autonomous Systems) is a multi-track event covering related topics on theory and practice on systems automation, autonomous systems and autonomic computing.
Special tracks include FUCOMA (Fuzzy Cognitive Maps), IoIT (Internet of Intelligent and Autonomic Things) and DEMAS (Deliberative Multi-Agent Systems).

ISMIS is an established and prestigious conference for exchanging the latest research results in building intelligent systems. The conference addresses issues involving solutions to problems that are complex to be solved through conventional approaches and that require the simulation of intelligent thought processes, heuristics and applications of knowledge. The integration of these multiple approaches in solving complex problems is of particular importance. ISMIS provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications.

The International Conference on Unconventional Computation and Natural Computation (UCNC) is a meeting where scientists from many different backgrounds are united in their interest in novel forms of computation, human-designed computation inspired by nature, and computational aspects of natural processes. UCNC provides a forum for such scientists to meet and discuss their work. The 16th UCNC will take place in Fayetteville, Arkansas, USA, a city nestled in the Ozark Mountains and home to the University of Arkansas.

The conference includes talks by invited speakers Erik Demaine, Masayuki Endo and Jose Felix Costa, tutorials by Jerome Durand-Lose and Makato Naruse, and workshops on 'Membranes/Systems Biology', 'Cortical Computation' and 'Physics and Computation'.

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.

 

FQAS is the premier conference focusing on the key issue in the information society of providing easy, flexible, and intuitive access to information to everybody. In targeting this issue, the conference draws on several research areas, such as information retrieval, database management, data science, information filtering, knowledge representation, knowledge discovery, analytics, soft computing, management of multimedia information, and human-computer interaction. The guiding topic of the FQAS conferences are innovative query systems aimed at providing easy, flexible and human-friendly access to information. Such systems are becoming increasingly important also due to the huge and always growing number of users as well as the growing amount of available information. Thus, the works related to the concepts of data science, data streams querying etc. are very welcome.

For more information, see http://fqas-2017.org/.

This is the 7th version of this conference, and it is a great occasion for PhD students and young researchers in model theory to give talks and interact with each other. We expect to fund accommodation and part of travel expenses.

The invited speakers are: Zoe Chatzidakis, Amador Martin-Pizarro, Jaroslav Nesetril and Boris Zilber.

This is the 7th version of this conference, and it is a great occasion for PhD students and young researchers in model theory to give talks and interact with each other. We expect to fund accommodation and part of travel expenses.

The invited speakers are: Zoe Chatzidakis, Amador Martin-Pizarro, Jaroslav Nesetril and Boris Zilber.

LPNMR 2017 is the fourteenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and nonmonotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications.

This edition of LPNMR will feature several workshops and a special session dedicated to the 7th ASP Competition. A Doctoral Consortium will also be a part of the program.

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.

This is the 7th version of this conference, and it is a great occasion for PhD students and young researchers in model theory to give talks and interact with each other. We expect to fund accommodation and part of travel expenses.

The invited speakers are: Zoe Chatzidakis, Amador Martin-Pizarro, Jaroslav Nesetril and Boris Zilber.

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.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks.

The meeting aims to be a meeting for both experienced researchers as well as advanced students who are most welcome to not only participate but to also present their work.

The program is split into a tutorial part and a research part. The tutorial part consists of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: David Asperó, Joan Bagaria, Christina Brech and Andrew Marks. The research part consists of presentations of research papers/problems from the area of Set Theory, Set Theoretic Topology, Measure Theory and related fields.

Our keynote speakers for the conference are Prof Patricia Blanchette (Notre Dame) and Prof Ian Rumfitt (Oxford).

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks.

The meeting aims to be a meeting for both experienced researchers as well as advanced students who are most welcome to not only participate but to also present their work.

The program is split into a tutorial part and a research part. The tutorial part consists of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: David Asperó, Joan Bagaria, Christina Brech and Andrew Marks. The research part consists of presentations of research papers/problems from the area of Set Theory, Set Theoretic Topology, Measure Theory and related fields.

Our keynote speakers for the conference are Prof Patricia Blanchette (Notre Dame) and Prof Ian Rumfitt (Oxford).

The 'Entia et Nomina' series features English language workshops for researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among philosophers with a formal bent. Previous editions took place at Gdansk University, Ghent University (as part of the Trends in Logic series), Jagiellonian University, and Warsaw University. The sixth conference in the series will take place in Palolem, Goa, India, on 29 January - 5 February 2017.

Please send questions and any inquiries to both Rafal Urbaniak <rfl.urbaniak at gmail.com> and Juliusz Doboszewski < jdoboszewski at gmail.com>.

The Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks.

The meeting aims to be a meeting for both experienced researchers as well as advanced students who are most welcome to not only participate but to also present their work.

The program is split into a tutorial part and a research part. The tutorial part consists of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: David Asperó, Joan Bagaria, Christina Brech and Andrew Marks. The research part consists of presentations of research papers/problems from the area of Set Theory, Set Theoretic Topology, Measure Theory and related fields.

The 'Entia et Nomina' series features English language workshops for researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among philosophers with a formal bent. Previous editions took place at Gdansk University, Ghent University (as part of the Trends in Logic series), Jagiellonian University, and Warsaw University. The sixth conference in the series will take place in Palolem, Goa, India, on 29 January - 5 February 2017.

Please send questions and any inquiries to both Rafal Urbaniak <rfl.urbaniak at gmail.com> and Juliusz Doboszewski < jdoboszewski at gmail.com>.

30-60 researchers from the Language and Interaction consortium will visit ILLC.

Language in Interaction is a so-called 'Gravity Program' from NWO, and brings together a great number of researchers from the Radboud University, The Max Planck Institute in Nijmegen, ILLC and various other Dutch universities, who all work on the foundations of natural language, from various angles. As part of the program, we are organizing a small ‘tour of the ILLC’. Since a lot of the research in our institute is connected to language in one way or another, this is a great opportunity to show what is going on here.

Since its inception, logic programming has been recognized as an ideal paradigm for addressing the needs of parallel computing. After over 30 years of research in these domains, the state of the art has reached a stage where technologies are highly complex and sophisticated, and applications are plentiful. Yet, the continuous development of novel architectures, the appearance of new domains and potential applications, and the developments in novel logic programming languages and paradigms are creating new research opportunities and fueling new ideas and developments. The goal of this special issue is to provide a multi-fold perspective of research at the junction between parallel and distributed computation and (constraint) logic programming.

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 Winter School is a traditional conference for mathematicians working in diverse areas of Set Theory, Topology and Analysis. The school is a meeting where emphasis is put on the joy of doing mathematics. Questions and discussions are welcome and there is plenty of space for them outside of the talks.

The meeting aims to be a meeting for both experienced researchers as well as advanced students who are most welcome to not only participate but to also present their work.

The program is split into a tutorial part and a research part. The tutorial part consists of a series of lectures delivered by the invited speakers. The tutorials are meant to be accessible to students and non-experts. Tutorial speakers for this year are: David Asperó, Joan Bagaria, Christina Brech and Andrew Marks. The research part consists of presentations of research papers/problems from the area of Set Theory, Set Theoretic Topology, Measure Theory and related fields.

The 'Entia et Nomina' series features English language workshops for researchers in formally oriented philosophy, in particular in logic, philosophy of science, formal epistemology and philosophy of language. The aim of the workshop is to foster cooperation among philosophers with a formal bent. Previous editions took place at Gdansk University, Ghent University (as part of the Trends in Logic series), Jagiellonian University, and Warsaw University. The sixth conference in the series will take place in Palolem, Goa, India, on 29 January - 5 February 2017.

Please send questions and any inquiries to both Rafal Urbaniak <rfl.urbaniak at gmail.com> and Juliusz Doboszewski < jdoboszewski at gmail.com>.