2014 Society for Exact Philosophy

See here.

The 2014 meeting of the Society for Exact Philosophy will be held 22-24 June 2014 at the California Institute of Technology in Pasadena, CA.

This year’s meeting is being held in conjunction with the Formal Epistemology Workshop (FEW) which runs June 20-22nd at the University of Southern California. June 22nd will be a special day devoted to joint activities in Pasadena. It is hoped that interested participants will take advantage of the spatiotemporal proximity of these sister events.

Call for Papers

“The SEP is dedicated to providing sustained discussion among researchers who believe that rigorous methods have a place in philosophical investigations.”

SEP 2014 invites submissions of papers and abstracts in all areas of analytic philosophy.

Paper submission deadline: February 28th, 2014.

Postdoc in Proof Theory at TU Vienna

A position as post-doctoral researcher is available in the Group for Computational Logic at the Faculty of Mathematics of the Vienna University of Technology. This position is part of a research project on the proof theory of induction. The aim of this project is to further deepen our understanding of the structure of proofs by induction and to develop new algorithms for the automation of inductive theorem proving. Techniques of relevance include cut-elimination, witness extraction, Herbrand’s theorem.

The sucessful candidate is expected to have (or be close to completing) a PhD in mathematics or computer science and a strong background in proof theory. Experience in one or more of the following areas is an advantage: formal languages, complexity, automated theorem proving, unification theory. The ability to work in a team is an important prerequisite.

The employment is full-time (40h / week). The salary is EUR 37.400,- after taxes per year. The position is initially for 1 year – an extension is possible in case of mutual interest. The starting date is negotiable but should be in 2014. The application deadline is March 7, 2014. The application should contain:

  • cover letter (Why are you interested in this position? Why are you qualified?)
  • curriculum vitae
  • list of publications
  • scan of graduation diploma and/or other relevant certificates
  • preferred starting date
  • optionally, up to three recommendation letters or references

Send inquiries and your application to: Stefan Hetzl <stefan.hetzl AT tuwien.ac.at> 

2014 Kurt Gödel Research Prize Fellowships Program

from http://fellowship.logic.at/:

(Organized by the Kurt Gödel Society with support from the John Templeton Foundation)

The Kurt Gödel Society is proud to announce the commencement of the Kurt Gödel Research Prize Fellowships Program “The Logical Mind: Connecting Foundations and Technology.”

  1. The program has a particular emphasis on supporting young scholars as previous rounds of Kurt Gödel Research Prize Fellowships showed that the impact on the careers of the young researchers had the most significance. Young scholars are defined by being less or exactly 40 years old at the time of the commencement of the Vienna Summer of Logic (July 9, 2014). The program will offer: One fellowship award in the amount of EUR 100,000, in each of the following categories:

    • Logical Foundations of Mathematics,
    • Logical Foundations of Computer Science and
    • Logical Foundations of Artificial Intelligence
  2. The awards will be based on a categorized world-wide open competition by way of submission of up to three-pages project description, CV and two letters of recommendation.
  3. The applicant will have to choose an applicable category him/herself.
  4. The following three Boards of Jurors will choose four finalists from their respective discipline electronically:
    Logical Foundations of Mathematics: Harvey Friedman (Chair), Angus Macintyre, and Dana Scott.
    Logical Foundations of Computer Science: Franz Baader, Johann Makowsky, and Wolfgang Thomas (Chair).
    Logical Foundations of Artificial Intelligence: Luigia Carlucci Aiello, Georg Gottlob (Chair), and Bernhard Nebel

    The winners will be chosen by all three juries together.

    The finalists will be invited to submit an extended project proposal version electronically before the Vienna Summer of Logic and only the finalists shall be entitled to reviewer’s feedback.

  5. Finalists will be obliged to submit a full version of their proposal (up to 20 pages)
  6. All deliberations will be performed electronically. The same shall apply to all decisions
  7. All finalists except for the winners will receive silver medals and certificates per post.
  8. Gold medals will be awarded to the winners at the ceremony held in the Celebration Hall of the Vienna University of Technology together with silver medals for the winners of fifteen major competitions related to the conceptual progress in computer science.
  9. The winners will be obliged to write an article for publication in the book containing planned contributions from the winners of all fellowships rounds organized by the Kurt Gödel Society with support of the John Templeton Foundation.

Timeline

March 2, 2014 (midnight PST): Proposals submission deadline
March 31, 2014: Jury decision on finalists due
May 30, 2014: Full proposals due
June 20, 2014: Jury decision on winners due
July 17, 2014: Foundations and Technology Competitions Award Ceremony
August 1, 2014: Commencement of the fellowship
July 31, 2016: End of the fellowships program

Criteria of Merit

These fellowships are intended to carry forward the legacy of Kurt Gödel, whose works exemplify deep insights and breakthrough discoveries in logic, with profound impact on the philosophy and foundations of mathematics. In pursuit of similar insights and discoveries, we adopt the following criteria of merit for evaluating Fellowship applications:

  1. Intellectual merit, scientific rigor and originality of the submitted project, which should combine visionary thinking with academic and scientific excellence.
  2. Potential for significant contribution to basic fundamental issues of wide interest, and the likelihood for opening new, seminal lines of inquiry that bear on such issues.
  3. Impact of the Fellowship on the project and likelihood that the Fellowship will make the proposed new lines of research possible.
  4. Adherence to and engagement with some subset of themes and big questions as highlighted in the exemplary questions. Sample questions for Logical Foundations of AI can be found here. Sample questions for Logical Foundations of Mathematics can be found here. The Logical Foundations in Computer Science sample projects can be found under the Logical Foundations of AI and the Logical Foundations of Mathematics.
  5. Potential for establishing connection between alien fields of research.
  6. The expectation that the proposed research will be successful.
  7. Qualifications of the applicants will be evaluated on the basis of all available information including CV, project proposal and letters of recommendation.

Submission Instructions

The three submission categories of fellowships are specified as follows:

  • Logical Foundations of Mathematics
  • Logical Foundations of Computer Science
  • Logical Foundations of Artificial Intelligence

Each applicant MUST be less or exactly 40 years old at the time of the commencement of the Vienna Summer of Logic (July 9, 2014), i.e. born on or after July 9, 1974. All submissions must be by a single-author. The submission must consist of one document in PDF format containing:

  • the CV,
  • the project description (up to 3 pages in length)
  • two letters of recommendation

This document must be prepared in the following way:

  • minimum font size: 10pt
  • paper size: A4
  • maximum length of the CV: 3 pages
    The CV must contain the list of all/most important publications.
    The CV must clearly state to which category the application belongs.
  • maximum length of project description: 3 pages
  • two 1-page letters of recommendation

The submission must be in English.
The Boards reserve the right to consider only submissions with reasonable format. The applicant will be informed about the reasons for such a decision.