Knowledge representation offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. Its many facets like qualitative vs. quantitative reasoning, defeasible and analogical reasoning, argumentation and negotiation in multi-agent systems, causal reasoning for action and planning, as well as nonmonotonicity and belief revision, among many others, have become very active fields of research. Beyond computational aspects, these methods aim to reflect the rich variety of human reasoning in uncertain and dynamic environments.

The aim of this series of workshops is to address recent challenges and to present novel approaches to uncertain reasoning and belief change in their broad senses, and in particular provide a forum for research work linking different paradigms of reasoning.

In the last 50 years, the success of possible worlds semantics for intensional logics has determined a discrepancy between techniques, aims and themes employed in the study of modal notions (broadly conceived as to include propositional attitudes, probability, validity) and in the study of truth. If the former endeavour focuses more on analyzing the logical space given by possible worlds semantics -- leaving aside problems and limitations that full self-reference and quantification may provide -- as a model for understanding modal concepts, the philosophical and logical mainstream in the study of truth is still deeply concerned with paradox and the self-referential aspects of sufficiently expressive languages containing a truth predicate.

The conference aims at bringing together researchers working on the interaction between these two traditions with a particular emphasis on expressive frameworks that treat truth and modalities as interacting predicates.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. PCC 2017 will include an unveiling ceremony of a commemorative plaque for Paul Bernays.

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 contemporary debate on mereology is largely hinged on the notion of identity. Indeed, classical mereology dictates that complex entities are identical if and only if they have the same proper parts. On the other hand, many scholars who doubt the adequacy of classical mereology point to real or fictional cases in which different wholes would have the same proper parts.  The upholders of Composition as Identity think that identity, or a relation analogous to identity, also connects a whole with its parts. By contrast, the opponents of Composition as Identity retort that composition fails to respect some pivotal principles that holds for standard identity, such as the Indiscerniblity of Identicals, coreferentiality  or transitivity. Finally, in the debate about Composition as Identity, the so-called Sider-Yi Collapse seems to show that some roles sometimes attributed to identity are incompatible with the standard characterization of plural identity.

The conference will host the main scholars involved in this debate, with the purpose of encouraging innovative solutions to various open problems.

The Scuola Normale Superiore in Pisa (Italy) and the University of Padua (Italy) have the pleasure to offer 6 bursaries (including a single room in Pisa, one social dinner and meals at the university restaurant for the duration of the conference) to graduate students and postdoctoral researchers who are willing to be actively involved in the conference. The selected participants ARE NOT expected to deliver a presentation, but to attend the lectures of the invited speakers and raise objections and questions. Travel expenses will not be reimbursed.

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 - 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

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

DCFS 2017 will be held in Milano, Italy, on July 3-5, 2017. The conference is organized by Department of Computer Science, University of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity".

Invited Speakers: Jürgen Dassow, Dora Giammarresi, Stavros Konstantinidis and Orna Kupferman.

The doctoral college Logical Methods in Computer Science (LogiCS), and the Austrian Society for Rigorous Systems Engineering (RiSE) will host a summer school on Logic, Artificial Intelligence and Verification at TU Wien, Vienna, Austria from July 3 to July 5.

The summer school targets master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. The event is open to all interested students.

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.

The Lipa Summer School is a school on topics connected to logic in computer science. The school consists of 4 mini-courses given by:

• Stephan Kreutzer (Berlin) Algorithmic meta-theorems
• Joël Ouaknine (Saarbrücken) Decision Problems for Linear Recurrence Sequences
• Moshe Vardi (Rice)  Linear-time verification and synthesis
• Mikołaj Bojańczyk (Warsaw, organiser) What is a recognisable language?

Each mini-course is 6 hours long (4 x 90 minutes). The school is followed by ICALP.

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austria. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also be the opportunity for participants to present their own research.

Deadline for early registration is May 15, 2017.

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.

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

The contemporary debate on mereology is largely hinged on the notion of identity. Indeed, classical mereology dictates that complex entities are identical if and only if they have the same proper parts. On the other hand, many scholars who doubt the adequacy of classical mereology point to real or fictional cases in which different wholes would have the same proper parts.  The upholders of Composition as Identity think that identity, or a relation analogous to identity, also connects a whole with its parts. By contrast, the opponents of Composition as Identity retort that composition fails to respect some pivotal principles that holds for standard identity, such as the Indiscerniblity of Identicals, coreferentiality  or transitivity. Finally, in the debate about Composition as Identity, the so-called Sider-Yi Collapse seems to show that some roles sometimes attributed to identity are incompatible with the standard characterization of plural identity.

