Shortlink

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
http://ls.informatik.uni-tuebingen.de/GPT/

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

Shortlink

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: https://www.languageininteraction.nl/ThirdCallGeneral.

Shortlink

Postdoc in Helsinki - Dependence and Independence in Logic

The Department of Philosophy, History, Culture and Art Studies (http://www.helsinki.fi/phca/) 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

Shortlink

KR 2016

KR 2016
15th International Conference on Principles of Knowledge Representation and Reasoning
Cape Town, South Africa
25-29 April 2016
http://kr.org/KR2016/

Co-located with DL 2016 (http://www.dl.kr.org) and NMR 2016 (http://www.kr.org)

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

Shortlink

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

Shortlink

CONTEXT 2015 - deadline extension

The Ninth International and Interdisciplinary Conference on Modeling and Using Context
Larnaca, Cyprus, 2–6 November 2015
http://cyprusconferences.org/context2015,
https://www.facebook.com/context.conference

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

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

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