News and Events: Conferences

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

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

One of the main questions that inspires this workshop is how languages with and without an article system go about referent coding and helping the hearer to recognize whether a given NP should be interpreted as definite, specific or non-specific. Other questions concern the grammatical consequences of having or lacking an article system, and the specific semantic-pragmatic parameters along which article systems may vary. The workshop will be held at the 40th Annual Meeting of the DGfS.

LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the JSAI International Symposia on AI. Invited Speakers: Craige Roberts (The Ohio State University),Ivano Ciardelli (University of Amsterdam), Shoichi Takahashi (Aoyama Gakuin University).

Among the most discussed epistemological issues in clinical reasoning is the problem of the external validity. Once verified that the results of a Randomized Controlled Trial (RCT) are valid, we still have to explain how to apply these results to patients who did not take part in the experiment. How can we justify the belief that a certain treatment has the same effect when applied to a different setting? Without a reasonable answer to this latter question, RCTs would prove less helpful, as they would only show the results related to a particular situation, without any guarantee that the same results could apply to other contexts. The possible advantages of a Bayesian perspective on RCTs will be explored, as is the difference between types of uncertainty conveyed by diagnostic and prognostic judgements.

Contributions must be original and not submitted elsewhere. Papers must be in English and should not exceed 8,000 words (references and footnotes included). Each submission should also include a separate title page containing contact details, a brief abstract and a list of keywords for indexing purposes.

Modalities and predicates have since ancient times been central notions of logic. In the 20th century, various systems of non-classical logics emerged, with applications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathematics, and Philosophy. Both the theoretical studies and the needs of applications gave rise to the questions of non-classical treatment of quantification and modalities and their accommodation in these non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.

Although there are many good conferences on (mainly propositional) non-classical logics, this conference is one solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present recent advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues.

This workshop is the seventh in the Computability Theory and Foundations of Mathematics (CTFM) series. CTFM aims to provide a forum for computability theory and logical foundations of mathematics. The topics include, but are not limited to, Computability / Recursion Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Algorithmic Randomness and Computational Complexity.

The first day and the last day of the 2017 workshop will focus on classical recursion theory, and computable structures as well as reverse mathematics. The activities are held jointly with the program Aspect of Computation. The other two days will focus on topics in set theory and the foundations of mathematics.

The Amsterdam Colloquia aim at bringing together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages. The 21st Amsterdam Colloquium will feature two workshops on Causality and Semantics and on Formal and Distributional Perspectives on Meaning; and one evening lecture, jointly organized with the E.W. Beth Foundation.

MACIS is a series of biennial conferences focusing on research in mathematical and computational aspects of computing and information science. MACIS 2017 will feature invited presentations and a selective four-track program of contributed papers describing original and unpublished research.

The LFCS series provides an outlet for the fast-growing body of work in the logical foundations of computer science, e.g., areas of fundamental theoretical logic related to computer science. The LFCS series began with Logic at Botik, Pereslavl-Zalessky, 1989 and was co-organized by Albert R. Meyer (MIT) and Michael Taitslin (Tver), after which organization passed to Anil Nerode in 1992.

In the last two decades, we have seen a significant increase of interest in agent-based computing. This field is now set to become one of the key intelligent systems technologies in the 21st century. The aim of the EUMAS series is to provide a forum for academics and practitioners in Europe at which current research and application issues are presented and discussed, and to encourage and support activity in the research and development of multi-agent systems, in academic and industrial efforts.

EUMAS is co-located with the 5thedition of the International Agreement Technologies (AT) Conference, and is a designated event of the European Association of Multi-Agent Systems (EURAMAS).

There is widespread agreement that AI has grown over the years into a fragmented landscape of sub-disciplines with a narrow focus. Specialisation has certainly facilitated great advances within the sub-disciplines and AI overall, but fragmentation has created a silos mentality which hinders cross-fertilisation and further advancements within AI.