The conference will host the main scholars involved in this debate, with the purpose of encouraging innovative solutions to various open problems.

The Scuola Normale Superiore in Pisa (Italy) and the University of Padua (Italy) have the pleasure to offer 6 bursaries (including a single room in Pisa, one social dinner and meals at the university restaurant for the duration of the conference) to graduate students and postdoctoral researchers who are willing to be actively involved in the conference. The selected participants ARE NOT expected to deliver a presentation, but to attend the lectures of the invited speakers and raise objections and questions. Travel expenses will not be reimbursed.

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 - 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

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

DCFS 2017 will be held in Milano, Italy, on July 3-5, 2017. The conference is organized by Department of Computer Science, University of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity".

Invited Speakers: Jürgen Dassow, Dora Giammarresi, Stavros Konstantinidis and Orna Kupferman.

The doctoral college Logical Methods in Computer Science (LogiCS), and the Austrian Society for Rigorous Systems Engineering (RiSE) will host a summer school on Logic, Artificial Intelligence and Verification at TU Wien, Vienna, Austria from July 3 to July 5.

The summer school targets master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. The event is open to all interested students.

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.

The Lipa Summer School is a school on topics connected to logic in computer science. The school consists of 4 mini-courses given by:

• Stephan Kreutzer (Berlin) Algorithmic meta-theorems
• Joël Ouaknine (Saarbrücken) Decision Problems for Linear Recurrence Sequences
• Moshe Vardi (Rice)  Linear-time verification and synthesis
• Mikołaj Bojańczyk (Warsaw, organiser) What is a recognisable language?

Each mini-course is 6 hours long (4 x 90 minutes). The school is followed by ICALP.

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austria. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also be the opportunity for participants to present their own research.

Deadline for early registration is May 15, 2017.

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.

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

Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.

In 2017 we would like to address (1) Question processing (QuestPro 2017) and (2) Fallacies: Strategy, Error, Shortcut (SES 2017).

The issues of social justice and ethics percolate extensively in various aspects of decision-making including policy choices and business strategies. The last decade, particularly, has witnessed the emergence of novel theoretical and empirical models in social choice theory, welfare economics, and ethics. The Summer School is targeted at doctoral students, postdoctoral researchers and junior faculty in the fields of economics, behavioural science, and management and organisation studies who are interested in learning novel economic and behavioural science approaches to justice, fairness, and ethics.

Application deadline 31 March 2017.

The International Quantum Structures Association (IQSA) is hosting an intermediate workshop on Quantum Structures as a satellite event of the 14th International conference on Quantum Physics and Logic (QPL). The IQSA workshop will take place from Tuesday July 4th to Friday the 7th of July. IQSA brings together researchers who design and use quantum structures, ranging from quantum logics to various formal methods that can be applied to reason about quantum phenomena including traditional topics in the foundations of quantum mechanics as well as applications in quantum computation, quantum information and quantum communication.

By hosting IQSA and QPL together, we want to create a platform to encourage the discussion and collaboration between both the IQSA and QPL communities.

The Intelligent Narrative Technologies (INT) workshop represents the tenth iteration of a series of gatherings dedicated to advancing research in artificial intelligence for the computational understanding and expression of narrative. Our goal is to contribute to this forward momentum by congregating a multidisciplinary group of researchers and practitioners to share their latest work at the intersection of narrative and technology. INT10 will be celebrated as a workshop of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE).

INT brings together computer scientists, psychologists, narrative theorists, media theorists, artists, writers, and members of the interactive entertainment industry. From this broad expertise, the workshop focuses on computational systems to represent, reason about, create, adapt, and perform interactive and non-interactive narrative experiences. This also includes fundamental research in relevant fields such as natural language processing, believable virtual characters, commonsense reasoning, computer vision, computational media, and human storytelling.

