Abstract: A paradefinite logic is a logic that is both paraconsistent and paracomplete. In this talk we introduce a framework for models of paradefinite set theories based of Thierry Libert's work in paraconsistent set theory. We then present a model of paradefinite set theory which can be seen as the result of enriching the classical von Neumann universe of sets with various non-classical sets. We will also discuss the axiomatization of the theory of this model.

The literature on question-embedding predicates has generally focused on the restrictions of certain predicates and the complements they can take as argument. However, the discussion becomes even more convoluted when we take the analysis cross-linguistically. My presentation explores a construction that exists in Spanish, but not in English, which allows a speaker to unambiguously report a question that this construction demands a more detailed analysis of question-embedding predicates. I will present such an analysis as well as introduce a test in order to highlight a correlation between a property shared by all verbs that share this construction that take this construction, which is not shared by predicates that do not. It's going to be very verby!

Speakers: Mark Jago (Nottingham), Peter Hawke (Amsterdam / St Andrews), Aybüke Özgün (Amsterdam / St Andrews), Janneke van Lith (Utrecht), Johannes Korbmacher (Utrecht), Maria Aloni (Amsterdam).

I explore the implications of the Tense Phrase deletion operation known as sluicing (Ross 1969) for the semantic and pragmatic literature on the Free Choice effect (Kamp, 1973; von Wright, 1969). I argue that the time-honored ‘I don’t know which’-riders on Free Choice sentences, traditionally taken to show that the effect is pragmatic, are sensitive to scope. Careful attention to such riders suggests that these sluices do not show cancellation on Free Choice antecedents in which disjunction scopes narrower than the modal.

We turn our attention to two of the best papers at ISMIR 2019. The selected papers use two popular deep learning models, convolutional neural networks and transformers, to tackle loosely related tasks: predicting modality and chord transcription. The goal is to get beyond the technicalities of these deep learning models, and also discuss their assumptions and broader implications.

The Causal Inference Lab will meet on Monday to discuss the following paper:

Nadya Vasilyeva, Thomas Blanchard & Tania Lombrozo (2018), Stable Causal Relationships Are Better Causal Relationships doi.org/10.1111/cogs.12605

Everyone with an interest in causal reasoning is very welcome to come along!

Previous studies of the neurocomputation of quantifiers have shown that complexity impacts which brain areas are activated in processing. However, there are critical issues with the previous experiments. Firstly, the formal properties of the quantifiers that are grouped together have not been properly controlled. Secondly, the poor temporal resolution of fMRI prevents studying the different stages of quantifier computation, specifically which cognitive resources are recruited at different stages. Taking the quantifier classes in Szymanik (2016) into account, this study was interested in whether the memory component required to compute proportional quantifiers ('most', 'fewest of') was reflected in online neuronal activity, as recorded by EEG. In particular, we expect that event related potentials associated with memory should be modulated differently by proportional quantifiers, compared to cardinal and Aristotelian ones. In this talk, I will present behavioral and neural data, and hope to discuss the theoretical significance of these.

How do deliberating groups work? And can we design deliberative processes that can guarantee well-informed decisions? In this talk I will introduce, in a light way, a number of features of deliberative processes that I consider central, show their relevance for research in logic, economics and linguistics, and highlight some challenges for the development of a science of deliberative processes.

The workshop focuses on philosophical and methodological problems connected to causal inference. The topics covered by participants range from econometric modeling to medical research. The list of participants includes Sebastian Køhlert (How Empirical is Empirical Modelling Really? On Probabilism in Econometrics), Jan-Willem Romeijn (Shrinking and extremizing: two studies in meta-analysis), and Mariusz Maziarz (How to make inferences from inconsistent empirical results?). All the participants are welcome but please register by sending an email.

Humans can perceive, represent and compare quantities that are presented nonsymbolically (e.g., as arrays of objects visually or as a series of tones aurally), as well as quantities that are presented using arbitrary symbols and natural language. In the former case, we can make an approximation of the quantity of elements and compare them. In the latter case, a set of conventions can be learnt to represent the cardinality (e.g., Arabic digits, number words, Roman numerals etc. such as ‘7’ or ’seven’) or a relationship between cardinalities (e.g., quantifiers such as ’many’, ’few’). At this meeting, I will start by giving an overview of the vast amount of research that has been conducted to investigate neural processes underpinning representation and comparison of cardinality of nonsymbolic arrays and number symbols. I will then try to relate this to the research that has been done on quantifiers as another way to symbolically refer to (relationships between) quantities. This is a project in progress, so throughout the presentation, I would like to get your feedback.

On 27 November 2019, the ILLC is organising a workshop and reception to celebrate Dick de Jongh's 80th birthday. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!

Meinong, the founder of object theory, has often been accused of being inconsistent and ontologically unparsimonious, in part because his theory allows for nonexistent and even impossible objects. However, his insights have been used to develop the so-called neo-Meinongian logics, i.e. consistent versions of object theory that can be used as foundations for formal semantics. In this talk, I review the problems with the naive version of object theory and presents the main neo-Meinongian strategies to solve them. I then propose my own neo-Meiongian logic, based the notions of complex property and lambda-abstraction.

After a break, we are continuing the Music Cognition Reading Group with an exciting paper to be published in Science next week: Universality and diversity in human song (10.31234/osf.io/emq8r). This is the result of the Natural History of Song project, in which Samuel Mehr and many collegues collected a large sample of audio recordings and ethnographic descriptions of the world's musics. Remarkably, it is the first study to systematically check whether music is indeed present in all cultures (spoiler: it is). And that's just the beginning. The paper goes on to map the variation found in those musics, reporting lots of diversity — and some potential universals...

To find out more, feel free to join. You can bring your lunch, if you like.

The Nederlandse Onderzoeksschool Wijsbegeerte (OZSW), or the Dutch Research School of Philosophy, was established at the end of 2012. It incorporates the former Onderzoeksschool Ethiek (OZSE). The OZSW is an initiative of 11 departments at Dutch universities doing research in philosophy. Its general purpose is to strengthen the discipline of philosophy by promoting and facilitating collaboration between the participating universities in the areas of research and the training of young researchers (PhD students and Research Master students). This annual conference is one of its activities.

Keynote speakers: Anne Phillips (London School of Economics), Barbara Vetter (Freie Universität Berlin), Pauline Kleingeld (Rijksuniversiteit Groningen) and Ruth Sonderegger (Academy of Fine Arts Vienna)

In this lecture I will present findings from cognitive neuroscience that bear on the question of how we get from perception of sound patterns to pleasurable responses. I will first discuss evidence that corticocortical loops from and to the auditory cortex are responsible not only for perceptual processes but also for working memory, sensory-motor, and predictive functions that are essential to produce and perceive music. Then, I will discuss neuroimaging and brain modulation studies from our lab focusing on the dopaminergic reward system, its involvement in musical pleasure, and what happens when that system is disrupted.

Abstract: Starting from logical patterns in inferences, we broaden our scope to other information-producing actions such as questions and observations. These, too, have valid patterns that can be described using techniques from modern logic. Finally, we discuss the foundational issue of two complementary perspectives on logic: as a description of laws about an unchanging reality, and as a provider of forms of rational social activity.

Reference: Johan van Benthem, 'Fanning the Flames of Reason', & Nieuw Archief voor Wiskunde 5/16:1, 2015, 52–61.

The Causal Inference Lab reading group will meet on Monday November 11 at the ILLC to discuss to discuss chapter 7 of Judea Pearl's celebrated book, Causality (https://doi.org/10.1017/CBO9780511803161.009).

Everyone with an interest in causal reasoning is very welcome to attend.

We support students, academics and tech professionals who are starting or growing their business. Our help consists of training & coaching and introductions to our extensive network of industry leaders, business professionals, investors and service providers. By supporting knowledge-based startups and scale-ups, we strive to build a learning ground for creating impactful companies of the future.

With the Principia Mathematica, Whitehead and Russel famously put forward a type theory as a foundation of mathematics. Since then, events such as the discovery of the Curry-Howard correspondence and the introduction of dependent types have drastically changed the face of type theory. Modern type theories thus give rise to attractive foundations of mathematics which are very different from that of the Principia Mathematica.

The talk will begin with a slightly simplified overview of some of the
inner workings of dependent type theories and their intrinsic logic. This will be followed by a more general discussion of the foundations obtained from such type theories.

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.

Drinks will be served afterwards.

Naar aanleiding van de MasterClass eerder dit jaar organiseert het ILLC een volgende MasterClass Logica gericht op Wiskunde C docenten met als doel deze groep te voorzien van achtergronden in de logica. De MasterClass zal bestaan uit 2 colleges en optioneel, mocht daar behoefte voor blijken te zijn, een derde college.

With your research activities you generate ideas constantly. That’s not too difficult. But to turn an idea into a business case is usually more complicated. In this workshop the experts from IXA share different models on why and how to transform your idea into a more concrete concept which can be turned into a solid business case.

The Causal Inference Lab reading group will meet to discuss Johnson and Keil (2014), "Causal inference and the hierarchical structure of experience" http://dx.doi.org/10.1037/a0038192.

A PDF of the paper is available at https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4244254/pdf/nihms630864.pdf

Some PhDs and Postdocs (namely, Milica Denić, Janie Sinclair and Dean McHugh) thought it would be welcome to create an opportunity for members of the ILLC to meet outside of official events, especially given the diversity of separate research groups at the ILLC.

To this end, we have reserved some space at Poesiat & Krater (very close to Science Park) this Friday from 6pm on, if anyone would like to join to meet people from around the ILLC.

Abstract

Adding a single Cohen real to L provides us with a lattice of intermediate models, but if we only consider models of ZFC, these models are all somehow very similar (except L itself). Without assuming the Axiom of Choice in those intermediate models we have a very different picture. We will discuss the construction of the Bristol model, which is a model between L and L[c], which does not have the form L(x) for any set x.

Speakers will include Piotr Faliszewski, Boas Kluiving and Hans Peters.

Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

FACS 2019 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

In this first DIP Colloquium of the 2019/20 academic year, Fabian Schlotterbeck (Tübingen) will present his work on spatial propositions (e.g. 'above', 'beside').

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

