This workshop is part of a three year project 'The Primacy of Tense:  A.N. Prior Now and Then".

FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

The International Symposium on Artificial Intelligence and Mathematics (ISAIM) is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intelligence. This is the fifteenth Symposium in the series, which is sponsored by Annals of Mathematics and Artificial Intelligence.

Traditionally, the Symposium attracts participants from a variety of disciplines, thereby providing a unique forum for scientific exchange. The three-day Symposium includes invited speakers, presentations of technical papers, and special topic sessions.

FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

The Workshop will be held in Brno on October 3, 2017, preceding the 4th HaPoC conference. The aim of the Workshop is to throw light on the history of logic in Central and Eastern Europe through the reception of Hilbert's axiomatic method. It is planned to be a full day of talks and discussions.

Confirmed Speakers: Jan Wolenski (Poland), Srecko Kovac (Croatia), Ivica Martinovic (Croatia), Mate Szabo (Hungary, USA) and Adam Tuboly (Hungary).

FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

HaPoC conferences aim to bring together researchers exploring the various aspects of the computer from historical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted in historical and philosophical viewpoints. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape.

UNILOG is a logic event in a broad sense. It gathers people from many horizons (philosophy, mathematics, linguistics, computer science, semiotics, cognitive science ...) and the idea is to promote interaction between all these people.

The previous edition in Istanbul gathered more than 400 logicians from about 50 different countries. For the 6th edition we will follow the same format: - A school of logic of 5 days with 30 tutorials - A congress of 6 days with about 30 sessions/workshops - A contest (the topic will be announced soon) - A secret speaker (speaker whose identity is revealed only at the time of her / its / his speech).

The Workshop on Logical Geometry and its Applications (WoLGA) at UNILOG 2018 aims to deepen our theoretical understanding of the logical and diagrammatic behavior of Aristotelian diagrams, as well as to broaden our perspective on their (historical and contemporary) applications.

The keynote speaker at WoLGA will be Amirouche Moktefi (Talinn University of Technology, Estonia).

FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

HaPoC conferences aim to bring together researchers exploring the various aspects of the computer from historical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted in historical and philosophical viewpoints. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape.

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.

FMCAD 2017 is the seventeenth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

HaPoC conferences aim to bring together researchers exploring the various aspects of the computer from historical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted in historical and philosophical viewpoints. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape.

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.

HaPoC conferences aim to bring together researchers exploring the various aspects of the computer from historical or philosophical standpoint. The series aims at an interdisciplinary focus on computing, rooted in historical and philosophical viewpoints. The conference brings together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape.

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 14th International Conference on Distributed Computing and Artificial Intelligence 2017 is an annual forum that will bring together ideas, projects, lessons, etc. associated with distributed computing and artificial intelligence, and their application in different areas.

Research on Intelligent Distributed Systems has matured during the last decade and many effective applications are now deployed. Applying artificial intelligence in distributed environments is becoming an element of high added value and economic potential. These technologies are changing constantly as a result of the large research and technical effort being undertaken in both universities and businesses. The exchange of ideas between scientists and technicians from both academic and business areas is essential to facilitate the development of systems that meet the demands of today's society. The technology transfer in this field is still a challenge and for that reason this type of contributions will be specially considered in this symposium.

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 14th International Conference on Distributed Computing and Artificial Intelligence 2017 is an annual forum that will bring together ideas, projects, lessons, etc. associated with distributed computing and artificial intelligence, and their application in different areas.

Research on Intelligent Distributed Systems has matured during the last decade and many effective applications are now deployed. Applying artificial intelligence in distributed environments is becoming an element of high added value and economic potential. These technologies are changing constantly as a result of the large research and technical effort being undertaken in both universities and businesses. The exchange of ideas between scientists and technicians from both academic and business areas is essential to facilitate the development of systems that meet the demands of today's society. The technology transfer in this field is still a challenge and for that reason this type of contributions will be specially considered in this symposium.

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 14th International Conference on Distributed Computing and Artificial Intelligence 2017 is an annual forum that will bring together ideas, projects, lessons, etc. associated with distributed computing and artificial intelligence, and their application in different areas.

