This year's E. W. Beth Lecture will be given by Stewart Shapiro (Ohio State University, Columbus), well known
for his work on the Philosophy of Mathematics, Philosophical Logic, and Philosophy of Language.

The purpose of this talk is to articulate and evaluate Waismann's notion of open-texture. We contrast this notion with the more well-known accounts of analyticity articulated by the logical positivists, Rudolf Carnap in particular, the rejection of analyticity by W. V. O. Quine, and its subsequent defense by Grice and Strawson. One underlying theme is how far open-texture reaches. Do we follow Waismann and restrict it to empirical predicates, or is the phenomenon more general, applying even in science and mathematics? Our goal is to explore the extent to which the Waismannian insights bear on the enterprise of natural language semantics and of the model-theoretic notion of logical consequence. Does the fact that contemporary model theory, and
many of the models for lexical semantics, allow no room for open-texture tell against those enterprises, as they are currently practiced?

The E.W. Beth lecture is part of the Amsterdam Colloquium 2017. Drinks will be served after the lecture in Kapitein Zeppos.

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.

Hannes Leitgeb will give a special Logic of Conceivability seminar in which he will talk of his own system of hyperintensional logic: HYPE.

Insights into the history of logic in the Western Middle Ages

From the beginning of the 11th century to the last sparks of scholasticism in the 16th, logic had a central role in the Western educational scene. Seen as a necessary foundation for any theoretical research, logical studies were also undertaken for themselves, as the meeting point of philosophical exploration into meaning and reasoning, and formal inquiry into the underlying structures of language. As such, medieval logics cover a variety of topics, going from elaborating a theory of Aristotelian syllogism to reflecting on the structure of modalities and tenses, accounting for fallacies and paradoxes, and even exploring the ontological structure underlying reference.

How did medieval logics evolve, moving between formal accounts and philosophical insights? What can they teach us? Come on Friday, December 15th to find out!

This talk will introduce the basic concepts of type-1 and type-2 fuzzy logic control and showcase various successful applications of fuzzy logic control with real time settings such as in Computer Games, UAVs, Mobile Robotics, Pursuit-Evasion Games and Process Control.

Unfortunately, today's LIRa seminar scheduled speaker, Jana Wagemaker, is ill. Fortunately, next week's speaker, Malvin Gattinger, has accepted to give his talk today. Thus today's seminar will run as usual, only with a different speaker.

Remko Scha (1945-2015) was professor of computational linguistics at the UvA’s Institute for Logic, Language and Computation. During his career, he made significant scientific and artistic contributions to areas as diverse as question answering, discourse analysis, the semantics of plurals, Data-Oriented Parsing, aleatoric music, algorithmic art, and theories and models of visual perception and creativity. In this workshop we celebrate these contributions with talks on current developments in many of the areas he was interested in.

The field of computational linguistics has made much progress in developing models of syntactic and semantic parsing. With current models we can compute with great accuracy and speed the constituency and dependency structure of sentences, predict semantic roles and sentiment, or derive representations that allow us to retrieve and infer facts, summarize text and translate into other languages. However, do these technological advances also yield a better understanding of how language is learned and processed by humans? In this workshop we discuss recent developments in using parsing models for analyzing empirical data from psycholinguistics and brain imaging, developments in rich parsing models that do justice to intricate structural properties of natural languages and unsolved challenges from these domains.

We are happy to announce the second Amsterdam SMART Cognitive Science Conference on the theme of ‘SMART Animals’. The conference will take place in Amsterdam, 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 conference is free of charge. Due to space limitations, however, you will need to formally register to be allowed in the workshop or lecture rooms. We therefore encourage you to register as soon as possible. The deadline for registration is November 15th. You can find the link to the registration form here.

Michael Dummett has a variety of arguments for why we should favour intuitionistic over classical logic. Most of his arguments attack the complete realism one needs to believe in bivalence, but there is one argument concerning mathematics specifically, based on a phenomenon he calls indefinite extensibility. We see what this phenomenon is and why it matters for the foundation of mathematics.

Now, most of us think that getting rid of naive comprehension got us out of the biggest problems of naive set theory. With this we abandon the possibility of forming a set of all sets and dodge all kinds of paradoxes. According to Dummett, though, this is not enough. We got rid of a symptom, but there still exists an underlying problem. He argues that the only sensible thing to do is to adopt intuitionistic logic. But is this actually the case? And is it really sensible to claim that unrestricted quantification should be possible?

We will look into a different solution: the potential hierarchy of sets, as formulated by Linnebo. This view of sets gives an explanation of why unrestricted quantification is not possible, instead of merely restricting it. This account of the hierarchy of sets also sheds new light on the abandonment of naive set theory.

In this presentation, the physical and cognitive experience of speed in music is explored. Organic to all cultures, music is not only an emergent property of the timing mechanisms of the brain (Craig, 2009) but also a manifestation of who we are, how we think and how we feel. The engagement of brain and body with sound reflects the temporal functions of physical, cultural and personal identities. Thus, much can be learned about another by simply listening to their music.

Organic to music is time; without time, there is no music. Nonetheless, the phenomenon of time with its broad implications in the sciences tells little about our experiences. The concept of speed, though, is full of enlightening character. Take some common terms to describe tempo in music: largo (broadly), adagio (slow and stately), allegro (fast, quickly and bright), vivacissimo (very fast and lively). Speed is relational and reveals aspects of how we think and feel. It is innately human.

Have you ever wondered whether it is really rational to learn new things? Well, if you plan on taking the Ramsey-test, you're in for a surprise. It is the only exam that one can only pass if one has learned nothing at all.