The first 'MoL thesis presentation' event of the current academic year will feature presentations of the students graduating in the first semester:
- Federico Schiaffino. A Mental Time Travel framework in Narrative Discourses (van Lambalgen)
- Pedro Del Valle Inclan. Harmony and Logical Form (Schloder & Incurvati)
- Luca van der Kamp. Manipulation and Dynamics of Social Networks (Velázquez Quesada & Smets)
- Hrafn Oddsson. Paraconsistent Set Theory and the Anti-consistency Axiom (Khomskii)

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

[This event is organised in Dutch only.] Waarom zou je je kostbare tijd en energie stoppen in genereren van media aandacht? Hoe trek je de aandacht van journalisten voor je verhaal? En wat zijn de geheimen van het geven van een goed interview? Media aandacht kan je onderzoeks carrière stimuleren, maar ook tegen je werken. Kortom een goed doordachte mediastrategie is een must voor elke onderzoeker. Deze interactieve workshop helpt je op weg bij het ontwikkelen van jouw persoonlijke media strategie.

Valorising research, you hear it more and more often. Writing a valorization paragraph is also increasingly becoming part of a research proposal. If this is new to you or you want to know more about how you can apply the subject of valorisation. Then this workshop is for you.

The goal of this workshop is to provide a platform for Dutch and international experts to share their knowledge and expertise on the application of algebraic and proof theoretic methods to the study of non-classical logics. The workshop is associated with the PhD defense of Frederik Möllerström Lauridsen.

Invited speakers: Nick Galatos (University of Denver), Mai Gehrke (Laboratoire J.A. Dieudonné), Rosalie Iemhoff (Utrecht University) and George Metcalfe (University of Bern).

In the CLC Lab meeting, we will discuss the paper  'Different languages, similar encoding efficiency: Comparable information rates across the human communicative niche.' by Coupé, C., Oh, Y., Dediu, D., & Pellegrino, F. (2019).

The Causal Inference Lab will host their first meeting of the 2019/20 academic year, discussing:

Walsh & Sloman (2011), The Meaning of Cause and Prevent (https://doi.org/10.1111/j.1468-0017.2010.01409).

Everyone with an interest in causal reasoning is very welcome to come and discuss the paper with us.

This year the ILLC will organise its very own Open Day. It will take place on Friday October 4th, so please mark this day in your calendars.

On this day, ILLC invites all colleagues at UvA and CWI interested in
our research to visit the institute, watch posters and demos, attend
flash talks and enjoy drinks afterwards.

More information about the Open Day will follow soon.

Abstract:

We briefly introduce measurement based quantum computation (MBQC) and in particular the formalism of measurement patterns. This is conveniently expressed in a graphical language known as ZX-calculus. We proceed to impose certain determinism conditions on the measurement patterns which guarantee that the patterns are implementable in practice. It turns out there are purely graph-theoretic conditions corresponding to the determinism conditions. The aim of the talk is to give an exposition of this connection.

The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, Georgia.

The Symposium series is organized by the Tbilisi State University and the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam in conjunction with the Institute of Linguistics and Information Science of the Heinrich-Heine-University Düsseldorf. The programme will include tutorials on Logic, Language and Computation, and a series of invited lecturers. There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.

Clearly explaining a rationale for a classification decision to an end-user can be as important as the decision itself. Existing approaches for deep visual recognition are generally opaque and do not output any justification text; contemporary vision-language models can describe image content but fail to take into account class-discriminative image properties which justify visual predictions. In this talk, I will present my past and current work on Zero-Shot Learning, Vision and Language for Generative Modeling and Explainable Artificial Intelligence where we show (1) how to generalize image classification models to cases when no visual training data is available, (2) how to generate images and image features using detailed visual descriptions, and (3) how our models focus on discriminating properties of the visible object, jointly predict a class label, explain why/not the predicted label is chosen for the image.

Like every year we welcome the new MoL students with drinks and pizza outside Polder.

You're all welcome to join!

The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications.

CONCUR is co-located with:
- the 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2019)
- the Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
- the 8th IFIP WG 1.8 Workshop on Trends in Concurrency Theory (TRENDS 2019)
- the 4th International workshop on TIming Performance engineering for Safety critical systems (TIPS 2019)
- the 9th Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2019)

The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness of computational models.

Invited speakers: Yuxin Deng (East China Normal University, China) - Tom Hirschowitz (CNRS / Savoie Mont Blanc University, France) - Kirstin Peters (TU Berlin, Germany).

Concurrency and Logics are two of the most active research areas in the theoretical computer science domain. The literature in these fields is extensive and provides a plethora of logics and models for reasoning about intelligent and distributed systems. More recently, the interplay of concurrency and logic with other research areas has received much attention, as witnessed by recent editions of AI conferences. All these examples share the challenge of developing novel theories and tools for automated reasoning that take into account the behaviour of concurrent and multi-agent entities.

The workshop aims to bring together researchers working on different aspects of logic and concurrency in AI, multi-agent systems, and computer science, both from a theoretical and a practical point of view. Besides, it aims to promote research on Foundation of AI in other research communities that are traditionally Theoretical Computer Science-oriented.

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.