The contemporary debate on mereology is largely hinged on the notion of identity. Indeed, classical mereology dictates that complex entities are identical if and only if they have the same proper parts. On the other hand, many scholars who doubt the adequacy of classical mereology point to real or fictional cases in which different wholes would have the same proper parts.  The upholders of Composition as Identity think that identity, or a relation analogous to identity, also connects a whole with its parts. By contrast, the opponents of Composition as Identity retort that composition fails to respect some pivotal principles that holds for standard identity, such as the Indiscerniblity of Identicals, coreferentiality  or transitivity. Finally, in the debate about Composition as Identity, the so-called Sider-Yi Collapse seems to show that some roles sometimes attributed to identity are incompatible with the standard characterization of plural identity.

The conference will host the main scholars involved in this debate, with the purpose of encouraging innovative solutions to various open problems.

The Scuola Normale Superiore in Pisa (Italy) and the University of Padua (Italy) have the pleasure to offer 6 bursaries (including a single room in Pisa, one social dinner and meals at the university restaurant for the duration of the conference) to graduate students and postdoctoral researchers who are willing to be actively involved in the conference. The selected participants ARE NOT expected to deliver a presentation, but to attend the lectures of the invited speakers and raise objections and questions. Travel expenses will not be reimbursed.

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 - 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

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

DCFS 2017 will be held in Milano, Italy, on July 3-5, 2017. The conference is organized by Department of Computer Science, University of Milano, and by the IFIP Working Group 1.02 "Descriptional Complexity".

Invited Speakers: Jürgen Dassow, Dora Giammarresi, Stavros Konstantinidis and Orna Kupferman.

The doctoral college Logical Methods in Computer Science (LogiCS), and the Austrian Society for Rigorous Systems Engineering (RiSE) will host a summer school on Logic, Artificial Intelligence and Verification at TU Wien, Vienna, Austria from July 3 to July 5.

The summer school targets master and doctoral students in Computer Science and Mathematics with a strong interest in Logic, Artificial Intelligence and Automated Verification. The event is open to all interested students.

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.

The Lipa Summer School is a school on topics connected to logic in computer science. The school consists of 4 mini-courses given by:

• Stephan Kreutzer (Berlin) Algorithmic meta-theorems
• Joël Ouaknine (Saarbrücken) Decision Problems for Linear Recurrence Sequences
• Moshe Vardi (Rice)  Linear-time verification and synthesis
• Mikołaj Bojańczyk (Warsaw, organiser) What is a recognisable language?

Each mini-course is 6 hours long (4 x 90 minutes). The school is followed by ICALP.

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austria. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also be the opportunity for participants to present their own research.

Deadline for early registration is May 15, 2017.

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.

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

Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.

In 2017 we would like to address (1) Question processing (QuestPro 2017) and (2) Fallacies: Strategy, Error, Shortcut (SES 2017).

The issues of social justice and ethics percolate extensively in various aspects of decision-making including policy choices and business strategies. The last decade, particularly, has witnessed the emergence of novel theoretical and empirical models in social choice theory, welfare economics, and ethics. The Summer School is targeted at doctoral students, postdoctoral researchers and junior faculty in the fields of economics, behavioural science, and management and organisation studies who are interested in learning novel economic and behavioural science approaches to justice, fairness, and ethics.

Application deadline 31 March 2017.

The International Quantum Structures Association (IQSA) is hosting an intermediate workshop on Quantum Structures as a satellite event of the 14th International conference on Quantum Physics and Logic (QPL). The IQSA workshop will take place from Tuesday July 4th to Friday the 7th of July. IQSA brings together researchers who design and use quantum structures, ranging from quantum logics to various formal methods that can be applied to reason about quantum phenomena including traditional topics in the foundations of quantum mechanics as well as applications in quantum computation, quantum information and quantum communication.

By hosting IQSA and QPL together, we want to create a platform to encourage the discussion and collaboration between both the IQSA and QPL communities.

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 - 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

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

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.

The Lipa Summer School is a school on topics connected to logic in computer science. The school consists of 4 mini-courses given by:

• Stephan Kreutzer (Berlin) Algorithmic meta-theorems
• Joël Ouaknine (Saarbrücken) Decision Problems for Linear Recurrence Sequences
• Moshe Vardi (Rice)  Linear-time verification and synthesis
• Mikołaj Bojańczyk (Warsaw, organiser) What is a recognisable language?

Each mini-course is 6 hours long (4 x 90 minutes). The school is followed by ICALP.

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austria. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also be the opportunity for participants to present their own research.

Deadline for early registration is May 15, 2017.

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.

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

Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.

