Shortlink

Two Postdoc positions - Center for Information and Bubble Studies (CIBS)

The first two Postdoc positions with the Center for Information and Bubble Studies (CIBS) are now available:

1) A Postdoc in economics with emphasis on the mathematics of bubble formation
2) A Postdoc in formal methods of knowledge representation

Please see the following link for more information. Note that the deadline for applications is 27th May 2015.

Also: two PhD-scholarships with the same profiles will be advertised shortly.

Shortlink

Scandinavian Conference on Artificial Intelligence (SCAI) 2015

The Thirteenth Scandinavian Conference on Artificial Intelligence
November 5-6, 2015
Halmstad, Sweden

http://www.hh.se/scai2015

The 13th Scandinavian AI conference, SCAI 2015, will be held in Halmstad, Sweden, on 5th and 6th of November, 2015. The conference is co-organised by Center for Applied Intelligent Systems Research at Halmstad University, and SAIS, the Swedish Artificial Intelligence Society. Continue reading

Shortlink

Scope of Logic Theorems II

After a successful issue of Logica Universalis on logic theorems examining the scope of  validity and the domain of application of fundamental theorems of modern logic
http://link.springer.com/journal/11787/8/3/page/1
we are preparing a second issue dealing in particular with theorems not discussed in the first issue.

Deadline is July 31st, 2015

Jean-Yves Beziau
Editor-in-Chief
Logica Universalis
http://www.logica-universalis.org/
Continue reading

Shortlink

PhDs in Logic VII - final cfp

PhDs in Logic VII
May 14-16th, 2015
Vienna, Austria
http://phdsinlogic.logic-cs.at

PhDs in Logic is an annual graduate conference in logic. Each year we invite four established researchers in various branches of logic to do a tutorial on their work in two 45-minute sessions. We also give PhD students the opportunity to do a twenty-minute presentation on (a) their own work or (b) an overview of some topic in their field. The conference includes the following tutorial speakers.
Continue reading

Shortlink

Social Epistemology: 5 questions - Book

Social Epistemology: 5 Questions is a collection of interviews with some of the world’s most influential scholars working on social epistemology from a range of disciplinary perspectives. We hear their views on social epistemology; its aim, scope, use, broader intellectual environment, future direction, and how the work of the interviewees fits in these respects.

Interviews with David Bloor, Cristina Bicchieri, Richard Bradley, Lorraine Code, Hans van Ditmarsch, Miranda Fricker, Steve Fuller, Sanford Goldberg, Alvin Goldman, Philip Kitcher, Martin Kusch, Jennifer Lackey, Helen E. Longino, Philip Pettit, Erik Olsson, Frederick Schmitt.

Continue reading

Shortlink

DARe 2015

The Second International Workshop on "Defeasible and Ampliative Reasoning" (DARe)
http://dare2015.yolasite.com
held at the International Joint Conference on Artificial Intelligence (IJCAI 2015)

Workshop Description and Aims

Classical reasoning is not flexible enough when directly applied to the formalization of certain nuances of human quotidian decision making. These involve different kinds of reasoning such as reasoning with uncertainty, exceptions, similarity, vagueness, incomplete or contradictory information and many others. It turns out that everyday reasoning usually shows the two salient intertwined aspects below:
Continue reading

Shortlink

Logic Colloquium 2015 - Helsinki

European Summer Meeting of the Association for Symbolic Logic

http://www.helsinki.fi/lc2015

SPEAKERS
Plenary lectures

  • Toshiyasu Arai (Chiba)
  • Sergei Artemov (New York)
  • Steve Awodey (Pittsburgh)
  • Johan van Benthem (Amsterdam and Stanford)
  • Artem Chernikov (Paris)
  • Ilias Farah (York)
  • Danielle Macbeth (Haverford)
  • Andrei Morozov (Novosibirsk)
  • Kobi Peterzil (Haifa)
  • Ralf Schindler (Münster)
  • Saharon Shelah (TBC) (Jerusalem and Rutgers)
  • Sebastiaan Terwijn (Nijmegen)

Continue reading

Shortlink

MA in Logic and Theory of Science - Budapest

The Logic and Theory of Science MA is a two-year program in English, run by the Department of Logic at Eötvös Lorand University Budapest (acronym: ELTE). Beyond a core curriculum in logic and formal approaches to the philosophy of science, we offer a wide range of advanced courses in logic, philosophy of mathematics, foundations of physics, logical methods in linguistics, philosophy of language,  metaphysics, and formal models in social sciences. Students can choose  a focus according to their own field of interest. The MA is research oriented, and most students continue with a PhD in logic or related fields. Continue reading

Shortlink

LORI V Conference

The Fifth International Conference on Logic, Rationality and Interaction (LORI-V)
October 28-31, 2015
Taipei, Taiwan

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 (http://golori.org). 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.
Continue reading

Shortlink

CONTEXT 2015

The Ninth International and Interdisciplinary Conference on Modeling and Using Context
Larnaca, Cyprus, 2–6 November 2015
http://cyprusconferences.org/context2015https://www.facebook.com/context.conference

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