British Logic Colloquium 2024 -- Call for abstracts
Anupam das <[email protected]> Tue, 11 Jun 2024 11:13:12 +0000
| Newsgroups | gmane.science.mathematics.fom,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <CWXP265MB0743AE18EB4DA949E8BC15E1D9C72@CWXP265MB0743.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB0743AE18EB4DA949E8BC15E1D9C72CWXP265MB0743GBRP_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
BRITISH LOGIC COLLOQUIUM 2024
University of Birmingham, UK
https://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.o=
rg/) will be organised by the University of Birmingham from Thursday 5th Se=
ptember afternoon to Saturday 7th September morning.
The programme will include invited and contributed talks on a range of topi=
cs including (but not restricted to) proof theory, set theory, model theory=
, computability and complexity, logical aspects of computer science, and ph=
ilosophy 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 wor=
k, 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 m=
ade available for the meeting. Please submit your abstracts via EasyChair:
https://easychair.org/conferences/?conf=3Dblc24
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 Wor=
kshop 2024, taking place 9-13 September: https://proofsociety2024.com/
--_000_CWXP265MB0743AE18EB4DA949E8BC15E1D9C72CWXP265MB0743GBRP_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
BRITISH LOGIC COLLOQUIUM 2024<br>
University of Birmingham, UK<br>
<a href=3D"https://blc24.github.io/" id=3D"OWA232a24ad-7e12-e973-082e-f2ef1=
b26092e" class=3D"OWAAutoLink" data-auth=3D"NotApplicable" data-linkindex=
=3D"0" style=3D"color: rgb(0, 0, 0); margin: 0px; text-align: left;">https:=
//blc24.github.io/</a><br>
<br>
Abstract deadline: July 10th<br>
Notification: July 31st<br>
Final version: August 10th<br>
Colloquium: September 5-7th<br>
<br>
The annual meeting of the British Logic Colloquium (<a href=
=3D"https://www.blc-logic.org/" id=3D"OWAe30534dd-6c78-b9d3-2b02-c820825e85=
93" class=3D"OWAAutoLink" data-auth=3D"NotApplicable" data-linkindex=3D"1" =
style=3D"color: rgb(0, 0, 0); margin: 0px; text-align: left;">https://www.b=
lc-logic.org/</a>)
will be organised by the University of Birmingham from Thursday 5th Septem=
ber afternoon to Saturday 7th September morning.<br>
<br>
The programme will include invited and contributed talks on a range of topi=
cs including (but not restricted to) proof theory, set theory, model theory=
, computability and complexity, logical aspects of computer science, a=
nd philosophy of mathematics.<br>
<br>
<br>
INVITED SPEAKERS<br>
<br>
- Michael Rathjen (University of Leeds)<br>
- more TBC...<br>
<br>
<br>
SUBMISSIONS<br>
<br>
The programme committee invites abstracts for contributed talks of up to 1 =
page (excluding bibliography). These can be on published or unpublished wor=
k, as well as work in progress. We especially encourage students and early-=
career researchers to present their
work.<br>
<br>
There are no formal published proceedings, but accepted abstracts will be m=
ade available for the meeting. Please submit your abstracts via EasyChair:<=
br>
<a href=3D"https://easychair.org/conferences/?conf=3Dblc24" id=3D"OWAc88a6f=
f4-7a51-dadb-6f2b-2622795ccab6" class=3D"OWAAutoLink" data-auth=3D"NotAppli=
cable" data-linkindex=3D"2" style=3D"color: rgb(0, 0, 0); margin: 0px; text=
-align: left;">https://easychair.org/conferences/?conf=3Dblc24</a><br>
<br>
<br>
PROGRAM COMMITTEE<br>
<br>
Anupam Das (University of Birmingham)<br>
Paul Blain Levy (University of Birmingham)<br>
Sonia Marin (University of Birmingham)<br>
Omar Leon Sanchez (University of Manchester)<br>
Paul Shafer (University of Leeds)<br>
Sara Uckelman (Durham University)<br>
<br>
<br>
COLOCATION WITH Proof Society<br>
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
BLC24 will be colocated with the Proof Society International School and Wor=
kshop 2024, taking place 9-13 September:
<a href=3D"https://proofsociety2024.com/" id=3D"OWA5734cde9-9e6a-34eb-b4de-=
0cddfc873503" class=3D"OWAAutoLink" data-auth=3D"NotApplicable" data-linkin=
dex=3D"3" style=3D"color: rgb(0, 0, 0); margin: 0px; text-align: left;">
https://proofsociety2024.com/</a></div>
</body>
</html>
--_000_CWXP265MB0743AE18EB4DA949E8BC15E1D9C72CWXP265MB0743GBRP_--