categories - Category Theory list
 help / color / mirror / Atom feed
* BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts
@ 2024-06-07 16:12 Paul Levy
  0 siblings, 0 replies; only message in thread
From: Paul Levy @ 2024-06-07 16:12 UTC (permalink / raw)
  To: types-announce, coalgebra, categories

[-- Attachment #1: Type: text/plain, Size: 2678 bytes --]

***1st Call for Abstracts***

BRITISH LOGIC COLLOQUIUM 2024
University of Birmingham, UK
https://blc24.github.io/<https://url.au.m.mimecastprotect.com/s/zy4jCr810kCkZwGNf7BCRw?domain=blc24.github.io/>

Abstract deadline: July 10th
Notification: July 31st
Final version: August 10th
Colloquium: September 5-7th

The annual meeting of the British Logic Colloquium (https://www.blc-logic.org/<https://url.au.m.mimecastprotect.com/s/ErvECvl1g2SY8O3BSX66x7?domain=blc-logic.org/>) will be organised by the University of Birmingham from Thursday 5th September afternoon to Saturday 7th September morning.

The programme will include invited and contributed talks on a range of topics including (but not restricted to) proof theory, set theory, model theory, computability and complexity, logical aspects of computer science, and philosophy of mathematics.


INVITED SPEAKERS

- Michael Rathjen (University of Leeds)
- more TBC...


SUBMISSIONS

The programme committee invites abstracts for contributed talks of up to 1 page (excluding bibliography). These can be on published or unpublished work, as well as work in progress. We especially encourage students and early-career researchers to present their work.

There are no formal published proceedings, but accepted abstracts will be made available for the meeting. Please submit your abstracts via EasyChair:
https://easychair.org/conferences/?conf=blc24<https://url.au.m.mimecastprotect.com/s/PGF2CwV1jpSqx0WOf9HN_b?domain=easychair.org>


PROGRAM COMMITTEE

Anupam Das (University of Birmingham)
Paul Blain Levy (University of Birmingham)
Sonia Marin (University of Birmingham)
Omar Leon Sanchez (University of Manchester)
Paul Shafer (University of Leeds)
Sara Uckelman (Durham University)


COLOCATION WITH Proof Society

BLC24 will be colocated with the Proof Society International School and Workshop 2024, taking place 9-13 September: https://proofsociety2024.com/<https://url.au.m.mimecastprotect.com/s/qZ_5CxngGkf7vm3GUwwcQF?domain=proofsociety2024.com/>







You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 7240 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-06-07 16:32 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-06-07 16:12 BRITISH LOGIC COLLOQUIUM 2024 -- Call for abstracts Paul Levy

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).