Glenn Shafer is one of the founders of Game-Theoretic Probability, an alternative to Kolmogorov's measure-theoretic foundations for probability. In this lecture he will talk about new game-theoretic underpinnings for statistics.

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.

The meeting will be followed by Christmas drinks until 21:00. As usual, we would appreciate it if people would bring along some traditional food to accompany the Christmas drinks. The ILLC Office will hang up a form in the Common Room on which you can indicate what you intend to make. We look forward to some delicious international Christmas food!

Our walk starts with quantifier expressions like "all", "some" which underlie both ordinary language and the mathematical language of science. We look at the history of logical systems for quantifiers, flagging some issues very much alive today, such as the interplay of formal and natural languages, fast practical quantifier inference versus slow conscious deductive proof, compositionality and recursion, and interfaces with probability. These topics show logic as a design lab, but also as a cross-roads where many academic disciplines meet and interact.

This is the third of three meetings where a few of us are getting together to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford.

We give sufficient conditions on a topos for the existence of a Unity and Identity for the subcategories of decidable objects and of double negation sheaves, making them adjointly opposite. Typical examples of such a topos include many ‘gros’ toposes in Algebraic Geometry, simplicial sets and other toposes of ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.

UvA ICT services will undergo necessary maintenance in the weekend of 24-25 November. Please be aware that certain ICT services will be temporarily unavailable on Saturday.

This is the second of three meetings where a few of us are getting together to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford.

Federica Russo (University of Amsterdam) is going to be the inaugural speaker of the ILLC LUNch seminar! Light lunch will be provided to the audience. If you prefer, you are also encouraged to bring your own lunch!

Worldwide women are still under-represented in science. What are the causes, and what can be done about it? The Indian government recently conducted two larges studies addressing these questions. On 21 November professor Rohini Godbole, one of India’s most prominent particle physicists, will give a lecture about these two studies and the plans to improve the position of women in science in India.

The Making of the Humanities conference returns to Amsterdam! This is where the conference series started in 2008, ten years ago. Following successful meetings in Amsterdam in 2010, in Rome in 2012 and 2014, in Baltimore in 2016, and in Oxford in 2017, the seventh conference on the history of the humanities returns to the University of Amsterdam, November 15–17, 2018. The seventh conference is the largest in the series: over 140 papers have been accepted for presentation by speakers from over thirty different countries.

Never worried about the validity of using mathematics in philosophical arguments about mathematics? Well, here's your chance! I will talk about the use of mathematical results in arriving at conclusions with some non-mathematical content, with the view that in general such usage requires a little justification.

Join us in the common room for drinks and snacks after the talk!
PS: Note that this week the Cool Logic seminar begins at 19:00.

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 next meeting will be held on 9 November 2018. The meetings are in English.

A few of us are getting together over the next six weeks to read and discuss the PhD thesis of Thomas Icard, who did the MoL and whose PhD thesis, ‘The Algorithmic Mind’, was supervised by Johan van Benthem at Stanford. We would like to invite anyone who is interested to join the reading group. All are welcome!

Thomas Icard’s PhD thesis examines probabilistic approaches to the nature of human inference, with a special focus on resource-bounded agents. As the abstract explains, “I explore a view of inference based on the idea of probabilistic sampling, which is supported by behavioral psychological data and appears to be neurally plausible, and which also engenders a philosophically novel and appealing view of what grounds subjective probability. I then discuss this view in the context of the Bayesian program in cognitive science, proposing a methodology of boundedly rational analysis”.

To join the reading group, just come along to the first session on Thursday 8 November 3-5pm in F1.15! If you have any questions, just send an email to D.M.McHugh at uva.nl.

On Wednesday 7 November 2018 at 13:30 a group of students from the UvA's Bachelor's programmes in AI and Computer Science will visit the ILLC. Besides a short introduction to the ILLC, the event will consist of three presentations on AI-related research at the institute. These presentations will be given by Katia Shutova (metaphors in natural language processing), Lisa Beinborn (bridging neurobiology and psycholinguistics by computational modelling), and Zoi Terzopoulou (fair decision making in multiagent systems). All interested colleagues and students at the ILLC are welcome to attend this one-hour event as well.

What is Logic? Is it an art or a science? Is logic necessarily mathematical? Maybe we got it wrong, maybe logic is an empirical science. As a matter of facts, the idea that logic should not be studied mathematically, but rather considered as a part of psychology was one of the main tenets of many psychologist philosophers, like John Stuart Mill, Theodor Lipps and Christoph Sigwart. In my talk I would like to engage in a genealogical exercise and consider where our (often implicit) views on logic actually come from.

Join us for drinks and snacks in the common room after the talk.

Unfortunately, our first speaker of the LUNCH seminar, planned for the coming Thursday, had to cancel due to some unforeseen circumstances.

LUNCH will now start on Thursday November 22th, where our invited speaker Federica Russo will talk about Philosophy of Technology!

The next Peripatetic Seminar on Sheaves and Logic (PSSL), the 104th, will be held in Amsterdam during the weekend of October 6 and 7, 2018. We will use the occasion to celebrate the 60th birthdays of Jaap van Oosten and Thomas Streicher.

Why do we combine words into sentences? And why should the meaning of these sentences be dependent on the meaning of the words that constitute it? Many ideas have been proposed for the evolution of compositionality (Franke (2016), Skyrms (2010), Steinert-Threlkeld (2016)), but these accounts all either incorporate some form of cognitive sophistication, or do not show compositionality in the sense that we want it. In addition, it is unclear whether these learning strategies can invade an already established holophrastic community.

In this talk, I try to make these Franke’s account more evolutionarily plausible by ‘setting the stage’; that is to say, I try to make the languages of holophrastically communicating agents more compositional solely through natural processes that lie outside the agent. The idea is that these natural processes emphasize the fact that sentences and their constituent words are related.

Join us for drinks and snacks in the common room afterwards!

We would like to open this weekly reading group, part of
the EXPRESS project, to anyone interested in discussing theories of
assertion and rejection. The next session, on 'Knowing and Asserting' by Timothy Williamson, will exceptionally take place Wednesday 19th, 13:00 at the ILLC. Afterwards, the meetings will resume on their normal schedule, Wednesdays at 12:15

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.

We discuss an extension of fundamental results of frame theory to a non-commutative setting where the role of locales is taken over by etale localic categories. These categories are put in a duality with complete and infinitely distributive restriction monoids (restriction monoids being a well-established class of non-regular generalizations of inverse monoids). As a special case this includes the duality between etale localic groupoids and pseudogroups (defined as complete and infinitely distributive inverse monoids). The relationship between categories and monoids is mediated by a class of quantales called restriction quantal frames. Projecting down to topological setting, we extend the classical adjunction between locales and topological spaces to an adjunction between etale localic categories and etale topological categories. As a consequence, we deduce a duality between distributive restriction semigroups and spectral etale topological categories. Our work unifies and upgrades the earlier work by Pedro Resende, and also by Mark V. Lawson and Daniel H. Lenz.

The talk is based on a joint work with Mark V. Lawson.

This symposium aims to explore the possible and actual interactions of philosophy of science with the scientist's endeavour, including, e.g., historical studies, case studies of current collaborations between philosophers and scientists, the role of philosophy in the academic training of future scientists, and many more topics.

The symposium is organised and chiefly financed by the Académie Internationale de Philosophie des Sciences. The convenor is Professor Benedikt Löwe. The organisers acknowledge additional financial support from the Institute for Logic, Language and Computation of the Universiteit van Amsterdam.

The study of generalised Baire spaces has developed into a research area in its own right with a rich overarching theory, internally motivated open questions (cf. Khomskii, Laguzzi, Loewe, Sharankou 2016) and an active research community, combining methods and techniques from several branches of set theory as well as classical model theory. While many concepts from the classical setting can be transferred to generalised Baire space and some classical results remain true at uncountable cardinals, in general the rich combinatorial nature of uncountable cardinals causes the theory of the corresponding spaces to differ significantly, e.g., notions which are equivalent in the classical setting can lead to different notions in the generalised theory. Phenomena like this shed light on structures and properties otherwise hidden in the classical setting.

This Academy Colloquium is a reunion of the research community after a hiatus of two years. The Colloquium will be preceded by an associated KNAW Master Class for postgraduate students in order to prepare them for the talks at the Colloquium.

The second summer school for the EU RISE project SYSMICS (Syntax meets Semantics - Methods, Interactions, and Connections in Substructural Logics) will take place 22-26 August 2018 at Hotel Les Sources in Les Diablerets, Switzerland. This school will precede two logic conferences taking place in Bern the following week: Logic, Algebra and Truth Degrees (LATD) 2018 and Advances in Modal Logic (AiML) 2018.

Tutorials will be given each morning by Peter Jipsen (Chapman University), David J. Pym (University College London), and Alexandra Silva (University College London), and in the early evening there will be lectures by Johan van Benthem (University of Amsterdam), Laura Kovács (Vienna University of technology), and Fred Wehrung (University of Caen). Since places for the school are limited, we ask students to register online via the webpage before 30 April 2018.

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.

Inquisitive logic is a novel approach to logic which aims primarily at extending the scope of logic to questions. It has close connections with intuitionistic logic, dependence logic, truth-maker semantics, possibility semantics, and various versions of modal and dynamic logics.

The workshop aims to bring together researchers working in inquisitive logic and related areas, in order to communicate recent advances, explore the relations with other lines of work, and spark novel ideas and cooperations. It is part of the series of events organized by the ILLC inquisitive semantics group of Amsterdam. If you would like to attend, get in touch with the organisers.

The e-Ideas Group at the University of Amsterdam, Netherlands is pleased to announce its first workshop, taking place in dates 13-14th July 2018 in Amsterdam.

The aim of the workshop will be to foster discussion on the development of mathematics and related themes in philosophy in the German speaking context during the 19th century.

Confirmed keynote speakers: Paola Basso (University of Bucharest, Romania), Paola Cantù (Université Aix-Marseille, France), Jeremy Heis (University of California, Irvine, U.S.A.) and James Tappenden (University of Michigan, U.S.A.).

What are the functions of emotions? How and why did they evolve? And what can we learn from studying how we communicate our emotions?

