University of Calgary

# All LogBlog Posts

## LogBlog Has Moved!

You are looking at the old blog archive. LogBlog has moved to richardzach.org.

## Anyone Got Good Frege Jokes? (Or Any Logic Jokes, Really?)

Submitted by Richard Zach on Mon, 05/05/2014 - 10:16am

Doesn't have to be good. In fact, just any logic joke is fine.

## Funded PhD Positions in Vienna (Logic in CS)

Submitted by Richard Zach on Sun, 05/04/2014 - 5:09pm

Check out the funded doctoral program in logic in computer science!

http://logic-cs.at/phd/

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS. The LogiCS doctoral college focuses on interdisciplinary research topics covering

(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided veriﬁcation.

LogiCS is a doctoral college focusing on logic and its applications in  computer science. Successful applicants will work with and be supervised by leading researchers in the fields of computational logic, databases and knowledge representation, and computer-aided
verification.

We are looking for 1-2 doctoral students per faculty member, where 30%  of the positions are reserved for highly qualiﬁed female candidates. The doctoral positions are funded for a period of 3 years according to the funding scheme of the Austrian Science Fund (details: http://www.fwf.ac.at/de/projects/personalkostensaetze.html) The funding can be extended for one additional year contingent on a
placement at one of our international partner institutions.

The applicants are expected to have completed an excellent diploma or master's degree in computer science, mathematics, or a related ﬁeld. Candidates with comparable achievements will be considered on a case-by-case basis. Applications by the candidates need to be
submitted electronically.

## bpextra: entire deductions in bussproofs.sty

Submitted by Richard Zach on Thu, 05/01/2014 - 12:16pm

The LaTeX package bussproofs.sty for typesetting natural deduction/sequent calculus proofs is nifty especially for its nice alignment of sequents.  By contrast to the proof.sty package, it doesn't allow you to typeset missing parts of a proof, though. proofs.sty has the \deduce command for that; it typesets vertical dots instead of a horizontal inference line.

I wrote an add-on for bussproofs.sty that does the same.  Not quite ready for prime time yet, but if you like playing with bleeding-edge stuff, you can get it here.  Feedback? Please file an issue on github.

## $7.5m Grant for HoTT! Submitted by Richard Zach on Tue, 04/29/2014 - 12:28pm All-around awesome logician colleagues and friends Steve Awodey and Jeremy Avigad have netted a$7.5m, 5-year grant to develop Homotopy Type Theory!

http://www.cmu.edu/news/stories/archives/2014/april/april28_awodeygrant....

http://homotopytypetheory.org/2014/04/29/hott-awarded-a-muri/

## Workshop on The Notion of Proof

Submitted by Richard Zach on Mon, 03/31/2014 - 8:58am

Conflicts with Vienna Summer of Logic, but very interesting:

We have already witnessed the moment where chess-playing computers have surpassed humans. It might seem to be only a matter of time that computers will also surpass humans in mathematical theorem proving. In fact, the traditional notion of mathematical proof faces in the beginning 21st century what we will call "the computer challenge". Three different aspects are worth separating:

1. proof search;
2. proof check;
3. proof representation.

Proof search has its known limitations due to undecidability and complexity results. However, special areas, such as semigroup theory, already enjoy considerable support from computer-generated proofs. Proof check is recently the "hottest" area, in no small part due to the attempt to formally verify the proof of the Kepler conjecture by its author Hales. Proof representation seem currently be the stumbling block for convincing the mathematical community to accept computer aided theorem proving as a viable alternative.

In our workshop we solicit contributions for discussions the current state of the art of computer aided theorem proving (ATP), approaching the topic from the mathematical (or even philosophical) side, as well as from computer science. Special focus is put on the last two items mentioned above, addressing the more concrete question:

1. How, and to what extent, can (or will) proof checking convince the mathematical community from the correctness of a proof?
2. Does computer generated proof representations match with our intuitive notion of mathematical proof?

The answers to both question should give us a deeper insight in the challenges and tasks for mathematical proofs and computer-aided theorem proving in the 21st century.

### Organisers

• Jesse Alama, Theory and Logic Group, Technical University of Vienna, jesse.alama@tuwien.ac.at
• Reinhard Kahle, Center for Artificial Intelligence / Department of Mathematics, New University of Lisbon, kahle@mat.uc.pt

## Extended Deadline! CFP: Symposium on the Foundations of Mathematics

Submitted by Richard Zach on Sat, 03/29/2014 - 12:24pm

CfP from http://sotfom.wordpress.com:

Set theory is taken to serve as a foundation for mathematics. But it is well-known that there are set-theoretic statements that cannot be settled by the standard axioms of set theory. The Zermelo-Fraenkel axioms, with the Axiom of Choice (ZFC), are incomplete. The primary goal of this symposium is to explore the different approaches that one can take to the phenomenon of incompleteness.

One option is to maintain the traditional “universe” view and hold that there is a single, objective, determinate domain of sets. Accordingly, there is a single correct conception of set, and mathematical statements have a determinate meaning and truth-value according to this conception. We should therefore seek new axioms of set theory to extend the ZFC axioms and minimize incompleteness. It is then crucial to determine what justifies some new axioms over others.

Alternatively, one can argue that there are multiple conceptions of set, depending on how one settles particular undecided statements. These different conceptions give rise to parallel set-theoretic universes, collectively known as the “multiverse”. What mathematical statements are true can then shift from one universe to the next. From within the multiverse view, however, one could argue that some universes are more preferable than others.

These different approaches to incompleteness have wider consequences for the concepts of meaning and truth in mathematics and beyond. The conference will address these foundational issues at the intersection of philosophy and mathematics. The primary goal of the conference is to showcase contemporary philosophical research on different approaches to the incompleteness phenomenon.

To accomplish this, the conference has the following general aims and objectives:

1. To bring to a wider philosophical audience the different approaches that one can take to the set-theoretic foundations of mathematics.

2. To elucidate the pressing issues of meaning and truth that turn on these different approaches.

3. To address philosophical questions concerning the need for a foundation of mathematics, and whether or not set theory can provide the necessary foundation

Date and Venue: 7-8 July 2014 – Kurt Gödel Research Center, Vienna

Confirmed Speakers:

Sy-David Friedman (Kurt Gödel Research Center for Mathematical Logic),

Hannes Leitgeb (Munich Center for Mathematical Philosophy)

Call for Papers: We welcome submissions from scholars (in particular, young scholars, i.e. early career researchers or post-graduate students) on any area of the foundations of mathematics (broadly construed). Particularly desired are submissions that address the role of set theory in the foundations of mathematics, or the foundations of set theory (universe/multiverse dichotomy, new axioms, etc.) and related ontological and epistemological issues. Applicants should prepare an extended abstract (maximum 1’500 words) for blind review, and send it to sotfom [at] gmail [dot] com. The successful applicants will be invited to give a talk at the conference and will be refunded the cost of accommodation in Vienna for two days (7-8 July).

Notification of Acceptance: 30 April 2014

Scientific Committee: Philip Welch (University of Bristol), Sy-David Friedman (Kurt Gödel Research Center), Ian Rumfitt (University of Birmigham), John Wigglesworth (London School of Economics), Claudio Ternullo (Kurt Gödel Research Center), Neil Barton (Birkbeck College), Chris Scambler (Birkbeck College), Jonathan Payne (Institute of Philosophy), Andrea Sereni (Università Vita-Salute S. Raffaele), Giorgio Venturi (Université de Paris VII, “Denis Diderot” – Scuola Normale Superiore)

Organisers: Sy-David Friedman (Kurt Gödel Research Center), John Wigglesworth (London School of Economics), Claudio Ternullo (Kurt Gödel Research Center), Neil Barton (Birkbeck College), Carolin Antos (Kurt Gödel Research Center)

Conference Website: sotfom [dot] wordpress [dot] com

Claudio Ternullo (ternulc7 [at] univie [dot] ac [dot] at)

Neil Barton (bartonna [at] gmail [dot] com)

John Wigglesworth (jmwigglesworth [at] gmail [dot] com)

## Vienna Summer of Logic: Call for Volunteers

Submitted by Richard Zach on Wed, 03/26/2014 - 9:08am

## What is the Vienna Summer of Logic?

With over 2000 expected participants, the Vienna Summer of Logic 2014 (VSL) will be the largest event in the history of logic. It will consist of twelve large conferences and numerous workshops, attracting researchers from all over the world. The VSL will take place 9th-24 July 2014, at the Vienna University of Technology in Vienna, Austria.

The VSL conferences and workshops will deal with the main theme, logic, from three important aspects: logic in computer science, mathematical logic and logic in artificial intelligence. The program of the conference consists of contributed and invited research talks and includes a number of social events such as a student reception. For more information, visit http://vsl2014.at.

## Vienna Summer of Logic Student Volunteers?

The VSL is organized by the Kurt Goedel Society, and preparations for this event have started some time ago. The most critical phase in the organization of any large scientific meeting is, of course, the time of the meeting itself! To ensure that all the scientific and social meetings taking place in the course of the VSL can be conducted successfully, the organizers of the VSL need your help as a VSL volunteer.

## What are a volunteer's duties?

There are many tasks at the VSL that will be performed by volunteers, such as helping with the registration of the participants at the conference, assisting with the use of the technical infrastructure at the conference site, etc. Each volunteer will be supervised by one of the senior organizers who will be the volunteer's contact person at the conference.

## What are a volunteer's perks?

The most important benefit of volunteering is that volunteers may *attend all the VSL conferences for free*: this means that you can attend all the research talks given at the conferences, and mingle with the researchers during the coffee breaks. More precisely, your time at the VSL will be divided in the following way: 50% free time to attend lectures of your choosing, 30% fixed volunteer's duties, and 20% ,,standby duty''. Furthermore, all volunteers may participate in the conference's *student reception* (which is a party for all the students participating at VSL), and will receive a VSL volunteer's t-shirt to be able to proudly display their participation in this event in the years to come.

## How do I become a volunteer?

Interested in becoming a Vienna Summer of Logic volunteer? Please visit

http://vsl2014.at/volunteers

for the application form. The deadline for applications is May 25, 2014. Applicants that have been chosen as volunteers will be contacted before June 1, 2014.

## Visiting Research Chair in Logic or Philosophy of Science at the University of Calgary

Submitted by Richard Zach on Wed, 03/19/2014 - 6:27pm

US$25,000 for 4 months (September 2015 or January 2016) Contact: Brad Hector, Fulbright Canada Program Officer (Scholars) The University of Calgary is pleased to offer the opportunity for a Fulbright Visiting Research Chair in Logic or the Philosophy of Science. The visiting researcher will be a part of the Department of Philosophy and collaborate with a dynamic research faculty and graduate students. The Department of Philosophy is internationally recognized in logic and the philosophy of science and home to 22 professors, including a Tier 1 Canada Research Chair in the philosophy of biology. The scholar will offer a combined seminar for senior undergraduate students and graduate students in his or her area of expertise, and will participate in departmental and interdisciplinary research groups while pursuing his or her own research projects. Specialization: History and philosophy of science, mathematical and philosophical logic.phil.ucalgary.ca Applicants are encouraged to identify their primary and alternate choices on the application. Formal letters of invitation should not be sought; however, applicants are encouraged to contact the institution to discuss research interests. http://www.cies.org/application-login http://www.fulbright.ca/programs/american-scholars/primary-awards/science/ ## Leslie Lamport wins Turing Award Submitted by Richard Zach on Tue, 03/18/2014 - 9:16am The Association for Computing Machinery has awarded the 2013 Turing Award (the Computer Science equivalent of the Nobel Prize Fields Medal Schock Prize) to Leslie Lamport at Microsoft Research for his work on formal specification and verification techniques, specifically the Temporal Logic of Actions and his work on fault tolerance in distributed systems. Not as close to logic as some other Turing Laureates (is that what they're called?) but still a nice nod to the continued importance of formal methods derived in part from logic in CS. (Oh yeah, he also invented LaTeX.) ## Constructive Ordinals and the Consistency of PA Submitted by Richard Zach on Mon, 03/17/2014 - 4:45pm Today's the last of three lectures on Gentzen's second proof of the consistency of PA in my proof theory course. a) Still looking for good resources on ordinal notations, esp.,$<\epsilon_0$, especially around the question how one can "see" that they are well-ordered without mentioning that they are order-isomorphic to$\epsilon_0\$  Takeuti has a discussion in his textbook, anything else?

Andrej Bauer's Hydra game applet: http://math.andrej.com/2008/02/02/the-hydra-game/

c) Looking for a good intro to Goodstein's theorem and incompleteness in PA: Will Sladek's paper linked from Andrés Caicedo's blog: https://andrescaicedo.wordpress.com/2007/07/27/goodstein-sequences/

## E. W. Beth Dissertation Prize: 2014 Call for Nominations

Submitted by Richard Zach on Mon, 03/10/2014 - 8:45am

Since 2002, FoLLI (the Association for Logic, Language, and Information, http://www.folli.info) has awarded the E.W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in a Ph.D. degree awarded in 2013. The dissertations will be judged on technical depth and strength, originality, and impact made in at least two of three fields of Logic, Language, and Computation. Interdisciplinarity is an important feature of the theses competing for the E.W. Beth Dissertation Prize.

### Who qualifies?

Nominations of candidates are admitted who were awarded a Ph.D. degree in the areas of Logic, Language, or Information between January 1st, 2013 and December 31st, 2013. Theses must be written in English; however, the Committee accepts submissions of English translations of theses originally written in other languages, and for which a PhD was awarded in the preceding two years (i.e. between January 1st, 2011 and December 31st, 2012). There is no restriction on the nationality of the candidate or on the university where the Ph.D. was granted.

### Prize

The prize consists of:

• a certificate
• a donation of 2500 euros provided by the E.W. Beth Foundation
• an invitation to submit the thesis (or a revised version of it) to the FoLLI Publications on Logic, Language and Information (Springer). For further information on this series see the FoLLI site.

### How to submit

Only electronic submissions are accepted. The following documents are required:

1. The thesis in pdf format (ps/doc/rtf not accepted).
2. A ten-page abstract of the dissertation in pdf format.
3. A letter of nomination from the thesis supervisor. Self-nominations are not admitted: each nomination must be sponsored by the thesis supervisor. The letter of nomination should concisely describe the scope and significance of the dissertation and state when the degree was officially awarded.
4. Two additional letters of support, including at least one letter from a referee not affiliated with the academic institution that awarded the Ph.D. degree.

All documents must be submitted electronically (preferably as a zip file) to Ian Pratt-Hartmann (ipratt@cs.man.ac.uk). Hard copy submissions are not allowed. In case of any problems with the email submission or a lack of notification within three working days, nominators should write to Ian Pratt-Hartmann.

### Important Dates

Deadline for Submissions: May 5th, 2014.
Notification of Decision: July 14th, 2014.
Committee :
Wojciech Buszkowski (Poznan)
Michael Kaminski (Haifa)
Larry Moss (Bloomington)
Ian Pratt-Hartmann (chair) (Manchester)
Ruy de Queiroz (Recife)
Rob van der Sandt (Nijmegen)
Rineke Verbrugge (Groningen)

## Brian Leiter Should Apologize

Submitted by Richard Zach on Mon, 03/10/2014 - 12:18am

In a (since removed) long post on his widely read blog, Brian Leiter attacked my colleague Rachel McKinnon, calling her "singularly unhinged" and "crazy".  I don't know what to say, except that I hope an apology for this singularly unprofessional outburst is forthcoming.

## Journal for the History of Analytical Philosophy (JHAP) Essay Prize

Submitted by Richard Zach on Tue, 03/04/2014 - 11:24am

JHAP is an international open access, peer reviewed publication that aims to promote research in and provide a forum for discussion of the history of analytic philosophy. ‘History’ and ‘analytic’ are understood broadly. JHAP takes the history of analytic philosophy to be part of analytic philosophy. Accordingly, it publishes historical research that interacts with the ongoing concerns of analytic philosophy and with the history of other twentieth century philosophical traditions.

JHAP invites submission for its first Essay Prize Competition.

The competition is open to PhD candidates and recent PhDs (no more than 3 years at the time of submission). Articles on any topic in the History of Analytical Philosophy are welcome. There are no constraints on length.

Authors are requested to submit their papers electronically according to the following guidelines:

1) Papers should be prepared for anonymous refereeing, 2) put into PDF file format, and 3) sent as an email attachment to the address given below -- where 4) the subject line of the submission email should include the key-phrase "JHAP ESSAY PRIZE submission", and 5) the body text of the email message should constitute a cover page for the submission by including i) return email address, ii) author's name, iii) affiliation, iv) paper title, and v) short abstract.

