Progic 2015

progic 2015: The Seventh Workshop on Combining Probability and Logic

Special focus: Formal epistemology and inductive logic
22-24 April 2015

Preceded by: Spring School on inductive logic
20-21 April 2015

Keynes College seminar room 13 (KS13), University of Kent, Canterbury, UK
Organisers: Juergen Landes & Jon Williamson


This is the seventh in the progic series of conferences, which seek to address the questions of whether, and if so, how, probability and logic should be combined. The 2015 conference will also be interested in connections between formal epistemology and inductive logic. Can inductive logic shed light on epistemological questions to do with belief, judgement etc.? Can epistemological considerations lead to a viable notion of inductive logic?

Invited speakers include: Richard Bradley, Dorothy Edgington, John Norton, Jeff ParisJeanne Peijnenburg.

Conference programme and abstracts

The conference is preceded by a two-day Spring School, where introductory lectures on the themes of the conference will be given by Juergen Landes, Jeff Paris, Niki Pfeifer, Gregory Wheeler, Jon Williamson.

Spring School programme and abstracts.
Slides: Landes1, Landes2ParisParis-notesPfeiferWheeler1Wheeler2Williamson
Audio: Landes 1 & 2, Paris 1 & 2, Pfeifer 1 & 2, Wheeler 1 & 2, Williamson 1 & 2.

There is also a special issue of the Journal of Applied Logic devoted to the themes of this workshop. We invite submissions of papers to this volume.

A limited number of bursaries are available to postgraduate students attending the Spring School and the conference:

  • The London Mathematical Society have kindly provided studentships which will cover accommodation, registration and travel costs for UK-based mathematics students.
  • The Analysis Trust have kindly provided studentships which will cover 50% of accommodation and registration costs for other postgraduate students.


  • 1st November 2014: deadline for submission of titles and two-page abstracts of papers for presentation.
    • To be emailed to
    • Please say whether you intend to submit your paper to a special issue of the Journal of Applied Logic on this topic.
    • If you are a postgraduate student and would like to be considered for a bursary, please say so, explaining how attending this event will help your research, and outlining other forms of funding for which you are eligible.
  • 1st December 2014: notification of acceptance of papers for presentation.
  • 15th January 2015: deadline for receipt of early-bird registration to attend the conference and/or Spring School.
    • The early-bird fee is £25.
    • If registering after 15th January the fee is £50.
    • Please email to say whether you plan to attend the Spring School and/or the conference.
    • Please register here.
    • If you want to book on-campus accommodation, please do so here.
  • 15th January 2015: deadline for submission of full papers for publication
  • 20-21 April 2015: Spring School
  • 22-24 April 2015: Conference.
  • 1st June 2015: notification of acceptance of papers for publication.
  • 1st August 2015: deadline for final version of papers accepted for publication.

Local Information

Contact if you would like accommodation on campus. There are many hotels and guest houses within easy reach of the University. Consult Tourist information or Around Canterbury for general tourist information.

Internet access: academic visitors should be able to connect on the eduroam network.


The conference is organised by Juergen Landes & Jon Williamson together with other members of the progic steering committee, Niki Pfeifer, Jan-Willem Romeijn, and Gregory Wheeler. This conference is a product of the AHRC project “From objective Bayesian epistemology to inductive logic“. It is the seventh conference in the progic series.


We are very grateful to the Arts and Humanities Research Council, the London Mathematical Society, the Mind Association, the British Society for the Philosophy of Science, the British Logic Colloquium, the Analysis Trust, the Kent Institute for Advanced Studies in the Humanities and the Kent Centre for Reasoning for providing financial support.

AHRC LMSlogo Mindlogo
analysislogo kiashlogo reasoning-logo-pics