This is true at least if you believe the AGM-postulates for belief revision. In reality of course, we all know there is a serious possibility to fail an exam if one did not study. But no worries: according to AGM, serious possibilities are paradoxical. So just stop studying, you'll be fine. Unfortunately, in this talk we plan to burst this bubble by presenting an AGM-semantics which allows one to pass the Ramsey-Test by studying. Thus failing now is a serious possibility. Why would we do such a stupid thing? Well, we just know how much you all love studying logic.

Abstract: “A small number of circles are blue” and “few circles are blue” seem to convey the same meaning – that the quantity of blue circles is below some contextual criterion. Moreover, both contain a negative degree element ("few" as the negative of "many"; "small" as the negative of "large"). However, "few" is downward monotone while "a small number" is not. Downward Monotonicity is a formal logical property of certain linguistic expressions, but is it also cognitively relevant for language processing? In this talk I will present evidence for cognitive correlates of downward monotonicity, by presenting results of RT and fMRI experiments that compare e.g. "few" to "a small number", and argue that the cognitive complexity of downward monotonicity is part of the mental representation of the sentence.

Logic is about valid reasoning, which can be seen as a form of elucidating information from data already at our disposal. Logic can also deal with other forms of information flow, by observation or by communication. We will discuss how this can be done, and whether in the end there is just one or several notions of information involved in logic.

Have you ever wondered whether it is really rational to learn new things? Well, if you plan on taking the Ramsey-test, you're in for a surprise. It is the only exam that one can only pass if one has learned nothing at all.

This is true at least if you believe the AGM-postulates for belief revision. In reality of course, we all know there is a serious possibility to fail an exam if one did not study. But no worries: according to AGM, serious possibilities are paradoxical. So just stop studying, you'll be fine. Unfortunately, in this talk we plan to burst this bubble by presenting an AGM-semantics which allows one to pass the Ramsey-Test by studying. Thus failing now is a serious possibility. Why would we do such a stupid thing? Well, we just know how much you all love studying logic.

Please note that the joint DIP/Cognition@ILLC session with Rafal Urbaniak (Ghent University) scheduled for Friday 3 November has been cancelled.

NWO organises information meetings for researchers who want to apply for a Veni, Vidi of Vici grant. Practical information is given and selection committee members, NWO secretaries and researchers who have already acquired a Veni, Vidi or Vici share their experiences during a question and answer session. The meetings are in English.

Abstract:

In 2015 I argued that full mathematical cognition was the result of a process of enculturation. Given that symbolic mathematics is a very recent acquisition—mathematical symbol systems are only thousands of years old and some mathematical practices are only hundreds of years old—it could not be the result of a genetically inherited and specialised module. How then do we acquire the capacity for symbolic mathematics in ontogeny? I return to the argument I presented there, that we should pay close attention to the social and cultural pressures that gave rise to the need for arithmetic and mathematics and to the cultural practices that were developed for thinking abstractly about quantity. Mathematical practices recruit a number of existing capacities including the capacity for numerosity (which appears to be an ancient endowment), the capacity for sensorimotor manipulation of tools and the ability to perform sequences of operations according to norms (or rules).

The notion of representation is crucial for understanding Western tonal harmony. We investigate the explanatory power of different harmony representations in a series of computational studies, analyzing large datasets of classical, popular, and jazz music. The results demonstrate the structural importance of many representations from music psychology and music theory, with structural importance varying as a function of musical genre. Combining these representations into one statistical model allows considerably more accurate characterizations of harmonic structure. The results have implications for music theory, music information retrieval, and music psychology.

This is joint work with Julien Narboux and Freek Wiedijk. We used computer proof-checking methods to verify the correctness of our proofs of the propositions in Euclid Book I. We used axioms as close as possible to those of Euclid, in a language closely related to that used in Tarski's formal geometry. We used proofs as close as possible to those given by Euclid, but filling Euclid's gaps and correcting errors. Then we checked those proofs in the well-known and trusted proof checkers HOL Light and Coq. The talk will contain many geometrical diagrams and discuss both the geometry and the proof-checking.

Cool Logic is a logic seminar by and for Master and PhD Students of the ILLC.



Hana's talk this week proposes an account of concealed questions (e.g. 'I know your age') that extends Aloni & Roelofesn (2011). The talk features one of the most trivial card games ever invented, and the best division of semantic and pragmatic labour in the history of the United States (period). Come see for yourselves!

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

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.

Abstract:

This is an invitation to reflect on the successes and failures of collective rationality, particularly as embodied in modern mechanisms for mass information-aggregation-and-exchange (media, markets, voting, social networks, crowdsourcing). What are the nature, sources and dynamics of “collective knowledge”? Do the benefits provided by ''the wisdom of the crowds" outweigh the dangers posed by the stupidity or even ''madness" of the crowds? Do the above-mentioned aggregation mechanisms fulfill their epistemic promises (helping us acquire relevant information and take better collective decisions), or do they end up creating their own pseudo-reality (as exemplified by echo-chambers, ''fake news" and ''alternative facts"), leading in the end only to catastrophic mass delusions and self-defeating protest votes?

Can Logic and Philosophy help us understand this dilemma? Can Computer science help us verify and ''debug" our social software, diagnose its weaknesses and provide tools for social-informational ''mechanism design", that could be used to prevent the worst forms of ''groupthink"? Can ''epistemic democracy" actually work and endure? Will the ''facts" (the actual facts) eventually emerge from the noisy networks of irrelevant data, self-confirming rumors and self-congratulatory 'likes'? Or, to put it more bluntly: will 'truth' (the real truth) survive the ''information age"?

