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

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

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

Volume on Logic, Argumentation and Reasoning

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

Shortlink

Nat@Logic 2015

NAT@Logic 2015 – Logic AT Natal
  Aug 31-Sep 4, 2015, Natal, Brazil
  http://natalogic-2015.dimap.ufrn.br/

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

July 5, 2015, Kyoto, Japan
http://www.indiana.edu/~iulg/nlcs.html

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

AIMS AND SCOPE

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

Shortlink

Postdoc in Philosophy – Regensburg

CALL FOR APPLICATIONS 
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
https://myfiles.uni-regensburg.de/ssf/s/readFile/share/2314/-8907960132384952202/publicLink/Rott-Conditionals.pdf
Continue reading

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

Istanbul, May 4 or 5, 2015
http://www.irit.fr/~Emiliano.Lorini/LAMAS2015/welcome.htm

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

Decisions, Games and Logic workshop at LSE

The Eighth Workshop in Decisions, Games and Logic (DGL) will be hosted by the Department of Philosophy, Logic and Scientific Method at the London School of Economics on 17-19 June 2015. The DGL workshop series started in 2007 and aims to bring together graduate students, post-docs and senior researchers from economics, logic and philosophy working on formal approaches to rational individual and interactive decision making.

Tutorials
Decisions: Christian List (London School of Economics)
Games: Robert Stalnaker (Massachusetts Institute of Technology) (tbc)
Logic: David Makinson (London School of Economics)
Continue reading

PhDs in Logic VII

May 14-16th, 2015
http://phdsinlogic.logic-cs.at

FIRST CALL FOR ABSTRACTS AND PARTICIPATION

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.

Thomas Eiter (Vienna University of Technology)
Michael Moortgat (Universiteit Utrecht)
Revantha Ramanayake (Vienna University of Technology)
Torsten Schaub (University Potsdam)
Continue reading