The ILLC Colloquium is a half-yearly festive event (respectively the New Year's Colloquium and the Midsummernight 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.

Speakers:

• Roberto Ciuni (Philosophy, University of Padova): Information-based oughts and their interaction with knowledge and belief
• Karolina Krzyzanowska (ILLC, University of Amsterdam): Minimal rationality constraints for conditional obligation
• Louwe Kuijer (Computer Science, University of Liverpool): True clauses, false connections, and the limits of pragmatic explanations

To conclude the Causal Inference Lab's academic year, Ivar Kolvoort will present his recent work on the psychology of causal reasoning. All who are interested in discussing casual inference are very welcome to attend.

AMBition is a coalition of four leading neuroscience research institutes (NIN, Amsterdam UMC, IBBA and ABC) aimed at building sustainable bridges between Amsterdam’s top research groups in the fields of brain and mind research. With the launch of AMBition, Amsterdam’s international visibility as an attractive and inspiring centre for mind and brain research will grow greatly, pushing Amsterdam in joining the league of worldwide leading institutes in this field. The kick-off of AMBition is scheduled for the 28th of June 2019 during a symposium in the KIT Royal Tropical Institute in Amsterdam.

The ABC Networking Day provides you with the opportunity to discover all research treasures that ABC holds, and connect with other ABC researchers. All researchers (PhDs, post-docs, assistant/associate/full professors) are invited to attend and actively participate.

The Networking Day will consist of ABC Highlights (talks that showcase recent work from the different ABC research Themes and Transversal Perspectives) and Pitch talks (flash talks that are all about getting to know each other, to foster fresh collaborations, and, possibly, to team-up for grant proposals), followed by a lunch where the discussions continue in an informal atmosphere. Directly following the ABC Networking Day the AMBition Kick-off meeting will take place, also at the KIT.

The InqBnB workshop series brings together researchers working on inquisitive semantics and closely related topics. We are particularly interested in research that studies the semantics/pragmatics of questions and other inquisitive constructions, and in work investigating expressions which interact with the meaning of questions in interesting ways.

Unfortunately this talk had to be cancelled due to circumstances: it may be rescheduled at a later date.

Traditional semantics gives the meaning of expressions in terms of conditions on one kind of primitive (e.g. truth, assertion, belief). Bilateral approaches hold that the meaning of expressions is characterized in terms of conditions on two, usually opposite primitives (e.g. truth and falsity, assertion and rejection, belief and disbelief). Recent years have witnessed the independent development of a variety of bilateral approaches to analyze phenomena such as negation, epistemic modality and counterfactuals, from both a proof-theoretic and a model-theoretic perspective. The workshop will bring together researchers from either perspective in order to provide a venue for the systematic exploration of commonalities, differences and potential interactions between such approaches.

Invited speakers: Maria Aloni (ILLC, Amsterdam), Teresa Marques (Logos, Barcelona), Greg Restall (Melbourne) and David Ripley (Monash).

The Haber lab focuses on the neural network that underlies incentive learning and decision-making that leads to the development of action plans.

This Academy Colloquium on Musicality and Genomics will bring together leading experts from neurobiology, cognitive psychology, music cognition and genetics to discuss (Day 1) the phenotypes of musicality, how to measure them, and genetic techniques for studying human variation. and (Day 2) the possibilities for combining musicality indices with the latest genomic methods, genetic pleiotropy between traits, and the instalment of an international consortium on the biological bases of musicality.

Speakers: Wulf Gaertner (Osnabrück and Berlin), Kirsten Rohde (Rotterdam), and Erik Schokkaert (Leuven).

On 12 June 2019, ILLC is organizing a workshop and reception to celebrate Johan van Benthem's 70th birthday. The workshop consists of talks by Johan and some of his many former PhD students at UvA and Stanford. The workshop will take place in the ILLC Common Room, to be followed by a Reception (in the same place). Everybody at ILLC is most welcome to attend!

Confirmed speakers, in addition to Johan himself, include in alphabetical order: Nina Gierasimczuk (DTU, Copenhagen), Peter Hawke (ILLC), Fenrong Liu (Tsinghua and ILLC), Oivier Roy (Univ. of Bayreuth), Shane Steinert-Threlkeld (ILLC) and Martin Stokhof (ILLC).

The scientific programme of this informal workshop will be structured around a number of invited talks on topics broadly related to the design and analysis of mechanisms for collective decision making. Everyone is welcome to attend. This includes in particular ILLC staff and students. Registration is required and free until 25 May 2019.

Hein van den Berg (UvA) and Lukas Verburgt (UU) will present their ongoing research at the first seminar of The Philosophical Tradition in Context Seminar series of the Department of Philosophy at the University of Amsterdam. The seminar aims to bring scholars from philosophy of science, history of science and humanities, history of philosophy, metaphysics and comparative philosophy together to reflect on the interaction of philosophy and science with society and politics, and the methodology of philosophy, science and humanities.

On Monday June 3rd 2019 IXA organises an inspiration session for scientists of the faculty of Humanities of University of Amsterdam and the faculty of Humanities of the Vrije Universiteit.
In this inspiration session we will explore the chances for value creation between the domains of Humanities and Artificial Intelligence.

The Causal Inference Lab's biweekly reading group will meet to discuss the psychology of modality.

In particular, we will discuss Phillips & Knobe (2018), `The psychological representation of modality' (preprint).

Everyone who would like to discuss the above paper is very welcome to join!

The possible world semantics of epistology induces a theory of content which has the undesirable feature of 'logical omniscience', where any sentence that is 'necessary' (i.e. true in all possible worlds) is automatically considered to be 'known' by all agents. In this talk, I distinguish between several kinds of logical omniscience and investigate how different sorts of circumstantialist accounts can avoid them. I propose my own semantics for knowledge, based on Fine's truthmaker semantics, that manage to avoid (some kind of) logical omniscience while maintaining moderate rationality.

The Causal Inference Lab is pleased to announce that Sander Beckers (Utrecht) will visit the ILLC to present his work on definitions of actual causation.

There is a reason why we take some every-day ontological practices for granted. It is for the same reason that people in Trafalgar Square can‘t see England. ‘‘Pegasus flies’’, ‘‘Sherlock Holmes is intelligent’’ and ‘‘Apollo is not a rock-star”: all these things are conventionally accepted. The question is: how can we make sense of them? Or, to complicate the picture, consider ‘‘Ajax liked daises’’ or ‘‘Reptilians exist’’. This only gets more puzzling; but why so?

The existence of fictional characters challenges our way of deciding whether a sentence is true or not. Different philosophical stories seem to run into different formal problems and vice versa. In short, during this talk we will discuss stories about stories and try to make sense of our ontological practices.

Join us for drinks and snacks afterwards!

Catarina Dutilh Novaes will hold her inaugural lecture on May 17th at 15.45; reception will follow. The location is the Aula of the VU, in the VU main building.

Researchers and students from all faculties at the UvA are warmly invited to the event of AI at the University of Amsterdam. This
interdisciplinary one-day event will celebrate and showcase the diversity of AI research and education at the university. During the day, the Rector Magnificus and key UvA researchers will provide an overview of AI research at UvA and participate in panels discussing the three main foci of the new Research Priority Area of Human(e) AI: AI & Society, AI & Public Values and AI & Science.

On Saturday, 11 May 2019, Professor Joel David Hamkins, the Sir Peter Strawson Fellow at University College Oxford, is visiting Amsterdam to speak at the Wijsgerig Festival DRIFT on the topic of Het zijn en de dingen. We used this opportunity to arrange for a small informal workshop on mathematical logic and set theory during the day. Speakers are Robert Paßmann, Sam Adam-Day, and Joel Hamkins. Everyone is cordially invited.

The Causal Inference Lab's reading group will meet to discuss Lee's paper,

'Motivating the Causal Modeling Semantics of Counterfactuals, or, Why We Should Favor the Causal Modeling Semantics over the Possible-Worlds Semantics' (https://doi.org/10.1007/978-3-662-48357-2_5).

Anyone interested in discussing the above paper, and causality more generally, is very welcome to join.

Formal semantics investigates natural langauge meanings using tools from formal logic. In the presentation i will briefly introduce the field and then discuss then case of free choice (FC) inferences, where conjunctive meanings are derived from disjunctive sentences contrary to the prescrtiptions of classical logic.

There have been two main approaches to the challenge that FC inferences present for logic-based accounts of linguistic meanings: a pragmatic approach where FC inferences are treated as conversational implicatures derived as the product of rational interactions between cooperative language users and a semantic approach where FC inferences are treated as sematic entailments and therefore require the development of non-classical modal logics. After comparing the two approaches I will defend a novel hybrid appraoch where FC inferences are derived by allowing pragmatic principles intrude in the recursive process of meaning composition.

Are you curious about entrepreneurship and do you want to know what it takes to start your own company? ACE Incubator presents a unique entrepreneurship program in collaboration with Innovation Exchange Amsterdam (IXA). The program offers you a unique opportunity to learn the basics of venture creation and pick your brains on potential business ideas in the fields of Informatics, Math & Logic.

The dates for the program are April 10 + 17 (2 days) with a week
in-between.

The ILLC's Causal Inference Lab will host its bi-weekly reading group, where we will discuss the role of time in causal learning. In particular, we will discuss the following two papers:

Bramley et al. (2018), Time in Causal Structure Learning http://cicl.stanford.edu/papers/bramley2018time.pdf

Davis, Bramley & Rehder, Causal Structure Learning with Continuous Variables in Continuous Time
https://zach-davis.github.io/files/cvct_online_preprint.pdf

All who are interested in discussing causality are very welcome to attend!

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.

Expressions like "most" or "big" are known to be vague, that is, their interpretation can be borderline and not generally-agreed. Moreover, their use is context-dependent, in a way that an entity can be "big" in one context, but not in another. Interestingly, the meaning of these expressions is shown to be mostly quantitative when they are used to refer to entities (or sets of entities) in real-world contexts; for example, "few" is used by speakers only to refer to a given range of (low) proportions. By exploiting state-of-the-art, cognitively-inspired computational techniques, I tackle the issue of modelling the meaning of vague expressions from their use in grounded contexts, specifically Vision. In the first, longer part of the talk, I will provide an overview of my recent investigations on vague quantifiers ("few", "many", "all", etc.), both at the behavioural and computational level. In the second part, shorter, I will present ongoing research on gradable adjectives ("big", "small", etc.). Any feedback and comment is more than welcome!

The ILLC's Causal Inference Lab will host its bi-weekly reading group, where we will discuss temporal logics and neural networks for causal inference. In particular, we will discuss the following two (short!) papers:

Kleinberg, Antoniotti, Ramakrishnan & Mishra (2007). Modal logic, temporal models and neural circuits: what connects them. http://www.skleinberg.org/papers/TR07.pdfKleinberg & Mishra (2009). The temporal logic of causal structures. http://www.skleinberg.org/papers/uai09.pdf

All who are interested in discussing causality are very welcome to attend!

Abstract:
What has become of mutual aid, a key concept in traditional anarchism, and profoundly analyzed by Kropotkin? Being currently left aside by both post-anarchist thinkers and post-structuralist philosophers because of its supposed naturalist and rationalist grounding, it seems to live a new life under the name of «effective altruism» (Singer, Parfitt). Effective altruism opens the prospect of a decentralized morals, in which the issues of justice and the good are not referred to overarching values, but determined horizontally, out of a form of calculation. Is effective altruism a political promise or a social scandal?

On March 14 we will bring together 5 outstanding speakers on the subject of Quantum Cryptography and Foundations.

p> When processing a text, both humans and machines must cope with ambiguity and non-compositionality. These phenomena represent a considerable challenge for NLP systems, while at the same time there is limited evidence from online measures on how humans solve them during natural reading. We approach these two problems as one and hypothesize that obtaining information on how humans process ambiguous and non-compositional phrases can improve the computational treatment of such instances. I will present experiments on using eye-tracking data to improve NLP models for two tasks: classifying the different roles of the pronoun It (nominal anaphoric, clause anaphoric and non-referential), as well as the identification of multi-word expressions. The experiments test whether gaze-based features improve the performance of state-of-the-art NLP models and the extent to which gaze features can be used to partially or entirely substitute the crafting of linguistic ones. The best-performing models are then analysed to better understand the cognitive processing of these linguistic phenomena and findings are discussed with respect to the E-Z model of reading and the processing stages during which disambiguation occurs.

The central theme of my lecture is the way in which scholars throughout the ages have sought to identify reasoning patterns in disciplines like philology, art theory, musicology, linguistics, literary theory and historiography. What rules can we apply if we wish to determine whether a tale about the past is trustworthy? By what criteria are we to distinguish consonant from dissonant musical intervals? What rules jointly describe all possible grammatical sentences in a language? How can modern digital methods enhance pattern-seeking in the humanities? I contend that the hallowed opposition between the sciences (mathematical, experimental, dominated by universal laws) and the humanities (allegedly concerned with unique events and hermeneutic methods) is a mistake born of a myopic failure to appreciate the way of reasoning that lies at the heart of this inquiry.

Amsterdam Data Science and the Big Data Alliance are pleased to announce that registration is now open for the second edition of the Data Science Career Fair in Amsterdam. The career fair will take place on Monday, 11 March from 15:00-19:30 at VU University Amsterdam.

We kindly invite all Master & PhD students keen to follow a Technical, Data Science or AI career with a tech background (e.g. AI, Data Science, Econometrics, Business analytics, Computer Science, Informatics, Information Systems Software Engineering etc.) to participate in this career fair.

The Causal Inference Lab is hosting a reading group on judgements of actual causation as part of its reading group (Mondays 13:00-15:00 at the ILLC). We will read the following (very brief!) papers:

Pearl (2019). On the interpretation of do(x).
Hitchcock (2017). Actual causation: What’s the use?
Hitchcock (2012). Portable causal dependence: a tale of consilience.

All are very welcome to discuss the above papers with us on Monday.

Heyting Day 2019 is devoted to Frege’s momentous philosophical paper Der Gedanke (1918-1919), which addresses such fundamental questions as 'What is truth? What is meaning? How can thoughts be shared?' The talks organised on Heyting Day provide historical background and illustrate how Frege’s work is still relevant to
the lively contemporary debate.

Do you want to know more about funding opportunities for research projects with industry? NWO is coming to visit us to present the new Science PPP Fund. The Science PPP Fund offers EUR 12 million for bottom-up research carried out within public-private partnerships between knowledge institutions and companies. Projects need to follow within scope and budget of the top sectors Chemistry (incl. BBE), Energy, High-Tech Systems & Materials, Agri & Food and ICT. The call opens at the beginning of February.

If you want to sign up for this presentation, send an email to p.wybenga at ixa.nl

The Causal Inference Lab is hosting a reading group on Bayesian inference as part of its biweekly reading group (Mondays 13:00-15:00 at the ILLC).

We will read two papers: Sanborn and Chater (2016), The Bayesian brain without probabilities and Bonawitz, Denison, Gopnik & Griffiths (2014), Win-Stay, Lose-Sample: A simple sequential algorithm for approximating Bayesian inference.

All are welcome to discuss the above papers with us on Monday.

Event Calculus (EC) was originally created for modeling commands in programming within the field of Artificial Intelligence. However, in their book, "The Proper Treatment of Events" the ILLC's Michiel van Lambalgen and his co-author Fritz Hamm take a cognitive scientific approach and show that EC is also an extremely effective model for the semantics of tense in natural language (as opposed to say, possible world semantics).

In the presentation we'll go over the basics of EC, dive into the wonderful world of tense, aspect, and events, and see how EC intuitively captures our understanding of temporality expressed in language. I'll also discuss what I am currently working on, specifically, how I intend to use EC to tackle some current issues with a certain type of conditional. It's gonna be inTense!

Abstract:
In contemporary Western philosophy, destruction or deconstruction of metaphysics has been presented by prominent thinkers like Levinas, Derrida or Schürmann as the liberation of an an-archic way of thinking. The possibility of questioning and acting beyond the «arkhè», beyond the principle (commandment and beginning at the same time), has opened new perspectives in ontology and ethics. Levinas, for example, characterizes the relation to the Other in terms of «an-archic responsibility». Interestingly, such an ontological and ethical anarchy has always been strictly distinguished from political anarchism. Can we envisage a confrontation between the two traditions? Is "post anarchism" a satisfactory way of setting it up?

We interact with computers every day, and often using something like human language. There is therefore a huge amount of research going into how to represent human language computationally. Modelling words as vectors has been one of the most successful approaches over recent years. However, it is not immediately clear how to combine word vectors together to make phrases and sentences. On the other hand, formal semantics gives a clear
account of how to compose words, but it is not so obvious how to represent their meanings. I will give an overview of the model I work with that shows how to combine word vectors using formal semantics. I will also describe its limitations and will appreciate ideas and questions.

The ILLC has a new group, called the Causal Inference Lab, dedicated to investigating causality. The group hosts a reading group every second Monday, 13:00-15:00, which everyone very welcome to attend.

For our next session, Monday 18 February 13:00-15:00, we will read Rachael Briggs' paper, 'Interventionist Counterfactuals' (https://doi.org/10.1007/s11098-012-9908-5). Briggs applies causal models to represent the truth-conditionals of counterfactuals such as "If you had taken the train or the metro, you would have arrived on time."

If you are interested in discussing causal inference with us, please do come along!

We introduce the graphical language of string diagrams, which allow us to reason about mathematical structures by drawing pictures. Specifically, we use string diagrams to define monoids and comonoids, and demonstrate how the matrices of natural numbers arise from interactions between a monoid and a comonoid. By studying a certain class of categories known as PROPs, we will see that the diagrammatic approach is in fact in one-to-one correspondence with the algebraic one. We proceed to outline how this generalises to matrices with rational entries, thus recasting all of the (rational, finite-dimensional) linear algebra in terms of string diagrams.

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

How do neural language models keep track of number agreement between subject and verb? We show that `diagnostic classifiers', trained to predict number from the internal states of a language model, provide a detailed understanding of how, when, and where this information is represented. Moreover, they give us insight into when and where number information is corrupted in cases where the language model ends up making agreement errors. To demonstrate the causal role played by the representations we find, we then use agreement information to influence the course of the LSTM during the processing of difficult sentences. Results from such an intervention reveal a large increase in the language model's accuracy. Together, these results show that diagnostic classifiers give us an unrivalled detailed look into the representation of linguistic information in neural models, and demonstrate that this knowledge can be used to improve their performance.As always, after the talk there will be beers and snack in the common room.

CWI organizes a meeting concerning Open Access aimed for a broad audience. It will be devoted to a discussion of Plan S, an initiative for Open Access publishing, launched in September 2018, and supported by an international consortium of research funders, including NWO, and to two radical initiatives, SciPost, and Open Research Central.

Shared mental models in the context of Explainable AI

Explainable AI is receiving a lot of attention these days. This is fantastic and important given the increasing use and impact of artificial intelligence, in particular Machine Learning. I think I have been working on Explainable AI for many years now, and I have always approached this from a Knowledge Representation point of view in which Shared Mental Models (and Team Mental Models) have played a big role. I would like to discuss this with you and come to some joint insights as to their possible roles in Explainable Machine Learning.

Abstract:
The history of AI has been a continuous swing of the pendulum between the extremes of logical reasoning and statistical learning; or, as Judea Pearl has it: between Greek philosophers and Babylonian curve fitters. In recent years, the pendulum has swung strongly towards the statistical methods. We'll take a close look at the history of AI, and we'll identify the strong and weak points of both schools of thought. This will lead to a set of challenges to be taken up by logicians if they are interested in contributing to one of the most exciting intellectual endeavours of our time.

The talk is the public part of the conference SYSMICS2019, an international scientific meeting in the area of logic.

Met veel genoegen nodigt Uitgeverij Prometheus u uit voor de presentatie van Een wereld vol patronen van Rens Bod. De presentatie vindt plaats op woensdag 23 januari om 17.00 uur ten huize van de uitgeverij, Herengracht 48, te Amsterdam. De eerste exemplaren van het boek worden in ontvangst genomen door Geert ten Dam, Voorzitter College van Bestuur van de Universiteit van Amsterdam, en Mirjam van Praag, Voorzitter College van Bestuur van de Vrije Universiteit Amsterdam.

Substructural logics are formal reasoning systems that refine classical logic by weakening structural rules in a Gentzen-style sequent calculus. Traditionally, substructural logics have been investigated using proof theoretic and algebraic methods. In recent years, combined approaches have started to emerge. The programme of the SYSMICS conference will focus on interactions between syntactic and semantic methods in substructural logics. This conference is the last of a series of meetings planned in the SYSMICS RISE project during 2016-2019.

Speakers: Kristof Bosmans, Bettina Klaus, Flip Klijn, Jordi Massó, Ton Storcken.

We are planning a meeting to discuss ICT facilities available to people at ILLC. In particular, we would like to make an inventory of
what is available now and to whom. And we wish to discuss if this is
enough, or if more is needed. And if so, what exactly.

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.

From 7-11 January next year there will be a workshop on the Lean proof assistant at the Free University in Amsterdam.

The workshop will include introductory tutorials, scientific talks, and collaboration time for developers and users. Tutorials will be aimed at a mathematically experienced audience with little background in formal methods. Presentation topics may include (but are not limited to) the development of formal theories and libraries, tools and automation for formalization, the use of proof assistants in mathematics and computer science education, translating between formal and informal mathematics, and theoretical aspects of proof assistants. We welcome relevant work in proof assistants other than Lean. Participants who are interested in giving a talk or running a tutorial or discussion are asked to contact the organizers

The 22nd Amsterdam Colloquium will be held on 18-20 December, 2019 to bring together linguists, philosophers, logicians, cognitive scientists and computer scientists who share an interest in the formal study of the semantics and pragmatics of natural and formal languages.

The Amsterdam Colloquium will feature two workshops: one on Semantic Universals, featuring Terry Regier (Berkeley) and Suzi Lima (University of Toronto); and one on Super Linguistics, featuring Cornelia Ebert (Berlin) and Gabe Greenberg (UCLA).

The regular programme will feature talks by Kathryn Davidson (Harvard), Lucas Champollion (NYU), Imogen Dickie (St Andrews) and Fabrizio Cariani (Northwestern). The Amsterdam Colloquium will also feature one evening lecture by Ian Rumfitt (Oxford), jointly organized with the E.W. Beth Foundation.

The SLALM was conceived in the late 1960s by Abraham Robinson, who at the time was President of the ASL. It brings together the community of researchers in logic in Latin America and is nourished by the crucial participation of researchers from around the world.

MIREL-2019 workshop aims at bridging 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 event will take place in Rio de Janeiro, Brazil, December 8-13, 2019 Everybody is welcome to join us for a major philosophical event in one of the most beautiful and fascinating cities in the world.

The International Conference for Philosophy of Science and Formal Methods in Philosophy (CoPS-FaM-19) of the Polish Association for Logic and Philosophy of Science will take place on December 4-6, 2019 at the University of Gdansk (in cooperation with the University of Warsaw). The conference will feature invited and contributed talks in Mathematical Logic,Philosophy of Mathematics & Philosophy of Science,Philosophical Logic, andFormal Philosophy (including formal epistemology, formal ethics, and applications of formal methods to philosophical issues in general etc.).

Keynote speakers: Hitoshi Omori (Ruhr-Universität Bochum), Oystein Linnebo (University of Oslo), Miriam Schoenfield (MIT), Stanislav Speranski (St. Petersburg State University) and Katya Tentori (University of Trento).

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. After four workshops on connexive logics in Istanbul, Raesfeld Castle, Kyoto and Bochum, a fifth workshop on connexive logics will take place in Bochum (Germany) on the 29th of November, 2019.

The fifth workshop aims at discussing directions for future research in connexive logics. Special focus will be given on historical aspects as well as connections to conditional logics. The workshop will be collocated with a workshop on the Logic of Paradox, from the 25th to 27th, and a workshop on FDE-based modal logic on the 28th. Keynote speakers: Vincenzo Crupi, Andrea Iacona, Spencer Johnston and Marko Malink.

The conference will take place in Lublin at the Catholic University of Lublin (Poland) on November 29-30, 2019. The subject this year will be "Advances in Philosophical Logic". Invited keynote speakers: Valentin Goranko, Stockholm University Ondrej Majer, Czech Academy of Science Antonino Rotolo, University of Bologna Marek Sergot, Imperial College London.

The concept of representation is ubiquitous in cognitive science and in the philosophy of mind. Neural representations are postulated by neuroscientists to explain sub-personal phenomena such as the processing of visual information in the brain, while mental representations are taken to explain person-level phenomena, such as imagination, or consciousness. But non-representationalists contend that postulating representations of any sort is unnecessary or problematic. This workshop investigates the status of representations in a mechanical account of the mind and cognition. One core question will be whether the status of neural and mental representation is equally problematic. A second core question concerns the relationship between neural and mental representations.

Speakers: Joe Dewhurst (LMU), Carrie Figdor (Iowa), Jolien Francken (Amsterdam), Matej Kohar (RUB), Beate Krickel (RUB), Marcin Milkowski (Polish Academy of Sciences) and Karina Vold (Cambridge).

The conference is dedicated to aspects of circularity and ill-foundedness in formal methods. The aim is to gather together researchers who study and/or utilise these phenomena from different perspectives such as provability, formal reasoning, construction, computation and complexity. The 2019 Lindström Lectures will be held in connection with CiSS and delivered by Johan van Benthem.

AIIA 2019 is organized by the Italian Association for Artificial Intelligence (AIIA – Associazione Italiana per l’Intelligenza Artificiale), which is a non-profit scientific society founded in 1988 devoted to the promotion of Artificial Intelligence. The society aims to increase the public awareness of AI, encourage the teaching of it and promote research in the field. The conference covers broadly the many aspects of theoretical and applied Artificial Intelligence. A Doctoral Consortium and a series of workshops dedicated to specific topics enhance the program.

The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust and verifiable methodologies. The combined efforts of notable Italian researchers, that have been collaborating for several years in complementary fields such as specification, verification, and synthesis of reactive systems, artificial intelligence, controller synthesis, etc., has led to the creation of a new research group on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis (OVERLAY). The group aims at investigating novel methods and algorithms supporting the design and development of autonomous safety-critical systems.

The workshop, part of the AIxIA 2019 conference, is the first official initiative supported by OVERLAY, presenting the research group and its current results to the Italian AI scientific community. The event aims at establishing a stable, long-term scientific forum on relevant topics connected to the relationships between Artificial Intelligence and Formal Methods, by providing a stimulating environment where researchers can discuss about opportunities and challenges at the border of the two areas.

This workshop is the eleventh in an annual series of workshops in philosophy of mathematics organized by a team of scholars from France and abroad. As in past years, the forthcoming workshop, held at the universities Panthéon Sorbonne and Paris Diderot, will consist in a three-day meeting and will feature 4 invited as well as 6 contributed talks.

The confirmed invited speakers are: Arianna Betti (University of Amsterdam, ILLC), Patricia Blanchette (University of Notre Dame). Tim Button (Cambridge University) and Frederic Patras (CNRS, Laboratoire J.A. Dieudonne).

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.

We are pleased to have Marc Lange and Rebecca Morris joining us as invited speakers.

ManyVal is a series of international workshops on the logical and algebraic aspects of many-valued reasoning. The aim of the workshops is to gather both established and young researchers sharing an interest for a specific topic. Accordingly, each edition has a sharp focus. The attendance is limited in order to facilitate close and informal interaction. There are no parallel sessions.

ManyVal 2019 will focus on Probabilities, modalities and algebraic structures in many-valued logics.

The Novembertagung on the History and Philosophy of Mathematics is an annual international conference aimed at PhD and postdoctoral students (young scholars) in the history and philosophy of mathematics.

Mathematical knowledge is commonly thought of as being essentially universal: its truths are eternal and incontrovertible, its propositions understandable and agreeable by all, independent of linguistic, cultural, ethnic or religious backgrounds. However, global knowledge, as mathematics seems to be, is always produced locally. As such, it hinges upon collectively shared ways of practicing, writing, and communicating mathematics. This year's Novembertagung invites participants to reflect on the theme 'Mathematical Cultures, Values, & Norms'. The invited speakers are June Barrow-Green (Open University) and Roy Wagner (ETH Zurich).

Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. People connected to the Internet can enjoy an unprecedented amount of information and computing power at their disposal, but more and more negative side effects of a widespread use of computers are brought to our attention: automation bias, echo chambers, shortened attention spans, job displacement, election hacking are just a few examples. The need to conduct a systematic and well-informed discussion in a context ranging from theoretical and mathematical problems to labour and resource exploitation issues is evident.

HaPoC's appeal to historical and philosophical reflection aims at addressing this shortcoming. We aim to bring together researchers exploring the various aspects of computation: historians, philosophers, computer scientists, sociologists, anthropologists, designers, manufacturers, practitioners, artists, logicians, mathematicians, each with their own experience and expertise, all part of a society impacted by computation, and all necessary to the creation of a better discourse.

Software systems are becoming more intelligent in the kind of functionality they offer users. At the same time, systems are becoming more decentralized, with components that represent autonomous entities who must communicate among themselves to achieve their goals. Examples of such systems range from healthcare and emergency relief and disaster management to e-business and smarts grids. A multiagent worldview is crucial to properly conceptualizing, building, and governing such systems. It offers abstractions such as intelligent agent, protocol, norm, organization, trust, incentive, and so on, and is rooted in solid computational and software engineering foundations. As a large but still growing research field of Computer Science, multiagent systems today remain a unique enabler of interdisciplinary research.

Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or process mapping.

The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI 2019 campaign. 3. To examine new uses, similarities and differences from database schema matching, which has received decades of attention but is just beginning to transition to mainstream tools.

The language sciences increasingly have in common their adoption of rational probabilistic approaches, such as Bayesian, Information Theoretic, and Game Theoretic frameworks. The goal of this conference is to bring together speech and language researchers whose scientific contributions reflect the full diversity of disciplines and methodologies - from speech to discourse, on-line processing to corpus-based investigation, through to language change and evolution - that have benefited from, and share, such rational explanations.

Keynote speakers: Gerhard Jaeger (Tuebingen University), Gina Kuperberg (Tufts University), Hannah Rohde (University of Edinburgh) and Rory Turnbull (University of Hawaiʻi at Mānoa).

Since 1994, the TIME International Symposium on Temporal Representation and Reasoning aims to bring together researchers in the area of temporal reasoning in Computer Science. TIME 2019 will be organized as a combination of technical paper presentations, keynote talks, and tutorials, encompassing three tracks (Time in Artificial Intelligence, Temporal DataBases, Temporal Logic and Reasoning).

The 4th of the FILOMENA Workshop (FIlosofia, LOgica e MEtafísica aNAlítica) has the purpose of gathering logicians working at the intersection of Logic and Metaphysics, through the application of formal methods in Philosophy. Our keynote speakers are: Daniel Durante (UFRN, Brazil), Michaela Mcsweeney (Boston University, USA) and Peter  Peter Verdee (UCLouvain, Belgium).

The 4th Filomena Workshop will be followed on the 17-18 by the workshop 'How do logics explain?'. All participants of Filomena are cordially invited to attend this workshop as well.

SLSP is a yearly conference series aimed at promoting and displaying excellent research on the wide spectrum of statistical methods that are currently in use in computational language or speech processing. It aims at attracting contributions from both fields. Though there exist large conferences and workshops hosting contributions to any of these areas, SLSP is a more focused meeting where synergies between the two domains will hopefully happen. In SLSP 2019, significant room will be reserved to young scholars at the beginning of their career and particular focus will be put on methodology.

SLSP 2019 will consist of invited talks, peer-reviewed contributions and posters.

The purpose of this workshop is to bring together researchers from philosophy, computer science, and allied disciplines who work on non-monotonic logics and defeasible inference. The idea is to bring traditional philosophical reflections on these topics-- such as defeat in epistemology, prima facie duties in ethics, and belief revision in philosophy of science-- together with the rich tradition of non-monotonic logics in computer science and artificial intelligence, including default logic and logic programming.

This will be a 1.5 day workshop (half day Friday 11 October afternoon, full day Saturday 12 October), with approximately 30 participants, including 4 invited talks, 2-3 contributed talks, and a poster session.

Building on the pioneer intuitions of Floyd-Hoare logic, dynamic logic was introduced in the 70's as a suitable logic to reason about, and verify, classic imperative programs. Since then, the original intuitions grew to an entire family of logics, which became increasingly popular for assertional reasoning about a wide range of computational systems. Simultaneously, their object (i.e. the very notion of a program) evolved in unexpected ways. This lead to dynamic logics tailored to specific programming paradigms and extended to new computing domains, including probabilistic, continuous and quantum computation. Both its theoretical relevance and practical potential make dynamic logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. However, no specific event is exclusively dedicated to it. This workshop aims at filling fill such a gap, joining an heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.

The programme of the workshop ThEdu'19 was comprised of one invited contribution and four regular contributions, whose abstract are in the workshop web-page. Now postproceedings are planned to collect the contributions upgraded to full papers. We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere.  This is a call open for everyone, also those who did not participate in the workshop. All papers will undergo review according to EPTCS standards.

Scope: Computer Theorem Proving is becoming a paradigm as well as a technologica base for a new generation of educational software in science, technology, engineering and mathematics. Topics of interest include:
- methods of automated deduction applied to checking students' input;
- methods of automated deduction applied to prove post-conditions for particular problem solutions;
- combinations of deduction and computation enabling systems to propose next steps;
- automated provers specific for dynamic geometry systems;
- proof and proving in mathematics education.

The 19th Trends in Logic international conference will be held in Moscow, Russia from October 2 to October 4, 2019. It is organized by the National Research University Higher School of Economics and the journal Studia Logica.

• Lev Beklemishev (Moscow, Russia)
• Johan van Benthem (Amsterdam, The Netherlands)
• Per Martin-Löf (Stokholm, Sweden)
• Graham Priest (New York, USA)

This workshop is part of The Joint Ontology WOrkshops (JOWO) Episode V. The purpose of the workshop is twofold: on the one hand, to gather original research work about both application and theoretical issues emerging in the elaboration of conceptual models, ontologies, and Semantic Web technologies for the Digital Humanities (DH) and, on the other hand, to collect studies on the philosophical and social impact of such models.

The complementary character of these two kinds of contributions should allow both modelers and users to be more aware of the modeling choices behind models and applications and of the theories that constitute the background of such choices. This would enhance transparency and reliability of the adopted models and thus understanding and trust on the side of stakeholders and users.

KI 2019 is the 42nd edition of the German Conference on Artificial Intelligence organized in cooperation with the AI Chapter of the German Society for Informatics (GI-FBKI).

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. While KI is primarily attended by researchers from Germany and neighboring countries, it warmly welcomes international participation.

The JOWO workshops address a wide spectrum of topics related to ontology research, ranging from Cognitive Science to Knowledge Representation, Natural Language Processing, Artificial Intelligence, Logic, Philosophy, and Linguistics. JOWO is especially suitable for interdisciplinary and innovative formats.

The following workshops are being organized:

• 2nd International Workshop on Bad or Good Ontology (BOG)
• Cognition And OntologieS (CAOS IV)
• Contextual Representations of Events and Objects in Language (CREOL).
• Workshop on Data meets Applied Ontologies in Open Science and Innovation (DAO-SI)
• 10th International Workshop on Formal Ontologies meet Industry (FOMI)
• Workshop on Foundational Ontology (FOUST).
• Ontologies and Data in Life Sciences 2019 (ODLS 2019)
• The Shape of Things (SHAPES 5.0).
• Social, Legal and Economic Entities (SoLEE)
• Second Workshop on INteraction-based Knowledge Sharing (WINKS-2)
• 1st International Workshop on Ontologies for Digital Humanities and their Social Analysis (WODHSA)
• 4th International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2019)

