• Overview
    • Call for Papers
    • Accepted Papers
    • Important Dates
    • Invited Speakers
    • Committees
    • Student Grants
    • Proceedings
    • Contact
  • Location and Travel
    • Conference Venue
    • Accommodation
    • About Winchester
    • Travel Information
    • Arrival Information
  • Submissions
  • Workshops
    • CALCO-Jnr
    • CALCO-Tools
  • Programme

Proceedings

The proceedings have now appeared in the Springer Lecture Notes in Computer Science series.

News

  • CALCO-Jnr post-proceedings now available
  • LNCS proceedings now available

Sponsors

  • London Mathematical Society
  • University of Southampton
  • British Logic Colloquium

Search