This workshop will bring together researchers from three broad AI areas, namely natural language processing (NLP), machine learning (ML) and logic-based symbolic AI, to discuss and explore opportunities for cross-fertilisation centered around NLP. The workshop also aims at discussing and identifying possible directions for future research at the intersection of NLP, ML and symbolic AI.

Nowadays we are witnessing a ‘practical’, or cognitive turn in logic. The approach draws on enormous achievements of a legion of formal and mathematical logicians, but focuses on `the Wild: actual human processes of reasoning and argumentation. Moreover, high standards of inquiry that we owe to formal logicians offer a new quality in research on reasoning and argumentation. In terms of John Corcoran’s distinction between logic as formal ontology and logic as formal epistemology, the aim of the practical turn is to make formal epistemology even more epistemically oriented. This is not to say that this ‘practically turned’ (or cognitively oriented) logic becomes just a part of psychology. This is to say that this logic aquires a new task of “systematically keeping track of changing representations of information”, as Johan van Benthem puts it, and that it contests the claim that the distinction between descriptive and normative accounts of reasoning is disjoint and exhaustive. From a different than purely psychological perspective logic becomes — again — interested in answering Dewey’s question about the Wild: how do we think? This is the new alluring face of psychologism, or cognitivism, in logic, as opposed to the old one, which Frege and Husserl fought against. This is the area of research to which this workshop is devoted.

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

We organize a one-day workshop on proof theory at the 6th World Congress on Universal Logic. Keynote speakers are Francesca Poggiolesi (Paris) and Alexander Leitsch (Vienna). Organisers: Peter Schroeder-Heister and Thomas Piecha.

The presently announced workshop aims at an account of logic as construed from logicians' practices of writing and reading, both when working a problem in logic. and when communicating logical problems and solutions with othres. Further interests are activities of commenting or reviewing, and of publishing and collecting. In order to take an interdisciplinary stance, the workshop will allow for a variety of approaches.

Keynote speakers: Prof. Dr. Volker Peckhaus (University of Paderborn), Editor-in-Chief of History and Philosophy of Logic Prof. Dr. Dirk Schlimm (McGill University Montreal / LMU Munich) PD. Dr. Matthias Wille (University of Paderborn).

Held early each January in partnership with the American Mathematical Society, the Joint Mathematics Meetings is the largest annual mathematics meeting in the world. The program provides plentiful opportunities to engage with your fellow mathematicians and learn about innovative research in your interest areas, including numerous invited addresses, minicourses, short courses, panel sessions, workshops, paper sessions, posters, exhibits, and more.

The summer school is aimed at graduate students and advanced undergraduates in the fields of Linguistics, Computer Science, Cognitive Science, Logic, Philosophy, and other related areas. NASSLLI brings these disciplines together with the goal of producing excellence in the study of how minds and machines represent, communicate, manipulate and reason with information. NASSLLI provides a venue where students and researchers from one discipline can learn approaches, frameworks and tools from related disciplines to apply to their own work. Courses offered at NASSLLI range from intensive, graduate level introductory courses to inter-disciplinary workshops featuring prominent researchers presenting their work in progress.

NASSLLI 2018 will consist of a series of courses and workshops, most running daily from Monday June 25 - Friday June 29. In addition, there will be intensive training in a small set of foundational topics the weekend prior to the start of courses (Saturday June 23 - Sunday June 24). Students will have the opportunity to present work at student sessions throughout the event; the call for student submissions will be circulated in early 2018.

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.

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

Diagrams 2018 is the tenth conference in the biennial series that started in 2000. The multidisciplinary nature of Diagrams means it encompasses: architecture, art, artificial intelligence, biology, cartography, cognitive science, computer science, education, graphic design, history of science, human-computer interaction, linguistics, logic, mathematics, philosophy, psychology, and software modelling. The conference attracts a large number of researchers from these interrelated fields, positioning Diagrams as the major international event in the area.

The interplay between logic and argumentation has a long history, from ancient Aristotle's logic to very recent formal argumentation in AI. This is an interdisciplinary research field, involving researchers from, e.g., logic, philosophy, artificial intelligence, and law. The goal of the CLAR 2018 conference is to highlight recent advances in the two fields of logic and argumentation, respectively, and to promote communication between researchers in logic and argumentation within and outside China.

Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. AiML 2018 is the 12th conference in the series, and will be co-located with the sixth edition of the conference "Logic, Algebra and Truth Degrees" (LATD 2018).

Knowledge Representation and Reasoning (KRR) is an exciting, well-established field of research. In KRR a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. In recent years KRR has contributed to new and emerging fields including the semantic web, computational biology, and the development of software agents.

The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. Workshops and tutorials will precede the KR technical program and will run on 27-29 October 2018.

Logic in Stockholm 2017 is a series of logic related events organised by the Departments of Mathematics and Philosophy at Stockholm University, and the Group of Theoretical Computer Science at KTH. The series consists of the following events:

• August 7–11: The Third Nordic Logic Summer School,  NLS 2017
• August 14–20: The 2017 ASL European Summer Meeting (Logic Colloquium),  LC 2017
• August 20–24: The 26th EACSL Annual Conference on Computer Science Logic,  CSL 2017
• August 16–19: Workshop on Logic and Algorithms in Computational Linguistics 2017,  LACompLing2017.
• August 25: Workshop on Logical Aspects of Multi-Agent Systems,  LAMAS 2017.
• August 25: Workshop on Logic and Automata Theory in memory of Zoltán Ésik.

See the conference homepages or the individual conference announcements for CFPs.

The Logic Colloquium 2017 (LC2017) is the 2017 Annual European summer meeting of the Association for Symbolic Logic (ASL) and will be held during August 14-20, 2017 at the main campus of Stockholm University. The Logic Colloquium 2017 is organised and hosted jointly by the Departments of Mathematics and Philosophy at Stockholm University, and is also supported by the KTH Royal Institute of Technology.

The Department of Philosophy at Hokkaido University (Sapporo, Japan) will hold a two-week summer school in dynamic epistemic logic and its applications, jointly with three guest lecturers from ILLC (University of Amsterdam) as part of Hokkaido Summer Institute (HSI) 2017.

The following two intensive courses are scheduled to be offered during the summer school:
Course 1 (August 14 to August 18): Introduction to Logic,  main lecturer: Katsuhiko Sano (Department of Philosophy, Hokkaido University).
Course 2 (August 21 to August 25): Dynamic Epistemic Logic, main lecturers: Alexandru Baltag and Sonja Smets (ILLC, University of Amsterdam).
There will be a special live on-line lecture by Johan van Benthem (University of Amsterdam, Stanford University, and Tsinghua University) during Course 2.

Application period for students from universities other than Hokkaido University is from February 1 to February 28 2017.

The BLAST Conference Series circulates among different universities and focuses on Boolean Algebras, Lattices, Algebraic Logic, Quantum Logic, Universal Algebra, Set Theory, Set-theoretic Topology and Point-free Topology. This year's installment of the BLAST conference series will take place on the campus of Vanderbilt University from August 14 to August 18, 2017. It honors the life and memory of Bjarni Jónsson. The scientific program will include nine invited lectures, three tutorials and contributed talks. It is worth mentioning that there will be a spectacular solar eclipse in Nashville on August 21st, so perhaps some participants may elect to stay on for a few days after the conference.

This is a preliminary announcement. Additional information will be provided in the beginning of April.

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

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

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

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

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

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

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

MRC is an interdisciplinary workshop with a focus on applications within computer science. Because of this focus the workshop primarily attracts participants from within the computer science community and specifically within artificial intelligence. However, MRC has always had a strong interdisciplinary appeal and does draw from fields such as linguistics, semiotics, philosophy, mathematics, cognitive science, social sciences and psychology as well as various sub-fields within computer science.

By considering modelling and reasoning approaches for contextualised systems from a broad range of areas, the workshop will facilitate the sharing of problems, techniques, and solutions. The workshop covers different understandings of what context is, different approaches to modelling context, mechanisms and techniques for (structured) storage of contextual information, effective ways to retrieve it, and methods for enabling integration of context and application knowledge.

The workshop will last one full day and will have three main types of interaction: short presentations of accepted papers, panel discussion sessions, and an open, but guided discussion summarising the most important lessons learned.

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science and is intended for computer scientists whose research involves logic, as well as for logicians working on issues essential for computer science.

CSL2017 is the 26th EACSL annual conference. It will be co-organised by Stockholm University and KTH Royal Institute of Technology, and hosted by Stockholm University. CSL2017 will be co-located with, and immediately preceded by, the Logic Colloquium 2017 (LC2017). There will be a joint session of CSL2017 and LC2017 in the morning of August 20, as well as CSL-affiliated workshops during August 25-26.

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

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

The third edition of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica), promoted by the Group for Logic and Formal Philosophy from the UFRN, has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Logic, a branch of Philosophy on its own, has outgrown its original purposes and found connections with other areas of Philosophy, such as Philosophy of Language, Philosophy of Mathematics, Philosophy of Science and Philosophy of Mind. Logic has proved to be a powerful tool for analyzing different philosophical theories, as well as their foundations and implications; moreover, the birth and development of non-classical logics has expanded its domain of application much beyond the dreams of its progenitors.

Invited Speakers: Tuomas Tahko (University of Helsinki), Jonas Arenhart (Federal University of Santa Catarina) and Giorgio Venturi (State University of Campinas).

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

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

The Kurt Gödel Society will host a summer school on Proof Theory in First-Order Logic at the University of Madeira, Funchal, Madeira from August 22 to August 27.

The summer school targets master and doctoral students in Logic, Computer Science and Mathematics with a strong interest in Logic and Proof Theory. We particularly encourage students to apply to student lessons in order to present their ongoing research, but the event is open to all interested students.

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

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

The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools.

Invited speakers: Hans van Ditmarsch (LORIA) and Nancy Wojtek Jamroga (Polish Academy of Sciences).

Zoltán Ésik was an automata theorist of high calibre from the Institute of Informatics, University of Szeged, Hungary. Among his many contributions to the subject, perhaps the most important is the study of equational properties of fixed point operators, constituting Iteration Theories (a book he co-authored with Stephen Bloom). This one-day workshop, a satellite event of CSL 2017, is intended as a tribute to Zoltán Ésik, constituting a discussion of topics that lie at the intersection of automata theory, logic and algebra. The workshop mainly consists of invited talks but also has room for the sharing of memories.

TSD series have evolved as a prime forum for interaction between researchers in both spoken and written language processing from all over the world.

Invited speakers: Tomas Mikolov and other eminent personages with various expertise covering speech modeling, acoustic-phonetic decoding, dialogue systems, and semantics have been asked to give their respective pieces of speech.

The conference starts on Wednesday 30 August with a social gathering (evening, optional). Thursday 31 August & Friday 1 September will be filled with academic presentations from metaphor researchers from all over the world. Plenary lectures will be delivered by Kathleen Ahrens (Hong Kong Polytechnic University) and by Alan Cienki (Vrije Universiteit Amsterdam & Moscow State Linguistic University). Saturday 2 September we present several interesting workshops and metaphor related activities: an academic day with a fun twist!

There is general realization that computational models of languages and reasoning can be improved by integration of heterogeneous resources of information, e.g., multidimensional diagrams, images, language, syntax, semantics, quantitative data, memory. While the event targets promotion of integrated computational approaches, we invite contributions from any individual areas related to information, language, memory, reasoning.

FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing or homotopy type theory.

The International Natural Language Generation conference (INLG) is the conference of the Special Interest Group on Natural Language Generation (SIGGEN) of the Association for Computational Linguistics (ACL).

Notice that the first day will be devoted to Workshops. The Main Conference will run on 5-6 september. And the last day will be for Tutorials and Hackathon.

RADICAL is a new workshop aligned within the intersection between concurrency and logic, broadly construed.

Recently, the interplay of concurrency and logic with areas/applications has received much attention, as witnessed by recent CONCUR editions. These areas/applications have become increasingly consolidated, and start to have profound impact in neighbouring communities. As an unfortunate side effect, however, the important unifying role that concurrency plays in all of them seems hard to find in a single scientific event.  RADICAL intends to fill a gap between CONCUR researchers that now also typically publish and interact in other different venues; it also aims at attracting researchers from neighbouring communities whose work naturally intersects with CONCUR.

This year's Semantics and Philosophy in Europe Colloquium consists of two special sessions:
1) Applied Ontology and Natural Language (Invited speakers: Bjorn Jespersen (Barcelona), Nicola Guarino (Trento), Laure Vieu (Toulouse))
2) Ontology and Generative Syntax (Invited speakers: Boban Arsenijevic (University of Niš),  John Collins (East Anglia), Andrea Moro (Pavia), Gillian Ramchand (Tromsoe))

There will also be a preconference tutorial "Ontology and Natural Language" by Friederike Moltmann (CNRS) and Nicola Guarino (Trento).

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

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

The aim of this programme is to bring together mathematicians and logicians working on/interested in various topics on the border of model theory, topology and set theory. The leading themes are topological dynamics and descriptive set theoretic methods in model theory. Apart from the state of the art lectures by leading experts, two tutorials, each consisting of 3 one-hour talks on the main themes of the meeting, are being planned. The meeting will give opportunity for discussion and collaboration between experts from different but related parts of logic. This may result in the future in discovering new interactions between model theory, topology and set theory.

After two workshops on connexive logics in Istanbul (June 2015) and Raesfeld Castle (June 2016), a third workshop on connexive logics will take place in Kyoto (Japan) as part of 'Kyoto Nonclassical Logic Workshop III', 7th of September 2017.

This workshop is meant to present current work on connexive logic and to stimulate future research. Keynote speakers: Norihiro Kamide (Teikyo University, Japan) Andreas Kapsner (LMU Munich, Germany).

Since the establishment of the European Research Council, UvA and AMC researchers have received 94 ERC grants. UvA is the top host organisation in the Netherlands. This event will be a celebration of the accomplishment and is meant to inspire for new opportunities to come.

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

SD17 is the fourth in a series of meetings that brings together researchers in different areas of proof theory. The main interest is in new algebraic and geometric results in proof theory which expand our abilities to manipulate proofs, help to reduce bureaucracy in deductive systems, and ultimately lead to new methods for proof search and new kinds of proof certificates.

String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy.

This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. It will furthermore provide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, where famously Radiohead played their first concert. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2017  and will be co-located with the 3rd Higher-Dimensional Rewriting and Applications.

This conference focusses on several related interests of John: first order structures which are homogeneous in the sense of Fraïssé (or of more recent generalisations), and also ω-categorical structures in model theory; automorphism groups of such structures, and connections to other fields such as permutation group theory, semigroup theory, Ramsey theory and other aspects of combinatorics, topological dynamics; connections to set theory – related questions in combinatorial set theory, and permutation group methods in set theory.

This is a BLC-supported meeting.

The Symposium on Fundamentals of Computation Theory (FCT) was established in 1977 for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. FCT is a biennial conference. The last preceding Symposia were held in Gdansk, Liverpool, Oslo, Wroclaw, Budapest, Lübeck. FCT 2017 will take place in Bordeaux, France.

There will be four invited talks at FCT 2017. The invited speakers are: Thomas Colcombet, Martin Dietzfelbinger, Juraj Hromkovic and Anca Muscholl. There will also be one invited talk in memoriam of Zoltan Esik given by Jean-Eric Pin.

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

Every four years the Austrian Mathematical Society organizes a congress with international outreach. It became a nice tradition that the German Mathematical Society co-organizes this event and has its Annual Meeting at the congress. Altogether, there are 17 different sections scheduled for this meeting. The section on Algebra, Logic and Set Theory is chaired by Agata Ciabattoni (Vienna, Austria) and Vasco Brattka (Munich, Germany).

The invited speakers of this section are Ekaterina Fokina (Vienna, Austria), George Metcalfe (Berne, Switzerland) and Arno Pauly (Brussels, Belgium). At the meeting there will also be a minisymposium on Applied Proof Theory and the Computational Content of Mathematics organized by Thomas Powell (Darmstadt) and Sam Sanders (Munich).

The DGfS Computational Linguistics Fall School was established in 2001 by the Special Interest Group on Computational Linguistics of the German Linguistic Society as a biennial event for students who wish to broaden their knowledge of techniques and methods used in natural language processing. The motivation is to give interested students an understanding of innovative and emerging fields in computational linguistics, including fields not traditionally taught in standard degree programs.

The Fall School offers the following four courses, each of which consists of ten 90-minutes lectures:
- Michael Franke, Michael Henry Tessler: Computational Pragmatics
- Hassan M. Sajjad, Fahim Imaduddin: Deep Learning for Machine Translation
- Laura Kallmeyer, Timm Lichte, Rainer Osswald, Simon Petitjean: Grammar Implementation with Lexicalized Tree Adjoining Grammars and Frame Semantics
- Felix Bildhauer, Roland Schäfer: Creation, Use, and Analysis of Linguistically Annotated Resources

HIGHLIGHTS 2017 is the fifth conference on Highlights of Logic, Games and Automata that aims at integrating the community working in these fields. Papers from these areas are dispersed across many conferences, which makes them difficult to follow. A visit to the Highlights conference should offer a wide picture of the latest research in the field and a chance to meet everybody in the community, not just those who happen to publish in one particular proceedings volume. The program will feature contributed and invited talks,  two invited sessions, and two two tutorials.

The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes.

This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques.

The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up.

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

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

The topic of this workshop is one of the objectives of our research project P12-HUM-1216 “La génesis del conocimiento matemático: cognición, historia y prácticas”. We aim to investigate the changing configuration of relations between pure and “applied” maths in different periods, with particular attention to the “classical” era (17th and 18th centuries) contrasted with the “modern” 19th and early 20th centuries.

The invited speakers are Helmut Pulte (Ruhr Universität Bochum-RUB), Ivahn Smadja (Université de Paris Diderot – Paris 7 & Lab. Sphère) and Robert DiSalle (University of Western Ontario).

The summer school "Bridging the Gap between Human and Automated Reasoning" is a platform for knowledge transfer within the rapidly increasing research communities in the field of "Computational Logic", i.e. logic based Artificial Intelligence, and "Human Reasoning", i.e. Cognitive Science. We will offer introductory courses covering the fundamentals of cognitive science, logic and reasoning, courses at advanced levels, as well as applied courses and workshops dedicated to specialized topics and the state of the art.

The aim of the IWCS conference is to bring together researchers interested in the computation, annotation, extraction, and representation of meaning in natural language, whether from a lexical or structural semantic perspective. IWCS embraces both symbolic and statistical approaches to computational semantics, and everything in between.

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 aim of GandALF 2017 symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization.

PLM is a European network of centers devoted to the Philosophy of Language and Mind and organizes a biennial international conference series with leading experts on the field.

The conference will be preceded by an independent satellite conference on 'Pain and Emotion' in Bochum on 20 September 2017.

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.

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.

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. These frameworks provide foundations for the formal specification of systems and programming languages, supporting tool development and reasoning.

LSFA 2017 will be a satellite event of TABLEAUX, FroCoS, and ITP, that aims to be a forum for presenting and discussing work in progress, and therefore to provide feedback to authors on their preliminary research. The proceedings are produced after the meeting, so that authors can incorporate this feedback in the published papers.

An international autumn school "Proof and Computation" will be held from 23rd to 26th September 2017 at Haus der bayerischen Landwirtschaft Herrsching in Herrsching near Munich. Its aim is to bring together young researchers in the field of Foundations of Mathematics, Computer Science and Philosophy.

Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heteroge- neous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. forum for disseminating and sharing new trends and applications of Dynamic Logic.

Invited Speakers: Alexandru Baltag (UvA), Edward Hermann Haeusler (PUC-Rio, BR).

The Encyclopedia of Proof Systems was created in 2014 with the goal of being a quick reference for the various proof systems used by logicians. Since then, it has collected 64 entries on the most various logics and calculi. This was only possible due to the collaboration of many members of the logic community.

This event aims to promote the encyclopedia and attract more contributions and collaborators. It consists of:
- a poster session in the afternoon of September 24th, 2017, during which submitted entries will be displayed as posters;
- an interactive hands-on meeting in the morning of September 25th, 2017, for those who would like to contribute to the continuous improvement of the encyclopedia.

In various areas of computer science, such as logic, computation, program development and verification, artificial intelligence, knowledge representation, and automated reasoning, there is an obvious need for using specialized formalisms and inference systems for selected tasks. To be usable in practice, these specialized systems must be combined with each other and integrated into general purpose systems. This has led - in many research areas - to the development of techniques and methods for the combination and integration of dedicated formal systems, as well as for their modularization and analysis.

The International Symposium on Frontiers of Combining Systems (FroCoS) traditionally focusses on these types of research questions and activities. Like its predecessors, FroCoS 2017 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based ones, and of their practical use.

FroCoS 2017 will be co-located with the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2017) and the 8th International Conference on Interactive Theorem-­Proving (ITP 2017).

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

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

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

The transformation of science through computer simulation is often considered to be a methodological one. A lot of literature has been dedicated to determining the relationship between computer simulation, experiments or theories as the classical sources of knowledge. This relation is both methodologically and technically complex. On the one hand, it is difficult for philosophers, social scientists, and historians to gain detailed insight into the methods used among practitioners. On the other hand, for computer scientists and practitioners in general, the methodological limitations and design constraints that simulation techniques impose on hypothesis formulation and testing may not be obvious. The summer school addresses these problems by offering lectures and tutorials on computer simulation methods for scholars from the humanities, social sciences, and computer science.

The morning sessions will include lectures by faculty members, focusing on the philosophical, methodological, and technical aspects of different simulation techniques (including numerical methods, software techniques, visualization, agent-based modelling, and computational experiments). These will be followed by project presentations by participants. The afternoons will be dedicated to hands-on tutorials by practitioners. Finally, in the evenings, distinguished scholars will offer lectures on the most inspiring and exciting issues in this increasingly important research area.

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.

The annual meeting Deduktionstreffen is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting.

A particular focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative research projects. Deduktionstreffen 2017 is associated with KI 2017.

The Kurt Gödel Society will host a summer school on Logic and Language at the Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The summer school targets students in Logic, Computer Science and Mathematics at PhD, Masters or Bachelor level, but the event is open to all interested students.

The school will feature lectures by Federico Aschieri, Matthias Baaz, Guram Bezhanishvili, Uwe Egly, Carles Noguera and Michel Parigot.

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

CILC (Italian Conference on Computational Logic) is the annual conference organized by GULP (Group of researchers and Users of Logic Programming). Since the first event of the series, which took place in Genoa in 1986, the annual GULP conference represents the main opportunity for users, researchers and developers working in the field of computational logic to meet and exchange ideas. Over the years the conference broadened its horizons from the specific field of logic programming to include declarative programming and applications in neighboring areas such as artificial intelligence and deductive databases.

The purpose of the meeting is to foster the cross-fertilization of ideas stemming from different areas of theoretical computer science. In particular, it provides an ideal environment where junior researchers and PhD students can meet senior researchers.

ICTCS 2017 is co-located with the 32nd Italian Conference on Computational Logic CILC 2017 with which it will share part of the program.

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

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

The notion of truth has been a long-standing centre of attention for logicians, philosophers and mathematicians. In particular, the logical properties of formal theories of truth have been revealed to be relevant to various philosophical questions, such as to discussions on deflationism, sources of semantic paradoxes, philosophical foundations of arithmetic, and many others.

The present Warsaw Workshop on Formal Truth Theories will contribute to the efforts having as their purpose a deeper understanding of the concept of truth. The aim of the meeting is to bring together researchers in logic, philosophy and mathematics addressing a wide range of truth-related topics in order to maintain common ground for new research, to discuss latest results and work in progress and to simply foster cooperation of researchers studying the notion of truth from different perspectives.

The purpose of this workshop is to gather researchers and practitioners in multi-disciplinary fields (including logic, artificial intelligence, cognitive science, etc), to discuss research related to knowledge acquisition, representation, reasoning and decision making in the context of Big Data.

Invited speakers: Thomas Ågotnes (University of Bergen), Jan Broersen (Universiteit Utrecht), Kim Plunkett (Oxford University) and Chris Reed (University of Dundee).

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.

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.

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

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 Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students in the history of mathematics and related fields. It provides an opportunity for them to present and discuss their research in an informal and safe environment, share experiences and advice and to establish new contacts.

The theme of the Novembertagung this year is "Tools for research in mathematics, history and philosophy". Invited speakers: Liesbeth de Mol (Lille) & Ralf Krömer (Wuppertal).

Trends in Logic is the conference series of the journal 'Studia Logica'. The 17th Trends in Logic international conference will be held at The John Paul II Catholic University of Lublin, Poland, from November 12-November 15, 2017 under the title 'Traditional and new perspectives on deontic logic and agency modeling'.

Invited speakers: Jan Broersen, Fenrong Liu, Paul McNamara, Olivier Roy, Marek Sergot and Jan Woleński

This workshop celebrates the completion of the EPSRC-funded project 'Social Machines of Mathematics', led by Professor Ursula Martin at the University of Oxford. We will present research arising from the project, and bring together interested researchers who want to build upon and complement our work. We invite interested researchers from a broad range of fields, including: Computer Science, Philosophy, Sociology, History of Mathematics and Science, Argumentation theory, and Mathematics Education. Through such a diverse mix of disciplines we aim to foster new insights, perspectives and conversations around the theme of Enabling Mathematical Cultures.

We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place at the UvA, from December 6th-8th. The conference will consist of three plenary evening lectures and debates, and three successive workshops devoted to the topics of animal cognition in the broad sense (i.e., including humans).

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

HOPOS 2018 will take place at the University of Groningen in the Netherlands in July 2018. The local organizers include Professor Martin Lenz, Dr Han Thomas Adriaenssen and Dr Andrea Sangiacomo of the History of Philosophy Department.

The University Groningen Department of the History of Philosophy is the largest in the Netherlands and has considerable strengths in the history of philosophy of science. Following a tradition inspired by John North, a distinguished historian of science at Groningen, the department has continued to attract scholars who work on HOPOS themes, such as Lodi Nauta, winner of the Spinoza Prize, and Detlev Pätzold.

FLoC 2018 brings together nine major international conferences related to mathematical logic and computer science:

• International Conference on Computer Aided Verification (CAV)
• IEEE Computer Security Foundations Symposium (CSF)
• International Symposium on Formal Methods (FM)
• International Conference on Formal Structures for Computation and Deduction (FSCD)
• International Conference on Logic Programming (ICLP)
• International Joint Conference on Automated Reasoning (IJCAR)
• International Conference on Interactive Theorem Proving (ITP)
• Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• International Conference on Theory and Applications of Satisfiability Testing (SAT)

Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the School on Foundations of Programming and Software Systems (FoPSS, 30 June - 6 July).

We have already begun confirming exciting lineup of speakers, including keynotes by Shafi Goldwasser and Georges Gonthier; plenary lectures by Peter O'Hearn and Byron Cook; and a public lecture by Stuart Russell at the Sheldonian Theatre. We will also hold an Oxford Union-style debate on ethics for autonomous robots. There will be banquets, receptions and other social events in historic venues across the city.

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.