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>.

PhDs in Logic is an annual graduate conference organised by local graduate students. This interdisciplinary conference welcomes contributions to various topics in mathematical logic, philosophical logic, and logic in computer science. It involves tutorials by established researchers as well as short (20 minutes) presentations by PhD students, master students and first-year postdocs on their research. We are happy to announce that the ninth edition of PhDs in Logic will take place at the Ruhr University Bochum, Germany, during 2nd - 4th May 2017.

Confirmed tutorial speakers are: Petr Cintula (Czech Academy of Sciences), María Manzano (University of Salamanca), João Marcos (Federal University of Rio Grande do Norte), Gabriella Pigozzi (University Paris-Dauphine), Christian Straßer (Ruhr-University Bochum) and Heinrich Wansing (Ruhr-University Bochum).

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>.

The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Mathematical and Metaphysical Explanation. This is the first of two twin workshops to be jointly organized by IHPST and IUSS Pavia whose aim is to build a bridge a bridge between mathematical and metaphysical explanation, opening to unexplored and fruitful future directions of research.

There will be talks by: Andrew Arana (University of Paris 1, IHPST), Luca Incurvati (University of Amsterdam), Marc Lange (University of North-Carolina at Chapel-Hill), Hannes Leitgeb (University of Munich), Mary Leng (University of York), Daniele Molinini (University of Lisbon), Francesca Poggiolesi (University of Paris 1, IHPST), Stefan Roski (University of Hamburg) and Erik Weber (University of Ghent).

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>.

The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Mathematical and Metaphysical Explanation. This is the first of two twin workshops to be jointly organized by IHPST and IUSS Pavia whose aim is to build a bridge a bridge between mathematical and metaphysical explanation, opening to unexplored and fruitful future directions of research.

There will be talks by: Andrew Arana (University of Paris 1, IHPST), Luca Incurvati (University of Amsterdam), Marc Lange (University of North-Carolina at Chapel-Hill), Hannes Leitgeb (University of Munich), Mary Leng (University of York), Daniele Molinini (University of Lisbon), Francesca Poggiolesi (University of Paris 1, IHPST), Stefan Roski (University of Hamburg) and Erik Weber (University of Ghent).

There will be a Very Informal Gathering of Logicians at UCLA, from Friday February 3 to Sunday February 5, 2017. The invited speakers are Itai Ben-Yaacov (Hjorth lecture), Philipp Hieronymi, Elaine Landry, Joseph Miller, Kobi Peterzil, Dima Sinapova, Simon Thomas, Todor Tsankov, and Ryan Williams. It is expected that travel grants will be available for graduate students and faculty in early career stages; to apply contact the organizers by December 1.

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>.

There will be a Very Informal Gathering of Logicians at UCLA, from Friday February 3 to Sunday February 5, 2017. The invited speakers are Itai Ben-Yaacov (Hjorth lecture), Philipp Hieronymi, Elaine Landry, Joseph Miller, Kobi Peterzil, Dima Sinapova, Simon Thomas, Todor Tsankov, and Ryan Williams. It is expected that travel grants will be available for graduate students and faculty in early career stages; to apply contact the organizers by December 1.

The Brazilian Logic Meeting (EBL) is a traditional event of the Brazilian Logic Society (SBL). They have been occurring since 1979. It congregates logicians of different fields and the meeting is an important moment for the Brazilian and South-American community to join together and engage in a discussion about the state-of-art of their subject. The areas of Logic covered spread over Foundations and Philosophy of Science, Mathematics, Computer Science, Informatics, Linguistics, and Artificial Intelligence.

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>.

There will be a Very Informal Gathering of Logicians at UCLA, from Friday February 3 to Sunday February 5, 2017. The invited speakers are Itai Ben-Yaacov (Hjorth lecture), Philipp Hieronymi, Elaine Landry, Joseph Miller, Kobi Peterzil, Dima Sinapova, Simon Thomas, Todor Tsankov, and Ryan Williams. It is expected that travel grants will be available for graduate students and faculty in early career stages; to apply contact the organizers by December 1.