In 2017 we would like to address (1) Question processing (QuestPro 2017) and (2) Fallacies: Strategy, Error, Shortcut (SES 2017).

The issues of social justice and ethics percolate extensively in various aspects of decision-making including policy choices and business strategies. The last decade, particularly, has witnessed the emergence of novel theoretical and empirical models in social choice theory, welfare economics, and ethics. The Summer School is targeted at doctoral students, postdoctoral researchers and junior faculty in the fields of economics, behavioural science, and management and organisation studies who are interested in learning novel economic and behavioural science approaches to justice, fairness, and ethics.

Application deadline 31 March 2017.

The International Quantum Structures Association (IQSA) is hosting an intermediate workshop on Quantum Structures as a satellite event of the 14th International conference on Quantum Physics and Logic (QPL). The IQSA workshop will take place from Tuesday July 4th to Friday the 7th of July. IQSA brings together researchers who design and use quantum structures, ranging from quantum logics to various formal methods that can be applied to reason about quantum phenomena including traditional topics in the foundations of quantum mechanics as well as applications in quantum computation, quantum information and quantum communication.

By hosting IQSA and QPL together, we want to create a platform to encourage the discussion and collaboration between both the IQSA and QPL communities.

We are pleased to announce a workshop in Argumentation and Logic we are organizing this summer. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic and argumentation theory. Keynote speakers: Leon van der Torre (University of Luxembourg) and Leila Amgoud (IRIT - CNRS, France).

The conference will be held in conjunction with the annual conference of the Australasian Association of Philosophy, and overlap by one day, Thu 6 July.

We are pleased to announce that the 6th European Set Theory Conference (6ESTC) of the European Set Theory Society will be organized in Budapest, at the Alfréd Rényi Institute of Mathematics of the Hungarian Academy of Sciences, next year, July 3 - 7, 2017. (Date of arrival: July 2, date of departure: July 8.)

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

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself. It has strong links with mathematics, algebra, and logic, it is used in many areas of software engineering, and it is the basis of well-known programming paradigms like functional and equational programming. The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

The school features lectures by renowned researchers in rewriting, and is organized in two parallel tracks. The Basic Track is an introduction to Term Rewriting taught by Aart Middeldorp and Sarah Winkler from the University of Innsbruck in Austria. It can be concluded with an exam for 3 EC. The Advanced Track consists of a variety of lectures on advanced topics in rewriting. There will also be the opportunity for participants to present their own research.

Deadline for early registration is May 15, 2017.

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.

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

Consisting of two workshops, Poznań Reasoning Week 2017 (PRW2017) brings together experts from various disciplines whose research offers both systematic and historical contributions to the study of individual- as well as group-reasoning processes. This particularly includes, but is not restricted to, modelling these processes formally.

In 2017 we would like to address (1) Question processing (QuestPro 2017) and (2) Fallacies: Strategy, Error, Shortcut (SES 2017).

The issues of social justice and ethics percolate extensively in various aspects of decision-making including policy choices and business strategies. The last decade, particularly, has witnessed the emergence of novel theoretical and empirical models in social choice theory, welfare economics, and ethics. The Summer School is targeted at doctoral students, postdoctoral researchers and junior faculty in the fields of economics, behavioural science, and management and organisation studies who are interested in learning novel economic and behavioural science approaches to justice, fairness, and ethics.

Application deadline 31 March 2017.

The International Quantum Structures Association (IQSA) is hosting an intermediate workshop on Quantum Structures as a satellite event of the 14th International conference on Quantum Physics and Logic (QPL). The IQSA workshop will take place from Tuesday July 4th to Friday the 7th of July. IQSA brings together researchers who design and use quantum structures, ranging from quantum logics to various formal methods that can be applied to reason about quantum phenomena including traditional topics in the foundations of quantum mechanics as well as applications in quantum computation, quantum information and quantum communication.

By hosting IQSA and QPL together, we want to create a platform to encourage the discussion and collaboration between both the IQSA and QPL communities.

We are pleased to announce a workshop in Argumentation and Logic we are organizing this summer. The aim of this workshop is to bring together experts from the fields of artificial intelligence, philosophy, logic and argumentation theory. Keynote speakers: Leon van der Torre (University of Luxembourg) and Leila Amgoud (IRIT - CNRS, France).

The conference will be held in conjunction with the annual conference of the Australasian Association of Philosophy, and overlap by one day, Thu 6 July.