In addition, JOWO 2019 will host five tutorials:

• Data-driven ontology engineering with Relational Concept Analysis (DOnEReCA)
• Introduction to Foundational Ontologies (FOUNT)
• Semantic similarity and machine learning with ontologies.
• SNOMED CT Tutorial
• Top Level Ontologies (ISO/IEC 21838)

Understanding the ontological nature of social, legal and 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, social, and legal sciences - such as value, risk, capability, good, service, exchange, transaction, competition, social norm, group, institution - have only recently been approached from a specifically ontological perspective. It is therefore important to offer a venue to gather the recent contributions to this topic.

This workshop is part of the Joint Ontology Workshops (JOWO 2019), and relates mainly to two previous events (SoLE-BD and Ontology of Economics 2018).  The goals of the workshop are:
- to collect approaches to deal with social, legal and economic entities in foundational and applied ontologies,
- discuss applications of these approaches to social, legal and economic entities in ontologies for biomedicine and business informatics, and
- serve as a meeting point for stakeholders from applied ontology and the respective domain disciplines.

The purpose of the workshop is to bridge the gap between the cognitive sciences and research on ontologies and, thus, to create a venue for researchers interested in interdisciplinary aspects of knowledge representation. More specifically CAOS addresses the difficult question of how key cognitive phenomena and concepts (and the involved terminology) can be found across language, psychology and reasoning and how this can be formally and ontologically understood, analyzed and represented.