In this workshop, a series of distinguished scholars will address these and related questions. The speakers are known for combining anthropological, psychological, and biological theories and methods; an integrative perspective on the evolution of emotions will be a central part of this workshop.

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 at Restaurant de Polder.

The major trend in modern logic is the move from logic to logics. The need for formal modelling of reasoning in various fields of science (philosophy, linguistics, AI, cognitive, social and management sciences) led to the design of hundreds of bespoke logics. For instance, the focus on multi-agent interaction and social behaviour has led to the introduction of logics specific to contexts involving e.g. dynamic changes, uncertainty, incomplete and inconsistent information, which are at odds with reasoning as is formalized in classical logic. This rapid expansion has generated the need to develop overarching theories capable to provide uniform proofs of fundamental properties--such as soundness, completeness, analiticity, decidability--for each member of vast families of logics, while at the same time accounting in a modular way for the specific features of each.

Algebraic proof theory is a research area in which these general results can be achieved using insights from algebraic logic, universal algebra, duality and representation theory for classes of algebras.

This workshop aims at bring together researchers in algebraic proof theory and its applications, explore promising research directions, and foster collaborations.

As organizers of this year’s ABC Day we want to provide you with the opportunity to discover all research treasures that ABC is hiding, and build bridges to connect the involved researchers. This format is radically different form the former ‘Brain Day’, as the majority of the audience were typically students from the ABC Summer School. This time, especially researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.

The day will consist of four elements:
- ABC Mission Statement
- Department highlights
- Pitch talks
- Drinks and bites

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 next meeting will be held on 28 June 2018. Registration is now open!

Jeremy Butterfield is a distinguished philosopher of physics and a senior research fellow at Trinity College, Cambridge. He works on philosophical aspects of emergence and will be visiting DIEP from the 20th-23rd of June 2018. As part of his stay he will be giving a talk on dualities and its relation to emergence.

Attendance is free, but please e-mail if you plan to attend.

Speakers: Nicolas Maudet (Paris), Daniele Porello (Bolzano), Baharak Rastegari (Bristol), and Zoi Terzopoulou (Amsterdam).

Researchers who are planning to write an application for an ERC Starting or Consolidator grant can benefit from the grant workshop that is organised by the Netherlands Enterprise Agency. This one-day workshop is given entirely in English and takes place in the centre of Utrecht. There are 3 dates in 2018: 21 June, 30 August 2018 and 15 November 2018.

Abstract:
De Vries duality yields a dual equivalence between the category of compact Hausdorff spaces and a category of complete Boolean algebras with a proximity relation on them, known as de Vries algebras. I will report on a recent joint work with Pat Morandi and Bruce Olberding on how to extend de Vries duality to completely regular spaces by replacing the category of de Vries algebras with certain extensions of de Vries algebras. This we do by first formulating a duality between compactifications and de Vries extensions, and then specializing to the extensions that correspond to Stone-Čech compactifications.

The ABC Summer School is an annual event targeted at master students and PhD candidates. This event will take place between 18-28 June 2018 in Amsterdam. It brings together world-leading experts that share recent advances from their own research in the field of Social Cognition and Social Neuroscience.

During the Summer School, promising neuroscience master and PhD students will learn about the latest developments in social cognition and brain research through lectures given by renowned researchers in the field, tutor-guided projects and workshops. The level of the lectures is appropriate for master and PhD students with a strong interest in Social Neuroscience.

Speakers: Valeria Gazzola, Berna Güroglu, Lasana Harris, Grit Hein, Mariska Kret, Philippe Tobler, Marijn van Wingerden, Jan Engelmann.

Abstract:
Since at least the seventeenth century, philosophers have distinguished membership in the species homo sapiens from moral personhood, a category which they take to be of considerable ethical and practical significance. But there are other non-biological features that are of ethical and practical significance as well, suggesting that there is an ethical, non-biological conception of humanity that is different from the standard philosophical understanding of moral personhood. After reflecting on the benefits and dangers of focusing attention on the idea of “the distinctively human,” the lecture explores the variety of features and capacities that distinguish “selves like us” from lower animals, artificially intelligent machines, and possibly imaginary divine and extra-terrestrial rational individuals.

The workshop precedes Julia Ilin's PhD defense (June 15, 12h, Agnietenkapel). We will hear talks by the committee members and other experts from the field. The theme of the workshop is the application of universal algebra and topological dualities in the study of non-classical logics.

Are you looking forward to discovering the hidden talents of your colleagues? Then don't miss out this event! Are you looking for an opportunity to show your own hidden talents to your colleagues instead? Then this is your moment to shine!

Register to perform at the show through the following form:
https://goo.gl/forms/LtoxvbsBaq7VunE62
You can sign up individually or as a group. The deadline for the registration is June 4th. Late registrations will be taken into consideration depending on how tight the schedule will already be at that point.

Workshop held on the occasion of the two PhD defenses by Malvin Gattinger and Chenwei Shi.

Classically, complexity theory focuses on the hardest instances of a given length. A set is in P if there is a decision procedure for it that runs in polynomial time even on the most difficult-to-decide instances. Parameterized complexity theory, on the other hand, looks at the identification of easy instances. In this talk, we shall define parameterizations as independent objects and show that the class of parameterizations naturally forms a lattice. The parameterizations that put a given set in any of the standard parameterized complexity classes are filters in this lattice. From these insights, we conjecture a separation property for P.

Programme:
13.30-13.45: Presentation of the book by Edouard Machery
13.45-14.30: Peter Hawke (UvA) and Tom Schoonen (UvA)
14.30-15.15: Benedikt Löwe (UvA)
15.15-15.45: Coffee break
15.45-16.30: Catarina Dutilh Novaes (VU)
16.30-17.15: Manuel Gustavo Isaac (UvA)

Please note that registration is required.

In Benjamin et al. (2017) we proposed to cut the significance level by an order of magnitude in order to address some aspects of the replication crisis in psychology and other sciences. This paper has been widely discussed, often in a critical manner. In this talk, I will respond to some of the responses to our proposal.

Please note that registration is required.

This colloquium addresses the design and use of models to represent the beliefs and knowledge of agents as well as changes in the beliefs and knowledge of social communities.

The colloquium unites researchers who use a variety of formal tools to study the process of belief formation, belief revision and knowledge updating in social communities. We focus on multi-agent scenarios centered around topics such as belief merge, social-epistemic influence, group knowledge, and belief-polarisation.

Our approach will be interdisciplinary in nature and brings together insights originating from Logic, Game Theory, Belief Revision Theory, Formal Epistemology, Social Science, Network Theory, Cognitive Science and AI.

Abstract:
Philosophers often distinguish between causal responsibility and moral responsibility, taking the latter to be an important mark of our distinctive humanity. But focusing exclusively on the attitudes and judgments we form toward people on the basis of their moral characters and behavior leads us to overly narrow conceptions both of responsibility and of humanity. As a corrective, this lecture considers the attitudes and judgments we make of artists on the basis of their artwork. By attending to the way in which artists may be aesthetically responsible for their creations, we can develop a richer understanding of responsibility and a more comprehensive idea of humanity.

On the occasion of the PhD defense of Hein Duijf  on May 18th, there will be a workshop on May 17th 2018 in Utrecht. Speakers: John Horty (Maryland), Allard Tamminga (Groningen and Utrecht), Olivier Roy (Bayreuth), Natalie Gold (Oxford), Jan Broersen (Utrecht) and Hein Duijf  (Utrecht). Attendance is free, but registration is required.

What makes recurrent neural networks work so well for next word prediction? Do neural translation models learn to extract linguistic features from raw data and exploit them in any explicable way? In this talk I will give an overview of recent work, including my own, that aims at answering these questions. I will also present recent experiments on the importance of recurrency for capturing hierarchical structure with sequential models.

An elementary theory of concatenation, QT+, is introduced and used to establish mutual interpretability of Robinson arithmetic, Minimal Predicative Set Theory of Montagna and Mancini, quantifier-free part of Kirby’s finitary set theory, and Adjunctive Set Theory, with or without extensionality.

Need help making friends? Finding it hard to network? Or want to dive a bit into the theoretical bases of Facebook, and subsequently the methods of Cambridge Analytica? Then let this Cool Logic talk help you!

Explore a logical perspective on social group creation and preference change. We will go through a dynamic feature-based social-network change operator and a social-network-based feature change operator. Lastly, we will study these in tandem in the hope of creating a new operator, one that more accurately represents the oftentimes cruel reality of making friends. Afterwards, we will put our new found knowledge to the test, with drinks, snacks, and interesting conversations.

In recent years there has been a renewed interest in the modal logic community toward Boolean algebras equipped with binary relations. The study of such relations and their representation theory has a long history, and is related to the study of point-free geometry, point-free topology, and region based theory of space. Our primary examples of Boolean algebras with relations will be de Vries algebras, which are dual to compact Hausdorff spaces. Our main goal is to use the methods of modal logic and universal algebra to investigate the logical calculi of Boolean algebras with binary relations. This will lead, via de Vries duality, to simple propositional calculi for compact Hausdorff spaces, Stone spaces, etc.

This talk will compare two different conceptualisations of domain expansion in mathematics, as exemplified by Kenneth Manders and, among others, Richard Dedekind, respectively. After presenting how Manders’ ideas relate to the common model-theoretic notions of existentially closed models and model completeness of theories, we argue that the framework yields problematic assessments of some paradigmatic examples of domain expansion. We then move on to the question of how these examples are handled in Dedekind’s framework, and then use the results of this analysis to assess the merits of Manders’ proposal.

Everyone is invited for snacks and drinks in the common room after the talk!

Modal logic provides an effective language for expressing
properties of state-based systems. When equipped with operators
that can test for infinite behaviour like looping and
reachability, the logic becomes a powerful tool for specifying
correctness of nonterminating, reactive processes such as
communication protocols and control systems. An elegant example
of such a logic is the modal mu-calculus which extends basic
modal logic by two quantifiers for defining inductive and
co-inductive operators. As well as being highly expressive, this
logic enjoys good computational properties (decidability, finite
model property, …) that distinguish it as a central logic in
computer science. In this talk I will introduce the modal
mu-calculus, present some key properties and discuss recent
results regarding its proof theory.

