2nd CfC: DIALOCO Workshop, Lisbon, 19 July
[email protected] Fri, 17 Apr 2026 14:00:45 +0200 (CEST)
| Newsgroups | gmane.science.mathematics.categories,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
------=_Part_3409_1203498702.1776427246237 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable CfC: DIALOCO Workshop, Lisbon, 19 July =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 2nd Call for Contributions =E2=80=94 Workshop on Diagrams in Logic and Comp= utation (DIALOCO) =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D 19 July 2026, Lisbon, Portugal Affiliated with the Federated Logic Conference (FLoC 26) https://dialoco.github.io/dialoco26/<https://url.au.m.mimecastprotect.com/s= /UcHcCp81gYCnmwZYVcPfBTGMauo?domain=3Ddialoco.github.io/> Diagrammatic reasoning is playing an increasingly important role in both lo= gic and computation. We are excited to announce the inaugural Workshop on D= iagrams in Logic and Computation (DIALOCO), held as part of the Federated L= ogic Conference (FLoC) this July in Lisbon, Portugal. We encourage submissi= ons on all aspects of the use of diagrams in these fields, including string= diagrams, proof nets, graph rewriting, visual proof assistants, and educat= ional applications of diagrammatic methods. This inaugural DIALOCO workshop aims to kickstart a long and fruitful inter= action with the broader FLoC community and affiliated conferences such as L= ICS, FSCD, KR, and ITP. We warmly encourage anyone interested in diagrammat= ic methods to apply. **Invited Speakers** - Dan Ghica (Huawei Research Centre Edinburgh & University of Birmingham, U= K) - Lutz Stra=C3=9Fburger (Inria and LIX, France) **Submissions** We invite abstracts for contributed talks of 1 to 5 pages (excluding biblio= graphy). Submissions may describe published work, unpublished work, or work= in progress. Abstracts should be submitted via the workshop=E2=80=99s submission page: https://submissions.floc26.org/dialoco<https://url.au.m.mimecastprotect.com= /s/ZvJ-Cq71jxf8Z2vqEHXhvTE6f0P?domain=3Dsubmissions.floc26.org> Accepted abstracts will be made available on the workshop's web page. While= there are no formal published proceedings at this time, the organizers wil= l explore options for post-workshop proceedings. At least one author of each accepted submission is expected to register and= attend the workshop at FLoC 26. **Important Dates** - Abstract submission deadline: 1 May 2026 - Notification of acceptance: 15 May 2026 - Early registration deadline: 1 June 2026 - Workshop date: 19 July 2026 **Organizers** - Alessandro Di Giorgio (Tallinn University of Technology, Estonia) - Pablo Donato (Charles University, Czechia) - Nathan Haydon (University of Waterloo, Canada) **Further Information** - DIALOCO 26 Website: https://dialoco.github.io/dialoco26/<https://url.au.m= .mimecastprotect.com/s/UcHcCp81gYCnmwZYVcPfBTGMauo?domain=3Ddialoco.github.= io/> - FLoC 26 Website: https://www.floc26.org<https://url.au.m.mimecastprotect.= com/s/EqSiCr810kC8EmOgkH4i3T4ruai?domain=3Dfloc26.org> Please reach out to the organizers if you have any questions! 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/groups/groupsubscription?sou= rce=3DEscalatedMessage&action=3Dfiles&smtp=3Dcategories%40mq.edu.au&bO=3Dtr= ue&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c> | Leave group<https:= //outlook.office365.com/groups/groupsubscription?source=3DEscalatedMessage&= action=3Dleave&smtp=3Dcategories%40mq.edu.au&bO=3Dtrue&GuestId=3D8767f067-4= f04-44e1-9450-e0b2f3fa5e7c> | Learn more about Microsoft 365 Groups<htt= ps://aka.ms/o365g> ------=_Part_3409_1203498702.1776427246237 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dutf-8"> </head> <body> <div dir=3D"auto">CfC: DIALOCO Workshop, Lisbon, 19 July<br> </div> <div dir=3D"auto">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">2nd Call for Contributions =E2=80=94 Workshop on Diagrams= in Logic and Computation (DIALOCO)<br> </div> <div dir=3D"auto">=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">19 July 2026, Lisbon, Portugal<br> </div> <div dir=3D"auto">Affiliated with the Federated Logic Conference (FLoC 26)<= br> </div> <div dir=3D"auto"><a href=3D"https://url.au.m.mimecastprotect.com/s/UcHcCp8= 1gYCnmwZYVcPfBTGMauo?domain=3Ddialoco.github.io/" rel=3D"noopener noreferre= r" target=3D"_blank">https://dialoco.github.io/dialoco26/</a><br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">Diagrammatic reasoning is playing an increasingly importa= nt role in both logic and computation. We are excited to announce the inaug= ural Workshop on Diagrams in Logic and Computation (DIALOCO), held as part = of the Federated Logic Conference (FLoC) this July in Lisbon, Portugal. We encourage submissions on all aspe= cts of the use of diagrams in these fields, including string diagrams, proo= f nets, graph rewriting, visual proof assistants, and educational applicati= ons of diagrammatic methods.<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">This inaugural DIALOCO workshop aims to kickstart a long = and fruitful interaction with the broader FLoC community and affiliated con= ferences such as LICS, FSCD, KR, and ITP. We warmly encourage anyone intere= sted in diagrammatic methods to apply.<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">**Invited Speakers**<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">- Dan Ghica (Huawei Research Centre Edinburgh & Unive= rsity of Birmingham, UK)<br> </div> <div dir=3D"auto">- Lutz Stra=C3=9Fburger (Inria and LIX, France)<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">**Submissions**<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">We invite abstracts for contributed talks of 1 to 5 pages= (excluding bibliography). Submissions may describe published work, unpubli= shed work, or work in progress. <br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">Abstracts should be submitted via the workshop=E2=80=99s = submission page:<br> </div> <div dir=3D"auto"><a href=3D"https://url.au.m.mimecastprotect.com/s/ZvJ-Cq7= 1jxf8Z2vqEHXhvTE6f0P?domain=3Dsubmissions.floc26.org" rel=3D"noopener noref= errer" target=3D"_blank">https://submissions.floc26.org/dialoco</a><br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">Accepted abstracts will be made available on the workshop= 's web page. While there are no formal published proceedings at this time, = the organizers will explore options for post-workshop proceedings.<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">At least one author of each accepted submission is expect= ed to register and attend the workshop at FLoC 26.<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">**Important Dates**<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">- Abstract submission deadline: 1 May 2026<br> </div> <div dir=3D"auto">- Notification of acceptance: 15 May 2026<br> </div> <div dir=3D"auto">- Early registration deadline: 1 June 2026<br> </div> <div dir=3D"auto">- Workshop date: 19 July 2026<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">**Organizers**<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">- Alessandro Di Giorgio (Tallinn University of Technology= , Estonia)<br> </div> <div dir=3D"auto">- Pablo Donato (Charles University, Czechia)<br> </div> <div dir=3D"auto">- Nathan Haydon (University of Waterloo, Canada)<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">**Further Information**<br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">- DIALOCO 26 Website: <a href=3D"https://url.au.m.mimecas= tprotect.com/s/UcHcCp81gYCnmwZYVcPfBTGMauo?domain=3Ddialoco.github.io/" rel= =3D"noopener noreferrer" target=3D"_blank"> https://dialoco.github.io/dialoco26/</a><br> </div> <div dir=3D"auto">- FLoC 26 Website: <a href=3D"https://url.au.m.mimecastpr= otect.com/s/EqSiCr810kC8EmOgkH4i3T4ruai?domain=3Dfloc26.org" rel=3D"noopene= r noreferrer" target=3D"_blank"> https://www.floc26.org</a><br> </div> <div dir=3D"auto"><br> </div> <div dir=3D"auto">Please reach out to the organizers if you have any questi= ons!<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/groups/groupsubscription?source=3DEsca= latedMessage&action=3Dfiles&smtp=3Dcategories%40mq.edu.au&bO=3D= true&GuestId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c">View group&nb= sp;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','Sego= e WP',sans-serif;" id=3D"BD5134C6-8D33-4ABA-A0C4-08581FDF89DB" href=3D"http= s://outlook.office365.com/groups/groupsubscription?source=3DEscalatedMessag= e&action=3Dleave&smtp=3Dcategories%40mq.edu.au&bO=3Dtrue&Gu= estId=3D8767f067-4f04-44e1-9450-e0b2f3fa5e7c">Leave group</a></span><s= pan style=3D"color:#C8C8C8;"> | </span><s= pan style=3D"display:inline-block;"><a style=3D"color:#666666; text-decorat= ion:none;font-size:12px; font-family:'Segoe UI','Segoe WP',sans-serif;" hre= f=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> ------=_Part_3409_1203498702.1776427246237--