Logic List Mailing Archive

CfP: CCR 2026 – Computability/ Complexity/ and Randomness, 7–11 September 2026, Leeds (UK)

Dear all,

We are pleased to announce that Computability, Complexity, and Randomness 2026 (CCR 2026) will take place 07-11 September 2026 at the University of Leeds.

The CCR 2026 website is <https://www.computability.org/ccr2026/>.

CCR 2026 is open for registration and for contributed talks.  Please follow the instructions on the website to register and to contribute a talks.  Abstracts for contributed talks will be considered on a rolling basis.

Key dates and deadlines:
* 31 May 2026:  Deadline for ASL student travel award applications (see below)
* 21 August 2026:  Registration deadline
* 21 August 2026:  Abstract submission deadline
* 07-11 September 2026:  Computability, Complexity, and Randomness 2026!

Proximate event:
CCR 2026 is proximate to the Computable90 Conference in honor of the 90th anniversary of Alan Turing's article "On Computable Numbers, with an Application to the Entscheidungsproblem."  Computable90 will be held 16-18 September 2026 at Bletchley Park, Milton Keynes, UK.  The Computable90 website is <https://www.tnmoc.org/computable90-conference>.

*** Important for students! ***
CCR 2026 is sponsored by the Association for Symbolic Logic, so student members of the ASL may apply for modest travel awards to attend.  Please visit <http://aslonline.org/student-travel-awards/> for further information and application instructions.  Note that:

Students *must* be members of the ASL to apply for travel awards for CCR 2026.
Student travel award applications must be received by *31 May 2026*.

With best wishes,
The CCR 2026 organizers
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php