Research on Intelligent Distributed Systems has matured during the last decade and many effective applications are now deployed. Applying artificial intelligence in distributed environments is becoming an element of high added value and economic potential. These technologies are changing constantly as a result of the large research and technical effort being undertaken in both universities and businesses. The exchange of ideas between scientists and technicians from both academic and business areas is essential to facilitate the development of systems that meet the demands of today's society. The technology transfer in this field is still a challenge and for that reason this type of contributions will be specially considered in this symposium.

Reverse mathematics is concerned with examining exactly which axioms are necessary for various central mathematical theorems and results. The program is a relatively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explore the philosophical significance of reverse mathematics as a research program in the foundations of mathematics.

Speakers: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, LMU Munich), Walter Dean (University of Warwick) (TBC), Benedict Eastaugh (University of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Science and Technology), Stephen G. Simpson (Pennsylvania State University and Vanderbilt University).

Reverse mathematics is concerned with examining exactly which axioms are necessary for various central mathematical theorems and results. The program is a relatively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explore the philosophical significance of reverse mathematics as a research program in the foundations of mathematics.

Speakers: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, LMU Munich), Walter Dean (University of Warwick) (TBC), Benedict Eastaugh (University of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Science and Technology), Stephen G. Simpson (Pennsylvania State University and Vanderbilt University).

Reverse mathematics is concerned with examining exactly which axioms are necessary for various central mathematical theorems and results. The program is a relatively new one in the foundations of mathematics. It turns out that most theorems are equivalent to one of five subsystems of second order arithmetic. The main objective of the conference is to explore the philosophical significance of reverse mathematics as a research program in the foundations of mathematics.

Speakers: Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy, LMU Munich), Walter Dean (University of Warwick) (TBC), Benedict Eastaugh (University of Bristol), Marcia Groszek (Dartmouth College), Takako Nemoto (Japan Advanced Institute of Science and Technology), Stephen G. Simpson (Pennsylvania State University and Vanderbilt University).

100 years ago, in 1917 David Hilbert gave his seminal talk Axiomatisches Denken at a meeting of the Swiss Mathematical Society in Zurich. It marks the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic.  The aim of this conference is to reevaluate the success of Hilbert's axiomatic method, which did not only lay the foundations for the understanding of modern mathematics, but which also found its way in many applications, first of all - and as vividly advocated by Hilbert - in Physics.

On Wednesday 11, the conference will take place in the beautiful main hall of Academia das Ciências de Lisboa. That day is fully dedicated to the Foundations of Mathematics. For the remaining days, the conference moves to the campus of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa (across from the Tagus river), and the topic of the conference widens to other aspects of Axiomatic Thinking, not only in Mathematics but also in Physics and other fields of science. Also, philosophical and methodological aspects of Axiomatic Thinking will be discussed.

100 years ago, in 1917 David Hilbert gave his seminal talk Axiomatisches Denken at a meeting of the Swiss Mathematical Society in Zurich. It marks the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic.  The aim of this conference is to reevaluate the success of Hilbert's axiomatic method, which did not only lay the foundations for the understanding of modern mathematics, but which also found its way in many applications, first of all - and as vividly advocated by Hilbert - in Physics.

On Wednesday 11, the conference will take place in the beautiful main hall of Academia das Ciências de Lisboa. That day is fully dedicated to the Foundations of Mathematics. For the remaining days, the conference moves to the campus of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa (across from the Tagus river), and the topic of the conference widens to other aspects of Axiomatic Thinking, not only in Mathematics but also in Physics and other fields of science. Also, philosophical and methodological aspects of Axiomatic Thinking will be discussed.

100 years ago, in 1917 David Hilbert gave his seminal talk Axiomatisches Denken at a meeting of the Swiss Mathematical Society in Zurich. It marks the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic.  The aim of this conference is to reevaluate the success of Hilbert's axiomatic method, which did not only lay the foundations for the understanding of modern mathematics, but which also found its way in many applications, first of all - and as vividly advocated by Hilbert - in Physics.