The Student Session of the 29th European Summer School in Logic, Language, and Information (ESSLLI) will take place in Toulouse, France, July 17th to 28th, 2017. The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language, and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

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.

Dear all,

On February 8, we will have a retreat with all CL/ NLP/ MT researchers in the ILLC. If you identify yourself as such, you are very welcome to join. Please contact Sara for more information about this event if you did not receive an invitation yet.

A number of disciplines make use of the concept of culture in their analyses, employing it in different contexts and with varying degrees of explicitness. There are myriad definitions of 'culture', and open questions about how culture is related to social life, evolution, and cognitive processes on the individual level - e.g. in human psychology as explored in both developmental and cross-cultural analyses - and in the understanding of non-human behaviors such as social learning, imitation, and creative problem solving.

The goal of the workshop is to highlight interdisciplinary connections that will ameliorate our understanding of the phenomenon of culture and the ways in which this concept can enrich our analyses of cognition.

The SPIN symposium aims at bringing together researchers and practitioners interested in automated tool-based techniques for the analysis of software as well as models of software, for the purpose of verification and validation. The symposium specifically focuses on concurrent software, but does not exclude analysis of sequential software.

The SPIN symposium originated as a workshop focusing on explicit state model checking, specifically as related to the Spin model checker. However, over the years it has evolved to a broadly scoped symposium for software analysis using any automated techniques, including model checking, automated theorem proving, symbolic execution, etc. SPIN 2017 will be arranged as a ACM SIGSOFT event, collocated with the International Symposium on Software Testing and Analysis (ISSTA 2017).

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).

CADE is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions.

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 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 concept of differential privacy is central to the rigorous foundational approach to private data analysis that has emerged in cryptography in the last decade. The development of this approach was motivated by the vast amounts of personal information that are collected in today’s information environment, and by a rapidly growing body of work demonstrating how traditional approaches to privacy, such as de-identification, fail to provide adequate privacy preservation.

The framework of differential privacy provides a rigorous mathematical treatment of privacy, with concrete provable guarantees that are robust against adversaries with arbitrary computational power and with arbitrary auxiliary knowledge. There is now a large body of theoretical work in this vein, and many established relationships to scientific fields including statistics, machine learning, databases, algorithms, information theory, program verification, and game theory. The products of this research are also making their first strides into use in real world applications where sensitive personal information is analyzed, with algorithms currently deployed by the US Census Bureau, Google, Yahoo, and Apple.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

The concept of differential privacy is central to the rigorous foundational approach to private data analysis that has emerged in cryptography in the last decade. The development of this approach was motivated by the vast amounts of personal information that are collected in today’s information environment, and by a rapidly growing body of work demonstrating how traditional approaches to privacy, such as de-identification, fail to provide adequate privacy preservation.

The framework of differential privacy provides a rigorous mathematical treatment of privacy, with concrete provable guarantees that are robust against adversaries with arbitrary computational power and with arbitrary auxiliary knowledge. There is now a large body of theoretical work in this vein, and many established relationships to scientific fields including statistics, machine learning, databases, algorithms, information theory, program verification, and game theory. The products of this research are also making their first strides into use in real world applications where sensitive personal information is analyzed, with algorithms currently deployed by the US Census Bureau, Google, Yahoo, and Apple.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

Following on from the success of the first school in 2015, the 2nd Indian Winter School on Diagrams will bring together graduate students and early career researchers with interests in diagrams research, although participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering three main themes: diagrammatic logics, philosophical and historical developments, and empirical research. Courses will be delivered by internationally renowned experts and will have an emphasis on interactivity.