This talk will give a short introduction into computational social choice, an interdisciplinary field that lies at the interface between social choice theory and computer science. Afterwards the focus is on two different problems of collective decision making. The study of such problems is extremely important, since there are many situation where a collective decision based on individual preferences has to be made. The first part of this talk deals with the modeling of online participation processes and their properties. They will be formalized by abstract argumentation frameworks, where incompleteness is added to the initial model. This extension is more suitable to capture the dynamics of such processes. In this context the verification problem is particularly important, thus its computational complexity will be analyzed for different variants. The second part of the talk focuses on the algorithmic and axiomatic study of committee elections. Committee election rules for different forms of votes that try to minimize the voters’ dissatisfaction will be introduced. Afterwards its axiomatic and algorithmic properties are explored.

We prove an open mapping theorem for the topological spaces dual to finitely presented Heyting algebras. This yields in particular a short, self-contained semantic proof of the uniform interpolation theorem for intuitionistic propositional logic, first proved by Pitts in 1992. Our proof is based on the methods of Ghilardi & Zawadowski. However, our proof does not require sheaves nor games, only basic duality theory for Heyting algebras.

Peter Hawke discusses: 'ModalObjectivity' by Justin Clarke-Doane.

In connection with Hugo Nobrega's PhD defense (Tuesday, April 24, at noon at the Agnietenkapel), we are having a small workshop with talks by some of the members of his thesis committee on April 24. Everyone is cordially invited to join!

The program is currently planned as follows:
15:30 - 16:15 Vasco Brattka, TBA
16:15 - 17:00 Jacques Duparc, TBA
17:00 - 17:45 Jouko Väänänen, "An extension of a theorem of Zermelo”
17:45 - 18:30 Arno Pauly, TBA

Coalition formation games model situations in which agents cooperate in teams, such as stable-roommate problems and project allocation problems, based on individual preferences of the agents. Questions of interests are related to stable and fair outcomes as well as representations of these games.

In this talk, firstly, an overview of hedonic games is given. These
can model agents' preferences over coalitions (i.e. sets of agents),
where the happiness of agents with a coalition structure only depends on their own coalition. Within the recent twenty years, various representations and stability notions, such as Nash stability, havebeen studied. Trade-offs exist between compact encodings and expressivity as well as the computational complexity of stability problems.

Secondly, a model of hedonic games with ordinal preferences and
thresholds is presented. Here, it is assumed that agents only know
a subset of their co-agents whom they partition into the sets of
friends and enemies. The remaining agents are considered as
neutral. At the same time they specify a weak order over the former
two sets. This relation is extended to a set of possible
preferences over coalitions such that it is reasonable to define
the notions of possible and necessary stability. While this model
can express preferences more generally than related models, the
complexity of various stability problems does not increase. Nevertheless many of these problems remain NP-hard or
even hard for the second level of the polynomial hierarchy.

In the literature natural restrictions are known that allow a decision
of some stability problems. Nevertheless, in order to evaluate
the stability of, e.g., a distribution into working groups, the
whole game has to be taken into consideration. In particular, in
large institutions or social networks, it would be desirable to
deduce global information from local samples.  Finally, in this
talk an initial result to tackle this problem with property
testing in the context of hedonic games is introduced.

The workshop on "Formal Models of Context in Natural Language Processing", on the occasion of Julian Schlöder's PhD defence, will take place on April 20th, 15:00 in Oudemanhuispoort Room E2.01. There is no need to register.

Speakers: Luca Incurvati (Amsterdam), Alex Lascarides (Edinburgh), Matthew Stone (Rutgers).

 (joint with Davide Grossi)

In this talk I will present an overview of some recent results involving applications of duality and category theory in automata and language theory.

One such strand of research involves a generic approach to  automata minimization. We depart from the standard coalgebraic approach and model automata as functors from a category specifying the input of the machine to another category which captures the structure of it's output. We identify sufficient conditions on the output category which ensure the existence of minimal automata. This allows us to cover awide range of examples by systematically applying the same category-theoretic principles in various instances.

A second research axis heavily uses duality theory to extend algebraic methods from the theory of regular languages to the non-regular setting. There are a plethora of results relating algebraic and logical characterizations of classes of regular languages. We aim to develop the tools that allow us to obtain such correspondences forclasses of non-regular languages. I will explain in detail how thesyntactic monoid of a language can be seen as the dual of the Booleanalgebra spanned by the quotients of that language. This paves the way for defining a suitable notion of recognisers for non-regular languages and to extend in this setting standard constructions from monoids that are the algebraic counterpart of logical quantifiers.

On Thursday 19 April, NWO organises two information meetings for researchers who want to apply for a Veni grant in the coming round. In the coming Veni round the NWO Domains Applied and Engineering Sciences (AES) and Social Sciences and Humanities (SSH) will pilot the use of a pre-proposal phase. Find out more about the Veni programme and pilot and register.

The ILLC will organise a MasterClass Cognition for secondary school students. The MasterClass will consist of one day with three lectures. Topics include philosophy, music cognition and language.

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). Will 'truth' (the real truth) survive the ''information age"?

The objective of our study was to find suitable classical equivalents of intuitionistic implication. Since the formula “p implies q” has infinitely many classical equivalents in the full fragment of intuitionistic propositional logic, we restricted ourselves first of all to finite fragments. In order to find the most suitable candidates we examined important features of the candidates in these fragments, such as reflexivity and transitivity. Additionally we examined if the formulas are weaker or stronger than intuitionistic implication and whether they are exact.

Are you interested in using new ICT technology to boost your research?

Want to learn how to use high performance computing to speed up your calculations? Can you imagine the possibilities of scientific visualisation, and would you like to explore the power of big data analysis?

Discover new possibilities, experience the practical impact and do more with your data at the SURF Research Bootcamp.

The workshop will take place in Amsterdam on April 4th 2018. The workshop is free of charge. There's also no need to register. We're looking forward to see you there!

Speakers: Gerhard Jäger (Tübingen), Marieke Woensdregt (Edinburgh), Jelle Zuidema (Amsterdam), Bas Cornelissen (Amsterdam), and Michael Franke (Osnabrück).

The main aim of deontic logic is to come up with a logical system suitable to capture normative concepts (like those of prescription and permission), but it seems clear that these normative concepts should also be somehow connected with norms and normative systems. However, the last sixty years of research has shown that the way to formulate a satisfactory logic of norms can be pretty tortuous. To mention some of the most serious issues, how can we account for the fact that norms direct rather than describe? How can we represent norms as consisting of prescriptions in conditional rather than categorical form? Can we model the fact that only enforced norms are sources of obligation? Is there a relation between norms and ideality?

In this talk, I will introduce these fundamental problems and present a new logic of norms designed to address them. I will conclude by showing how this new system can be used to overcome the well-known paradox of contrary to duty obligations. Snacks and drinks will be provided in the ILLC common room after the talk!

In 1966 Grätzer introduced the notion of transferability for finite lattices. A finite lattice L is transferable if whenever L has an embedding into the ideal completion of a lattice K, then L already has an embedding into K. In this talk we will introduce the analogous notion of MacNeille transferability, replacing the ideal completion with the MacNeille completion. We will pay particular attention to MacNeille transferability of finite distributive lattices with respect to the class of Heyting algebras. This will also allow us to find universal classes of Heyting algebras closed under MacNeille completions.

This is joint work with G. Bezhanishvili, J. Harding, and J. Ilin.

Speakers: Sacha Kapoor, Giacomo Ponzetto, Stephane Wolton

Ben je benieuwd hoe andere UvA docenten in de praktijk hun classroom flippen en hoe ze Canvas daarbij gebruiken? Kom inspiratie opdoen en stel je vragen!

Programma:
14.00-14.15 Opening door Ingrid Vos (projectleider Implementatie Canvas UvA)
14.15-15.00 Blended learning ondersteund door Canvas, Danielle Sent (FdG)
15.00-15.45 Flipped classroom met Canvas, Christian Schaffner (FNWI)
15.45-16.30 Kennisclips, Fam te Poel en Jolien Arendsen (FMG)

Er is na iedere presentatie ruimte voor vragen en het officiële programma duurt tot 16:30. Daarna is er nog de gelegenheid om met elkaar na te praten.

Recent progress in building quantum computers leads to new opportunities for cryptography, but also endangers existing cryptographic schemes. A large-scale quantum computer will be able to factor large integer numbers, thereby breaking the security of currently used public-key cryptography. The research area of “post-quantum cryptography” investigates the possibilities for replacing currently used classical (i.e. non quantum) systems with quantum-proof variants. On the other hand, quantum mechanics offers a way to communicate with information-theoretic security (which is provably impossible in the classical world). The Quantum Key Distribution (QKD) protocol invented in 1984 by Bennett and Brassard allows two players, Alice and Bob, to securely communicate over an insecure line which is eavesdropped on by Eve. In this talk, I will cover various aspects of the fascinating field of quantum cryptographic research as well as some related political and logical questions.

This paper is intended to offer a philosophical analysis of the propositional intuitionistic logic formulated as NJ. This system has been connected to Prawitz and Dummett’s proof-theoretic semantics and its computational counterpart. The problem is, however, there has been no successful justification of ex falso quodlibet (EFQ): “From the absurdity ‘⊥’, an arbitrary formula follows.” To justify this rule, we propose a novel intuitionistic natural deduction with what we call quasi-multiple conclusion. In our framework, EFQ is no longer an inference deriving everything from ‘⊥’, but rather represents a “jump” inference from the absurdity to the other possibility. The paper is joint work with Yosuke Fukuda.

After the great success of the Discussion on Italian Politics, we are glad to announce that Ex Falso hosts a new social-political event regarding the election of the Municipality of Amsterdam, the 15th of March! As you may already know, on the 21 of March there will be Amsterdam Local Elections. All EU citizens and the people living in Amsterdam registered at the City Council for at least 3 years can vote!