On Wednesday 11, the conference will take place in the beautiful main hall of Academia das Ciências de Lisboa. That day is fully dedicated to the Foundations of Mathematics. For the remaining days, the conference moves to the campus of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa (across from the Tagus river), and the topic of the conference widens to other aspects of Axiomatic Thinking, not only in Mathematics but also in Physics and other fields of science. Also, philosophical and methodological aspects of Axiomatic Thinking will be discussed.

100 years ago, in 1917 David Hilbert gave his seminal talk Axiomatisches Denken at a meeting of the Swiss Mathematical Society in Zurich. It marks the beginning of Hilbert's return to his foundational studies, which ultimately resulted in the establishment of proof theory as a new branch in the emerging field of mathematical logic.  The aim of this conference is to reevaluate the success of Hilbert's axiomatic method, which did not only lay the foundations for the understanding of modern mathematics, but which also found its way in many applications, first of all - and as vividly advocated by Hilbert - in Physics.

On Wednesday 11, the conference will take place in the beautiful main hall of Academia das Ciências de Lisboa. That day is fully dedicated to the Foundations of Mathematics. For the remaining days, the conference moves to the campus of Faculdade de Ciências e Tecnologia of Universidade Nova de Lisboa (across from the Tagus river), and the topic of the conference widens to other aspects of Axiomatic Thinking, not only in Mathematics but also in Physics and other fields of science. Also, philosophical and methodological aspects of Axiomatic Thinking will be discussed.

What is the role of category theory (in brief CT) in physics, mathematics and philosophy? Is CT just a useful language of some parts of mathematics and theoretical physics or are categories new structures that are important for these fields? How can categories be used in modern physics? What is the role of CT in the philosophy of mathematics? Is CT a new foundation of mathematics or is it a kind of organization of mathematics? Is the arrow-ontology of CT a new kind of ontology?

The conference will address the questions mentioned above and issues that concern possible ways of applying CT in physics, mathematics and philosophy.

The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.

This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.

The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.

This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.

TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.

The aim of this workshop is to promote communication between experts in the theory of non-classical logics, as well as those that are the 'end-users' of non-classical formalisms for various applications. The workshop will feature several invited and contributed talks with surveys, tutorials and new technical results. It will also provide opportunities for all participants to engage in round table discussions of open problems and future research directions.

This edition is a research workshop of The Israel Science Foundation, with special emphasis on paraconsistent logics and their applications.

TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.

TIME 2017 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 24th edition, has a wide remit and intends to cater to both theoretical aspects and well-founded applications. One of the key aspects of the symposium is its interdisciplinarity, with attendees from distinct areas such as artificial intelligence, database management, logic and verification, and beyond. The symposium will encompass three tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases and (3) Logic and Verification.

In this four-day interdisciplinary symposium we juxtapose lectures by set theorists and other mathematicians with those by art historians, architects, artists and philosophers, in an attempt to create a dialogue across cultures. Some of the mathematical talks will be aimed at a general audience.  The symposium is accompanied by an exhibition of the work of the sculptor Fred Sandback.

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

In this four-day interdisciplinary symposium we juxtapose lectures by set theorists and other mathematicians with those by art historians, architects, artists and philosophers, in an attempt to create a dialogue across cultures. Some of the mathematical talks will be aimed at a general audience.  The symposium is accompanied by an exhibition of the work of the sculptor Fred Sandback.

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

In this four-day interdisciplinary symposium we juxtapose lectures by set theorists and other mathematicians with those by art historians, architects, artists and philosophers, in an attempt to create a dialogue across cultures. Some of the mathematical talks will be aimed at a general audience.  The symposium is accompanied by an exhibition of the work of the sculptor Fred Sandback.

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