We aim to address to an interdisciplinary audience, by inviting scholars in philosophy, computer science, logic, conceptual modelling, knowledge representation, and cognitive science to contribute to the discussion.

This workshop is part of The Joint Ontology Workshops JOWO 2019.

Foundational ontologies are attempts to systematise those categories of thought or reality which are common to all or almost all subject-matters. Commonly considered examples of such categories include 'object', 'quality', 'function', 'role', 'process', 'event', 'time', and 'place'. Amongst existing foundational ontologies, there is both a substantial measure of agreement and some dramatic disagreements. There is currently no uniform consensus concerning how a foundational ontology should be organised, how far its 'reach' should be (e.g., is the distinction between physical and non-physical entities sufficiently fundamental to be included here?), and even what role it should play in relation to more specialised domain ontologies.

The purpose of this workshop is to provide a forum for researchers to present work on specific foundational ontologies as well as foundational ontologies in general and their relations to each other and to the wider ontological enterprise. The FOUST III workshop will be co-located with the Joint Ontology Workshops (JOWO 2019).

As ontologies are used in more domains and applications and as they grow in size, the consequences of bad ontology design become more critical. Bad ontologies may be inconsistent, have unwanted consequences, be ridden with anti-patterns, or simply be incomprehensible. In general, bad ontologies present design mistakes that make their use and maintenance problematic or impossible.