The event is aimed at all the people who are not particularly informed about the political situation in the Netherlands, on the different parties running, and their programs. Marlou Gijzen, a second year MoL student, will introduce us the different parties that are running, to their programs and will run a test to understand our ideologies to show us which party best represent them. Finally, she will also share some thoughts regarding the referendum (that she together with other UvA and ILLC students and PhD students initiated) and explain us their motivation for starting the campaign.

If you haven't followed the electoral campaign this is the right time to get involved. Snacks and drinks will be provided!

The purpose of this talk is to introduce the notion of a path category (short for a category with path objects). Like other notions from homotopical algebra, such as a category of fibrant objects or a Quillen model structure, it provides a setting in which one can develop some homotopy theory. For a logician this type of category is interesting because it provides a setting in which many of the key concepts of homotopy type theory (HoTT) make sense. Indeed, path categories provide a syntax-free way of entering the world of HoTT, and familiarity with (the syntax of) type theory will not be assumed in this talk. Instead, I will concentrate on basic examples and results. (This is partly based on joint work with Ieke Moerdijk.)

In this seminar, we address some substantial semantic debates, such as the debate between Tanya Reinhart & Tal Siloni and Edit Doron & Malka Rappaport Hovav on the meaning of clitics like SI and SE in Romance languages. Does a sentence like “Gianni e Maria si sposano” (=G. and M. get married) get interpreted the way it is due to a special syntactic operator (R&S) or due to a pronominal interpretation of “si” like the expression “each other” in English (D&RH)?

A chance for Data Science organisations to connect with Students from Data Science-related domains.

Free to attend, but please subscribe before 01 February.

Are you curious about entrepreneurship but do not have a concrete startup idea yet? Or do you believe your research can be transformed into a business case but you don’t know where to start? Entrepreneurship in Data Science is an intensive two-day program that will allow you to experience all the challenging aspects of starting a company. Learn how to launch your own venture by joining interactive lectures, taking part in workshops by top science and business experts and listening to real-life stories from startup founders.

Ex Falso cordially invites all the students and staff of the ILLC to the event Where is Italy going?, held on Monday the 19th of February, at 18:00 in the Common Room. On March the 4th, Italy will hold Political Elections. Due to the very delicate current situation of European political landscape, this election is a stepping stone for the future of both Italy and Europe. Several topics will be discussed, and there will be room for debates. Some of the issues include fiscal policy, immigrants, and economic inequality. Pizza and drinks will be provided. Hope to see you there!

Congratulations! Together with our cats and cattle, we, humans, have accumulated a staggering portion of the planet's walking biomass — an unlikely fea(s)t for top predators like ourselves. But is biomass what makes humans special? How about logic? Language? (Computation?) Some would say that all of these are ‘mere’ products of something more fundamental: our species’ remarkable capacity for cumulative culture.

The idea that cultural processes indeed hold answers to deep questions about language has fascinated a group of researchers for decades. This talk is a brief excursion into their field: the cultural evolution of language. We will follow the route of ‘iterated learning’, which tries to understand how cultural transmission can shape languages. On the way, we visit an unlikely assortment of topics: from zebra finch song cultures, emerging compositionality and integer-ratio rhythms to baby names, Bayesian learners and even genetic drift.

Snacks and drinks will be provided in the common room after the talk!

We investigate the applicability of Graph Convolutional Networks (GCNs) in the context of natural language processing (machine translation and semantic role labelling) and modeling relational data (link prediction).

This special session of the A|C seminar will consist of five 25-minute presentations by the participants of the MoL January project taught by Sam van Gool. Each participant studied one recent article on duality theory and its applications in logic and computer science, and will give a presentation in which they summarize the main results of the paper and highlight points of particular interest.

This is a meeting for all LoLa members (as well as interested people from other groups and MOL students). The programme consists of presentations of (relatively) new group members, and a joint lunch.

The Concepts in Motion Meeting is a meeting by invitation for prospective students and contributors to the Concepts in Motion Group.This group hosts the NWO VICI project e-ideas (PI Arianna Betti), which aims to provide a sound methodological foundation for computational research in the history of philosophical ideas. In addition, the group hosts a number of other projects that concern computational research in (history of) philosophy. During the meeting we will get to know all people that are involved within our projects, explain our research plans for the future, and discuss ongoing projects.

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.

During the 386th Dies Natalis (birthday) of the University of Amsterdam Prof. Barbara Partee will receive an honorary doctorate for the crucial role she played in the development of the formal semantics of natural language. The Honorary Supervisors are Prof. Sonja Smets, professor of Logic and Epistemology, and Prof. Martin Stokhof, professor of Philosophy of Language.

The day after the the honorary doctorate is awarded, on the 9th of January 2018, the ILLC will organise a workshop to mark this special occassion. Among the speakers will be Barbara Partee.

The theme of the conference is algorithmic randomness and related topics in computability, complexity and logic such as Kolmogorov complexity and reverse mathematics. This year, the conference has special attention to the connections between these topics and dynamical systems and ergodic theory.

The symposium is intended to provide a forum for researchers working in algorithms and theory of computation. In this year, we schedule two keynote talks by Clifford Stein and Shang-Hua Teng. In addition, we organize a special workshop on Dec. 16, right before the regular program of ISAAC (Dec. 17-19) and invite several internationally renowned computer scientists who were born in 1949 or earlier as special guest speakers, including Tetsuo Asano, Fan Chung Graham, Kurt Mehlhorn, and so on.

Relational and algebraic methods belong to the core of computer science. This special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) aims to showcase the variety and relevance of recent developments in this field ranging from theory to applications.

We invite submissions of high-quality original research articles in the general fields of algebras relevant to computer science and applications of such algebras. While we welcome substantially extended versions of papers published in the proceedings of the RAMiCS 2018 conference, this call is open to anyone interested in the field of relational and algebraic methods.

TriCoLore 2018 consists of 2 days of joint workshops focusing on creativity, cognition, and computation: C3GI, on computational creativity, ISD4, the 4th Image Schema Day, together with the Bremen-Bolzano research collaboration SCORE on cognitive robotics. Three exciting interconnected events for the price of one!

C3GI 2018 is the 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence. Workshop topics include the development of computational models for creativity, concept formation, concept discovery, idea generation, and their overall relation to general intelligence.

The image schema day is dedicated to the interdisciplinary study of conceptual primitives such as image schemas, conceptual dependency, semantic primes and affordances.

SCORE is a research cooperation between the University of Bremen, Germany, and the Free University of Bozen-Bolzano, Italy, covering topics related to integrating cognitively inspired knowledge representation, embodied simulations, as well as ontology, into cognitive robotics. Interactions with image schema research and creativity are particularly encouraged.

The journal "Logic and Logical Philosophy" calls for submissions for  the special issue on Knowledge representation in multi-agent systems (guest editors: Urszula Żegleń and Tomasz Jarmużek, Nicolaus Copernicus University in Toruń).

The related event was the conference on knowledge representation in multi-agent systems that took place on September 7-8, 2018 in Toruń. The aim of the conference was the presentation of the interdisciplinary research on this topic, taking into account both natural and artificial cognitive systems. The invitation for submission for the special issue is extended to all researchers who deal with the issue of knowledge representation in multi-agent systems from the structural, epistemic or functional point of view.

Object and event perception are core features of human cognitive processing. Further, these core human cognitive abilities may be reflected differently in language and in perception. This symposium aims to integrate perspectives from different areas (including psychology, neuroscience, linguistics, computer science, AI, and philosophy).

The conference will include the Robert Blumberg Distinguished Lecture.

The topic of the conference is the interplay between set theory and model theory, both from a mathematical and a philosophical perspective, with particular emphasis on the method of forcing. This method, invented by Cohen in 1963, facilitated not only a proof of the independence of the Continuum Hypothesis, but also placed at the center of set theory the study of its models. Its model theoretic version, invented by Robinson, attempts to generalize the notion of algebraic closed fields to other areas of mathematics.

The conferece aims to gather early career scholars in order to foster collaborations and to present a wide perspective on the topics that Cantor and Robinson helped to create and develop. A series of three mini-courses will be held the week before the conference on the topics of Large Cardinals, Robinson Forcing, and Forcing Axioms.

The „Studentische Tagung Sprachwissenschaft“ (StuTS) is a students conference taking place every semester in a different university in Germany and surrounding countries. The StuTS aims at providing a platform for students of all disciplines of linguistics and related subjects to get to know each other and share their knowledge.

The conference focusses on academic exchange amongst students. Participants have the possibility to conduct a presentation or give a workshop (usually 20 to 40 minutes) by submitting an abstract, where they can present any linguistic project they are working on without the pressure of talking in front of „experts“. Information can be found on our linked website.

The Novembertagung on the History of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history of mathematics. In 2018 the Novembertagung will be held in Spain for the first time, at the Institute of Mathematics of the University of Seville (IMUS). The conference will commence on November 28th with a lunch reception; presentations will then begin after lunch and continue throughout the next two days.

This special Issue intends to contribute to the state-of-the-art of the interactions and connections between imprecise probabilities and logic, and more generally with formal theories of rationality, the hope being that this cross-disciplinary view will lead to new exciting perspectives for both communities and related areas.

Topics of interests include but are not limited to the following:

• IP and (modal/epistemic/dependence/probabilistic/possibilistic…) logic
• IP and game/decision theory
• IP and formal epistemology/deductive sciences
• IP and StarAI
• IP and coalgebra
• applications of logic and formal languages to IP
• applications of IP to logic
• Logical, algebraic, categorical foundations of IP

MIWAI aims to promote AI research in both theoretical and applied research addressing real-world applications. The main objective of the conference is to present the latest research and results of scientists related to AI topics. The theme for this year's event is "Intelligent World". MIWAI 2018 provides opportunities for the delegates to exchange new ideas and establish future collaborations. This year the conference is organized by Mahasarakham University, with association of Vietnam Academy of Science and Technology and University of Science and Technology of Hanoi, Vietnam.

The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR) is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world. The 22nd LPAR will be held will be held in Haile Resort, Awassa, Ethiopia, 16-21 November 2018. The proceedings will be published by EasyChair Publications, in the EPiC Series in Computing. The volume will be open access and the authors will retain copyright.