The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in the study of logical diagrams. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.

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 concept of differential privacy is central to the rigorous foundational approach to private data analysis that has emerged in cryptography in the last decade. The development of this approach was motivated by the vast amounts of personal information that are collected in today’s information environment, and by a rapidly growing body of work demonstrating how traditional approaches to privacy, such as de-identification, fail to provide adequate privacy preservation.

The framework of differential privacy provides a rigorous mathematical treatment of privacy, with concrete provable guarantees that are robust against adversaries with arbitrary computational power and with arbitrary auxiliary knowledge. There is now a large body of theoretical work in this vein, and many established relationships to scientific fields including statistics, machine learning, databases, algorithms, information theory, program verification, and game theory. The products of this research are also making their first strides into use in real world applications where sensitive personal information is analyzed, with algorithms currently deployed by the US Census Bureau, Google, Yahoo, and Apple.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

Following on from the success of the first school in 2015, the 2nd Indian Winter School on Diagrams will bring together graduate students and early career researchers with interests in diagrams research, although participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering three main themes: diagrammatic logics, philosophical and historical developments, and empirical research. Courses will be delivered by internationally renowned experts and will have an emphasis on interactivity.

The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in the study of logical diagrams. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.

LOGICA 2017 is the 31st in the series of annual international symposia devoted to logic, to be held at Hejnice, 19 - 23 June 2017. Invited speakers are Hartry Field, Bob Hale, Shahid Rahman, Sonja Smets.

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 concept of differential privacy is central to the rigorous foundational approach to private data analysis that has emerged in cryptography in the last decade. The development of this approach was motivated by the vast amounts of personal information that are collected in today’s information environment, and by a rapidly growing body of work demonstrating how traditional approaches to privacy, such as de-identification, fail to provide adequate privacy preservation.

The framework of differential privacy provides a rigorous mathematical treatment of privacy, with concrete provable guarantees that are robust against adversaries with arbitrary computational power and with arbitrary auxiliary knowledge. There is now a large body of theoretical work in this vein, and many established relationships to scientific fields including statistics, machine learning, databases, algorithms, information theory, program verification, and game theory. The products of this research are also making their first strides into use in real world applications where sensitive personal information is analyzed, with algorithms currently deployed by the US Census Bureau, Google, Yahoo, and Apple.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

Following on from the success of the first school in 2015, the 2nd Indian Winter School on Diagrams will bring together graduate students and early career researchers with interests in diagrams research, although participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering three main themes: diagrammatic logics, philosophical and historical developments, and empirical research. Courses will be delivered by internationally renowned experts and will have an emphasis on interactivity.

The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in the study of logical diagrams. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.

For nearly a half-century, IJCAI has remained the premier conference bringing together the international AI community in communicating the advances and celebrating the achievements of artificial intelligence research and practice. With the current explosive interest in AI and its applications, this 26th edition of the conference is guaranteed to provide an exciting forum to present and hear about cutting-edge research in AI.

A special theme of IJCAI-17 is Autonomy. Recent developments in the adoption of artificial intelligence and other technologies across many different areas of endeavour have brought new challenges or have made real those that until now had been largely abstract and theoretical. In recognition of this trend, and in support of addressing some of these challenges, this Special Track seeks to foster discussion and debate around the issues brought forward by this new generation of technologies and applications.

The scientific program of IJCAI 2017 will also contain Workshops, Tutorials, Demonstrations, Robotic Exhibitions, a Doctoral consortium, and will host different software, video, and robotics competitions.

The concept of differential privacy is central to the rigorous foundational approach to private data analysis that has emerged in cryptography in the last decade. The development of this approach was motivated by the vast amounts of personal information that are collected in today’s information environment, and by a rapidly growing body of work demonstrating how traditional approaches to privacy, such as de-identification, fail to provide adequate privacy preservation.