This workshop, part of the Joint Ontology Workshops (JOWO 2019), aims to bring together research on all aspects to bad or good ontology design, including use cases and systematic reviews of bad or good ontology design, techniques and tools for diagnosing, explaining, and repairing bad ontologies, and approaches or benchmarks for evaluating such techniques.

This Second Workshop on INteraction-based Knowledge Sharing (WINKS-2) collocated with JOWO 2019 is aimed at researchers and practitioners investigating issues related to aspects of (autonomous) knowledge sharing, where the integration of knowledge is inherently interaction-based, irrespective of whether the interaction is machine to machine, or human to machine.

Gradually expanding, distributed systems heighten the need of dynamic interactive knowledge-sharing processes and ever more sophisticated mechanisms are used to acquire and elicit knowledge. A paradigm shift has emerged that views knowledge creation, curation and evolution as a collaborative and interactive process between autonomous entities. As a highly interdisciplinary workshop, WINKS-2 invites submissions that address the fundamental issues and challenges posed by interaction-based approaches to knowledge sharing. At the same time, we are interested in submissions that provide solutions for allowing knowledge sharing interactively, with a particular focus on the processes, mechanisms and protocols underlying the proposed solution.

Information for real life AI applications is usually pervaded by uncertainty and subject to change, and thus demands for non-classical reasoning approaches. At the same time, psychological findings indicate that human reasoning cannot be completely described by classical logical systems. Sources of explanations are incomplete knowledge, incorrect beliefs, or inconsistencies. A wide range of reasoning mechanism has to be considered, such as analogical or defeasible reasoning. 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.

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to Foundations, Languages, Declarative programming, Implementation, Related Paradigms and Synergies, and Applications.

Besides the main track, ICLP 2019 will host additional tracks and special sessions:
- Applications Track
- Sister Conferences and Journal Presentation Track
- Special Session: Women in Logic Programming
- Research Challenges in Logic Programming Track

The purpose of the Semantics and Philosophy in Europe (SPE) colloquia is to provide a forum for presenting research in the interface between linguistic semantics and various areas of philosophy (philosophy of language, philosophy of mind/cognition, metaphysics etc.). This year's Semantics and Philosophy in Europe Colloquium features a general session as well as two special sessions (preceded by tutorials):
1 - Subjectivity: Theoretical and Experimental Perspectives
2 - Truthmaker Semantics and Situations

There will also be two invited lectures on the influence of the Lvov-Warsaw School on contemporary semantics and philosophy of language.

Several successful logic programming languages have been proposed in the literature. Researchers have long recognized the need for epistemic operators in these languages.  A central question is that of the definition of a rigorous and intuitive semantics for such epistemic operators, which is still subject of ongoing research. Notions of equivalence, structural properties, and the inter-relationships between logic programming languages and established logics are all subjects being actively investigated.

Another important topic is that of practical solvers to compute answers to logic programs that contain epistemic operators. Several solvers are actively developed, building on established solvers, or using rewriting-based approaches. For practical applications, additional language features are actively explored in order to be able to apply epistemic extensions of logic programming langauges to practical problems.

The goal of this workshop is to facilitate discussions regarding these topics and a productive exchange of ideas. The workshop is part of the International Conference of Logic Programming (ICLP) 2019.

he core objective of GCAI 2019 is to bring together the two main souls of AI, namely symbolic reasoning and machine/deep learning, applied to both software and robotic systems.  GCAI 2019 will be held as part of the Bolzano Rules and Artificial INtelligence Summit (BRAIN 2019).

The workshop “Syntax, Semantics, and Pragmatics of Aspect Across Modalities” wants to discuss recent advances in the research on inner and outer aspects and their interaction. This workshop will take place at the 13th International Tbilisi Symposium on Language, Logic and Computation.

The International Joint Conference on Rules and Reasoning (RuleML+RR) is the leading international joint conference in the field of rule-based reasoning. Stemming from the synergy between the well-known RuleML and RR events, one of the main goals of this conference is to build bridges between academia and industry.

RuleML+RR 2019 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 provides 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 2019 is part of BRAIN 2019, the Bolzano Rules and Artificial Intelligence Summit.

The goal of this workshop is to create a forum where researchers and practitioners interested in building models using OCL or other kinds of textual languages (e.g., OCL, textual MOF, Epsilon, or Alloy) can directly interact, report advances, share results, identify tools for language development, and discuss appropriate standards. In particular, the workshop will encourage discussions for achieving synergy from different modeling language concepts and modeling language use. The close interaction will enable researchers and practitioners to identify common interests and options for potential cooperation.

The workshop will be co-located with MODELS 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and System.

The notion of assertion plays a key inferential role and has a long tradition in logic. It is a key ingredient in most logical systems, either implicitly or explicitly. The idea of assertion thus appears strongly invariant across a range of logical theories, logical methods, and logical notations.

The aim of the workshop is to bring together scholars interested in the analysis of the logical notion of assertion and other related notions such as inference, proof, argument, meaning of logical constants that may receive an assertion-based interpretation.

A satellite event to WAP 2019 is the workshop "Peirce on Assertion".

The history of the International Conference of Text, Speech and Dialogue (TSD) dates back to 1997 when the event was held for the first time, that time as an international workshop, in Mariánské Lázně. The essential idea behind the project was to establish a scientific meeting platform that would act as a bridge between the East and the West. Since then an uninterrupted row of the TSD conferences has been organised by Brno (even years) and Plzeň (odd years) crews.

TSD2019 will explore the topics in the field of speech and natural language processing, in particular:
corpora, texts, transcription, and translation;
speech analysis, recognition, and synthesis;
their intertwining within dialogue systems.

WORDS is a biannual international conference covering the mathematical theory of words (sequences of symbols) from all points of view: combinatorial, algebraic, algorithmic, as well as its applications to biology, linguistics, physics, and others.

Invited Speakers: Florin Manea (Kiel), Svetlana Puzynina (St. Petersburg), Antonio Restivo (Palermo), Gwenaël Richomme (Montpellier), Aleksi Saarela (Turku), and Kristina Vuskovic (Leeds).