AixDial will be the 22nd 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 2018 the workshop will be hosted by Aix Marseille University, and organized by the Language and Speech Lab (LPL) as well as the Computer Science Lab (LIS). It will be collocated with the Workshop on Prosody and Meaning: Information Structure and Beyond.

This will be the 6th world congress organized about the square of opposition after very successful previous editions in Montreux 2007, Corsica 2010, Beirut, 2012, Vatican, 2014, Easter Island, 2016. This is an interdisciplinary event gathering logicians, philosophers, mathematicians, semioticians, theologians, cognitive scientists, artists, linguists and computer scientists.

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

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

KR also features a Doctoral Consortium program, a student mentoring program bringing together PhD students and senior researchers from the area of KR. Application deadline: June 24, 2018.

Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond.

As usual, the plan is for a full day of talks and discussions on Saturday and a half day on Sunday. As usual, too, there will be a workshop lunch and workshop dinner on Saturday, with all participants invited to attend as guests of the university.

The development of powerful search and optimization techniques is of great importance in science and engineering, particularly in today's world, which requires researchers and practitioners to tackle a variety of challenging real-world problems as technology becomes an ever-more-important aspect of everyday life. There are two well-established and widely-known fields that are addressing these issues: (i) traditional numerical optimization techniques and (ii) comparatively recent bio-inspired heuristics. Both of these fields have developed approaches with their unique strengths and weaknesses, allowing them to solve some challenging problems while sometimes failing in others.

The aim of this SI is to collect papers on the intersection of numerical and evolutionary optimization.

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. The 31st edition will be collocated with the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

The Journal of Natural Language Engineering (JNLE) has a Special Issue on Representation of Sentence Meaning.

We are seeking long research papers, survey papers and position papers on any of the following or related topics:

• Which properties of meaning representations are most desirable, universally.
• Comparisons of types of meaning representations (e.g. fixed-size vs. variable-length) and methods for learning them.
• Techniques of explorations of learned meaning representations.
• Evaluation methodologies for meaning representations, including surveys thereof.
• Extrinsic evaluation by relations to cognitive processes.
• Relation between traditional symbolic meaning representations and the learned continuous ones.
• Broad summaries of psycholinguistic evidence describing properties of meaning representation in the human brain.

The Asian Workshop on Philosophical Logic (AWPL) is an event-series initiated by a group of Asian logicians, and in 2012 the first installment took place at the JAIST in Japan. It is devoted to promote awareness, understanding, and collaborations among researchers in philosophical logic and related fields. The workshop emphasizes the interplay of philosophical ideas and formal theories. Topics of interest include non-classical logics, philosophical logics, algebraic logics, and their applications in computer science, cognitive science, and social sciences. The second and third workshop took place successfully in Guangzhou (2014) and Taipei (2016), respectively. And the two post conference proceedings were published in the Studia Logica book series "Logic in Asia" (http://www.springer.com/series/13080?detailsPage=titles) with Springer.

The Fourth Asian Workshop on Philosophical Logic (AWPL 2018) will be held in Beijing, China, on 20-21 October 2018, organized by the Tsinghua-UvA Joint Research Centre for Logic at Tsinghua University.

Modern connexive logic started in the 1960s with seminal papers by Richard B. Angell and Storrs McCall. Systems of connexive logic have been motivated by considerations on a content connection between the antecedent and succedent of valid implications and by applications that range from Aristotle's syllogistic to Categorial Grammar and the study of causal implications. As we are observing some growing interests in topics related to connexive logics, the fourth workshop aims at discussing directions for future research in connexive logics. Moreover, we will have a special session on contra-classical logics, namely a broad family of nonclassical logics, including connexive logics, that are orthogonal to classical logic.

Substructural logics, so named because they are usually formulated as Gentzen systems that lack one or more structural rules, have been intensively studied over the past two decades by logicians of various persuasions - mathematicians, philosophers, linguists and computer scientists.  The recourse to algebraic methods - or, better, the fecund interplay of algebra and proof theory 0 has proved very useful in providing a unifying framework for these investigations. In particular, the series of conferences AsubL - Algebra and Substructural Logic, has played an important role in these developments. This special issue of Trends in Logic will be dedicated to the Conference AsubL (Algebra and substructural Logics - take 6) held in Cagliari on June 2018.

Following the spirit of the meeting, the present book proposal is aimed at exploring the following main topics:
- Proof Theory for Substructural Logics
- Algebraic Structures for Substructural Logics
- Methods for the Investigation of Substructural Logics
- Relationships with Other Families of Logics

TIME 2018 aims to bring together researchers interested in reasoning about temporal aspects of information in any area of Computer Science. The symposium, currently in its 25th 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 four tracks on temporal representation and reasoning in (1) Artificial Intelligence, (2) Databases (3) Logic and Verification, and (4) New areas and Applications.

Non-monotonic reasoning has received a lot of attention in the fields of artificial intelligence and philosophical logic. One of the most promising paradigms is formal argumentation. One central goal of this research program is to give a (normative) account of actual human reasoning. However, there is still a substantial gap between these formal models and many real-life instances of the formalized phenomena.

The international conference "Formal Philosophy" will be held from 1st to 2nd October 2018 ( Moscow, Higher School of Economics). Conference topics include philosophical logic, formal epistemology, formal ontology, formal ethics and other branches of formal and mathematical philosophy. Invited speakers: Jacek Malinowski (Institute of Philosophy and Sociology, Polish Academy of Sciences), Ahti-Veikko Pietarinen (Nazarbayev University), Allard Tamminga (University of Groningen) and Paul Weingartner (University of Salzburg).

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.

Invited Speakers: Yiannis Moschovakis (Los Angeles & Athens), Andreas Herzig (CNRS, IRIT, Toulouse), Alessandra Palmigiano (TU Delft) and Amy Felty (Ottawa).

The aim of GandALF 2018 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.

KI traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results of intelligent system technology. The technical program of KI 2018 comprises paper presentations as well as tutorials, workshops, and a doctoral consortium.

 

In the last few decades an impressive amount of foundational research in philosophical logic has been devoted to the development of semantical tools which provide sufficiently fine-grained semantics to deal with important topics of pure and applied modal logic, such as the representation of situations, states of affairs, structured contents, hyperintensional contexts, and agent-related attitudes, like epistemic and prohairetic attitudes. A number of different modal frameworks have emerged to tackle these themes. The aim of this conference is to study the potential of these approaches and to explore new connections between them, by providing a forum to present new ideas and analytical methods.

Invited Speakers: Sergei Artemov (New York), Marta Bilkova (Prague), Hannes Leitgeb (Munich) and Sonja Smets (Amsterdam).

The conference is devoted to non-classical logics: modal, many-valued, temporal, paraconsistent, epistemic, deontic, substructural, and nonmonotonic logic, and their applications in computer science, artificial intelligence, formal linguistics, cognitive studies, as well as the deeper analysis of traditional philosophical problems. We will also celebrate the 25th anniversary of the journal Logic and Logical Philosophy published by the Nicolaus Copernicus University in Toruń and edited by the Department of Logic.

The conference is organized by Departament of Logic and Methodology of Sciences of Lodz University and Department of Logic of Nicolaus Copernicus University.

The field of knowledge representation and reasoning offers a rich palette of methods for uncertain reasoning both to describe human reasoning and to model AI approaches. 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 2018 workshop will be part of the 41st German Conference on Artificial Intelligence (KI-2018).

The 1st workshop of Formal Reasoning and Semantics will be held at the Inter-University Center Dubrovnik (IUC) as a part of the 7th conference Logic and Applications (LAP 2018). The workshop is organized within the research project Formal Reasoning and Semantics (FORMALS).

The emphasis of the project is on applications of logic in computer science, and vice versa, the application of computational tools in logical and mathematical research. Another goal is to apply logic to specific problems of linguistics or, more generally, cognitive and information sciences, as well as interdisciplinary areas in which economics and mathematics overlap (game theory, social choice theory).

Invited speakers: Vivek Nigam.

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.

Invited Speakers: Vasco Brattka (Munich, Germany), Akitoshi Kawamura (Fukuoka, Japan), Jaap van Oosten (Utrecht, Netherlands), and Warwick Tucker (Uppsala, Sweden). Tutorial Speaker: Martin Ziegler (Daejeon, South Korea).

Scalarity is a rich field of study in linguistics and logic. Linguistically, it enters into the meaning of a wide range of expressions. The best-known case in degree semantics may well be the gradable adjective (tall, short, likely, good ), but crosscategorially many other cases have been detected and analysed in similar scalar terms. LNAT4 seeks to consider (i) the nature and variation of scalarity in language and logic, (ii) the diagrams proposed for scalar notions, as well as (iii) the nature of possible connections between logico-linguistic scalar concepts and perception scales.

Invited Speakers: Christopher Kennedy (University of Chicago) and Stefanie Solt (Leibniz-Zentrum Allgemeine Sprachwissenschaft (ZAS).

RuleML+RR 2018 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.

RuleML+RR 2018 will be part of the Luxembourg Logic for AI Summit (LuxLogAI) "Methods and Tools for Responsible AI", bringing together RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), and the Global Conference on Artificial Intelligence (GCAI 2018).

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

We seem to approach a text that we know to be a work of fiction rather differently than a newspaper article, or a conversation about the weather. An influential view in philosophy is that fictional narratives are prescriptions for the reader to imagine some fictional world, while regular assertions are proposals to update the common ground. But whatever the eventual diagnosis, the (apparent) difference between the interpretation of fiction and of non-fiction already raises interesting linguistic questions: How does a reader even know that a text is fiction? Are there linguistic clues an author may leave that mark a given text as such? And is our formal semantic toolkit, developed for dealing with assertions in every day communication, suitable and sufficient for dealing with the peculiarities of narrative fiction and literary style?

In this workshop we want to bring together linguists and philosophers interested in applying formal semantic tools to linguistic phenomena characteristic of fiction/narrative.

The first Forcing Project Networking Conference (FPNC2018) is the informal kick-off event of the Forcing Project. The project aims to analyse, from a historical and philosophical point of view, the development of modern set theory since the introduction of the forcing technique. FPNC2018 is devoted to methodological approaches in the study of recent mathematics and focuses on the topics of mathematical philosophy and mathematical practice.

Understanding the ontological nature of economic concepts and institutions is crucial for providing principled modelling in many important domains such as enterprise modelling, business processes, and social ontology. A significant number of fundamental concepts that are ubiquitous in economics have only recently been approached from an ontological perspective. For instance: value, risk, preference, utility, capability, good, service, exchange, transaction, competition. This workshop offers a venue to gather the recent contributions to this important topic.

The workshop is part of the Joint Ontology Workshop Programme associated with the 10th International Conference on Formal Ontology in Information Systems (FOIS).

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 in reality. 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: epistemology of ontology and and ontology of epistemology. We are interested in formal and ontological approaches to the definitions of the concepts that are relevant to the assessment of the perspective of the ontology designer. Problems related to this direction include: ontology of general epistemological concepts (e.g. proof, argument, explanation, epistemic reliability, trust), ontology of cognitive concepts (perception, reasoning, sensations), ontology of data and measurements.

The MIREL 2018 workshop is the start of the Luxembourg Logic for AI Summit. The aim of the workshop is to bridge the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic, in line with the objectives of the MIREL (MIning and REasoning with Legal texts) project. The workshop aims at fostering the scientific discussion between approaches based on language technologies applied to the legal domain (representing legal knowledge) and those based on legal reasoning (using the legal knowledge to build specialized services and applications).

The Luxembourg Logic for AI Summit (LuxLogAI 2018) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018), the Reasoning Web Summer School (RW 2018), the Global Conference on Artificial Intelligence (GCAI 2018), DecisionCAMP 2018 and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018) of the German Gesellschaft fuer Informatik (GI).