contact: sshap@mcmaster.ca

Adjudication: The winner of the competition will be decided by a committee composed of members of the editorial board.

Prize: The winning article will be published in a special issue of JHAP and the author will receive a cash prize.

## Philosophy of Mathematics Postdoc at Nancy or Paris

Submitted by Richard Zach on Sat, 03/01/2014 - 9:10pm

One year Post-doc Fellowship in the context of the ANR-DFG research   program MATHEMATICS: OBJECTIVITY BY REPRESENTATION (MathObRe) at the Laboratoire d'Histoire des Sciences et de Philosophie—Archives Henri-Poincaré, Nancy (UMR 7117) or at the Institut d'Histoire et de Philosophie des Sciences, Paris (UMR 8590).

We invite applications for a postdoctoral fellowship for 12 months  in the academic year 2014/15 (October 1st 2014 to September 30th 2015) in the context of the project mentioned above. The project aims to study the relation between mathematical objectivity and the role of representation in mathematics from a philosophical point if view, with particular attention to historical development of mathematics and to mathematical practice. The directive lines of the project are available here: https://sites.google.com/site/mathobre/

The successful candidate is expected to contribute to the realization of this project and to reside in Nancy or Paris during the whole your of her/his grant. The decision where she/he should reside in Nancy or Paris throughout the year will be taken by ourselves, according to the research topic. The grant amount (1600-1800€/month after taxes) is set by French regulations. We encourage to apply young scholars having received their doctoral   degree in the last 5 years in the domain of philosophy of mathematics and the like with a proven potential to conduct and publish research at a level of international excellence.