When listening to music, humans spontaneously synchronize their movements with different aspects of the sound. We propose that such movements are a direct result of specific acoustic features that activate motor responses in the peripheral nervous system. To test this hypothesis, participants (N = 42) remained still and listened to 12 musical excerpts while electromyography (EMG) was recorded on the hand and arm...

The atomic coverage (Grothendieck topology) is defined on any category that satisfies the property that every cospan completes to a commuting square. This property is sometimes called the right Ore condition. It is trivially satisfied by any category with pullbacks. More generally, even in the absence of pullbacks, there is often a "universal" way of completing cospans to commuting squares. In the talk I shall present examples of this situation, and I shall discuss special properties of atomic toposes that arise from sites of this nature.

“How to write a successful collaborative H2020 proposal, with specific focus on Impact” by Sean McCarthy of Hyperion, the top training agency for EU programmes.

Registration is free of charge and includes participation as well as course material. However, there is a limited amount of spots available for each faculty. Register if you have (concrete) plans for proposals and/or are looking for partners from other faculties, e.g. with Social Science and Humanities backgrounds.

“How to write a successful collaborative H2020 proposal, with specific focus on Impact” by Sean McCarthy of Hyperion, the top training agency for EU programmes.

Registration is free of charge and includes participation as well as course material. However, there is a limited amount of spots available for each faculty. Register if you have (concrete) plans for proposals and/or are looking for partners from other faculties, e.g. with Social Science and Humanities backgrounds.

The kick-off workshop for the project Cognitive Semantics and Quantities will take place September 28 and 29 in Amsterdam. Everyone is cordially welcomed to attend.

Most of us believe that two heads are better than one. We also agree that too many cooks spoil the broth. What is it about people making decisions together that is captured by these contradictory yet intuitive ideas? The talk will explore this question from a number of different directions at dyadic (n=2), group (3<n<8) and crowd (1000<n) level decision making hoping to understand the cognitive basis of interactive decision making.

We will discuss Gibbard's 'Objects of Belief' and Chalmers' 'Propositions and Attitude Reports'.

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

On 14-15 September 2017, the Human Computation Community in the Netherlands (HComp-NL), supported by 4TU-NIRICT, is organising a series of events at the Vrije Universiteit Amsterdam, in conjunction with the inaugural lecture of Prof. Dr. Lora Aroyo entitled "Data Science with Humans in the Loop”.

The occasion will feature the inaugural lecture itself, a tutorial session in the field of Human Computation, and a symposium with invited talks by  researchers working in different fields of human computation and user-generated content.

The Grant team organises a support track for all candidates, consisting of a number of meetings with grant advisors, a laureate and a former committee member. Grant advisor Els den Os will chair the meeting and Jan Simons will share his experiences as a former committee member. If you would like to attend, please send an e-mail to subsidie-fgw at uva.nl or use the on-line form on our website.

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.

A selection of the Master of Logic courses offered in Semester 1 will be presented by the lecturers.

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!

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 summer school will offer a rich programme of introductory and advanced courses on a broad range of topics in the area of autonomous agents and multiagent systems. The courses are aimed at PhD students, advanced Master's students, and other early-stage researchers and will be taught by leading researchers in the field. Topics to be covered in this year's edition include decision making, game theory, mechanism design, judgment aggregation, epistemic logic, argumentation theory, reinforcement learning, model checking, verification, and machine ethics.

EASSS is organised under the auspices of EURAMAS, the European Association for Multiagent Systems. The school attracts both beginner and experienced researchers, encouraging cooperation between representatives of many branches of Multi-Agent Systems research community. A limited number of student grants are available in the form of fee waivers: deadline for application is 5 June 2017.

LOGIC in computer science and engineering -- Y. Gurevich

In software industry, engineers do formal logic day in and day out, even though they may not realize that. As a rule, they have not studied logic. Instead, they spent a lot of time studying calculus which they use rarely, if ever. I'll try to illustrate why logic is so relevant and why it is hard for software engineers to pick it up.

The conference brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas,with a focus on structural perspectives and the use of logical tools,ordered algebraic and category-theoretic structures, formal languages,semantical methods, and other computer science techniques applied tothe study of physical behaviour in general. Work that appliesstructures and methods inspired by quantum theory to other fields (including computer science) is also welcome.

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

On behalf of Jan Broersen you are all warmly invited for the REINS/TF-mini-symposium on deontic logic.

This workshop marks and celebrates the end of the first phase (almost two years) of the project Inquisitivenes Below and Beyond the Sentence Boundary (InqBnB), carried out at the Institute for Logic, Language and Computation (ILLC) in Amsterdam with funding from the Netherlands Organisation for Scientific Research (NWO).

The Utrecht based Time in Translation project (Henriëtte de Swart, Bert Le Bruyn, Martijn van der Klis) is happy to announce its kick-off workshop on Friday June 23rd in Utrecht. We're bringing together linguists from different backgrounds and with different aims and ask them to reflect on corpus methodology in their work: Stephan Th. Gries, Eva Vanmassenhove, Martijn van der Klis, Antonio Toral, Tommaso Caselli, Jet Hoek & Nicholas Asher.

Participation. Participation is for free but it would be great if you could send a short email to Bert Le Bruyn if you're intending to join for lunch.

On June 23rd the Amsterdam Brain and Cognition center organizes the ABC Brain Day (& Night), the yearly conference where ABC members present their research.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This year's ABC Summer School, organized by Lucia Talamini, Umberto Olcese and Christa van der Heijden on behalf of the research master Brain and Cognitive Sciences, takes an interdisciplinary approach to the study of sleep. It will explore the topic from the level of neural networks to that of cognition.