The conference will be held in conjunction with the annual conference of the Australasian Association of Philosophy, and overlap by one day, Thu 6 July.

This workshop, held in conjunction with the 12th International Conference on Computational Semantics (IWCS), will bring together two closely related strands of research. On the one hand it will look at the overlap between ontologies and computational linguistics; and on the other the relationship between knowledge modelling and terminologies -- as well as the many points of intersection between these two topics. This workshop aims to create a forum for open discussion that will help to highlight the common areas of interest in the different fields concerned, as well as fostering dialogue between the various different approaches taken by each discipline.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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

The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

The theme of the 2017 workshop is "New directions in the higher infinite".

This event is part of the activities for the programme on Big proof (26 June - 4 August 2017). The workshop brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines.

Closing date for applications: 8 April.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

ALC'2017 will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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

The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

The theme of the 2017 workshop is "New directions in the higher infinite".

This event is part of the activities for the programme on Big proof (26 June - 4 August 2017). The workshop brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines.

Closing date for applications: 8 April.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

ALC'2017 will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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

The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

The theme of the 2017 workshop is "New directions in the higher infinite".

This event is part of the activities for the programme on Big proof (26 June - 4 August 2017). The workshop brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines.

Closing date for applications: 8 April.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

ALC'2017 will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR  events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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

The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

The theme of the 2017 workshop is "New directions in the higher infinite".

This event is part of the activities for the programme on Big proof (26 June - 4 August 2017). The workshop brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines.

Closing date for applications: 8 April.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

ALC'2017 will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR  events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).

Logic goes back to the night of time. But what it is exactly, what it consists in, what are its methods, how it developed, this is not necessarily clear. Logic in Question is since 2011 a yearly Spring workshop at the Sorbonne about logic examining these questions and trying to answer them. Free entrance, registration required.

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

MOL, the biennial conference of the Association for Mathematics of Language, is devoted to the study of mathematical structures and methods that are of importance to the description of language. MOL will feature invited talks by the following distinguished researchers: Stephen Clark (University of Cambridge, UK), Shay Cohen (University of Edinburgh, UK) * Frank Drewes (Umeå University, Sweden). The meeting will precede the 24th Workshop on Logic, Language, Information and Computation.

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.

The Applied Computing 2017 conference aims to address the main issues of concern within the applied computing area and related fields. This conference covers essentially technical aspects. The applied computing field is divided into more detailed areas.

The WWW/Internet 2017 Conference aims to address the main issues of concern within WWW/Internet. WWW and Internet had a huge development in recent years. Aspects of concern are no longer just technical anymore but other aspects have arisen. This conference aims to cover both technological as well as non-technological issues related to these developments.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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

The aims of the “Young Set Theory Workshops” are to bring together young researchers in the domain of set theory and give them the opportunity to learn from each other and from experts in a friendly environment. A long-term objective of this series of workshops is to create and maintain a network of young set theorists and senior researchers, so as to establish working contacts and help disseminate knowledge in the field.

The theme of the 2017 workshop is "New directions in the higher infinite".

This event is part of the activities for the programme on Big proof (26 June - 4 August 2017). The workshop brings together mathematicians interested in employing proof technology in their research, logicians exploring pragmatic and foundational issues in the formalisation of mathematics, and computer scientists engaged in developing and applying proof technology. It will explore foundational, theoretical, and practical challenges in exploiting proof technology to transform mathematical practice across a range of scientific and engineering disciplines.

Closing date for applications: 8 April.

The Asian Logic Conference (ALC) is a major international event in mathematical logic. It features the latest scientific developments in the fields in mathematical logic and its applications, logic in computer science, and philosophical logic. The ALC series also aims to promote mathematical logic in the Asia-Pacific region and to bring logicians together both from within Asia and elsewhere to exchange information and ideas.

ALC'2017 will be the first Asian Logic Conference since its status changed from an ASL(the Association for Symbolic Logic)-sponsored meeting to an official ASL meeting by ASL Council action in May 2016.

RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR  events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).

Logic goes back to the night of time. But what it is exactly, what it consists in, what are its methods, how it developed, this is not necessarily clear. Logic in Question is since 2011 a yearly Spring workshop at the Sorbonne about logic examining these questions and trying to answer them. Free entrance, registration required.

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

