Shortlink

E. W. Beth Dissertation Prize: 2015 call for nominations

Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.info) has awarded 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 awarded in 2014. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize.

Continue reading

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