41st British Colloquium for Theoretical Computer Science
Alasdair Lambert <[email protected]> Tue, 21 Jan 2025 16:31:15 +0000
| Newsgroups | gmane.science.mathematics.categories,gmane.comp.science.types.announce,gmane.comp.lang.agda,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <LO4P265MB5961E6FB134CE9D357CB2D9EA0E62@LO4P265MB5961.GBRP265.PROD.OUTLOOK.COM> |
--_000_LO4P265MB5961E6FB134CE9D357CB2D9EA0E62LO4P265MB5961GBRP_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable 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/FrxzC4QO8xSBmMXgguOfmS4q3vs?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/jOSPC5QP8ySZx5BEEtOhvSkQ3rd?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/M_0lC6XQ68= fr1j5zzhmiBS5Bji3?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/FrxzC4QO8xSBmMXgguOfmS4q3vs?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_LO4P265MB5961E6FB134CE9D357CB2D9EA0E62LO4P265MB5961GBRP_ 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"> <blockquote> <div style=3D"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"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 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"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> <a href=3D"https://url.au.m.mimecastprotect.com/s/FrxzC4QO8xSBmMXgguOfmS4q3= vs?domain=3Dmsp.cis.strath.ac.uk/" target=3D"_blank" id=3D"OWA0be7ff85-3593= -f433-6eb5-bbdeee25d4fd" class=3D"OWAAutoLink" title=3D"https://msp.cis.str= ath.ac.uk/bctcs2025/" rel=3D"noopener noreferrer">https://msp.cis.strath.ac= .uk/bctcs2025/</a></div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> ABOUT THE BCTCS</div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 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"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> CONTRIBUTED TALKS</div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 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"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 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/jOSPC5QP8ySZx5BEEtOhvSkQ3= rd?domain=3Dforms.office.com" target=3D"_blank" id=3D"OWAd160ea77-fcdb-7497= -a62e-33de46e4ff64" class=3D"OWAAutoLink" title=3D"https://forms.office.com= /e/1E8nuEU9hS" rel=3D"noopener noreferrer">https://forms.office.com/e/1E8nu= EU9hS</a></div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 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"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 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/M_0lC6XQ68fr1j5zzhmiBS5Bj= i3?domain=3Deatcs.org" target=3D"_blank" id=3D"OWA02500089-5f2c-6882-d753-f= f79997efe92" class=3D"OWAAutoLink" title=3D"https://eatcs.org/index.php/eat= cs-bulletin" rel=3D"noopener noreferrer"> https://eatcs.org/index.php/eatcs-bulletin</a> ).</div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> INVITED SPEAKERS</div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> We will have the following invited speakers:</div> <ul> <li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C= alibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> 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);"> 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);"> 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);"> 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);"> 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);"> Rob van Glabeek (Edinburgh)</li></ul> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> REGISTRATION</div> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> We hope to open registrations in January 2025. The registration fees will b= e as follows:</div> <ul> <li style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, C= alibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> 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);"> Late registration (until 7 April): =A360</li></ul> <div style=3D"margin-top: 1em; margin-bottom: 1em; font-family: Aptos, Apto= s_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-s= ize: 12pt; color: rgb(0, 0, 0);"> Further details are available at <a href=3D"https://url.au.m.mimecastprotec= t.com/s/FrxzC4QO8xSBmMXgguOfmS4q3vs?domain=3Dmsp.cis.strath.ac.uk/" target= =3D"_blank" id=3D"OWAb02053b0-5a9d-f424-1952-2d8a08164567" class=3D"OWAAuto= Link" title=3D"https://msp.cis.strath.ac.uk/bctcs2025/" rel=3D"noopener nor= eferrer"> https://msp.cis.strath.ac.uk/bctcs2025/</a></div> </blockquote> <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 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_LO4P265MB5961E6FB134CE9D357CB2D9EA0E62LO4P265MB5961GBRP_--