MOL, the biennial conference of the Association for Mathematics of Language, is devoted to the study of mathematical structures and methods that are of importance to the description of language. MOL will feature invited talks by the following distinguished researchers: Stephen Clark (University of Cambridge, UK), Shay Cohen (University of Edinburgh, UK) * Frank Drewes (Umeå University, Sweden). The meeting will precede the 24th Workshop on Logic, Language, Information and Computation.

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.

Sam Buss's work has had major impact on many areas of mathematics and computer science, including logic, proof theory, proof complexity, computational complexity, algorithms, and graphics.

The programme will include a series of invited talks, including the following speakers: Arnold Beckmann (Swansea Univeristy), Maria Luisa Bonet Carbonell (Universidad Politécnica de Cataluña), Jonathan Buss (University of Waterloo), Russell Impagliazzo (UCSD), Toniann Pitassi (Univeristy of Toronto), Steve Rotenberg (UCSD) Ryan Williams (MIT).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

RuleML+RR 2017 is the leading international joint conference in the field of rule-based reasoning, and focuses on theoretical advances, novel technologies, as well as innovative applications concerning knowledge representation and reasoning with rules. Stemming from the synergy between the well-known premier RuleML and RR  events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2017 aims to bring together rigorous researchers and inventive practitioners, interested in the foundations and applications of rules and reasoning in academia, industry, engineering, business, finance, healthcare and other application areas. It will provide a forum for stimulating cooperation and cross-fertilization between the many different communities focused on the research, development and applications of rule-based systems.

In addition, RuleML+RR 2017 will host an Industry Track, a Doctoral Consortium, the DecisionCAMP, the 11th International Rule Challenge, and the 13th Reasoning Web Summer School. RuleML+RR 2017 will be collocated with the 32nd British International Conference on Databases (BICOD 2017).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

This first Workshop on Interaction-Based Knowledge Sharing (WINKS) collocated with the third Joint Ontology Workshop is fully dedicated to challenges and solutions to knowledge sharing in interaction-based environments, ranging from the Internet of Things to multi-agent systems. Gradually expanding, distributed systems heighten the need of a dynamic interactive knowledge sharing process, while at the same time an increasing heterogeneity of resources renders this process more complex. As a highly interdisciplinary workshop, discussions will center on requirements and suggestions to endow computational models with knowledge sharing capabilities in interactive scenarios.

CREOL aims at gathering together researchers from different communities (Applied Ontology, NLP, AI, Semantic Web) to investigate the relationship between representations of objects and events in ontological and linguistic resources, and their interpretation in their context of occurrence.

Presentations of sollicited contributions will be followed by a multi-centric panel session where authors will meet and discuss with other researchers and stakeholders from industry. Follow-up discussions will be organized to promote project networking, cross-contamination on methodological prospective approaches and techniques, and discussions over practical, individuated applications.

Formal ontologies and knowledge representation mainly focus on characterising how a given domain is structured, i.e., they identify a set of concepts, entities, and relations together with the constraints that hold for this domain. The structure of the characterisation is usually intended to reflect the point of view of significant experts or a realist view of how things about a particular domain are. The aim of this workshop is to explore an epistemological stance in formal ontology and knowledge representation and focus on the assessment of the modelling provided by the ontology designer. In particular, we are interested in fostering the discussion about two intertwined research directions, the Epistemological Foundations of Ontologies and the Ontologies of Epistemology.

This workshop is part of The Joint Ontology Workshops, Episode III, JOWO 2017.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

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.

This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.

There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).

All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges.

The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration.

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.

This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.

There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).

All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

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

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The workshop will conclude with a screening of the movie "Navajo Math Circles" (2016).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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.

This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.

There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).

All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

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

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The workshop will conclude with a screening of the movie "Navajo Math Circles" (2016).

Reasoning with uncertain knowledge is a growing area of interest, involving several tendencies, such as reasoning with non-standard theories of probability (e.g., theories of probability based on non-classical logics) and combining argumentation systems with probabilities or probabilistic semantics. All such tendencies and areas of investigation are naturally generalized to possibility systems and other credal calculi. This poses new and intriguing questions on the philosophy of probability and credal calculi in general, amplifying the discussions around the correct formal theories of probability and on the interpretations of probability, among the classical, logical, frequentist, propensity, and subjectivist (and possibly others). Dilemmas and paradoxes in probabilities and credal calculi are also a relevant area of research.