FroCoS is the main international event for research on the development of techniques and methods for the combination and integration of formal systems, their modularization and analysis. The first FroCoS symposium was held in Munich, Germany, in 1996. Initially held every two years, since 2004 it has been organized annually with alternate years forming part of IJCAR. If we also count the IJCAR editions, this year FroCoS celebrates its 20th edition.

FroCoS 2019 will be co-located with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2019). The two conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. Like its predecessors, FroCoS 2019 seeks to offer a common forum for research in the general area of combination, modularization, and integration of systems, with emphasis on logic-based methods and their practical use.

LondonLogue will be the 23rd 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 2019 the workshop will be hosted by Queen Mary University of London by the Cognitive Science Group (CogSci), and Computational Linguistics Lab and Human Interaction Lab.

TABLEAUX is the main international conference at which research on all aspects - theoretical foundations, implementation techniques, systems development and applications - of the mechanization of tableaux-based reasoning and related methods is presented. Tableau methods offer a convenient and flexible set of tools for automated reasoning in classical logic, extensions of classical logic, and a large number of non-classical logics. For many logics, tableau methods can be generated automatically. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis.

TABLEAUX 2019 will be co-located with the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions.

FROM 2019 is the third event in a yearly workshop series. It aims to bring together researchers and practitioners who work on formal methods by contributing new theoretical results, methods, techniques, and frameworks, and/or make the formal methods to work by creating or using software tools that apply theoretical contributions. The program of the symposium will include invited lectures and regular contributions. FROM 2019 will be held in conjunction with SYNASC 2019.

RANLP (Recent Advances in Natural Language Processing) is one of the most competitive and influential NLP conferences. The event is held biennially and traditionally includes pre-conference tutorials, main conference with Student Research Workshop, and post-conference specialised workshops.

All RANLP conferences feature keynote talks by leading experts in NLP. The confirmed keynote speakers at RANLP 2019 include Kenneth Church (Baidu USA), Hinrich Schütze (Ludwig Maximilian University, Munich) and Kyunghyun Cho (New York University).

The aim of the GandALF symposium is to bring together researchers from academia and industry which are actively working in the fields of Games, Automata, Logics, and Formal Verification. The symposium covers a large number of research subjects, ranging from theory to applications, and stimulate cross-fertilization.

CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include 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 other continuous data, which are of increasing importance in safety critical applications and scientific computation.

Invited Speakers: Hannes Diener (Christchurch, New Zealand) , Fabian Immler (Pittsburgh, USA), Florian Steinberg (Paris, France), Thomas Streicher (Darmstadt, France) and Holger Thies (Fukuoka, Japan). Tutorial Speaker: Helmut Schwichtenberg (Munich, Germany).

Over the past decades, important contributions to the mathematical and conceptual foundations of physical theories have been made within the philosophical community. Conversely, critical analysis of the formal structures of our best physical theories inform central philosophical concerns, and in some cases new theorems have been proven and new lines of argument developed that are of philosophical significance. This conference series aims to bring together philosophers, physicists, and mathematicians working on such issues. This year's event will be held on September 2-3, 2019 at the University of Salzburg (Austria). It will immediately precede a workshop on "Symmetry and Equivalence in Physics" taking place on September 3-4, 2019.

Cryptography forms the underlying basis for many security solutions in today's computer systems and networks, securing data while it is being stored, transferred, and processed. As security and privacy problems increase in real-world applications with emerging threats, new and innovative cryptography solutions are needed in order to ensure our computer systems and networks are protected.

This Special Issue will specifically focus on new and innovative cryptography solutions aiming to address emerging threats and existing threats in more efficient manner. The particular topics of interest for this Special Issue include, but are not limited to, the following:
- Foundational theory and mathematics for emerging computer systems and networks
- Provable security of emerging techniques for cryptography
- The proposal and analysis of cryptographic primitives for emerging computer systems and networks
- Cryptanalytic attacks on emerging computer systems and networks
- Cryptographic applications in cloud computing and IoT

Research articles, review articles as well as short communications are invited. Submitted manuscripts should not have been published previously, nor be under consideration for publication elsewhere (except conference proceedings papers). All papers will be peer-reviewed. Accepted papers will be published continuously in the journal (as soon as accepted) and will be listed together on the special issue website.

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

The second edition of the Bayes By the Sea conference: 'Formal Epistemology, Statistics, and Game Theory' aims to bring together philosophers of statistics and of the scientific method, methodologists and metascientists, as well as economists and game-theorists, in order to refresh the debate on the foundations of the sciences from new perspectives, with a special focus on scientific rationality, scientific misconduct, science economics, foundations of statistics and the scientific method, in diverse scientific ecosystems characterized by distinctive practices, structures, and institutions.

A special attention will be devoted this year also to formal/conceptual tools of game theory/rational choice theory in representing and studying the interactions of agents operating in scientific ecosystems as strategic behavior of rational players, whose repeated interactions shape the current scientific practices.

The conference on Automated Deduction (CADE) is the major international forum at which research on all aspects of automated deduction is presented. The conference programme includes invited talks, paper presentations, workshops, tutorials, and system competitions. Furthermore, the Herbrand Award for Distinguished Contributions to Automated Deduction and the new Skolem Award(s) for influential historical CADE papers is presented at the conference.

The main goal of this workshop is to bring together key people from various subcommunities of automated reasoning---such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving---to discuss the present, past, and future of the field. The intention is to provide an opportunity to discuss broad issues facing the community. The structure of the workshop will be informal.

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

LSFA 2019 will be a satellite event of CADE-27. Invited speakers: Pascal Fontaine (LORIA), Achim Jung (University of Birmingham), Vivek Nigam (Fortiss), Elaine Pimentel (UFRN), Giselle Reis (CMU-Qatar).

This workshop aims to focus on the scope and limits of neutral constructivism. With Errett Bishop's seminal work Foundations of Constructive Analysis 1967, a neutral position in the foundations of constructive mathematics emerged. It avoided Brouwer's assumptions about choice-sequences and continuity, and it did not assume that every total function on the natural numbers is computable. Successful full-fledged formal logical foundations for neutral constructivism exists, among the most well-known are Aczel-Myhill set theory and Martin-Löf type theory. The study of neutral constructivism paves the way for further developments of interactive proof systems, which is of strategic importance for verification of software, and in particular, correctness-by-construction software.  Neutral constructive mathematics may also be studied for systems that make fewer ontological assumptions, which is important for reverse mathematics.

Knowledge has attracted the attention of philosophers since their earliest speculations. And in the second half of 20th century English language philosophy witnessed the revival of careful investigation on classical questions as to the nature, structure, and limits of knowledge, as well as its distribution in social groups. The 11th Principia International Symposium has as its main theme the contemporary discussions in Theory of Knowledge, under the heading The Quest for Knowledge.

Invited Speakers: Ulrik Buchholtz (TU Darmstadt, Germany), Dan Licata (Wesleyan University, USA), Andrew Pitts (University of Cambridge, UK), Emily Riehl (Johns Hopkins University, USA), Christian Sattler (University of Gothenburg, Sweden) and Karol Szumilo (University of Leeds, UK),

There will also be an associated Homotopy Type Theory Summer School in the preceding week, August 7th to 10th.

For more information, see hott.github.io slash HoTT-2019 or contact hott2019conference at gmail.com

Strategic reasoning is a key topic in multi-agent systems research. The extensive literature in the field includes a variety of logics used for modeling strategic ability. Results from the field are now being used in many exciting domains such as information system security, adaptive strategies for robot teams, and automatic players capable to outperform human experts. A common feature in all these application domains is the requirement for sound theoretical foundations and tools accounting for the strategies that artificial agents may adopt in the situation of conflict and cooperation.

The SR international workshop series 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 Logic Colloquium 2019 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. This meeting is co-located with the 16th CLMPST, with a public lecture by H. Leitgeb, jointly sponsored by the two meetings.

The invited speakers are S. Abramsky, Z. Chatzidakis, V. de Risi, O. Guzman, M. Harrison-Trainor, U. Kohlen- bach (giving the Retiring Presidential Address), J. Krajicek, G. Sagi, T. Scanlon, R. Verbrugge, and M. Ziegler, and tutorials will be given by D. Raghavan and M. Rathjen. Special sessions will be held on Computability; Foundations of Geometry; Model Theory; Proof Theory and Proof Complexity; Reflection Principles and Modal Logic; and Set Theory.

FG 2019 is the 24th conference on Formal Grammar, to be held in conjunction with the European Summer School in Logic, Language and Information which, in 2019, will take place at University of Latvia, Riga, Latvia. 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.

This is the fifth workshop in a series of successful Bridging the Gap Between Human and Automated Reasoning workshops. The workshop will be located at the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019) at Macao, China. The Bridging workshop is supported by IFIP TC12.

Reasoning is a core ability in human cognition. There are a lot of findings in cognitive science research which are based on experimental data about reasoning tasks, inspiring a shift from propositional logic and the assumption of monotonicity in human reasoning towards other reasoning approaches. This includes but is not limited to models using probabilistic approaches, mental models, or non-monotonic logics. Automated deduction, on the other hand, is mainly focusing on the automated proof search in logical calculi. Recently a coupling of the areas of cognitive science and automated reasoning is addressed in several approaches. A core goal of Bridging-the-gap-Workshops is to make results from psychology, cognitive science, and AI accessible to each other. The goal is to develop systems that can adapt themselves to an individuals' reasoning process and that such systems follow the principle of explainable AI to ensure trustfulness and to support the integration of results from other fields.

Formal Concept Analysis (FCA) is a mathematically well-founded theory aimed at data analysis and classification. The six preceding editions of the FCA4AI Workshop (since ECAI 2012 until IJCAI 2018) showed that many researchers working in Artificial Intelligence are interested in FCA as a powerful method for classification and mining. FCA allows one to build a concept lattice and a system of dependencies (implications) which can be used for many AI needs. Recent years have been witnessing increased scientific activity around FCA, in particular a strand of work emerged that is aimed at extending the possibilities of FCA w.r.t. knowledge processing, such as work on pattern structures and relational context analysis.

