KR and FLoC Early Registration open until May 15
Nico Potyka <[email protected]> Thu, 16 Apr 2026 15:49:50 +0000
| Newsgroups | gmane.comp.gnu.prolog.general |
|---|---|
| Message-ID | <CWXP265MB34614CFA03A008CDF25A9B6BED232@CWXP265MB3461.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB34614CFA03A008CDF25A9B6BED232CWXP265MB3461GBRP_
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
Dear members of the KR community and beyond,
We are pleased to announce that KR 2026 has accepted 124 very interesting p=
apers in four tracks. A list of these papers can be found at
https://kr.org/KR2026/accepted.html.
In addition to these contributed papers, KR also features three invited tal=
ks (in addition to the FLoC keynote speaker), workshops, tutorials, a docto=
ral consortium, and a diversity and inclusion session. We are sure that thi=
s will result in a very interesting program for KR 2026, and would be happy=
to welcome you for KR in Lisbon in July 2026.
Please note that registration for FLoC (and thus for KR and its workshops a=
nd tutorials) is already open at
https://www.floc26.org/registration,
and that the early registration deadline ends on May 15, 2026.
We hope seeing you at KR 2026 in Lisbon!
Marie-Laure Mugnier and Franz Baader
(KR 2026 PC co-chairs)
--_000_CWXP265MB34614CFA03A008CDF25A9B6BED232CWXP265MB3461GBRP_
Content-Type: text/html; charset="us-ascii"
Content-Transfer-Encoding: quoted-printable
<html xmlns:v=3D"urn:schemas-microsoft-com:vml" xmlns:o=3D"urn:schemas-micr=
osoft-com:office:office" xmlns:w=3D"urn:schemas-microsoft-com:office:word" =
xmlns:m=3D"http://schemas.microsoft.com/office/2004/12/omml" xmlns=3D"http:=
//www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dus-ascii"=
>
<meta name=3D"Generator" content=3D"Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext=3D"edit" spidmax=3D"1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext=3D"edit">
<o:idmap v:ext=3D"edit" data=3D"1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=3D"EN-GB" link=3D"#467886" vlink=3D"#96607D" style=3D"word-wrap:=
break-word">
<div class=3D"WordSection1">
<p class=3D"MsoPlainText">Dear members of the KR community and beyond,<o:p>=
</o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText">We are pleased to announce that KR 2026 has accep=
ted 124 very interesting papers in four tracks. A list of these papers can =
be found at
<o:p></o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText"> <a href=3D"https://kr.org/KR2026/acce=
pted.html">https://kr.org/KR2026/accepted.html</a>.
<o:p></o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText">In addition to these contributed papers, KR also =
features three invited talks (in addition to the FLoC keynote speaker), wor=
kshops, tutorials, a doctoral consortium, and a diversity and inclusion ses=
sion. We are sure that this will result
in a very interesting program for KR 2026, and would be happy to welcome y=
ou for KR in Lisbon in July 2026.<o:p></o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText">Please note that registration for FLoC (and thus =
for KR and its workshops and tutorials) is already open at
<o:p></o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText"> <a href=3D"https://www.floc26.org/re=
gistration">https://www.floc26.org/registration</a>,
<o:p></o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText">and that the early registration deadline ends on =
May 15, 2026.<o:p></o:p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText">We hope seeing you at KR 2026 in Lisbon!<o:p></o:=
p></p>
<p class=3D"MsoPlainText"><o:p> </o:p></p>
<p class=3D"MsoPlainText">Marie-Laure Mugnier and Franz Baader <o:p></o:p><=
/p>
<p class=3D"MsoPlainText">(KR 2026 PC co-chairs)<o:p></o:p></p>
<p class=3D"MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>
--_000_CWXP265MB34614CFA03A008CDF25A9B6BED232CWXP265MB3461GBRP_--