DARe 2015

Monday, April 27, 2015 all-day
Buenos Aires, Argentina

The Second International Workshop on “Defeasible and Ampliative Reasoning” (DARe)
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

Logic Colloquium 2015 – Helsinki

Monday, August 3, 2015 – Saturday, August 8, 2015 all-day
Helsinki, Finland

European Summer Meeting of the Association for Symbolic Logic


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


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

LORI V Conference

Monday, May 18, 2015 all-day
Taipei, Taiwan

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


Friday, March 20, 2015 – Monday, June 1, 2015 all-day
Larnaca, Cyprus

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

Volume on Logic, Argumentation and Reasoning

Saturday, February 28, 2015 all-day

A special volume in Springer’s series Logic, Argumentation and Reasoning on applied formal/mathematical philosophy is being edited by Rafal Urbaniak and Gillman Payette. We are requesting papers which apply logical/mathematical methods outside of the usual “core disciplines” of mathematical philosophy, i.e., outside of pure logic, philosophy of logic, philosophy of language, and metaphysics.

If you’re interested, please email your full paper, prepared in PDF and LaTeX formats, prepared for anonymous refereeing to both:
Continue reading


Nat@Logic 2015

NAT@Logic 2015 – Logic AT Natal
  Aug 31-Sep 4, 2015, Natal, Brazil

Paper submission: 12 Apr 2015.

 NAT@Logic 2015 is a pool of workshops related to Logic in Computer Science, in Philosophy, and in Mathematics.
  These include:

  • LSFA X  (10th Workshop on Logical and Semantic Frameworks, with Applications)
  • GeTFun 3.0 (3rd Workshop on Generalizations of Truth-Functionality)
  • Filomena 2 (2nd Workshop on Philosophy, Logic and Applied Metaphysics)
  • LFIs^15 (Workshop commemorating the 15 years of the LFIs)
  • TRS Reasoning School

  The full programme will boast 10 keynote speakers, plus at least 60 contributed talks and 15 tutorials.

Third Workshop on Natural Language and Computer Science NLCS ’15

Thursday, April 2, 2015 all-day
Kyoto, Kyoto Prefecture, Japan

July 5, 2015, Kyoto, Japan

A workshop affiliated with 42nd International Colloquium on Automata, Languages and Programming (ICALP 2015) and 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015)
Endorsed by the Association for Computational Linguistics Special Interest Group on Computational Semantics
Paper submission deadline: April 2, 2015


Formal tools coming from logic and category theory are important in both natural language semantics and in computational semantics. Moreover, work on these tools borrows heavily from all areas of theoretical computer science. In the other direction, applications having to do with natural language has inspired developments on the formal side. The workshop invites papers on both topics. Specific topics includes, but are not limited to:
Continue reading


Postdoc in Philosophy – Regensburg

The University of Regensburg is seeking applications for a Postdoctoral Position in Philosophy at the Chair of Theoretical Philosophy. This full-time position (tariff TV-L 13) is intended to start from April 1, 2015, but a later starting date is also possible.

The position will be devoted to the topic “Reasoning with conditionals in a qualitative cognitive framework” and is part of a three-year project of the same title funded by the DFG. The text of the project proposal can be downloaded at
Continue reading

Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2015)

Wednesday, February 11, 2015 all-day
İstanbul, Turkey

Istanbul, May 4 or 5, 2015

The LAMAS workshop provides a meeting forum for the research community working on various logical aspects of multi-agent systems (MAS) from the perspectives of artificial intelligence, computer science, and game theory. It addresses the whole range of issues that arise in the context of using logic in MAS, from theoretical foundations to algorithmic methods and implemented tools. The workshop is planned to serve two mutually supporting purposes. Primarily, it will be a mini-conference, hosting talks and discussions, and facilitating exchange of information, research ideas, and publication of original research papers on issues listed below. Secondly, the workshop will provide a meeting forum for the research community working on various logical aspects of MAS. The participants will discuss how the community can support coordination of research and dissemination of results. Continue reading