Applications should include:

• A (brief) letter of application including personal information academic background, and research interests
• A proposal for a research project (3-4 pages) aiming to contribute to MathObRe
• CV including a list of publications, talks, conferences attended  and teaching experience.
• One or two recommendation letters from a recognised scholar in the field.

This material is to be sent by e-mail to  Gerhard Heinzmann and Marco Panza before April 30th at midnight (French time). Decisions will be made by May 31th, 2014.

## Carnegie Mellon Summer School in Logic and Formal Epistemology

Submitted by Richard Zach on Fri, 02/21/2014 - 11:57am

In 2014, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, economics, and other sciences.The goals are to introduce promising students to cross-disciplinary research early in their careers, and forge lasting links between the various disciplines.

The summer school will be held from Monday, June 2 to Friday, June 20, 2014 on the Carnegie Mellon campus. Tuition and accommodations are free.

Further information and instructions for applying can be found at:

Topics by week:

The Topology of Inquiry
Monday, June 2 to Friday, June 6
Instructor: Kevin T. Kelly

Causal and Statistical Inference
Monday, June 9 to Friday, June 13
Instructor: David Danks

Philosophy as Discovery
Monday, June 16 to Friday, June 20
Instructor: Clark Glymour

Materials must be submitted to the Philosophy Department by March 14, 2014. Inquiries may be directed to Professor Teddy Seidenfeld (teddy@stat.cmu.edu).