This year, we still have the chance to organize a new edition of the workshop in Macao co-located with the IJCAI 2019 Conference. The workshop will be dedicated to discuss issues such as
- How can FCA support AI activities such as knowledge discovery, knowledge representation and reasoning, machine learning, natural language processing...
- How can FCA be extended in order to help AI researchers to solve new and complex problems in their domain.

The 16th Congress of Logic, Methodology and Philosophy of Science and Technology (CLMPST) will take place in Prague, August 5-10, 2019, organised under the auspices of 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) by the Institute of Philosophy of the Czech Academy of Sciences.

The congress has a long history and a unique character, bringing together the communities of logicians, philosophers of logic and philosophers and historians of science and technology. The theme of the 16th edition of the congress is "Bridging across academic cultures". We believe that the communities and societies in both logic and philosophy/history of science are often fragmented and isolated from each other. We want to contribute to redressing this state of things.

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.

The ESSLLI Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic & Computation (LoCo), Logic & Language (LoLa), and Language & Computation (LaCo).

Vector embeddings of word meanings have become a mainstream tool in large scale natural language processing tools. The use of vectors to represent meanings in semantic spaces or feature spaces is also employed in cognitive science. Unrelated to natural language and cognitive science, vectors and vector spaces have been extensively used as models of physical theories and especially the theory of quantum mechanics.

Exploiting the common ground provided by vector spaces, the proposed workshop will bring together researchers working at the intersection of NLP, cognitive science, and physics, offering to them an appropriate forum for presenting their uniquely motivated work and ideas.

Gender and other demographic biases in machine-learned models are of increasing interest to the scientific community and industry. Models of natural language are highly affected by such perceived biases, present in widely used products, can lead to poor user experiences. This workshop will be the first dedicated to the issue of gender bias in NLP techniques and it includes a shared task on coreference resolution. In order to make progress as a field, this workshop will specially focus on discussing and proposing standard tasks which quantify bias.

Keynote Speaker: Pascale Fung, Hong Kong University of Science and Technology

The project “Forcing: Conceptual Change in the Foundations of Mathematics” (2018-2023) aims to analyse the development of modern set theory since the introduction of the forcing technique both from a historical and philosophical point of view. It brings together methods and research questions from different research areas in the history and philosophy of mathematics to investigate if and how the extensive use of the forcing method brought about a conceptual change in set theory; and in which ways this may influence the philosophy of set theory and the foundations of mathematics.

The research group organises a series of Networking Conferences with the goal of reaching out to researchers from these different areas. The second instalment will be devoted to the topic of recent set theory as a bridge between mathematics and philosophy and focuses on the interaction between mathematical and philosophical arguments and views in set theory. Set theory has long been both a mathematical discipline and a program with foundational motivations. It seems that this dual character makes it a natural crossway between mathematics and philosophy, possibly more so than other mathematical disciplines.

Kit Fine and the Emmy Noether Project Relevance are delighted to announce a conference on truthmaker semantics and its applications in philosophy and linguistics.

Truthmaker semantics deviates from the familiar framework of possible world semantics, in that the notion of a possible world is replaced by a more general notion of a state that applies to any fragment of a world, and that a sentence is taken to be made true by a state only if every part of the state is involved in rendering the sentence true. A significant advantage of truthmaker semantics over the possible worlds approach is that it connects sentences with the worldly items that are directly relevant to their truth, thereby allowing important and intuitive hyperintensional distinctions to be drawn in a natural and formally elegant way. While the framework was originally developed as a semantics for relevant entailment by van Fraassen in the 1960s, recent developments have demonstrated its wide applicability in logic, metaphysics, philosophy and epistemology.

In 1949, Kurt Gödel showed that there exist solutions to Einstein's equations of general relativity allowing for closed timelike curves. The existence of such curves would allow time travel into one's own past leading to all kind of causality paradoxes. Today there is an ongoing debate on how physical such solutions are and whether general relativity would prevent the formation of regions where causality violation is possible. Closely related are Gödel's philosophical ideas on the existence of time, a subject that he intensively discussed with Einstein in Princetown. 'In my view Kurt Gödel's papers represent an important contribution to general relativity, especially his analysis of the concept of time.' said Einstein.

The Kurt Goedel Society intends to celebrate the 70th anniversary of Gödel's seminal publication and the 100th anniversary of the decisive experimental verification of general relativity by organizing a conference at the University of Vienna, Austria. This event will bring together the prominent researchers from the fields of Physics, Mathematics, Philosophy and Artificial Intelligence. The conference will be enhanced with a special exhibition about life and work of Kurt Gödel with emphasis on Gödel's solution.

MOL is devoted to the study of mathematical structures and methods that are of importance to the description of language.

Specific topics within the scope of the conference include:
 - formal and computational analysis of linguistic theories and frameworks
 - learnability of formal grammars
 - proof-theoretic, model-theoretic and type-theoretic methods in linguistics
  - mathematical foundations of statistical approaches to language analysis
  - formal models of language use and language change

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

Invited speakers: Salvatore Florio (University of Birmingham), Lavinia Picollo (UCL) and Jack Woods (University of Leeds).

The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge.

Topics of interest: include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Invited Speakers: Ingela Alger (Toulouse School of Economics), Vincent Conitzer (Duke University), and Brian Hill (HEC Paris).

CiE 2019 is the 15th 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 CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.

The 2019 Australasian Association for Logic conference will be held at the University of Wollongong on July 12th and 13th, straight after the AAP conference.

This is the main annual summer school in the area of multiagent systems, intended for both PhD and MSc students.

The main goal of the European Agent Systems Summer School is to provide an exchange of knowledge among individuals and groups interested in various aspects of autonomous systems. This dissemination is provided by formal state-of-the-art courses conducted by leading experts in the field and by informal meetings during the event. A typical course is 4 hours long and provides a general introduction to the selected topic followed by in-depth exposition of recent and relevant contributions. Both the practical and theoretical aspects of Multi-Agent Systems are within the scope of EASSS.

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

ICALP 2019 will have three tracks:
Track A: Algorithms, Complexity and Games
Track B: Automata, Logic, Semantics, and Theory of Programming
Track C: Foundations of Networks and Multi-Agent Systems: Models, Algorithms and Information Management

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 2019 is followed by the conference Computability in Europe (CiE 2019).

One of the main issues behind many failing systems is the ad-hoc verification approach that involves a variety of formalism and techniques for the modeling and analysis of various components of the present-age (cyber)-physical systems. The fundamental differences between these modeling and analysis techniques limit us to analyze the whole system as one unit and thus miss many corner cases, which arise due to the operation of all the sub-components of the system together. One of the major concerns is that, despite the above-mentioned evident limitation in the analysis methods, many safety-critical systems, such as aerospace, smart-transportation, smart-grid and e-health, are increasingly involving physical elements. Moreover, we are moving towards integrating more complex physical elements in our engineering systems. Finally, the impact of physical components is relevant to both the safety and security of the overall system.

The objective of the workshop is to gather scientists and engineers interested in formal verification techniques for the modeling, analysis, and verification of safety and security critical physical systems.

LCC meetings are aimed at the foundational interconnections between logic and computational complexity. LCC'19 will be collocated with ICALP 2019. The program will consist of invited lectures as well as contributed talks selected by the Program Committee.

This is the 14th 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

Over last decades, the empirical research on judicial decision-making has bloomed. However, the influence of these developments on traditional, conceptual theory of judicial decision-making has been mostly superficial. The impact of empirical findings on concepts such as judicial discretion, formalism, judicial rationality, legal interpretation, or rules vs. standards debate is yet to be determined. The aim of this interdisciplinary workshop is to combine perspectives of psychology, sociology, economics, criminology, neuroscience and other behavioral sciences, with the legal-theoretical approach to judicial decision-making.

Confirmed speakers: Jeffrey J. Rachlinski (Cornell), Frederick Schauer (Virginia).

Quantified Boolean formulas (QBF) are an extension of propositional logic which allows for explicit quantification over propositional variables. Many problems from application domains such as model checking, formal verification or synthesis can be encoded as a QBF in a natural way. Considerable progress has been made in QBF solving throughout the past years. However, in contrast to SAT, QBF is not yet widely applied to practical problems in academic or industrial settings. The goal of the International Workshop on Quantified Boolean Formulas and Beyond (QBF 2019) is to bring together researchers working on theoretical and practical aspects of QBF solving.

In addition to that, it addresses (potential) users of QBF in order to reflect on the state-of-the-art and to consolidate on immediate and long-term research challenges. The workshop also welcomes work on reasoning with quantifiers in related problems, such as dependency QBF (DQBF), quantified constraint satisfaction problems (QCSP), and satisfiability modulo theories (SMT) with quantifiers.

The focus of this iteration of PROGIC is decision making, with an emphasis on advances in descriptive, normative, and prescriptive models of decision making.

Invited Speakers: Sebastian Ebert (Frankfurt School), Johanna Thoma (LSE), Peter Wakker (Erasmus) and Michael Waldmann (Goettingen).

ISIPTA 2019 is devoted to robustness and imprecision in uncertainty modelling, inference and decision making, focusing in particular on uncertainty frameworks that extend or replace the probabilistic one.

ISIPTA conferences are characterised by a friendly and cooperative style, a strong emphasis on in-depth discussion and a true openness to new ideas. We hope that you too will both enjoy and contribute to this unique atmosphere.

The Ershov Informatics Conference (the PSI Conference Series, 12th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

PSI 2019 will be a part of the Computer Science Summer in Russia, which will also include the International Computer Science Symposium CSR'19, a workshop track, and a summer school in Computer Science for students.

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.

Just before and after the main WoLLIC 2019 event, Utrecht University will host two satellite workshops:
-Proof Theory in Logic on 1-2 July 2019. This workshop on the role of structural proof theory in the study of logics will consist of invited talks by researchers in that area.
-Compositionality in formal and distributional models of natural language semantics, on July 6 2019.

The International Computer Science Symposium in Russia (CSR) is an annual international conference held in Russia that intends to cover a broad range of topics in Theoretical Computer Science. CSR'19 will be part of the Computer Science Summer in Russia which will also include the Ershov Informatics Conference (PSI'19) and a summer school in Computer Science for students.