Shortlink

Course in Epistemic Game Theory

In 2015, our EPICENTER will organize the second
EPICENTER Spring Course in Epistemic Game Theory
Maastricht University, June 8 – June 19, 2015
followed by
EPICENTER Mini-course on Games with Unawareness
by Burkhard Schipper
June 22-23, 2015
Continue reading

Shortlink

Rio de Janeiro: 4-year grants for PhD in Logic

Contact:
Prof. Dr. Jean-Yves Beziau
Chair of Logic
Department of Philosophy
Federal University of Rio de Janeiro, Brazil
Editor-in-Chief Logica Universalis
http://www.springer.com/birkhauser/mathematics/journal/11787
Encyclopaedia of Logic
http://www.collegepublications.co.uk/eol/
Deadline is September 21st
10 page research project
Contact: jyb@ufc.br

UNILOG 2015

5th World Congress and School on Universal Logic

Since 2005 UNILOG has been a major event in logic, dealing with all aspects of logic and gathering researchers from all over the world such as Michael Dunn, Hartry Field, Jaakko Hintikka, Wilfrid Hodges, Saul Kripke,  DovGabbay, Yuri Gurevich, Roberto Casati, David Makinson, Jan Wolenski, Stephen Read, Krister Segerberg, Gerhard Jäger, Daniele Mundici, Vincent Hendricks, etc.

Continue reading

Shortlink

First World Congress on Logic and Religion

First World Congress on Logic and Religion, Joao Pessoa, Brazil, April 1-5, 2015

Deadline is November 1st 2014

http://www.uni-log.org/logic-and-religion.html

Assistant professorship at DTU Copenhagen

Vacant assistant/associate professorship (permanent position) at the
Technical University of Denmark:

http://www.dtu.dk/english/career/job?id=05a75bdc-f4e6-4760-9d14-aa4b0686db05

We welcome strong applicants in logic, AI, algorithms, data structures
and/or graph theory, with slightly higher priority given to logic and AI.
The application deadline is 15 October 2014.
Continue reading

The Fifth International Conference on Logic, Rationality and Interaction (LORI-V) – Call for Papers

The Fifth International Conference on Logic, Rationality and Interaction (LORI-V) is going to take place in Taipei, Taiwan, on October 28-31, 2015.

Submission is cordially invited, and the deadline is May 18th, 2015.
Continue reading

RESEARCH ASSISTANT AT IIIA-CSIC, BARCELONA

The Artificial Intelligence Research Institute (IIIA-CSIC) in Barcelona offers a 2-year position to work as a research assistant on COINVENT, a high-profile international research project funded under the European Commission’s 7th Framework Programme.
The IIIA-CSIC belongs to the Spanish National Research Council, Spain’s largest public institution conducting scientific research and technological development. The IIIA-CSIC is a leading research centre in Europe in logic, reasoning and search; case-based reasoning and machine learning; and intelligent agents and multi-agent systems. It attracts funding from the European, Spanish, and Catalan governments, and has substantial collaborative research projects with industry.

Continue reading

Tools for teaching logic – 4th international congress

Fourth International Congress on Tools for Teaching Logic
1-4 June 2015, Rennes (France)
http://ttl2015.irisa.fr/

Submission of Papers: 18th January 2015
Notification of Acceptance: 1st March 2015
Final Camera-Ready Submission Due: 29th March 2015 Continue reading

Shortlink

Reasoning about other minds (RAOM) – Call for participation

The workshop “Reasoning about other minds: Logical and cognitive perspectives” will take place on Monday, August 4 and Tuesday morning, August 5, in the Senaatszaal in the Academy Building in Groningen.

http://www.ai.rug.nl/conf/reasoningminds2/

This workshop aims to shed light on models of social reasoning that take into account realistic resource bounds. People reason about other people’s mental states in order to understand and predict the others’ behavior. This capability to reason about others’ knowledge, beliefs and intentions is often referred to as ‘theory of mind’. Idealized rational agents are capable of recursion in their social reasoning, and can reason about phenomena like common knowledge. Such idealized social reasoning has been modeled by modal logics such as epistemic logic and BDI (belief, goal, intention) logics. However, in real-world situations, many people seem to lose track of such recursive social reasoning after only a few levels. Cognitive scientists build computational models of social reasoning, for example, recently an “inverse planning” model based on Bayesian inference frameworks has proven successful in modeling human inferences about the goals and beliefs underlying other people’s observed behavior. The workshop provides a forum for researchers who attempt to analyze, understand and model how resource-bounded agents reason about other minds. Continue reading

CONTEXT 2015 – interdisciplinary conference on modeling and using context

The Ninth International and Interdisciplinary Conference on Modeling and Using Context
Larnaca, Cyprus, 2–6 November 2015

The CONTEXT conferences are the world’s prime forum for presentation and exchange of insights and cutting-edge results from the wide range of disciplines concerned with context.

The main theme of CONTEXT 2015 is “Back to the roots”, focusing on the importance of interdisciplinary cooperations and studies of the phenomenon. Context, context modeling and context comprehension are central topics in linguistics, philosophy, sociology, artificial intelligence, computer science, art, law, organizational sciences, cognitive science, psychology, etc. and are also essential for the effectiveness of modern, complex and distributed software systems. Continue reading