The framework of differential privacy provides a rigorous mathematical treatment of privacy, with concrete provable guarantees that are robust against adversaries with arbitrary computational power and with arbitrary auxiliary knowledge. There is now a large body of theoretical work in this vein, and many established relationships to scientific fields including statistics, machine learning, databases, algorithms, information theory, program verification, and game theory. The products of this research are also making their first strides into use in real world applications where sensitive personal information is analyzed, with algorithms currently deployed by the US Census Bureau, Google, Yahoo, and Apple.

The target audience for the school is graduate students and postdocs in cryptography (we will assume that participants have taken at least one university-level course in cryptography). However, all faculty, undergrads and professionals with the necessary background are welcome. The winter school is open to participants from all over the world; all talks will be in English.

Following on from the success of the first school in 2015, the 2nd Indian Winter School on Diagrams will bring together graduate students and early career researchers with interests in diagrams research, although participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering three main themes: diagrammatic logics, philosophical and historical developments, and empirical research. Courses will be delivered by internationally renowned experts and will have an emphasis on interactivity.

The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in the study of logical diagrams. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.

Women are chronically underrepresented in the LICS community; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. We are holding the first Women in Logic (WiL) workshop as a LICS associated workshop this year. The workshop will provide an opportunity for women in the field to increase awareness of one another and one another's work, to combat the feeling of isolation. It will also provide an environment where women can present to an audience comprised of mostly women, replicating the experience that most men have at most LICS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.

Invited Speakers: Claudia Nalon (University of Brasilia, Brasil) and Catuscia Palamidessi (INRIA Saclay and LIX, France).

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

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 10.

Invited Speakers: Mikolaj Bojanczyk (University of Warsaw, Poland), Monika Henzinger (University of Vienna, Austria) and Mikkel Thorup (University of Copenhagen, Denmark).

Following on from the success of the first school in 2015, the 2nd Indian Winter School on Diagrams will bring together graduate students and early career researchers with interests in diagrams research, although participation from all researchers, regardless of career stage, is welcomed. The week-long school will provide accessible courses on the state-of-the-art in diagrams research, covering three main themes: diagrammatic logics, philosophical and historical developments, and empirical research. Courses will be delivered by internationally renowned experts and will have an emphasis on interactivity.

The School aims to enable delegates to begin research into diagrams by introducing them to current research and through thought-provoking exchanges and discussions. The experienced facilitators will tease out research questions that are appropriate for early-stage researchers to tackle, providing a starting point for a research career in the study of logical diagrams. Delegates will be encouraged to identify collaboration opportunities both with other delegates and the course facilitators.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

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 ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

It is uncontentious that natural language use involves interaction; between participants in a dialogue, between modalities such as vision, gesture and speech, and between new and existing information in language acquisition, for example. For this ESSLLI 2017 workshop we maintain a broad notion of interaction, roughly the production and exchange of information between agents of some sort, be they natural or artificial (e.g. avatars or modelling devices as in certain types of logics). We favour contributions which focus on the dynamics of the information exchange and discuss formal models to reconstruct it.

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 SLALM (Simposio Latinoamericano de Lógica Matemática) was conceived in the late 1960′s by Abraham Robinson, who at the time was President of the Association for Symbolic Logic (ASL). The SLALM brings together the community of researchers in logic along Latin America and is nourished by important participations of researchers from around the world. It has grown thanks to the support of the ASL, as well as the local institutions that host the event.

The first two days of the meeting will be devoted to tutorials and the other three days to the plenary talks and the topic sessions. We invite you to be part of this important meeting.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) can participate in informational content, or influence its flow as information conveyors and interpreters.

This Special Session at ICAART 2017 covers theoretical work, advanced applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