With its special focus theme on methods and tools for responsible AI, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable.

The Colloquium Logicum is organized every two years by the "Deutsche Vereinigung fuer Mathematische Logik und fuer Grundlagenforschung der Exakten Wissenschaften" (DVMLG). In 2018 the colloquium is jointly organized by the Chair of Philosophy 1 and the Chair for Theoretical Computer Science of the University of Bayreuth, Germany. The conference will cover the whole range of mathematical logic and the foundations of the exact sciences. In addition to all fields of mathematical logic, this includes the philosophy of the exact sciences, logic in philosophy, and logic in computer science and artificial intelligence.

Keynote Speakers: Isolde Adler (Leeds, England), Joerg Brendle (Kobe, Japan), Douglas Cenzer (Gainesville FL, U.S.A.), Laura Fontanella (Marseille, France), Benny Kimelfeld (Haifa, Israel), Yang Liu (Cambridge, England), Sara Negri (Helsinki, Finland) and Charlotte Werndl (Salzburg, Austria). In addition to the keynote talks, there will be a "PhD Colloquium" with invited presentations of excellent recent PhD graduates.

The International Conference on Computational Models of Argument, COMMA, is a regular forum for presentation and exchange of the latest research results concerning theory and applications of computational argumentation.  COMMA 2018 will be part of a series of events of the Warsaw Argumentation Week, WAW 2018 (6-16 Sept 2018), which will include the next edition of the Summer School on Argumentation (SSA 2018), themed COMMA workshops, the 16th ArgDiap conference, and other cognate meetings and events. In addition to the main conference track, there will be thematically-focused workshops, and a session will be organized for the demonstration of innovative working applications and tools.

 

The conference focuses on all that is new in artificial intelligence such as natural language processing, speech processing and human-computer communication and interaction. In its field, this conference is a special event attracting about 150 experts from 30 countries from around the world every year. The fact that the conference proceedings are published by Springer-Verlag in its series of Lecture Notes in Artificial Intelligence further attests to the international prestige of the conference.

The conference program will include oral presentations and poster/demonstration sessions with sufficient time for discussions of the issues raised. Papers will be presented in plenary or topic oriented sessions. The TSD 2018 conference will be accompanied by one-day satellite workshops or project meetings with organizational support by the TSD organizing committee.  Keynote speaker: Kenneth Church, IBM Thomas J. Watson Research Center, USA.

Poznań Reasoning Week 2018, which is the third edition of PRW, consists of three conferences, aimed at bringing together experts whose research offers a broad range of perspectives on systematic analyses of reasoning processes and their formal modelling:
- Games and Reasoning 2018 (11 september)
- Logic and Cognition 2018 (12-13 september)
- Refutation Symposium 2018 (14-15 september)

The aim of the Games and Reasoning conference is to gather researchers from various fields who use games as tools in their research. The concept of a game includes here serious games, scientific discovery games, gamification techniques in science, games with a purpose as well as the more general approaches using game theoretical framework.

Logic and Cognition is an initiative focusing on research on the interplay of logic, cognitive science, psychology and computer science which aim at shedding the light on actual reasoning processes.

Refutation systems are axiomatic systems applied to non-valid formulas (or sequents). A refutation system consists of refutation axioms and refutation rules. This approach is complementary to standard proof methods.  Although refutation systems are not widely known, we believe that the method has potential and can produce results that are both interesting and useful. The goal of the Refutation Symposium is to explain key concepts and techniques, and present new results on refutation systems.

Georg Cantor (1845-1918) is considered by many the father of modern set theory, his notion of cardinality bringing to life a proper class of different infinities! This conference aims to gather leading scientists from various areas of present-day set theory to celebrate his work.

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.

The Warsaw Argumentation Week (WAW) is a series of events organised by the Polish Academy of Sciences in collaboration with University of Warsaw, Warsaw Institute of Technology, Adam Mickiewicz University in Poznan, Bialystok University of Technology, Centre for Formal Ontology, Graduate School for Social Research and several businesses and NGOs. The WAW 2018 consists of eight events:

- COMMA 2018: 7th International Conference on Computational Models of Argument (12-14 Sept) along with three COMMA thematic workshops (11 Sept), COMMA 3rd Summer School on Argumentation (SSA, 6-10 Sept) and COMMA Industry Afternoon session (13 Sept)

- 16th ArgDiaP Conference: 'Argumentation and Corpus Linguistics' (15-16 Sept) along with two ArgDiaP thematic workshops (15 Sept).

The 1st Workshop on Proof Theory and its Applications, organised under the auspices of The Proof Society, will bring together researchers on proof theory and its applications. The aim of the meeting is to reflect on the mission of The Proof Society, through a series of invited and contributed talks, as well as a panel discussion. The intended audience for the workshop is advanced master students, PhD students, postdocs and experienced researchers in mathematics, computer science and philosophy with an interest in Proof Theory in a broad sense.

Invited Speakers:
Andrew Arana (Université Paris 1 - Panthéon-Sorbonne)
Rosalie Iemhoff (Utrecht University)
Dale Miller (Inria Saclay and LIX)
Paulo Oliva (Queen Mary University of London)
Pavel Pudlák (Czech Academy of Sciences)
Michael Rathjen (University of Leeds)
Albert Visser (Utrecht University)

The Sinn und Bedeutung (SuB) conference has in recent years emerged as one of the biggest venues for formal semantics and pragmatics representing the full breadth of the field, and we aim to maintain this tradition.

Invited speakers: Berit Gehrke, Wolfram Hinzen, Beth Levin and Judith Tonhauser.

ICGI, which has been organized bi-annually since early nineties, is the major forum for presentation and discussion of original research papers on all aspects of grammatical inference. The theme of ICGI 2018 will include theoretical and experimental analysis of various models of grammatical inference and algorithms for induction of different classes of languages and automata. This year we especially encourage submissions related to the domain of bioinformatics, which will be presented at a special joint session with the collocated Polish Bionformatics Society symposium.

The confirmed keynote speakers include: Colin de la Higuera (Nantes), Johannes Söding (Goettingen), and Frits Vaandrager (Nijmegen).

The Conference 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. CSL 2018 will be the 27th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham.

Topics of interest include but are not limited to:
– formal semantics and formal pragmatics
– experimental pragmatics
– formal/experimental pragmatics interface
– semantics/pragmatics distinction and semantics/pragmatics interface
– epistemic foundations of semantics and pragmatics
– semantics/pragmatics and epistemic logic
- speech act theory
– semantics and pragmatics of conventions
– the principles of compositionality and contextuality
– lexical semantics and pragmatics

The 18th European Women in Mathematics General Meeting  focuses on female mathematicians and their achievements. As part of this event, the Mini-Symposium on Mathematical Logic concentrates on recent results that demonstrate the fruitfulness of working at the interface between different parts of logic -- that is, model theory, set theory, recursion (or computability) theory and proof theory -- or between logic and other areas of mathematics. Our speakers therefore come from different fields of mathematical logic and are interested in cross-connections between their fields and areas of application such as topology, group theory, real geometry and combinatorics. For the general audience we are planning an introductory lecture on recent developments in model theory and its applications to real geometry.

Invited speakers: Laura Fontanella (Université Aix Marseille), Charlotte Kestner (Imperial College, London) Salma Kuhlmann (University of Konstanz), Heike Mildenberger (Albert-Ludwigs University of Freiburg), Diana Carolina Montoya (Kurt Gödel Research Center, Vienna).

Compositional Approaches for Physics, NLP, and Social Sciences (CAPNS 2018) will be colocated with QI 2018. The workshop is a continuation and extension of the Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, held in June 2016.

The ability to compose parts to form a more complex whole, and to analyze a whole as a combination of elements, is desirable across disciplines. In this workshop we bring together researchers applying compositional approaches to NLP, Physics, Cognitive Science, and Game Theory. The categorical model of Coecke et al. [2010], inspired by quantum protocols, has provided a convincing account of compositionality in vector space models of NLP. Similar category-theoretic approaches have been applied in cognitive science, and now are being extended to game theory. The interplay between the three disciplines will foster theoretically motivated approaches to understanding how meanings of words interact in sentences and discourse, how concepts develop, and how complex games can be analyzed. Commonalities between the compositional mechanisms employed may be extracted, and applications and phenomena traditionally thought of as 'non-compositional' will be examined.

Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The LATD conference series started as an official meeting of the working group on Mathematical Fuzzy Logic and has evolved into a wider meeting in algebraic logic and related areas. Its main goal is to foster collaboration between researchers in these areas, and to promote communication and cooperation with members of neighbouring fields.

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, logic, and many areas of mathematics - 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 logic, mathematics, and computer science in present day computational linguistics. It intends to be a forum for presenting new results as well as work in progress.

