PHD RESEARCH FELLOW IN LOGIC AND FORMAL ARGUMENTATION

When:
Wednesday, October 15, 2014 all-day
Where:
Bochum, Germany
Categories:

The Institute for Philosophy II at the Ruhr-University Bochum (RUB) invites applications for a PhD research position in the domain of nonmonotonic logics and formal argumentation.

• Duration: 2+2 years
• Starting date: 1. January 2015 (flexible)
• Public salary TV-L 13, 65% (approx. 1500€ monthly net income)
• Deadline for the application: 15. October 2014

Continue reading

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

When:
Thursday, June 25, 2015 – Tuesday, June 30, 2015 all-day
Where:
Istanbul, Turkey

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

When:
Wednesday, October 15, 2014 all-day
Where:
Technical University of Denmark, 2800 Kgs. Lyngby
Categories:

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

When:
Monday, May 18, 2015 all-day
Categories:

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

When:
Sunday, August 31, 2014 all-day
Where:
Barcelona, Barcelona, Spain
Categories:

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

When:
Monday, June 1, 2015 – Thursday, June 4, 2015 all-day
Where:
Rennes, France

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