Over the last few years approaches to the philosophy of mathematics that focus on mathematical practice have been thriving. Such approaches include the study of a wide variety of issues concerned with the way mathematics is done, evaluated, and applied, and in addition, or in connection therewith, with historical episodes or traditions, applications, educational problems, cognitive questions, etc. In 2009, a group of researchers in this field gathered to promote the creation of the Association for the Philosophy of Mathematical Practice, APMP. This association aims to become a common forum that will stimulate research in philosophy of mathematics related to mathematical activity, past and present, and foster joint actions. The Fourth International Meeting of the Association for the Philosophy of Mathematical Practice will be held on October 23-27, 2017, in Salvador da Bahia, Brazil.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) can participate in informational content, or influence its flow as information conveyors and interpreters.

This Special Session at ICAART 2017 covers theoretical work, advanced applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

There are several new and rapidly evolving research areas blossoming out from the interaction of logic and relativity theory. The aim of this conference series, which take place once every 2 or 3 years, is to attract and bring together mathematicians, physicists, philosophers of science, and logicians from all over the word interested in these and related areas to exchange new ideas, problems and results.

The spirit of this conference series goes back to the Vienna Circle and Tarski's initiative Logic, Methodology and Philosophy of Science. We aim to provide a friendly atmosphere that enables fruitful cooperation leading to joint research and publications. This 3rd conference is also dedicated to honoring Hajnal Andréka's birthday.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) can participate in informational content, or influence its flow as information conveyors and interpreters.

This Special Session at ICAART 2017 covers theoretical work, advanced applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

Formal methods add rigour to the analysis of conceptual and methodological issues in science. In this course, leading proponents of formal approaches to scientific inference give accessible introductions to some formal methods. They also present relevant examples for the application of formal tools, including those that arise in the biomedical and biological research fields of the Charles Perkins Centre. This intensive course provides an opportunity for advanced students and early career researchers to learn how to enhance their research through the use of new formal tools.

The 17th annual Philosophy of Logic, Mathematics, and Physics Graduate Conference will take place on Thursday-Friday, June 15-16th, 2017, at the University of Western Ontario in London, Ontario, Canada. We are pleased to announce that Aristidis Arageorgis (National Technical University of Athen) will be giving the keynote address.

It is intended that IJCRS 2017 follows the track already rutted by RSCTC and JRS conferences which aimed at unification of many facets of Rough Set Theory from theoretical aspects of the rough set idea bordering on theory of concepts and going through algebraic structures, topological structures, logics for uncertain  reasoning, decision algorithms, relations to other theories of vagueness and ambiguity, then to extensions of the rough set idea like granular structures, rough mereology, and to applications of the idea in diverse fields of applied science including hybrid methods like Rough-Fuzzy, Neuro-Rough, Neuro-Rough-Fuzzy computing.

Studies on discourse processing indicate that natural language interpretation is expectation-driven. Even though it is uncontroversial that both linguistic (e.g. lexical items, morpho-syntactic constructions, prosody) and extra-linguistic factors (e.g. world knowledge, speaker/hearer knowledge) are used to anticipate how discourse is likely to continue, the nature of their interplay is a topic of ongoing research. DETEC approaches this topic in an interdisciplinary fashion by comparing theoretical, experimental, and computational perspectives.

The ILLC will organise a MasterClass Logic intended for up to 20 secondary school students. The MasterClass will consist of 4 days with lectures, a work session and final presentation of results. The dates of the four days are the following:

ILLC MasterClass Day 1: Friday 17 February 2017
ILLC MasterClass Day 2: Thursday 2 March 2017
ILLC MasterClass Day 3: Thursday 9 March 2017
ILLC MasterClass Day 4: Thursday 16 March 2017

Note: the original dates for the MasterClass Logica were changed due to a clash with the Nationale Wiskunde Olympiade.

Formal methods add rigour to the analysis of conceptual and methodological issues in science. In this course, leading proponents of formal approaches to scientific inference give accessible introductions to some formal methods. They also present relevant examples for the application of formal tools, including those that arise in the biomedical and biological research fields of the Charles Perkins Centre. This intensive course provides an opportunity for advanced students and early career researchers to learn how to enhance their research through the use of new formal tools.