What are the classics of humanistic scholarship? Most historians of science or historians of philosophy would be able to produce a list of classical texts within their field in a short time. Such texts are well known, often reproduced, and recommended in syllabi and readers around the world. Nothing similar exists for the history of the humanities. Even if much debate in recent decades has criticized the idea of canons, there may be good reasons why we need one. An established list of classics would not only make the history of humanities a more teachable topic, but also to promote new research in the field. On the one hand, such a list could inspire scholars to reinvestigate the classics. On the other hand, it could provoke others to question what should and should not be considered classics, as it has happened in recent decades in other historical fields.

In this four-day interdisciplinary symposium we juxtapose lectures by set theorists and other mathematicians with those by art historians, architects, artists and philosophers, in an attempt to create a dialogue across cultures. Some of the mathematical talks will be aimed at a general audience.  The symposium is accompanied by an exhibition of the work of the sculptor Fred Sandback.

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

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

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

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

The 8th Language and Technology Conference (LTC 2017) is a meeting organized by the Faculty of Mathematics and Computer Science of the Adam Mickiewicz University, Poznań, Poland and the Adam Mickiewicz University Foundation. Following the tradition of the past events, it is supported by ELRA, FlaReNet, and META-NET. Since the very beginning (1995) the meetings of the LTC series continue to address Human Language Technologies (HLT) as a challenge for computer science, linguistics and related fields.

This year the conference will feature invited talks by Chris Cieri (Penn State University, USA), Verónica Dahl (Simon Fraser University, School of Computing Science, Burnaby B.C., Canada) , Joseph van Genabith (DFKI, Germany), and Jan Wielemaker (University of Amsterdam, Netherlands).

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

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

The aim of the present conference is to enhance our understanding of the way in which evolutions on the European scene were adopted, refuted, or merely ignored in university teaching of the time. Important focal points are the paradigm shifts in the didactical methods and the curricula, e.g. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. Geographically, the conference will focus on European teaching, and chronologically, on the period from 1500-1800, being a wildly interesting but vastly understudied time segment.

Attention will be paid mainly to the teaching of logic and natural philosophy, since both disciplines - more so than e.g. the teaching of civil and canon law, evolved in tandem with the philosophical and scientific developments on the larger scale of European society.

The ALT 2018 conference is dedicated to all theoretical and algorithmic aspects of machine learning. This is a new ALT: new submission time, new conference time, new program, and a new ambition, to substantially grow its audience and let ALT be known as the best conference in algorithmic and theoretical machine learning. ALT 2018 will have both a best student paper award (E.M. Gold Award) and a best paper award.

The conference will be co-located with AISTATS 2018, which immediately follows ALT 2018.

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

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

The aim of the present conference is to enhance our understanding of the way in which evolutions on the European scene were adopted, refuted, or merely ignored in university teaching of the time. Important focal points are the paradigm shifts in the didactical methods and the curricula, e.g. from late scholasticism to humanism, from Spanish scholasticism to Cartesianism, the influence of Jansenism and Port-Royal. Geographically, the conference will focus on European teaching, and chronologically, on the period from 1500-1800, being a wildly interesting but vastly understudied time segment.

Attention will be paid mainly to the teaching of logic and natural philosophy, since both disciplines - more so than e.g. the teaching of civil and canon law, evolved in tandem with the philosophical and scientific developments on the larger scale of European society.

Second-order quantifier elimination (SOQE) means to compute from a given logic formula with quantifiers upon second-order objects such as predicates, an equivalent formula in which these quantified second-order objects do no longer occur. It can be combined with various underlying logics, including classical propositional and first-order logic as well as modal and description logics. In slight variations it is also known as forgetting, projection, predicate elimination and uniform interpolation. It is particularly attractive as a logic-based approach to various computational tasks.

The workshop aims at bringing together researchers working on SOQE and related topics. The hope is that issues shared by problems emerging from different special contexts will become apparent, interesting open research problems will be identified, and potential new applications as well as demands on implementations will become visible.

This workshop aims to bring together researchers from different backgrounds to explore the philosophical and social issues raised by games as inspiration, model, testbed or context for Artificial Intelligence.

The XXIInd European Symposium on Medieval Logic and Semantics will have the topic "Language, Thought, and Reality: The Continental and British Traditions of Medieval Logic Revisited".