The workshop focuses mainly on logical approaches to computational processing of natural language, and on the applicability of methods and techniques from the study of artificial languages (programming/logic) in computational linguistics. We invite participation and submissions from other relevant approaches too, especially if they can inspire new work and approaches.

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

HLAI 2018 will combine three confernces:

- AGI'18, the Eleventh Annual Conference on Artificial General Intelligence.
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.
Conference site: http://agi-conference.org/2018/

- NeSy'18, the Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning.
NeSy is the premier event worldwide for the study and integration of neural computation and symbolic AI.
Conference site: http://www.neural-symbolic.org/

- BICA'18, the Ninth Annual International Conference on Biologically Inspired Cognitive Architectures.
The annual BICA conference attracts researchers from the edge of scientific frontiers, offering informal brainstorming atmosphere together with publication venues to ambitious ideas, regardless of their immediate practical value or solid empirical justification.
Conference site: http://bica2018.bicasociety.org/

Quantifiers are linguistic expressions encoding representations of quantities. Their study has been one of the great success stories in natural language semantics. On the other hand, the study of the mental representation of numerical and other quantitative information has become an active area of research in cognitive science and neuroscience. This workshop provides a venue for continued exploration of the interface between these two domains.

Keynote Speakers: Jakub Dotlačil (Amsterdam), Michael Franke (Tübingen), and Steven Piantadosi (Rochester).

The Association for the Philosophy of Mathematical Practice organises a SOCIETY SESSION at the World Congress of Philosophy, Beijing 13-20 August, 2018. The theme is "Diagrams in mathematical practice",  but talks on different aspects of the practice of mathematics are also welcome.

Confirmed speakers: Colin McLarty (Case Western Reserve University), Danielle Macbeth (Haverford College) Cathy Legg (Deakin University), Silvia De Toffoli (Stanford University).

FG-2018 is the 23rd conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2018, will take place in Sofia, Bulgaria.

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.

It is our pleasure to announce that the Sociedade Brasileira de Logica (SBL) and the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union for History and Philosophy of Science and Technology (DLMPST/IUHPST) are organizing the Conference on Mathematical Logic, as a satellite conference of the International Congress of Mathematicians 2018 (ICM 2018), held in Rio de Janeiro from 1 to 9 August 2018.

Invited speakers include Matthias Aschenbrenner, Veronica Becher, Valeria de Paiva, Steve Jackson, Ulrich Kohlenbach, Maryanthe Malliaris, Francisco Miraglia, Lou van den Dries and Joris Van Der Hoeven.

The Student Session of the 30th European Summer School in Logic, Language and Information (ESSLII 2018) is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

The main aim of this ESSLLI 2018 workshop is to get together linguists, philosophers and cognitive scientists from the two leading research traditions of natural language meaning, often referred to them as "formal semantics" and "conceptual semantics". The workshop provides a platform to investigate and discuss the ways of possible bridges between the two semantic perspectives, and to initiate a deeper conversation and collaboration between them. The workshop intends to gather approaches that show the way how the two perspectives can strengthen each other.

The workshop holds 6 high-quality contributed talks, each of 45 minutes including discussions, and invited talks by Gemma Boleda (Universitat Pompeu Fabra) and James Pustejovsky (Brandeis University).

There are various approaches to ambiguity from a wide variety of perspectives. This is due to the fact that ambiguity exists and arises on many different levels of natural language. We want to bring together scholars working on different aspects of ambiguity, in particular to approach the following questions:
1. What is the core of this phenomenon?
2. What is the common ground in approaching the phenomenon?
3. What can be gained by combining different approaches?

Our special focus is thus on bringing together approaches seeing ambiguity as a mere computational problem and approaches seeing it as a linguistic phenomenon with some interest in itself.

After a full decade of being hosted in various universities, BLAST returns to its birthplace. BLAST aims at bringing together researchers and students in the above-mentioned diverse areas and the scientific program will include three tutorials exposing the audience to various aspects of the these areas. There will also be seven invited lectures and contributed talks.

The summer school will bring together researchers from different disciplines with the goal of providing participants with knowledge about concept research outside of their own fields and to initiate interdisciplinary exchanges and research. The subsequent and co-located international workshop provides an excellent opportunity to present and discuss ongoing research on concepts.

Both events will focus on (but not be restricted to) three core questions: How can we formally describe and model concepts? Where do concepts come from, and how are they acquired? How are concepts used in cognitive tasks?

Sections:
1. Wittgenstein
2. Traditional and Modern Logic
3. The Structural Complexity of Judgements – Propositions – Sentences
4. Logic: Absolute Normativity or Alternatives
5. The Infinite
6. Foundations of Mathematics

Workshop 1: Wittgenstein on the Philosophy of Mathematics, 1937–1939: The Projected Early Version of PI (with Joachim Schulte)
Workshop 2: Logical Paradoxes (with Hannes Leitgeb)

The conference is concerned with the theory of computability and complexity over real-valued data.

Most mathematical models in physics and engineering are based on the real number concept. Thus, a computability theory and a complexity theory over the real numbers and over more general continuous data structures is needed. 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 conference CCA 2018 is held in Honour of Klaus Weihrauch's 75th Birthday, and is preceded by the conference Computability in Europe (CiE 2018) that takes place in Kiel, in the north of Germany, from July 30 to August 3, 2018.

Mathematical abstraction is a general phenomenon, a process by which we generalize from the properties and relations of particular objects to the abstract, mathematical structure that those objects exhibit. It is a process that can be iterated to achieve higher levels of abstraction, and plays an important role in shaping how we think about and understand empirical phenomena. The main objective of this conference is to explore the philosophical significance of mathematical abstraction from different perspectives: metaphysically, epistemologically, historically, and practically. Particular attention will be devoted to the role of abstraction in mathematical practice.

CiE 2018 is the fourteenth conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world.

The conference will feature Special Sessions on Approximation and Optimisation, Bioinformatics and Bio-inspired Computing, Computing with Imperfect Information, Continuous Computation, History and Philosophy of Computing, and SAT-Solving. Tutoral Speakers: Pinar Heggernes (Bergen, Norway) and Bakhadyr Khoussainov (Auckland, NZ). Invited Speakers: Kousha Etessami (Edinburgh, UK), Johanna Franklin (Hempstead, US), Mai Gehrke (Paris, France), Alberto Marcone (Udine, Italy), Alexandra Silva (London, UK) and Jeffrey O. Shallit (Waterloo, Canada).

This workshop will continue in the tradition established last year of bringing together philosophers, decision theorists, and AI researchers in order to promote research at the nexus between decision theory and AI. Our plan for the second installment is to make connections between decision theory and burgeoning research programs that may play a prominent role in the near future of the discipline - e.g., quantum information theory, social network analysis, and causal inference.

Confirmed Speakers Hans Briegel (University of Innsbruck), Tina Eliassi-Rad (Northeastern University), Dominik Janzing  (Max Planck Institute - Tübingen), Teresa Scantamburlo  (University of Bristol) and Wolfgang Spohn  (University of Konstanz).

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 Logic Colloquium 2018 is the annual European summer meeting of the Association of Symbolic Logic (ASL) ,  an international organization supporting research and critical studies in logic. Its primary function is to provide an effective forum for the presentation, publication, and discussion of scholarly work in this area of inquiry.

LC 2018 will include tutorials by Katrin Tent (WWU Münster) and Ulrike Sattler (University of Manchester), a Gödel Lecture by Rod Downey (Victoria University of Wellington), and 6 special sessions on the topics of Descriptive set theory and dynamical systems, Model theory, Proof theory and constructivism, Temporal and multivalued logics, Computability theory, and Philosophy of Logic and Mathematics.

PRUV 2018 will take place during FLoC and associated to IJCAR. The aim of PRUV is to bring together people from different communities (such as the Artificial Intelligence and the Semantic Web community, among others), including theorists and practitioners, working on logics for reasoning about preferences, uncertainty, and vagueness. Making researchers aware of and fruitfully discuss the most recent application areas, new challenges and the existing body of work on logics for reasoning about preferences, uncertainty, and vagueness, respectively is the main goal of this meeting.

The workshop will be held in University of Oxford as a part of Federated Logic Conference FLOC-2018 ( http://www.floc2018.org/ ) in affiliation with 30th International Conference on Computer Aided Verification ( http://cavconference.org/2018/ ) The primary purpose of the workshop series on Fun With Formal Methods (FWFM) is to popularize and disseminate the best practice of popularization of Formal Methods.

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. Specific areas of interest are (non-exhaustively listed) foundations for specification and programming languages, logical methods in specification and program development including program extraction from proofs, type theory, new developments in structural proof theory, and implicit computational complexity.

PCC 2018 is organized as external event for the trimester on "Types, Sets and Constructions" of the Hausdorff Research Institute for Mathematics.

The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, relevance logic - have many applications in AI, Computer Science, Philosophy, Linguistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. The workshop will provide a forum for researchers to present and discuss recent developments in this area.

Accessible categories are notable for their importance in other areas of mathematics, be it through combinatorial model categories in homotopy theory or abstract elementary classes in model theory, with large cardinal axioms from set theory often thrown into the mix. The goal of this workshop is to bring together practitioners from these different fields to try to break down barriers and build new connections.

This is the 13th in a series of bi-annual conferences on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. The three-day conference will give opportunity for paper presentations and discussions.

Among the topics of particular relevance are:
- Modal logics for games and protocols
- Foundations of game and decision theory
- Learning and information-processing models
- Bounded rationality approaches to game and decision theory.

IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.

IJCAR 2018 takes place as part of FLoC 2018 and is the merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Symposium on Frontiers of Combining Systems) and TABLEAUX (Conference on Analytic Tableaux and Related Methods).

Everyday human decision making involves various kinds of non-classical reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. These types of reasoning usually show two intertwined aspects, an ampliative aspect (augmenting the underlying reasoning by allowing more conclusions) and a defeasible aspect (curtailing the underlying reasoning by either disregarding or disallowing some conclusions that somehow ought not to be sanctioned). Several efforts have been put into the study and definition of formalisms within which the aforementioned aspects of everyday reasoning could adequately be captured at different levels. But despite the progress that has been achieved, large avenues remain open for exploration.

