Logic and Rational Interaction

17May2012

CfP :JELIA 2012

Posted under: Activities; Call for papers.

JELIA 2012 CALL FOR PAPERS

12th European Conference on Logics in Artificial Intelligence
Toulouse, France, September 26-28, 2012
http://www.irit.fr/jelia2012

Logics provide a formal basis and key descriptive notation for the study and development of applications and systems in Artificial Intelligence (AI). With the depth and maturity of formalisms, methodologies, and systems today, such logics are increasingly important. The European Conference on ... (Read the rest of the entry >>)

15May2012

Doctoral and PostDoctoral Positions in Computational Logic/KRR

Posted under: Activities; Job annoucements; PhD Student; Postdoctoral Researcher.

 
 
 
Doctoral and PostDoctoral Positions in Computational Logic/KRR

In the context of the Interdisciplinary Center for Security, Reliability and Trust (SnT), the Individual and Collective Reasoning (ICR) group at the University of Luxembourg headed  by Leon van der Torre.
The Knowledge Representation and Reasoning (KRR) group at the University of Leuven headed by Marc Denecker are looking for 3 Doctoral Researchers and 1 PostDoctoral in the area ... (Read the rest of the entry >>)

15May2012

Call for Papers: Formal Ethics 2012, MCMP, LMU Munich

Posted under: Activities; Call for papers.

Call for Papers: Formal Ethics 2012, MCMP, LMU Munich
http://www.formalethics.net

The application of formal tools from logic and rational choice theory to the analysis of ethical concepts and theories is a rapidly growing field of research. It has shed new light on a variety of concepts that are central to ethical theory, such as freedom, responsibility, values, norms, ... (Read the rest of the entry >>)

15May2012

E.W. Beth Dissertation Prize: 2012 new call for nominations

Posted under: Activities.

Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.org) awards the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree in the year 2011. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two ... (Read the rest of the entry >>)

15May2012

ILLC Post-Doc in Logics for Quantum Interaction

Posted under: Activities; Job annoucements.

OPEN POST-DOC POSITION IN LOGICS FOR QUANTUM INTERACTION

UNIVERSITY OF AMSTERDAM, ILLC, NETHERLANDS

vacancy number W12-106

Call for Applications:
A 2,5 year Post-Doc position is available at the Institute for Logic, Language and Computation at the University of Amsterdam. The candidate will join the Vidi project of Dr. Sonja Smets.

VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:

As for ... (Read the rest of the entry >>)

9May2012

Three PhD student and one postdoc positions in computational logic, Luxembourg (Luxembourg) & Leuven (Belgium), Deadline: 31 May 2012

Posted under: Activities; Job annoucements; PhD Student; Postdoctoral Researcher.

 
Doctoral and PostDoctoral Positions in Computational Logic/KRR 

In the context of the Interdisciplinary Center for Security, Reliability and Trust (SnT), the Individual and Collective Reasoning (ICR) group at the University of Luxembourg headed by Leon van der Torre

The Knowledge Representation and Reasoning (KRR) group at the University of Leuven headed by Marc Denecker

are looking for 3 Doctoral Researchers and 1 PostDoctoral in the area of Computational ... (Read the rest of the entry >>)