The two-week international Summer School consists of a series of Master Classes, each one given by a renowned expert in the field. In addition, students will work in groups with a designated tutor, on a research project within the broad topic, which they will present towards the end of the Summer School. As the summit of the Summer School, an international symposium “Crossing the watershed between sleep and wakefulness: Information processing during sleep, wakefulness and alternative states of consciousness” will be presented at the final day of the ABC Summer School.

The aim of the workshop is to bring together logicians, computer scientists, mathematicians and philosophers interested in the growing interplay between the fields of modal logic and category theory. The workshop will be hosted on the occasion of the defence of Giovanni Cinà's PhD defense.

Location and website will be announced soon.

The 2017 edition of Bessensap is taking place on Friday 16 June! About 400 journalists, press officers and researchers will meet at the Rode Hoed in Amsterdam to network and exchange knowledge about recent developments in science and science communication.

We're going to discuss a study by Julia Merrill, Daniela Sammler, Marc Bangert, Dirk Goldhahn, Gabriele Lohmann, Robert Turner and Angela D. Friederici on the neural correlates of song and speech [1]. Our own expert on the intersection of music, language and brain, Joey Weidema, will kick-off the discussion with a short introduction.

Speakers: Vladimir Karamychev, Rudolf Müller, John Weymark

Abstract:
It is hard to think of two conceptions of morality further apart than those of Kant and Freud. Kant took our moral attitudes to be the highest expression of our capacity to guide our actions by reason. Freud took our moral attitudes to originate in our deepest, earliest emotional bond, the bond we have as helpless infants to the adult figures we experience as nurturing, protecting, or threatening. Nevertheless, both took morality to be deeply connected to our capacity to think and act, as we would say, “in the first person.” In exploring those two seemingly opposed conceptions of morality, the lecture will explore how emotions and reason converge, or as the case may be, diverge in determining our moral attitudes and our capacity to take responsibility for our thoughts and actions.

This event continues a long-standing tradition at Stanford of annual workshops in logic, broadly conceived, aimed at fostering discussion across disciplines and universities, with the added goal of involving both junior and senior participants. The content of the workshop is drawn from the disciplines of logic, philosophy, mathematics, computer science, cognitive science, linguistics and economics, with an emphasis on exploring interdisciplinary contacts.

This year, the workshop will be held in conjunction with the Solomon Feferman Symposium, dedicated to the life and work of Solomon Feferman.

Reflections on the possibilities and the limitations of applications of logic to the analysis of human behaviour. The workshop is intended to create a space to talk about issues that are not often addressed in public in scientific circles.

For more information, see http://homepages.cwi.nl/~jve/workshop/

People who wish to attend the workshop are requested to fill out the following RSVP form: https://goo.gl/forms/s2KZryvHXSr5Bzw32

You are kindly invited to join the first national meeting for researchers on Open Science. The meeting will take place on the 29th of May 2017 and will be hosted at the Aula of TU Delft.


The day will be a great opportunity for all researchers working in the Netherlands to give their opinion on the aims and goals of the Dutch ‘National Open Science Plan’. It’s a chance to let politicians, funders and administrators know what researchers really need to make Open Science work for them.

In this lecture series, we present a body of theorems formally derivable from the axioms of “object theory”. The axioms are motivated and presented in the first lecture, and once they are in place, we define a variety of abstract objects and systematize them by deriving the their governing principles as theorems. We identify and derive principles governing: truth-values, logical classes, situations, possible worlds, impossible worlds, concepts (including complete individual concepts), Forms, fictions, Fregean senses, Fregean (natural) numbers, and theoretical mathematical individuals and relations generally.

The objectives of the course are to familiarize participants with the theory of objects, developed and defended by Prof. Ed Zalta, and to more generally discuss the topics with which it deals, such as: logical classes, situations, possible and impossible worlds, concepts, Forms, fictions, Fregean senses, Fregean numbers, and mathematical individuals and relations.

For "Life after ILLC" we invited six ILLC alumni from different areas of academia and industry to talk about their experiences after graduating. They will tell us about the path they have followed since leaving our institute. We hope that their stories will give you inspiration for your own career -- no matter whether you want to stay in academia or make the move to industry. After the presentations there will be food and drinks and time to mingle with the speakers.

In this talk I will discuss a Stone-like topological duality for Boolean algebras avoiding the Prime Filter Theorem.

This is joint work with Wes Holliday.

The Centre for Logic and Philosophy of Science (CLWF) of the Vrije Universiteit Brussel (VUB) will host a Masterclass in the Philosophy of Mathematical Practice with Prof. Dr. José Ferreirós (Universidad de Sevilla, Spain) on May, 17-19. The Masterclass will be composed of three lectures based on Prof. Ferreirós’ recent book entitled Mathematical Knowledge and the Interplay of Practices.

The tentative titles for the three lectures are as follows:
Lecture 1 (Wednesday, 17/5): On Truth and History in Mathematics
Lecture 2 (Thursday, 18/5): An Alternative Look at Representations in Set Theory
Lecture 3 (Friday, 19/5): Rethinking Structuralism: a Conceptualist Approach

We intend the Masterclass to be a fully interactive event, with the twofold objective to understand in depth the materials presented in the lectures, but also to discuss current work by early career researchers (PhD students and Postdocs). The lectures by Prof. Ferreirós will take place in the mornings, and will be followed by afternoon sessions in which early career researchers in the Philosophy of Mathematical Practice are invited to present their work. The goal is to offer early career researchers an opportunity to discuss their ongoing work in a helpful and constructive environment.

