KR 2016

KR 2016
15th International Conference on Principles of Knowledge Representation and Reasoning
Cape Town, South Africa
25-29 April 2016

Co-located with DL 2016 ( and NMR 2016 (

Important dates

  •  Submission of title and abstract: 21 November 2015
  • Paper submission deadline: 28 November 2015
  • Notification of acceptance: 21 January 2016
  • Camera-ready papers due: 19 February 2016
  • Conference: 25-29 April 2016

Continue reading


CADILLAC talk: Petrucio Viana

We are pleased to announce the following CADILLAC talk, which will take
place at Roskilde University (RUC) on September 8th, 15.00-16.30 in Room
43.2-02 in Building 43.

*Speaker:* Petrucio Viana (Institute of Mathematics and Statistics, Federal
Fluminense University, Brazil)

*Title:* Graph calculus for proving equations and inclusions true on
Continue reading


Frontiers of Non-Classicality: Logic, Mathematics, Philosophy

Auckland, New Zealand, 2016
January 26: tutorials
January 27, 28, 29: talks

In the 21st century, there are many logics. Many of them have already or are becoming independently viable frameworks, with mathematical and philosophical ideas that go beyond the ambit of classicality. The aim of this conference is to bring together the state-of-the-art in non-classical programs, to clarify their conceptual and technical base, and to look to the future -- to set the agenda for the next phases of research. Topics may include:
Continue reading


Second workshop in the Workshop Series "Logic, Reasoning, and Rationality"

50 Shapes of Scientific Explanation

This workshop uses the 50th anniversary of the publication of Carl Hempel’s book Aspects of Scientific Explanation and Other Essays in the Philosophy of Science as an occasion to reflect on the future of the philosophical study of scientific explanation. It all started with Hempel’s deductive-nomological model, that was proposed as the one and only format for all scientific explanations. Hempel soon added the inductive-statistical model. Other authors have come up with amongst others the causal-mechanical model (Salmon), the unification model (Kitcher) and the counterfactual model (Woodward). At this moment an abundance of models is available for describing the shapes that scientific explanations can have.

Location: Faculty of Arts and Philosophy, Ghent University Continue reading


Call for submissions for a special issue on connexive logics

JOURNAL: IfCoLog Journal of Logics and their Application

Thomas Ferguson (City University of New York)
Hitoshi Omori (Kyoto University)
Heinrich Wansing (Ruhr University Bochum)


Modern connexive logic started in the 1960s with seminal papers by Richard
B. Angell and Storrs McCall. Connexive logics are orthogonal to classical
logic insofar as they validate certain non-theorems of classical logic,

-- Aristotle's Theses: ~(~A→A), ~(A→~A).
-- Boethius' Theses: (A→B)→~(A→~B), (A→~B)→~(A→B).
Continue reading


General Proof Theory - extended deadline

General Proof Theory
Celebrating 50 Years of Dag Prawitz's "Natural Deduction"
27-29 November 2015 in Tübingen, Germany

Call for contributed talks

Extended deadline for contributed talks: Wednesday, 12 August 2015. 

Notification:17 August 2015

General proof theory studies how proofs are structured, and not primarily what  can be proved in particular formal systems. It has been developed within the framework of Gentzen-style proof theory, as well as in categorial proof theory. Continue reading


Five PhD Positions in the Dutch Research Consortium 'Language in Interaction'

We are looking for highly motivated PhD candidates to enrich a unique consortium of researchers that aims to unravel the neurocognitive mechanisms of language at multiple levels. The goal is to understand both the universality and the variability of the human language faculty from genes to behaviour.

The Netherlands has an outstanding track record in the language sciences. This research consortium sponsored by a large grant from the Netherlands Organization for Scientific research (NWO) brings together many of the excellent research groups in the Netherlands with a research programme on the foundations of language. The research team consists of 43 Principal Investigators. In addition to the excellence in the domain of language and related relevant fields of cognition, our consortium provides state-of-the-art research facilities and a research team with ample experience in the complex research methods that will be invoked to address the scientific questions at the highest level of methodological sophistication. These include methods from genetics, neuroimaging, computational modelling, and patient-related research. This consortium realizes both quality and critical mass for studying human language at a scale not easily found anywhere else.

Currently, the consortium advertises five PhD positions for a period of 4 years. These positions provide the opportunity for conducting world-class research as a member of an interdisciplinary team.

Maximum salary: €2,717 gross/month
Closing date for application: 04 October 2015, 23:59 CET

Click here for more information on the PhD positions and how to apply:


Postdoc in Helsinki - Dependence and Independence in Logic

The Department of Philosophy, History, Culture and Art Studies ( belongs to the Faculty of Arts, University of Helsinki, and has a strong profile in the multidisciplinary research and teaching of the humanities.

Applications are invited for a 3-year POSTDOCTORAL POSITION for a fixed term from October 1, 2015 to August 31, 2018 (35 months) associated with the Academy of Finland project, “Dependence and Independence in Logic: Foundations and Philosophical Significance”.

The project is led by Professor Gabriel Sandu and also includes funding for another  3-year post-doctoral position from September 1, 2016 onwards (and will be advertised later on). Continue reading


Postdoc position - Liverpool

University of Liverpool
Postdoctoral Research Associate Grade 7 - Foundations of Opinion Formation
in Autonomous Systems
£32,277 - £35,256 pa

Faculty of Science and Engineering, School of Electrical Engineering,
Electronics and Computer Science

Location: University Campus
Ref: R-588052/WWW
Closing date for receipt of applications: Fri, 26 Jun 2015 17:00:00 BST Continue reading


CONTEXT 2015 - deadline extension

The Ninth International and Interdisciplinary Conference on Modeling and Using Context
Larnaca, Cyprus, 2–6 November 2015,

Call for papers and posters

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. Continue reading

lunette de soleil ray ban cheap oakley sunglasses oakley gascan sunglasses oakley outlet ray ban wayfarer ray ban sale air jordan femme