Shortlink

PhD studentships Middlesex University

Middlesex University London is offering a number of fully funded doctoral research studentships. These are three-year scholarships, covering a maintenance award and fee payments, currently £14,057 and £4,052 (UK/EU rate) respectively, including London weighting and free of tax and national insurance contributions. For more information on this program, please visit:

http://www.mdx.ac.uk/courses/postgraduate-research-degrees/research-studentships

Continue reading

Shortlink

General Proof Theory - call for abstracts

General Proof Theory
Celebrating 50 Years of Dag Prawitz's "Natural Deduction"
27-29 November 2015 in Tübingen, Germany
http://ls.informatik.uni-tuebingen.de/GPT/

Call for contributed talks

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

Shortlink

TTL 2015

The 4th International Conference on Tools for Teaching Logic
http://ttl2015.irisa.fr/
9-12 June 2015, Rennes, France
TOPICS: Tools for Teaching Logic seeks for original papers with a clear significance in the following topics (but are not limited to): teaching logic in sciences and humanities; teaching logic at different levels of instruction (secondary education, university level, and postgraduate); didactic software; facing some difficulties concerning what to teach; international postgraduate programs; resources and challenges for e­Learning Logic; teaching Argumentation Theory, Critical Thinking and Informal Logic; teaching specific topics, such as Modal Logic, Algebraic Logic, Knowledge Representation, Model Theory, Philosophy of Logic, and others; dissemination of logic courseware and logic textbooks; teaching Logic Thinking

Continue reading

Shortlink

LORI-V

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

PhD position - Ruhr-University Bochum (RUB)

The Institute for Philosophy II at the Ruhr-University Bochum (RUB) invites applications for a PhD research position in the domain of nonmonotonic logics and formal argumentation.

Duration: 4 years (incl. trial period)
Starting date: 1. September 2015 (latest)
Public salary TV-L 13, 65%
Deadline for the application: 17. May 2015

Continue reading

Shortlink

Computación y Sistemas, thematic issue

Thematic Issue on Developments on Logic-based Methods for Intelligent Systems

http://www.tecmf.inf.puc-rio.br/SIComputacionSistemas

OVERVIEW AND SCOPE

Nowadays, logic-based methods are playing an important role on the new generation of intelligent systems. Formal methods for capturing different sort of data are a premier requirement for implementing intelligent systems in different real applications, e.g., medical diagnosis, provision of services in smart-environments, etc. In this setting, logic-based theories have been shown to be sound theories for modelling and implementing intelligent systems. Continue reading

Shortlink

LQMR'15

1st Workshop on Logics for Qualitative Modelling and Reasoning (LQMR'15)
as a part of
FedCSIS - Federated Conference on Computer Science and Information Systems
13-16 September, 2015
Lodz, Poland
FINAL CALL FOR PAPERS

INTRODUCTION

LQMR'15 aims at bringing together researchers from various fields interested in qualitative modelling and reasoning. In particular, the workshop will focus on the formal approaches to qualitative reasoning, its philosophical aspects and practical applications of QR methods in engineering and computer science.
Continue reading

Shortlink

Hilbert-Bernays Summer School on Logic and Computation

The Georg-August-Universität Göttingen organizes a
"Hilbert-Bernays Summer School on Logic and Computation"
26th July – 1st August 2015
www.math.uni-goettingen.de/summer

This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation. Continue reading

Shortlink

DARe at IJCAI 2015 - final call

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

PhD position at ILLC - Amsterdam

The ILLC currently has one PhD position available at the Faculty of Science starting on 1 September 2015. Applications are now invited from excellent candidates wishing to conduct research in a research area within ILLC that fits naturally in the Faculty of Science. The deadline for applications is 5 May 2015.
More information can be found on the ILLC web page, and on
http://www.uva.nl/en/about-the-uva/working-at-the-uva/vacancies/item/15-125.html