41st British Colloquium for Theoretical Computer Science - Reminder
Alasdair Lambert <[email protected]> Fri, 14 Feb 2025 15:46:19 +0000
| Newsgroups | gmane.science.mathematics.categories,gmane.comp.lang.agda,gmane.comp.science.types.announce,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <LO4P265MB59614E004F4A5F3EFBAC5C62A0FE2@LO4P265MB5961.GBRP265.PROD.OUTLOOK.COM> |
--_000_LO4P265MB59614E004F4A5F3EFBAC5C62A0FE2LO4P265MB5961GBRP_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Dear all, The deadline for submissions to the 41st British Colloquium for Theoretical= Computer Science is on the 21st of February. Please make sure to get your = submissions in on time!<https://url.au.m.mimecastprotect.com/s/FddwC5QP8ySZ= REGGOSzf2TkJ3Yp?domain=3Dforms.office.com> We are also hosting a track for education talks in the area of theoretical = computer science. We particularly encourage talks on this topic. Best Wishes, BCTCS 2025 Organisers ________________________________ BCTCS 2025 -- Call for Contributed Talks BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025 University of Strathclyde 14=9616 April 2025 https://msp.cis.strath.ac.uk/bctcs2025/<https://url.au.m.mimecastprotect.co= m/s/MDKXC6XQ68frMzKKxi6hwT5zrSh?domain=3Dmsp.cis.strath.ac.uk/> ABOUT THE BCTCS The BCTCS is an annual event for UK-based researchers in Theoretical Comput= er Science to present their research and discuss future directions. The mee= ting aims to provide an environment in which PhD students can gain experien= ce in presenting their work, to broaden their outlook on the subject, and t= o benefit from contact with established researchers. The scope of the collo= quium includes all aspects of Theoretical Computer Science, including Algor= ithms, Automata Theory, Complexity Theory, Concurrency, Education, Formal M= ethods, Languages, Logics, Semantics, and Types. CONTRIBUTED TALKS We invite 30 minute contributed talks on any topic in the scope of the coll= oquium. Presentations from research students and early career researchers a= re particularly encouraged. To propose a talk, please fill in the submission form: https://forms.office.com/e/1E8nuEU9hS<https://url.au.m.mimecastprotect.com/= s/FbYZC71R63CAylkk9UBiRTobohX?domain=3Dforms.office.com> The scope of "theoretical computer science" is intended to be interpreted b= roadly. In particular, this year we invite talk proposals which detail nove= l and innovative ways to teach theoretical content, as part of a track focu= sed on theoretical computer science education. For all talks, please ensure= that your talk is accessible to other students who may not be specialists = in your research topic. We put no restrictions on the originality or publication status of submissi= ons. There will be no formal proceedings, but the collection of the contrib= uted abstracts will appear in the Bulletin of the EATCS ( https://eatcs.org= /index.php/eatcs-bulletin<https://url.au.m.mimecastprotect.com/s/HJeXC81Vq2= C6Q1RRxhMsDTy-Yjd?domain=3Deatcs.org> ). INVITED SPEAKERS We will have the following invited speakers: * Elizabeth Polgreen (Edinburgh) * Nicolai Kraus (Nottingham) * Jess Enright (Glasgow) * Jakub Opr=9Aal (Birmingham) * Conor Mc Bride (Strathclyde) * Rob van Glabeek (Edinburgh) REGISTRATION We hope to open registrations in January 2025. The registration fees will b= e as follows: * Early registration (until 24 March): =A345 * Late registration (until 7 April): =A360 Further details are available at https://msp.cis.strath.ac.uk/bctcs2025/<ht= tps://url.au.m.mimecastprotect.com/s/MDKXC6XQ68frMzKKxi6hwT5zrSh?domain=3Dm= sp.cis.strath.ac.uk/> You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files<https://outlook.office365.com/owa/[email protected]/gro= upsubscription.ashx?source=3DEscalatedMessage&action=3Dfiles&GuestId=3D8767= f067-4f04-44e1-9450-e0b2f3fa5e7c> | Leave group<https://outlook.office3= 65.com/owa/[email protected]/groupsubscription.ashx?source=3DEscalatedMe= ssage&action=3Dleave&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c> | = Learn more about Microsoft 365 Groups<https://aka.ms/o365g> --_000_LO4P265MB59614E004F4A5F3EFBAC5C62A0FE2LO4P265MB5961GBRP_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1= 252"> <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);"> Dear all,</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);"> <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);"> The deadline for submissions to the 41st British Colloquium for Theoretical= Computer Science is on the 21st of February. Please make sure to <a href=3D"https://url.au.m.mimecastprotect.com/s/FddwC5QP8ySZREGGOSzf2TkJ3= Yp?domain=3Dforms.office.com" id=3D"LPlnk579675" class=3D"OWAAutoLink" titl= e=3D"https://forms.office.com/pages/responsepage.aspx?id=3DYwceYzMV60elzQRX= vuWUTkT1wRrX75tHtfHzhv6p5FFURVVTSUlWUkVRRlhTNVBEMlVERjBHUVhUSi4u&route= =3Dshorturl"> get your submissions in on time!</a></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);"> <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);"> We are also hosting a track for education talks in the area of theoretical = computer science. We particularly encourage talks on this topic.</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);"> <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);"> Best Wishes,</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);"> BCTCS 2025 Organisers</div> <div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, = Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> <br> </div> <div id=3D"appendonsend"></div> <hr style=3D"display: inline-block; width: 98%;"> <div id=3D"divRplyFwdMsg" dir=3D"ltr"> <div class=3D"elementToProof" style=3D"font-family: Calibri, sans-serif; fo= nt-size: 11pt; color: rgb(0, 0, 0);"> <b><br> </b></div> <div> </div> </div> <blockquote> <div style=3D"direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos= _MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb= (0, 0, 0);"> <b>BCTCS 2025 -- Call for Contributed Talks</b></div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> BRITISH COLLOQUIUM FOR THEORETICAL COMPUTER SCIENCE 2025<br> University of Strathclyde<br> 14=9616 April 2025</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> <a href=3D"https://url.au.m.mimecastprotect.com/s/MDKXC6XQ68frMzKKxi6hwT5zr= Sh?domain=3Dmsp.cis.strath.ac.uk/" id=3D"OWA34a12d51-c5f8-5fd9-589f-581e683= 99247" class=3D"x_OWAAutoLink" title=3D"https://msp.cis.strath.ac.uk/bctcs2= 025/" data-auth=3D"NotApplicable">https://msp.cis.strath.ac.uk/bctcs2025/</= a></div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> ABOUT THE BCTCS</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> The BCTCS is an annual event for UK-based researchers in Theoretical Comput= er Science to present their research and discuss future directions. The mee= ting aims to provide an environment in which PhD students can gain experien= ce in presenting their work, to broaden their outlook on the subject, and to benefit from contact with est= ablished researchers. The scope of the colloquium includes all aspects of T= heoretical Computer Science, including Algorithms, Automata Theory, Complex= ity Theory, Concurrency, Education, Formal Methods, Languages, Logics, Semantics, and Types.</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> CONTRIBUTED TALKS</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> We invite 30 minute contributed talks on any topic in the scope of the coll= oquium. Presentations from research students and early career researchers a= re particularly encouraged.</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> To propose a talk, please fill in the submission form:<br> <a href=3D"https://url.au.m.mimecastprotect.com/s/FbYZC71R63CAylkk9UBiRTobo= hX?domain=3Dforms.office.com" id=3D"OWAb2fedf02-9ee3-f006-bab9-fdc02bd8711e= " class=3D"x_OWAAutoLink" title=3D"https://forms.office.com/e/1E8nuEU9hS" d= ata-auth=3D"NotApplicable">https://forms.office.com/e/1E8nuEU9hS</a></div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> The scope of "theoretical computer science" is intended to be int= erpreted broadly. In particular, this year we invite talk proposals which d= etail novel and innovative ways to teach theoretical content, as part of a = track focused on theoretical computer science education. For all talks, please ensure that your talk is accessible to ot= her students who may not be specialists in your research topic.</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> We put no restrictions on the originality or publication status of submissi= ons. There will be no formal proceedings, but the collection of the contrib= uted abstracts will appear in the Bulletin of the EATCS ( <a href=3D"https://url.au.m.mimecastprotect.com/s/HJeXC81Vq2C6Q1RRxhMsDTy-Y= jd?domain=3Deatcs.org" id=3D"OWA59012d8d-1bf8-e7c9-ca99-541cc27e912d" class= =3D"x_OWAAutoLink" title=3D"https://eatcs.org/index.php/eatcs-bulletin" dat= a-auth=3D"NotApplicable"> https://eatcs.org/index.php/eatcs-bulletin</a> ).</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> INVITED SPEAKERS</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> We will have the following invited speakers:</div> <ul style=3D"direction: ltr;"> <li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C= alibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direct= ion: ltr;"> Elizabeth Polgreen (Edinburgh)</li><li style=3D"font-family: Aptos, Aptos_E= mbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size= : 12pt; color: rgb(0, 0, 0); direction: ltr;"> Nicolai Kraus (Nottingham)</li><li style=3D"font-family: Aptos, Aptos_Embed= dedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12= pt; color: rgb(0, 0, 0); direction: ltr;"> Jess Enright (Glasgow)</li><li style=3D"font-family: Aptos, Aptos_EmbeddedF= ont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; = color: rgb(0, 0, 0); direction: ltr;"> Jakub Opr=9Aal (Birmingham)</li><li style=3D"font-family: Aptos, Aptos_Embe= ddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 1= 2pt; color: rgb(0, 0, 0); direction: ltr;"> Conor Mc Bride (Strathclyde)</li><li style=3D"font-family: Aptos, Aptos_Emb= eddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: = 12pt; color: rgb(0, 0, 0); direction: ltr;"> Rob van Glabeek (Edinburgh)</li></ul> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> REGISTRATION</div> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> We hope to open registrations in January 2025. The registration fees will b= e as follows:</div> <ul style=3D"direction: ltr;"> <li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C= alibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0); direct= ion: ltr;"> Early registration (until 24 March): =A345</li><li style=3D"font-family: Ap= tos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-seri= f; font-size: 12pt; color: rgb(0, 0, 0); direction: ltr;"> Late registration (until 7 April): =A360</li></ul> <div style=3D"direction: ltr; margin-top: 1em; margin-bottom: 1em; font-fam= ily: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sa= ns-serif; font-size: 12pt; color: rgb(0, 0, 0);"> Further details are available at <a href=3D"https://url.au.m.mimecastprotec= t.com/s/MDKXC6XQ68frMzKKxi6hwT5zrSh?domain=3Dmsp.cis.strath.ac.uk/" id=3D"O= WA588fa383-0471-0fef-da9f-a3948200807d" class=3D"x_OWAAutoLink" title=3D"ht= tps://msp.cis.strath.ac.uk/bctcs2025/" data-auth=3D"NotApplicable"> https://msp.cis.strath.ac.uk/bctcs2025/</a></div> </blockquote> <div style=3D"direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos= _MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb= (0, 0, 0);"> <br> </div> <div id=3D"a59ada49-a492-4f1d-ac57-74be3a4194fc" style=3D"display:inline-bl= ock;"> <table cellspacing=3D"0" style=3D"table-layout:fixed; width:50px; border:0 = none black;"> <tbody> <tr> <td style=3D"height:18px; padding:0; border-width:0 0 1px 0; border-style:n= one none solid none; border-color:#EAEAEA;"> </td> </tr> </tbody> </table> <table cellspacing=3D"0" style=3D"table-layout:fixed; width:90%; line-heigh= t: 17px; border:0 none black;"> <tbody> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> <tr> <td style=3D"padding:0; border:0 none black; color:#666666; font-size:12px;= font-family:'Segoe UI','Segoe WP',sans-serif;"> You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.</td> </tr> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> <tr> <td style=3D"padding:0; border:0 none black; font-size:12px; font-family:'S= egoe UI','Segoe WP',sans-serif;"> <span style=3D"display:inline-block;"><a style=3D"color:#666666; text-decor= ation:none;font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" h= ref=3D"https://outlook.office365.com/owa/[email protected]/groupsubscrip= tion.ashx?source=3DEscalatedMessage&action=3Dfiles&GuestId=3D8767f0= 67-4f04-44e1-9450-e0b2f3fa5e7c">View group files</a></span><span = style=3D"color:#C8C8C8;"> | </span><span = style=3D"display:inline-block;"><a style=3D"color:#666666; text-decoration:= none; font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" id=3D"= BD5134C6-8D33-4ABA-A0C4-08581FDF89DB" href=3D"https://outlook.office365.com= /owa/[email protected]/groupsubscription.ashx?source=3DEscalatedMessage&= amp;action=3Dleave&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c">Leav= e group</a></span><span style=3D"color:#C8C8C8;"> |&n= bsp; </span><span style=3D"display:inline-block;"><a style=3D"co= lor:#666666; text-decoration:none;font-size:12px; font-family:'Segoe UI','S= egoe WP',sans-serif;" href=3D"https://aka.ms/o365g">Learn more about Microsoft 365 Groups</a></span></td> </tr> <tr> <td style=3D"height:17px; padding:0; border:0 none black;"> </td> </tr> </tbody> </table> </div> </body> </html> --_000_LO4P265MB59614E004F4A5F3EFBAC5C62A0FE2LO4P265MB5961GBRP_--