## Rudolf Haller, 1929-2014

Submitted by Richard Zach on Tue, 02/18/2014 - 2:44pm

Mit großer Betroffenheit und tiefer Trauer haben wir heute vom Ableben von Univ.Prof. Rudolf Haller erfahren. Er war in der österreichischen Philosophie und Wissenschaft ein Pionier und eine außergewöhnliche Erscheinung. Seine gewinnende Persönlichkeit mit Expertise, Menschlichkeit, Offenheit und Humor war einzigartig. Das Institut Wiener Kreis verliert einen langjährigen Förderer und Mitstreiter – seit seiner Gründung den langjährigen Vorsitzenden des wissenschaftlichen Beirats. Ich persönlich beklage den Verlust eines unersetzlichen Mentors, Kollegen und Freundes. Seine letzten Lebensjahre waren von einer schweren Krankheit überschattet. Unser Mitgefühl gilt seiner Witwe und seinem Sohn. Rudolf Haller wird uns sehr fehlen und immer in Erinnerung bleiben. Ein Nachruf folgt.

With great sadness we have learnt of the passing of Prof. Rudolf Haller. He was a pioneer of Austrian philosophy and science and a singular presence. His winning personality, a combination of expertise, humanity, openness and sense of humor, was without equal.  The Institute Vienna Circle has lost a long-time supporter and colleague -- he chaired the scientific advisory board since its inception.   I personally mourn the loss of an irreplaceable mentor, colleague, and friend.  His last years were darkened by severe illness.  Our condolences go out to his widow and his son.  Rudolf Haller will be missed and always remembered. An obituary will follow.

Wien, 18. Februar 2014 Fritz Stadler

## Join the Association for Symbolic Logic -- Now 50% Off!

Submitted by Richard Zach on Tue, 02/04/2014 - 11:30am

If you're reading this blog, you should probably be a member of the Association of Symbolic Logic -- the venerable academic society for logic and its applications, the people who bring you the best journals in the field (The Journal, Bulletin, and Review of Symbolic Logic), the Perspectives and Lecture Notes in Logic book series, three logic conferences in North America and one in Europe every year, and travel stipends to these and other logic conferences for graduate students.  If you're gainfully employed as a logician, please support the ASL by becoming a full member.

New members may now join at a special introductory rate for two years, at 50% off the regular fee.  Students, emeriti and unemployed get those 50% off always.

http://www.aslonline.org/membership-individual.html

## 2014 Society for Exact Philosophy

Submitted by Richard Zach on Tue, 01/21/2014 - 3:30pm

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

Submitted by Richard Zach on Tue, 01/21/2014 - 3:26pm

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

Submitted by Richard Zach on Wed, 01/08/2014 - 10:24am

(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.