DARe aims at bringing together researchers and practitioners from core areas of artificial intelligence, cognitive sciences, philosophy and related disciplines to discuss these kinds of problems and relevant results in a multi-disciplinary forum. The goal of the workshop is to present latest research developments, to discuss current directions in the field, and to collect first-hand feedback from the community.

Explainable AI (XAI) systems embody explanation processes that allow users to gain insight into the system's models and decisions, with the intent of improving the user's performance on a related task. This raises several questions, such as: how should explainable models be designed? How should user interfaces communicate decision making? What types of user interactions should be supported? How should explanation quality be measured? These questions are of interest to researchers, practitioners, and end-users, independent of what AI techniques are used. Solutions can draw from several disciplines, including cognitive science, human factors, and psycholinguistics.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity; deductive formalisms as they relate to complexity; complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2018 will be part of FLoC 2018.

The program will consist of invited lectures by Mikolaj Bojanczyk (University of Warsaw) and Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis), as well as contributed talks selected by the Program Committee.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs, e.g. knowledge processing, knowledge discovery, knowledge representation and reasoning, ontology engineering, as well as information retrieval, recommendation, social network analysis and text processing. Thus, there exist many ``natural links'' between FCA and AI.

The five preceding editions of the FCA4AI Workshop  showed that many researchers working in Artificial Intelligence are indeed interested in a powerful method for classification and mining such as Formal Concept Analysis. This year, we have the chance to organize a new edition of the workshop in Stockholm co-located with the IJCAI 2018 Conference.

HOPOS is devoted to promoting serious, scholarly research on the history of the philosophy of science. We construe this subject broadly, to include topics in the history of related disciplines and in all historical periods, studied through diverse methodologies. We aim to promote historical work in a variety of ways, but especially through encouraging exchange among scholars through meetings, publications, and electronic media.

HOPOS 2018 will take place at the University of Groningen in the Netherlands in July 2018. The local organizers include Professor Martin Lenz, Dr Han Thomas Adriaenssen and Dr Andrea Sangiacomo of the History of Philosophy Department. Keynote speakers: Karen Detlefsen (University of Pennsylvania) and Martin Kusch (University of Vienna).

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. FSCD'18 is part of The Federated Logic Conference, FLoC 2018.

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.

The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In addition to plain propositional satisfiability, it also includes Boolean optimization (such as MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning. SAT 2018 will take place as part of the Federated Logic Conference (FLoC) in Oxford.

The FMLAMAS 2018 workshop will provide a working meeting and discussion forum for researchers working on various formal methods and logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It will address a wide range of issues that arise in these contexts, from theoretical foundations to algorithmic methods, implemented tools, and applications.

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

Several new models of computation have emerged in the last years, and many developments of traditional computation models have been proposed with the aim of taking into account the new demands of users of computer systems and the new capabilities of computation engines.

The aim of this workshop is to bring together researchers who are currently developing new computation models or new features for traditional computation models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area.

DCM 2018 will take place in Oxford on July 8, as a one-day satellite event of FLoC 2018, associated to LICS'18.

CL&C is focused on the interplay between, on one side, the exploration of the computational content of classical mathematical proofs, and on the other side, the languages and the semantical models proposed in computer science for this task: continuations, game models, denotational models, learning models and so forth. The scientific aim of this workshop is to bring together researchers from both proof theory and computer science and to exchange ideas. This year, CL&C will be held as a satellite workshop of FSCD 2018 (former TLCA + RTA).

Invited Speaker: Alex Simpson.

Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and computer science. Their design, implementation and their use in reasoning tasks, ranging from the correctness of software to the properties of formal systems, have been the focus of considerable research over the last two decades. This workshop will bring together designers, implementors and practitioners to discuss various aspects impinging on the structure and utility of logical frameworks, including state-of-the-art techniques, the treatment of variable binding, inductive and co-inductive reasoning techniques and the expressiveness and lucidity of the reasoning process.

Invited Speakers : Delia Kesner (Université Paris Diderot, France), Kuen-Bang Hou, alias Favonia (Institute for Advanced Study, Princeton, USA), and Grigore Rosu (University of Illinois at Urbana-Champaign, USA).

 

Strategic reasoning is one of the most active research area in multi-agent system domain. The literature in this field is extensive and provides a plethora of logics for modeling 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 adversary, 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 behavior of adversaries.

The SR international workshop, held within FLOC 2018, 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.

The morning sessions will be devoted to tutorials on topics closely related to strategic reasoning, namely cooperative game theory (by Edith Elkind) and parity games (by Marcin Jurdziński).

Developing formal methods to program and reason about infinite data, whether inductive or coinductive, is challenging and subject to numerous recent research efforts. The understanding of the logical and computational principles underlying these notions is reaching a mature stage as illustrated by the numerous advances that have appeared in the recent years. The workshop aims at gathering researchers working on these topics as well as colleagues interested in understanding the recent results and open problems of this line of research.

For outsiders, the workshop will offer tutorial sessions and survey-like invited talks. For specialists of the topic, the workshop will permit to gather people working with syntactical or semantical methods, people focusing on proof systems or programming languages, and foster exchanges and discussions benefiting from their various perspectives. The workshop is affiliated with FSCD 2018, as part of the Federated Logic Conference of 2018 and is funded by French ANR, RAPIDO project.

 

Proof complexity is the study of the complexity of theorem proving procedures. The central question in proof complexity is: given a theorem F and a proof system P, what is the size of the smallest proof of F in the system P? Moreover, how difficult is it to construct a small proof? Many ingenious techniques have been developed to try to answer these questions, which bare tight relations to intricate theoretical open problems from computational complexity (such as the celebrated P vs. NP problem), mathematical logic (e.g. separating theories of Bounded Arithmetic) as well as to practical problems in SAT/QBF solving.

The workshop will be part of FLoC and will be affiliated with the conferences SAT'18 and LICS'18.

Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop, affiliated with Federated Logic Conference (FLoC) 2018, invites papers on both topics. Invited speaker: Ann Copestake, University of Cambridge.

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

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

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

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

The FLoC volunteer programme allows students and postdocs to have free participation (no registration fee) at FLoC conferences and workshops, in exchange for contributing to the smooth running of the conference by performing several tasks. Volunteers will be able to interact with speakers and participants, network with other researchers and meet graduate students from all over the world. Deadline for applications: 18 May 2018.

The annual meeting of the Australasian Association of Logic will be held in Wellington. Guest speakers will include Timothy Williamson. The current president of the AAL is Max Cresswell and he will give this year's presidential address. This year's conference will be held in honour of Rob Goldblatt and Max Cresswell. Both Rob and Max will retire from Victoria soon and so this is a chance to celebrate their outstanding contributions to logic.

The biennial DEON conferences are designed to promote interdisciplinary cooperation amongst scholars interested in linking the formal-logical study of normative concepts, normative language and normative systems with computer science, artificial intelligence, linguistics, philosophy, organization theory and law.

In addition to these general themes, DEON 2018 will encourage a special focus on the topic: 'Deontic reasoning for responsible AI'.

Computational modeling opens new prospects for philosophical exploration and argument. The role played by logic in 20th century philosophy, it can be argued, will be played by computational modeling in the 21st. This special issue is devoted first and foremost to examples of computer-aided or computer-instantiated modeling across the discipline, including but not limited to philosophy of science, cognitive science, philosophy of mind, theory of evolution, logic, philosophy of language, epistemology, and social and political philosophy. Computational techniques range from agent-based modeling to neural networks and data mining. Results can expand the role of intuition pumps and thought experiments, can be used to measure the robustness and parameter-sensitivity of basic models, can put techniques from other disciplines to work in philosophical analysis, can track unexpected consequences of basic assumptions, and can force philosophical assumptions to be made explicit. Beyond new answers, computational techniques can highlight new questions, including questions regarding model validation, complexity, computability, representation, and reality.

The workshops in the Philosophy of Information bring together various philosophical perspectives on the nature and dynamics of information, and focus in particular on novel philosophical questions that arise in the information society. The central theme for the 9th workshop in the series is information visualisation.

Our aim is to focus on informational artefacts that encode or convey information in order to try and explain why visualisations can play a certain epistemic role and why certain visualisation are more effective than others. A special attention will be given to the study of how scientists rely on visualisations and how visual artefacts are designed in the sciences. On this basis, we wish to explore convergences between the philosophy of information and the philosophy of science as well as between the formal sciences (logic, computing) and the philosophy of information.

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

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

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

Computational social choice is a rapidly growing discipline at the interface of social choice theory and computer science. It is concerned with the application of computational techniques to the study of social choice mechanisms, and with the integration of social choice paradigms into computing.

P&C 2018 is an interdisciplinary meeting which aims to bring together researchers from various domains with interests in physics and computation. Research and important issues relating to the interface between physics and the theories of computation, computability and information, including their application to physical systems, will be presented and discussed. The workshop will be held as a satellite workshop of the 17th International Conference on Unconventional Computation and Natural Computation (UCNC 2018) in Fontainebleau, France, which is being held from 25-29 June 2018.

Invited Speakers: Judit X. Madarász, Oron Shagrir

Keynote Speaker: Thomas Noll (Barcelona, Spain)

Description: This workshop shall represent a privileged platform to make an important step forward to new universal approaches to logic(s) of music. The Workshop focuses on the relatively autonomous approaches to logic(s) of music and musical logic, i.e. logic in pieces of musical compositions. We invite composers, conductors, musicians and musicologists interested in the interplay between logic and music to submit a paper or just active participation. Another objective is to bring together researchers from all over the world into closer contact.

The event "Toposes in Como", which represents the second edition of the conference "Topos à l'IHES" held in France in 2015, will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day conference featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis and computer science.

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

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

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

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

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

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner.

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway).

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 2018 meeting will gather philosophers, ethicists, logicians, roboticists, computer scientists, and cognitive scientists to explore these topics. Keynote speakers include Ned Block (NYU) and Ed Zalta (Stanford).

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