Shared tasks and (shared) corpora have proven themselves highly valuable for NLP. They have allowed us to evaluate our methods and compare them to others helping us, our readers and reviewers to assess the quality of our methods. In this talk, I will present two studies taking intrinsic evaluation one step further 1) investigating error propagation in parsing and 2) diving in the evaluation of distributional semantic methods. Finally, I will outline the importance of deeper evaluation when NLP is used within digital humanities and digital social science.

ADS Coffee & Data offers the opportunity for researchers and business to share their knowledge and give insight on a central theme, specifically on Friday 12 May this will be on Artificial Intelligence. There is also a chance to network with a cup of coffee.

Abstract:

Some philosophers have argued that using ‘I’ is the source of illusions, for instance the illusion that I am the author of my actions and thoughts rather than thoughts and actions happening to me, or in me. Lichtenberg maintained that “we should say ‘it thinks’ or ‘there is thinking going on’ rather than ‘I think’.” In the same vein, Nietzsche urged that “a thought comes when it wills, not when I will.” And nevertheless, using ‘I’ seems to be an indispensible tool for each individual person to refer to herself. What do our uses of ‘I’ reveal about our relations to ourselves, to others, and to the world?

For more information, please visit the website http://www.illc.uva.nl/logic_tea/ or contact Sirin Botan (s.botan at uva.nl), Bonan Zhao (bonan.zhao at student.uva.nl), or Julian Schloder (julian.schloeder at gmail.com).

Ordering conditions for groups provide useful tools for the study of various relationships between group theory, universal algebra, topology, and logic. In this talk, I will describe a new “algorithmic” ordering condition for extending partial orders on groups to total orders. I will then show how this condition can be used to show that extending a finite subset of a free group to a total order corresponds to checking validity of a certain inequation in the class of totally ordered groups. As a direct consequence, we obtain a new proof that free groups are orderable.

Dear colleagues.

The following weekend has now officially been appointed for major ICT maintenance:

• 22 & 23 april 2017

Further information will follow later on, but be aware all central systems and the network may be unavailable during this weekend.

Best wishes,
ILLC Office

For more information, contact illc at uva.nl

From Friday evening until Sunday afternoon ICTS is planning major maintenance on many ICT systems. Details will be made available later.

This will be a special session in honour of Kenneth J. Arrow (1921-2017). Speakers are Salvador Barberà (Barcelona), Herrade Igersheim (Strasbourg), and Hans Peters (Maastricht). Participation is free and open to everyone, but advance registration is requested.

We are happy to announce the next 'Voor de Leeuwen' meeting, which will take place on Tuesday 18 April at 16.00 in the PC Hoofthuis, room 1.04. 'Voor de Leeuwen' aims to provide an informal platform to discuss research-related issues. The theme of this meeting is valorisation&knowledge utilisation. The programme includes the presentation of Inventory Report of the valorisation activities within the FGw, and several talks by researchers about societal impact of their work from various perspectives.
All are welcome to attend this meeting (please register via subsidie-fgw at uva.nl). Following there will be drinks and snacks in the ‘Leeuwenkuil’ from around 17.00 onwards! Please follow the link below for a full programme.

During these events, second year MoL students will present their ongoing thesis projects to the ILLC community. For the students it is an opportunity to receive feedback on their research from experts outside of their supervisory team. For the ILLC community it is an opportunity to get an overview of the variety of research questions our students are currently working on.

As in the previous editions, the purpose of this meeting is to inform you about various issues that are currently of importance in the ILLC and / or the Master of Logic programme. All ILLC staff, PhD students and guests are invited to attend.

Peter will discuss both Van Inwagen's article on Modal Epistemology and his own reply (Hawke) on Van Inwagen's Modal Skepticism.

During these events, second year MoL students will present their ongoing thesis projects to the ILLC community. For the students it is an opportunity to receive feedback on their research from experts outside of their supervisory team. For the ILLC community it is an opportunity to get an overview of the variety of research questions our students are currently working on.

This workshop is a chance to discuss the problem of the continuum (broadly construed) in the foundations of mathematics and physics, and how logical tools from the foundations of mathematics can be applied to illuminate issues in contemporary physics. This workshop is associated to Riccardo Pinosio's PhD defense.

This workshop explores the relation between causal inference and conditional/counterfactual inference. We will focus in particular on the asymmetric nature of both types of inference. We bring together expertise from philosophy, psychology and artificial intelligence to address the following questions:

1. How to account for the relative ease of causal inference (reasoning from cause to effect) compared to diagnostic inference (reasoning from effect to cause)?
2. Do we have to distinguish different reasoning strategies to interpret conditional sentences and how does this relate to the distinction between causal inference and diagnostic inference?
3. Are Causal Models appropriate to account for 1. and for the analysis of conditionals?

