"Modality and Modalities”  will be a three day event on all things Modal Logical.
This event will be held on Thursday, 22th May, Friday, 23th May, Saturday, 24th May
at the Philosophy Department, Lund University, Sweden

Our keynote speakers are: 
Melvin Fitting, Jerry Seligman, Sonja Smets and Timothy Williamson

Special Tutorial Presentation by Sara Uckelman

Local Organisation: Jens Ulrik Hansen and Carlo Proietti

Contributors
Staffan Angere
Martin Mose Bentzen
Jens Christian Bjerring
Patrick Blackburn
Thomas Bolander
Torben Braüner
Zoé Christoff
Giovanni Cina
Sebastian Enqvist
Melvin Fitting
Valentin Goranko 
Jens Ulrik Hansen
Vincent Fella Hendricks
Martin Holm Jensen
Klaus Frovin Jørgensen
Nikolaj Nottelmann
Peter Øhrstrøm
Carlo Proietti
Rasmus K. Rendsvig
Jerry Seligman
Sonja Smets
Sara Uckelman
Timothy Williamson

For more detailed information, visit the M&M website: http://modalityandmodalities.weebly.com/mm2014.html

All are welcome to attend, and attendance is free.
But please: email  [cadillacdk @ gmail.com]   if you plan on attending, so that we know how many guests to expect.

Mathematical Reflections 
20 May 2014, Roskilde University, Denmark

May 20th, all day seminar on topics in the History, Philosophy, and Logic of Mathematics, at the Philosophy Department at RUC. 
The speakers are:  Jessica Carter, Melvin Fitting, Tinne Hoff Kjeldsen, Øystein Linnebo, Stig Andur Pedersen, Stewart Shapiro, and Asger Törnquist

Organized by Patrick Blackburn and Klaus Frovin Jørgensen

http://cadillac-dk.weebly.com/mathematical-reflections-2014.html

Friday 4 April 2014, DTU Compute at the Technical University of Denmark will host a workshop on Planning, Logic and Social Intelligence.

Time and place: Room S12, DTU Meeting Centre, building 101, 4 April 9.30-17.00.
Host: Thomas Bolander

There will be talks by the following 5 prominent guests:
09.30-10.30 Andreas Herzig, IRIT Toulouse: On the revision of planning tasks
11.00-12.00 Patrick Blackburn, University of Roskilde: Negotiating Context
13.00-14.00 Jens Ulrik Hansen, Lund University: A partial version of Dynamic Epistemic Logic
14.30-15.30 Thomas Ågotnes, University of Bergen: Some Aspects of Knowledge and Ability
16.00-17.00 Ron Petrick, University of Edinburgh: What would you like to drink? Knowledge-level planning for a social robot bartender 

For more details, including detailed schedule and abstracts of the 5 talks, consult the workshop homepage: http://www2.compute.dtu.dk/~tobo/mhj-workshop/index.php
 
To register, please send an email to Thomas Bolander (tobo  @   dtu.dk) at latest on 31 March 2014. All are welcome. Please forward the announcement to anyone else you think might be interested. 

4 March 13-14.15 at DTU: A logical model for Deductive Mastermind. Empirical test in a massively used online learning system.

Title: A logical model for Deductive Mastermind. Empirical test in a massively used online learning system.
Speaker: Nina Gierasimczuk, ILLC, Amsterdam.
Time: 4 March 13.00-14.15.
Place: Room 040, building 324, Technical University of Denmark.

Abstract:  I will discuss the psychological relevance of a logical model for deductive reasoning. The talk will focus on a new way to analyze logical reasoning in a deductive version of the Mastermind game implemented within a popular Dutch online educational learning system (Math Garden). The model, based on he analytic tableaux method known from proof theory, allows predictions about the difficulty of Deductive Mastermind tasks (a proxy for working memory load). The empirical hypotheses were tested against a large group of students (over 37 thousand children, 5–12 years of age), which gave empirical difficulty ratings of all 321 game-items. The results show that our logical approach predicts these item ratings well, which supports the psychological relevance of the model. A significant part of this talk will be devoted to the architecture and significance of the Math Garden educational learning system.

The talk is based on joint work: Nina Gierasimczuk, Han van der Maas, and Maartje Raijmakers, An analytic tableaux model for Deductive Mastermind empirically tested with a massively used online learning system, Journal of Logic, Language and Information 2013, pdf.

The webpage for the upcoming workshop:

Formalization in Philosophy II

has been opened. Here's the link:

http://mcc.ku.dk/calendar/workshop-formalization-in-philosophy-ii/

The workshop, a joint venture between Lund University and the University of Copenhagen, takes place 12-13 December in Copenhagen.

Upcoming CADILLAC event

----------------------
There will be a small CADILLAC workshop at Roskilde University (RUC)
on Thursday 5th of December. Here's the program:

13:00 - 14:00 Klaus F. Joergensen (RUC): On the semantics of temporal indexicals
14:00 - 14:15 Coffee Break
14:15 - 15:15 Nikolaj Nottelmann (Odense): The modal profile of knowledge. An interventionist approach.
15:15 - 15:30 Coffee Break
15:30 - 16:30 Zeng Weiping (Xiamen): On the syntax tradition of formal epistemology
16:30 - Wine and snacks

Patrick Blackburn (RUC) will chair the afternoon and the workshop will take place in the seminar-room in building 3.1.3.
 
All are most welcome!

--------------------------

Thursday 3rd October 2013, DTU Compute, Technical University of Denmark, will
host a half-day workshop on artificial intelligence, logic, and epistemic
planning.

Time and place: Meeting room 5, DTU Meeting Centre, building 101,
9.00-12.30.

Host: Thomas Bolander

There will be talks by the following 4 prominent guests:

09.00-09.45 Bernhard Nebel, University of Freiburg: How Much Does a
Household Robot Need to Know in Order to Tidy up?

09.45-10.30 Christian Becker-Asano, University of Freiburg:
Computational emotions for social agents

11.00-11.45 Gerhard Lakemeyer, Aachen University of Technology:
Multi-agent Only-Knowing

11.45-12.30 Benedikt Löwe, Univ. Hamburg/Univ. Amsterdam: Formal
representation, computer implementation, and empirical validation: reflections
about the methodology of what we are doing

For more details, including abstracts of the 4 talks, consult the workshop
homepage: http://www2.compute.dtu.dk/~tobo/epistemic-planning-cph/index.php

All are welcome.

On Thursday 26 September 2013, Andreas Roepstorff from the Interacting Minds Centre at Aarhus University will give a talk at DTU Compute, Technical University of Denmark – Building 322, room 030 at 14:30. Andreas will talk about some of his research on social interaction, specifically about his insights into a level of social interaction that he believes might come before Theory of Mind. Research in human social interaction, like the research of Andreas, is becoming more and more important in artificial intelligence because of an increasing focus on the importance of creating socially intelligent systems.

Synchrony, Coupling and Complementarity in Social Interaction
Andreas Roepstorff, Interacting Minds Centre, Aarhus University

For a long time, theories of social cognition were mainly concerned with 'the problem of other minds'. However, a recent move to study various forms of joint action has shifted to focus from representationist accounts of other people (i.e. what are the intentions) to more interactionalist accounts (how do people couple, as interactions unfold). In my talk, I will review a set of experiments from our research group to discuss forms of coupling in social interaction at behavioral, physiological and linguistic levels.

All are welcome.