This Special Issue intends to contribute to the state-of-the-art of such research topics by gathering together the contribution of authors in interconnected areas including logical, mathematical and conceptual aspects. Research articles, review articles as well as communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All manuscripts are refereed through a peer-review process. Guest Editors: Julio Stern Walter Carnielli Juliana Bueno-Soler.

All papers are invited in the following (non-exclusive) topics:
-interpretations of probability, possibility and other credal calculi
-philosophy of probability, possibility and other credal calculi
-probabilistic and possibilistic argumentation and inference
-probability, possibility and uncertain reasoning
-paradoxes in probability, possibility and other credal calculi

This is the annual meeting of the British Logic Colloquium. The scope of the event includes mathematical and philosophical logic as well as logic in computer science and applications of logic.

Invited Speakers: Hazel Brickhill (Bristol), Oliver Kullmann (Swansea), James Ladyman (Bristol), Sam Staton (Oxford), Tamara von Glehn (Cambridge), Katrin Tent (Münster).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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.

This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.

There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).

All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The workshop will conclude with a screening of the movie "Navajo Math Circles" (2016).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

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.

This workshop aims at gathering mathematicians, logicians, linguists, computer scientists to present their latest advances in the study of quantification.

There is a long history of quantification in the Ancient and Medieval times at the border between logic and philosophy of language, before the proper formalisation of quantification by Frege. But many mathematical and linguistic questions remain open, both on the mathematical side (such as the proof theory of generalised quantifiers or the computational aspects of alternate formulations such as Russel's ioata), and the linguistic side (such as the relation between the syntactic structure and its semantic interpretation, or the relationship between quantification and phenomena like generics, plurals, and mass nouns), as well as the intersection of the two sides (for instance, psycholinguistic experiments that connect formal models and their computational properties to the actual way human do process sentences with quantifiers).

All those aspects are connected in the didactics of mathematics and computer science: there are specific difficulties to teach (and to learn) how to understand, manipulate, produce and prove quantified statements, and to determine the proper level of formalisation between bare logical formulas and written or spoken natural language.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

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

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The workshop will conclude with a screening of the movie "Navajo Math Circles" (2016).

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

FG-2017 is the 22nd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which in 2017 will take place in Toulouse, France.

FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

The 12th Summer school 'Algebra, Topology, Analysis' continues the traditional annual summer school holding from 2003. The event includes lectures in different topics of algebra, topology, geometry and analysis.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

FG-2017 is the 22nd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information, which in 2017 will take place in Toulouse, France.

FG provides a forum for the presentation of new and original research on formal grammar, mathematical linguistics and the application of formal and mathematical methods to the study of natural language.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

The FSTTCS conference is a forum for presenting original results in foundational aspects of Computer Science and Software Technology.

Invited Speakers: Sham Kakade (University of Washington, USA), Anca Muscholl (LaBRI & Université Bordeaux, France), Devavrat Shah (MIT, USA), Vinod Vaikuntanathan (MIT CSAIL, USA), and Thomas Wilke (Christian-Albrechts-Universität zu Kiel).

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

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.

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 European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

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.

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 European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

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.

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.

Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversaries, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behaviour of adversaries. The international workshop on strategic reasoning aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

SR 2017 will be co-located with TARK 2017, which will be held in Liverpool on July 24-26, 2017.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. PCC 2017 will include an unveiling ceremony of a commemorative plaque for Paul Bernays.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

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.

Strategic reasoning is one of the most active research areas in the multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modelling strategic ability. Theoretical results are now being used in many exciting domains, including software tools for information system security, robot teams with sophisticated adaptive strategies, and automatic players capable of beating expert human adversaries, just to cite a few. All these examples share the challenge of developing novel theories and tools for agent-based reasoning that take into account the likely behaviour of adversaries. The international workshop on strategic reasoning aims to bring together researchers working on different aspects of strategic reasoning in computer science, both from a theoretical and a practical point of view.

SR 2017 will be co-located with TARK 2017, which will be held in Liverpool on July 24-26, 2017.

The aim of PCC is to stimulate research in proof theory, computation, and complexity, focusing on issues which combine logical and computational aspects. Topics may include applications of formal inference systems in computer science, as well as new developments in proof theory motivated by computer science demands. PCC 2017 will include an unveiling ceremony of a commemorative plaque for Paul Bernays.

The European Summer School in Logic, Language and Information (ESSLLI) is an annual event under the auspices of the Association for Logic, Language and Information (FoLLI) and brings together logicians, linguists, computer scientists, and philosophers to study language, logic, and information, and their interconnections. ESSLLIs attract around 500 participants from all over the world.

For more information, see https://www.irit.fr/esslli2017 or https://easychair.org/conferences/?conf=esslli2017, or contact vasishth.shravan at gmail.com.

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

Constructive modal logics and type theories are of increasing foundational and practical relevance in computer science. Applications of constructive modal logics in type disciplines for programming languages, meta-logics for reasoning about a variety of computational phenomena and explanatory frameworks in philosophical logic are everywhere.

The workshop aims at developing and explaining theoretical and methodological issues around the question of how the proof-theoretic strengths of constructive logics can best be combined with the model-theoretic strengths of modal logics. Practical issues center around the question of which modal connectives with associated laws or proof rules capture computational phenomena accurately and at the right level of abstraction.

In its seventh edition, the Workshop on Intuitionistic Modal Logic and Applications will take place in Toulouse France, in conjunction with the 29th ESSLLI.

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

We are happy to announce that the Commission for the History and Philosophy of Computing will submit a proposal for the organization of the DHST/DLMPS HaPoC symposium titled 'The Ubiquity of Computing: historical and philosophical issues'.

The history of information and communication technologies (ICTs), despite its approximately 70 years, has already shown a rich accumulated experience coming from the most diversified initiatives, efforts and pioneering projects. Fully incorporated into reality, to the point of being considered ubiquitous, ICTs can be considered mature enough to bring about a balance that seeks to account for its past and its origins. A more extensive study of their history surely contributes to establish a valuable research field and to consolidate an international community of historians and philosophers of ICTs, discussing and framing propositions that can help to inspire and produce future developments.

For more information, see http://hapoc.org/node/176.

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation.

Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: Term Rewriting Systems, Recursion and Complexity, Proof Theory and the Art of Ordinal Analysis, or Geometric Logic-Topos Theory. Students may anticipate a high professional outcome in a dedicated international environment along with extra-curricular activities.

The International Association for Science and Cultural Diversity (IASCUD) is hosting a symposium titled "The interface between the study of cultural diversity in science and decision-making in science policy" at the 25th International Congress of History of Science and Technology to be held in Rio de Janeiro, 23-29 July 2017. The organisers of the symposium are Nina Atanasova (Toledo OH, U.S.A.) and Benedikt Loewe (Amsterdam, The Netherlands & Hamburg, Germany).

In this symposium, we wish to explore the actual and potential connections between researchers who study the cultural variety of science from historical, sociological, and philosophical perspectives and the deciders and stakeholders in both local and global science policy: Are policy makers informed about the effects of scientific cultural diversity? If so, how does this affect their decisions? If not, what can researchers of cultural diversity in science do in order to connect to the decision makers?

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

Tentative list of speakers (incomplete): Gunter Fuchs (CUNY), Moti Gitik (Tel Aviv University), Menachem Magidor (Jerusalem), Adrian Mathias (Reunion), Itay Neeman (UCLA), John Steel (Berkeley), W. Hugh Woodin (Harvard) and Martin Zeman (UC Irvine).

The Munich Center for Mathematical Philosophy (MCMP) is organizing the fourth Summer School on Mathematical Philosophy for Female Students. Since women are significantly underrepresented in philosophy generally and in formal philosophy in particular, this summer school is aimed at encouraging women to engage with mathematical methods and apply them to philosophical problems.

This year the focus of the summer school will be to provide a framework for developing expertise in formal approaches used in (1) philosophy of language, (2) philosophy of logic, and (3) philosophy of mathematics. The summer school will offer the opportunity for study in an informal setting, for lively debate, and for the development of a network with students and professors interested in the application of formal methods in philosophy. Finally, being located at the MCMP, the summer school will also provide a stimulating and interdisciplinary environment for meeting like-minded philosophers.

The deadline for applications is *March 5, 2017.

We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers Rajeev Alur, Christel Baier, Hoon Hong, Andrew Reynolds and Thomas Wies stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

The school is synchronized with the SC2 Summer School 2017, happening at the same time in the same place. The deadline for application is June 1st, 2017.