Linguistics quantifiers have been the realm of Formal Semantics. A lot is known about their formal properties and how those properties affect logical entailment, the licensing of polarity item, or scope ambiguities. Less is known about how quantifiers are acquired by children and even less about how computational models can learn to quantify objects in images. In this talk, we will report on our findings in this direction. First of all, we will explain why the task is interesting and challenging for a Language and Vision model. Secondly, we will report our evaluation of state-of-the-art neural network models against this task. Thirdly, we will compare the acquisition of quantifiers with the acquisition of cardinals. We will show that a model capitalizing on a `fuzzy' measure of similarity is effective for learning quantifiers, whereas the learning of exact cardinals is better accomplished when information about number is provided.

I'm very happy that my three external committee members will give talks at the ILLC! They are:
- Craige Roberts (NYU/Rutgers)
- Michael Wagner (McGill)
- Jörg Peters (Oldenburg)

Topics will include focus/prominence in natural language, the tone inventories of languages like Dutch, German and English, experimental work on intonation, and of course pragmatics.
Precise program TBA.

Recent work in computational and cognitive neuroscience depicts the brain as an ever-active prediction machine. In this talk, I contrast two ways of understanding the implied vision of mind. One way (Conservative Predictive Processing) depicts the predictive brain as an insulated inner arena populated by representations so rich and reconstructive as to enable the organism to ‘throw away the world’. The other (Radical Predictive Processing) stresses processes of circular causal influence linking brain, body, and world. Such processes can deliver fast and frugal, action-involving solutions of the kind often highlighted by work in robotics and embodied cognition, nesting them within a structured, uncertainty-modulated, knowledge-base that remains firmly rooted in sensory experience. This delivers a broader, profoundly embodied, and more ‘cybernetic’ vision of predictive processing. But it raises deep and important questions concerning how best to understand the core notions of prediction and prediction error minimization themselves.

To warm up for Andy Clark's afternoon lecture, five young researchers from various disciplines will talk about topics related to predictive processing and computational models of cognition.

The morning is divided into two parts: the first half consists of two talks in a row followed by 20 minutes for questions and discussion. After a coffee-break, we continue with another three talks followed by 30 minutes for questions and discussion. Everyone is of course warmly invited to participate in the discussion.

The full programme can be found here. To participate, please send an email to Bastiaan van der Weij.

When we encounter paradoxes, we apply a specific method to overcome them: Logical Analysis. I will argue in my talk that this method is a very useful tool to have in your toolbox, no matter what your particular academic discipline is. We will practice this method studying logical paradoxes and see the power of this method in broadening our understanding of paradoxes and logic in general. But can we overcome the logical paradoxes? Well, lets try.

The NCR lecture series "The Next Big Thing" will discuss the big questions and challenges of a particular research area. Henkjan Honing will deliver the lecture of 15 March 2017.

Speakers will be Matthias Mnich (Maastricht), Hessel Oosterbeek (Amsterdam), Dominik Karos (Maastricht) and Emre Ergin (Maastricht).

On February 21, the ILLC PhD Council is organizing the next PhD Day. This is an event for all PhD candidates at ILLC. The council present a number of issues that we have been working on and at the same time we will discuss any issues that the PhD candidates will raise. The meeting will be followed by a lunch at Maslow.

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

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

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

In the first music reading group of 2017, we will have a discussion on a recent cross-cultural study employing iterated learning to tease out priors on rhythmic categories. Bas Cornelissen will open the discussion with a short introduction to the paper.The paper to be discussed is the following: Jacoby, N., & McDermott, J. H. (2017). Integer Ratio Priors on Musical Rhythm Revealed Cross-culturally by Iterated Reproduction. Current Biology, 27, 1–12. http://doi.org/10.1016/j.cub.2016.12.031

Dear all,

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

The NCR lecture series "The Next Big Thing" will discuss the big questions and challenges of a particular research area. Rens Bod will deliver the lecture of 8 February 2017.

Each year, the UvA hosts a series of Student-Alumni Career Talks, each focusing on a different career sector. The Career Talks feature a panel of international UvA-alumni who will share their experiences in finding a job in the Netherlands after graduation. During these highly interactive sessions you can learn from alumni career stories and advice. The panel discussion is followed by informal networking drinks with fellow students and alumni.

In total there are four evenings, each with its own topic:
2 February – PhD and Research
16 February – Culture and Creative Sector
2 March – Non-Profit and NGO
9 March – Startup and SME’s

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

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

The ILLC Colloquium is a half-yearly festive event (either the New Year's Colloquium, the Midsummernight Colloquium or the Midwinter Colloquium) that brings together the three research groups at the ILLC. Each colloquium consists of three main talks by representatives from the Logic and Language group, the Language and Computation group and the Logic and Computation group, which are occasionally followed by Wild Idea Talks. The colloquium is concluded by a get together of the entire ILLC community.

Abstract:
Over a century ago, Frege famously introduced the distinction between sense and reference that is one of the theoretical foundations of formal semantics. However, in practice formal semanticists took reference and ran away with it, either eschewing sense-related issues altogether or giving a referential treatment to them (with notable exceptions). In this talk, I argue that we need to go back to Fregean sense, and propose that data-induced, continuous representations provided by distributional semantics and deep learning methods provide a good methodological handle for sense-related aspects of meaning. I support these claims with results from both computational modeling and theoretical studies. I then revisit reference and present ongoing work on the challenging enterprise of tackling it with continuous methods, too.

Traditionally, philosophy of mathematics focused on the formal component of mathematics and ignores the human and social components of the mathematical discipline. In the last decades, some philosophers of mathematics have challenged this traditional view and claimed that many of the features of the discipline of mathematics depend at least partially on interpersonal context and cultural embedding. The special issue entitled "Enabling Mathematical Cultures" aims to cover this broadly interdisciplinary scope, studying the social and cultural features of mathematical research practice and its philosophical ramifications.

Guest editors: Benedikt Loewe, Ursula Martin, Alison Pease.

This special issue is solely dedicated to modal and predicate non-classical logics. Its aim is to bring together papers on both pure and applied aspects of various branches of non-classical logics, to present recent advances in particular fields, and to foster the exchange of ideas between researchers focusing on (1) separate branches of non- classical logic and (2) foundational and applied issues. Guest editors: Petr Cintula (Czech Academy of Sciences) Shier Ju (Sun Yat-sen University) Zach Weber (University of Otago).

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 targeted audience for the workshop are researchers associated with fields working in the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence. Furthermore, researchers coming from application areas, like computer-aided innovation (CAI) are welcome to submit papers for this workshop.

Due to the open nature of the targeted topics, we hope for contributions from a broad variety of subdisciplines within AI and related areas.

Over the past few years, Kit Fine, Mark Jago and many others have developed various hyperintensional logics: logics that do not satisfy replacement of classical equivalents. Instead, a stronger notion of “analytic equivalence” lies at the core of these systems. Semantics that are more fine-grained than possible-world semantics, such as exact truthmaker semantics, have been proposed to interpret hyperintensional logics. They have recently been applied to the theory of counterfactuals and to debates in metaphysics, among other topics. The aim of this workshop is to bring together and promote research in this area, and to draw connections with ongoing work in philosophical logic, including but not limited to: paraconsistency and paracompleteness, probability theory, first- and higher-order logics, deontic reasoning, relevance logic, and modal logic. Keynote speaker: Kit Fine.

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

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

 

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

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.

The aim of the conference is to combine the perspectives of psychology, neurobiology, and cognitive science.
Recent advances in psychology, neurobiology and cognitive science have created many ideas whose relevance for jurisprudence can be significant. It is our hope that a stimulating exchange of ideas between scholars from these empirical disciplines and legal scholars will generate new insights and develop further the ongoing debate in this field.
Keynote speakers: Giovanni Sartor, Francis X. Shen, Deborah W. Denno, Fritz Strack

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

We invite submissions for the special issue of the Journal for General Philosophy of Science on the topic of Formal Models of Scientific Inquiry. The issue will include papers presented at the conference on the same topic, which was held in Bochum on July 18-19, 2017. Papers not presented at the conference are also welcome.

Throughout the last two decades philosophical discussions on scientific inquiry have increasingly utilized formal models. One of the main advantages of formal approaches is that they help us to gain a precise understanding of the underlying issues and to form normative generalizations that are difficult to obtain in view of traditional methods (such as, for example, historical case studies). Nevertheless, models frequently come with a high degree of idealization and simplification, which may impede their relevance for actual scientific practice. This poses the question, to which extent formal models can be used to provide an understanding of scientific inquiry, and to which extent they can be improved with respect to their relevance for science policy. We invite papers on the above and related issues.

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

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.

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.

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

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

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.

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

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.

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?

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

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

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

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.

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

 

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 relation between obligations and permissions is usually understood either as the first implying the second, or as the second constraining the promulgation of further obligations. The dynamic generation of obligations by rights and permissions, by contrasts, has received comparatively little attention. This special issue aims at exploring such questions as 'when do permissions and rights generate obligations for others', and more generally welcomes any original perspective on the logical relations between obligations and permissions and other related topics within deontic logic.

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

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

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

Three of the main conferences on automated reasoning -- TABLEAUX, FroCoS, and ITP - will be held in Brasilia, Brazil, between 25 and 29 September 2017. Following the long tradition of those events, we invite researchers and practitioners to submit proposals for co-located workshops and in-depth tutorials on topics relating to automated theorem proving and its applications. Workshops/tutorials can target the automated reasoning community in general, focus on a particular theorem proving system, or highlight more specific issues or recent developments.

Proposals are invited to be submitted by email no later than 9 December 2016.

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

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

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.

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.

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.

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.

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

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

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

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

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

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.

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.

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

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.

A CfP is out for the upcoming Synthese Special Issue "Mathematical Cognition and Enculturation", edited by Catarina Dutilh Novaes and Markus Pantsar.

With this special issue, we hope to advance our understanding of mathematical cognition by exploring the perspective of enculturation. Conversely, we also hope to investigate the merits, reach and limits of the enculturation perspective by means of detailed analyses of a specific but important case study: mathematical cognition. Submissions are invited from a wide variety of approaches in philosophy of mathematics, including views critical of the concept of enculturation with respect to mathematics.

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

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.

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

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

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.

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

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

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

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.

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.

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.

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

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

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.

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.

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.

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.

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.

SaarDial will be the 21st edition of the SemDial workshop series, which aims to bring together researchers working on the semantics and pragmatics of dialogue in fields such as formal semantics and pragmatics, computational linguistics, artificial intelligence, philosophy, psychology, and neuroscience. In 2017 the workshop will be hosted by the Spoken Language Systems Group, Saarland University, and will be collocated with the 18th Annual SigDial Meeting on Discourse and Dialogue.

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

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.

The third Nordic Logic Summer School is arranged under the auspices of the Scandinavian Logic Society. The two previous schools were organized in Nordfjordeid, Norway (2013) and Helsinki (2015). The intended audience is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. The school is co-located with Logic Colloquium 2017 (14-20 August) and Computer Science Logic 2017 (21-24 August).

The school will consist of 10 five-hour courses, running in two parallel streams. In addition, there will be short student presentations and poster sessions.

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

Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. This CADE'26 workshop brings together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems.

The workshop provides an overview of formal semantics and its applications. In addition, it explores applications of formal semantic and topological tools to spatial concepts. After an advanced introduction, formal semantic modelling in spatial concepts will be discussed. The workshop will conclude with an overview of some formal representations of spatial relations in Baltic languages.

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

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

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

 

The mission of the TARK conferences is to bring together researchers from a wide variety of fields in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. TARK 2017 is the 16th conference of the TARK conference series. Previous conferences have been held bi-annually around the world.

Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty; bounded rationality and resource-bounded reasoning; commonsense epistemic reasoning; epistemic logic; epistemic game theory; knowledge and action; applications of reasoning about knowledge and other mental states; belief revision; computational social choice; algorithmic game theory; and foundations of multi-agent systems.

The conference is concerned with the theory of computability and complexity over real-valued data. Scientists working in the area of computation on real-valued data come from different fields, such as theoretical computer science, domain theory, logic, constructive mathematics, computer arithmetic, numerical mathematics and all branches of analysis. The conference provides a unique opportunity for people from such diverse areas to meet, present work in progress and exchange ideas and knowledge.

The topics of interest include foundational work on various models and approaches for describing computability and complexity over the real numbers. They also include complexity-theoretic investigations, both foundational and with respect to concrete problems, and new implementations of exact real arithmetic, as well as further developments of already existing software packages. We hope to gain new insights into computability-theoretic aspects of various computational questions from physics and from other fields involving computations over the real numbers.

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

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

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

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

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

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

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

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

Throughout the last two decades philosophical discussions on scientific inquiry have increasingly utilized formal models. To this end a variety of formal models have been developed, starting from analytical ones to agent-based models that provide computer simulations of scientific inquiry. The aim of this conference is to bring together scholars working on different approaches to the formal modeling of scientific inquiry to discuss both different types of formal models and the prospects and limits of their usefulness for philosophy of science, social epistemology and science policy.

Keynote speakers: Gregor Betz (Karlsruhe Institute of Technology), Leah Henderson (University of Groningen) and Jason McKenzie Alexander (London School of Economics).

The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.

Invited Speakers:Markus Krötzsch (TU Dresden), Andreas Pieris (Edinburgh), and Uli Sattler (Manchester).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

The FilMat network promotes workshops and conferences open to Italian and international researchers in the philosophy of mathematics. To emphasise its attention to those at early stages of their careers, the network is glad to inaugurate, in addition to its biennial main conferences, its first graduate conference. We expect to host up to 6/8 contributed talks by graduate and early career speakers of any nationality, selected by double-blind review.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Answer Set Programming (ASP) is a declarative programming paradigm with close relationships to neighboring fields such as ATP, CP, FO(.), SAT, SMT, and others. Since its inception in 2007, the ASP Competition series strives to evaluate and advance the state of the art in ASP solving technology. The International Workshop on Practical Aspects of Answer Set Programming (PAoASP) addresses current developments of systems, tools, and applications in ASP and neighboring fields. To this end, it aims to bring together researchers and practitioners of declarative programming with dedicated focus on, but not limited to, recent methods and trends emerging from the ASP Competition.

The 1st International Workshop on Practical Aspects of Answer Set Programming (PAoASP 2017) is organized in conjunction with the 7th Answer Set Programming Competition (ASPCOMP 2017) and affiliated with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017).

IEA/AIE 2017 continues the tradition of emphasizing applications of applied intelligent systems to solve real-life problems in all areas including engineering, science, industry, automation & robotics, business & finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions.

The CIAA conference series, which was started in 1996, covers all aspects of implementation, application, and theory of automata and related structures. It aims to attract contributions from both classical automata theory and applications.

The scientific program will consist of invited lectures and presentations of papers selected by the international program committee, based on a thorough peer-reviewing process. Invited speakers include Véronique Cortier (CNRS, LORIA, France), Kim G. Larsen (Aalborg University, Denmark) and Damien Pous (CNRS, ENS Lyon, France).

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

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

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

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

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

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

ICCBR is the premier, annual meeting of the CBR community and the leading international conference on this topic. The theme for ICCBR 2017 is Analogy for Reuse. To encourage this, the ICCBR 2017 program will include keynote addresses, a main technical track, a workshop program, a doctoral consortium, and the Computer Cooking Contest with several connections to this theme.

CCC is a workshop series bringing together researchers from exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and related analytical data, which are of increasing importance in safety critical applications and scientific computation.

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

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

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

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

The field of argumentation has been expanding over the last decade with a clear opening towards cognitive psychology (and cognitive science more generally) and the processes it accounts for. With the development of cognitive science as an encompassing framework within which both psychological and social aspects of human behaviour can be accounted for, we believe that the time is ripe to ground a discussion in the community of argumentation studies around the notion of inference, along its formal, social and cognitive dimensions. The overarching questions the conference theme will be concerned with are therefore the following: How does the study of argumentation connect with the notion of inference and how, as a discipline, does it connect with the disciplines involved in the study of the cognitive features of inference?

To foster this discussion, the conference accordingly seeks to attract scholars in argumentation coming from a range of different traditions, including (but not limited to) philosophy, psychology, linguistics, informal logic, speech communication, pragma-dialectics, epistemic approaches, rhetoric, dialectics, logic, and computational approaches.

Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The programme of the conference TACL 2017 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the eighth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).

Starting from 2013, the conference is preceded by a summer school. The summer school associated to the TACL2017 conference will be held in the Faculty of Science of the Palacky University of Olomouc.

It is well known that human beings do not always reason correctly. There are various kinds of fallacies and biases with which we meet in ordinary life, and reasoning problems to which most people give wrong answers in experimental situations. While context has by now been recognized as playing a fundamental role in the philosophy of language as well as in other philosophical fields, its role in the debate about human rationality has not yet been explored systematically. The workshop intends to examine what is the role of context in various approaches to the explanation and the evaluation of reasoning, but also, more generally and ambitiously, whether and how the use of context in the explanation and the evaluation of reasoning can be made more systematic and effective (even to the aim of solving, or dissolving, the traditional puzzles of the rationality debate).

This workshop is part of the 10th International and Interdisciplinary Conference on Modeling and Using Context (Context-17). Workshop organizers: Marina Sbisà and Paolo Labinaz (University of Trieste).

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