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.

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

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

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

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.

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)

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

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.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.