[Call for Participation] Reasoning Web Summer School @ Declarative AI 2026
Federica Di Stefano via dmanet <[email protected]> Fri, 17 Jul 2026 11:32:25 +0100
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <CABbu7z0zLWPjamd=ZbFsg7Sk7uAaK-oXXYLQcL4GxaH8WA+s7A@mail.gmail.com> |
KkNhbGwgZm9yIFBhcnRpY2lwYXRpb246ICoKClJlYXNvbmluZyBXZWIgU3VtbWVyIFNjaG9vbCAy MDI2IEAgRGVjbGFyYXRpdmUgQUkgMjAyNgoyNy0zMCBBdWd1c3QgMjAyNgpWaWxuaXVzLCBMaXRo dWFuaWEKCipMaW5rOiogaHR0cHM6Ly8yMDI2LmRlY2xhcmF0aXZlYWkubmV0L3JlYXNvbmluZy13 ZWIKCgoqVmVudWU6KiBUaGUgMjJuZCAqUmVhc29uaW5nIFdlYiogKFJXKSAqU3VtbWVyIFNjaG9v bCogaXMgcGFydCBvZiB0aGUKKkRlY2xhcmF0aXZlCkFJIDIwMjYqIDxodHRwczovLzIwMjYuZGVj bGFyYXRpdmVhaS5uZXQvPiBldmVudCBjbHVzdGVyLCBmZWF0dXJpbmcgc2V2ZXJhbApldmVudHMs IGluY2x1ZGluZyB0aGUgMTB0aCBJbnRlcm5hdGlvbmFsIEpvaW50IENvbmZlcmVuY2Ugb24gUnVs ZXMgYW5kClJlYXNvbmluZyAoKlJ1bGVNTCtSUiAyMDI2KiA8aHR0cHM6Ly8yMDI2LmRlY2xhcmF0 aXZlYWkubmV0L3J1bGVtbC1ycj4pLAoqRGVjaXNpb25DYW1wKiA8aHR0cHM6Ly8yMDI2LmRlY2xh cmF0aXZlYWkubmV0L2RlY2lzaW9uY2FtcD4sIGFuZCBtdWx0aXBsZQpSdWxlTUwrUlIgMjAyNiBz YXRlbGxpdGUgZXZlbnRzIChSdWxlIENoYWxsZW5nZQo8aHR0cHM6Ly8yMDI2LmRlY2xhcmF0aXZl YWkubmV0L3J1bGVtbC1yci9ydWxlLWNoYWxsZW5nZT4sIEluZHVzdHJ5IFRyYWNrCjxodHRwczov LzIwMjYuZGVjbGFyYXRpdmVhaS5uZXQvcnVsZW1sLXJyL2luZHVzdHJ5LXRyYWNrPiwgRG9jdG9y YWwKQ29uc29ydGl1bSA8aHR0cHM6Ly8yMDI2LmRlY2xhcmF0aXZlYWkubmV0L3J1bGVtbC1yci9k b2N0b3JhbC1jb25zb3J0aXVtPgphbmQgTmV0d29ya2luZyBTZXNzaW9uCjxodHRwczovLzIwMjYu ZGVjbGFyYXRpdmVhaS5uZXQvcnVsZW1sLXJyL25ldHdvcmtpbmctc2Vzc2lvbj4pLgoKUlcgMjAy NiBmb2N1c2VzIG9uIHJlY2VudCBhZHZhbmNlcyBpbiByZWFzb25pbmcgdGVjaG5pcXVlcyBhbmQg cmVsYXRlZAphcmVhcywgaW5jbHVkaW5nIG9udG9sb2dpZXMsIHJ1bGVzLCBsb2dpYywgdGhlIFNl bWFudGljIFdlYiwgbGlua2VkIGRhdGEsCmFuZCBrbm93bGVkZ2UgZ3JhcGggYXBwbGljYXRpb25z LgoKKlR1dG9yaWFscyBhbmQgU3BlYWtlcnM6KgoKCiAgIC0gTGVhcm5pbmcsIFJlYXNvbmluZywg YW5kIFBsYW5uaW5nIOKAlCBIZWN0b3IgR2VmZm5lcgogICAtIFJlYXNvbmluZyBBYm91dCBDYXVz YWxpdHkg4oCUIEVtaWxpYW5vIExvcmluaQogICAtIEtub3dsZWRnZSBDb21waWxhdGlvbjogUG93 ZXIgYW5kIExpbWl0cyDigJQgRmxvcmVudCBDYXBlbGxpCiAgIC0gSW50ZWdyYXRpbmcgU3ltYm9s aWMgUmVhc29uaW5nIGludG8gTmV1cmFsIExlYXJuaW5nOiBBIFR1dG9yaWFsCiAgIEludHJvZHVj dGlvbiB0byBOZXVyb3N5bWJvbGljIFJlaW5mb3JjZW1lbnQgTGVhcm5pbmcg4oCUIENlbGVzdGUg VmVyb25lc2UKICAgLSBSdWxlLWJhc2VkIE9udG9sb2dpZXM6IEZyb20gU2VtYW50aWNzIHRvIFN5 bnRheCDigJQgQW5kcmVhcyBQaWVyaXMKICAgLSBOb24tbW9ub3RvbmljIENvbmRpdGlvbmFsczog QSBDb250ZW1wb3JhcnkgSW50cm9kdWN0aW9uIOKAlCBKb25hcwogICBIYWxkaW1hbm4gJiBSaWNo YXJkIEJvb3RoCiAgIC0gUHJvdmVuYW5jZSBhbmQgU2VtaXJpbmcgU2VtYW50aWNzIOKAlCBOaW5h IFBhcmRhbAogICAtIENvbXB1dGF0aW9uYWwgQXJndW1lbnRhdGlvbiBhbmQgTWFjaGluZSBMZWFy bmluZyDigJQgQW50b25pbyBSYWdvICYKICAgVGltb3RoZXVzIEthbXBpawoKClRoZSBzdW1tZXIg c2Nob29sIGlzIG1haW5seSBhaW1lZCBhdCBjdXJyZW50IG9yIHJlY2VudCBwb3N0Z3JhZHVhdGUK c3R1ZGVudHMgKFBoRCBvciBNU2MpLCBidXQgYWxzbyB3ZWxjb21lcyBtb3JlIGV4cGVyaWVuY2Vk IHJlc2VhcmNoZXJzIHdobwp3YW50IHRvIGxlYXJuIG9yIGRlZXBlbiB0aGVpciBrbm93bGVkZ2Uu CgoqQ2hhaXJzOiAqCgoqUGFibG8gQmFyY2Vsw7MsIFBvbnRpZmljaWEgVW5pdmVyc2lkYWQgQ2F0 b2xpY2EgZGUgQ2hpbGUsIENoaWxlKgpNYXJpYSBWYW5pbmEgTWFydGluZXosIEFydGlmaWNpYWwg SW50ZWxsaWdlbmNlIFJlc2VhcmNoIEluc3RpdHV0ZSAoCklJSUlBLUNTSUMpLCBTcGFpbgoKKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKgoq CiogICBDb250cmlidXRpb25zIHRvIGJlIHNwcmVhZCB2aWEgRE1BTkVUIGFyZSBzdWJtaXR0ZWQg dG8KKgoqICAgICAgICAgICAgICAgICAgIERNQU5FVEB6cHIudW5pLWtvZWxuLmRlCioKKiAgIFJl cGxpZXMgdG8gYSAgbWVzc2FnZSBjYXJyaWVkICBvbiBETUFORVQgc2hvdWxkIE5PVCBiZQoqICAg YWRkcmVzc2VkIHRvIERNQU5FVCAgYnV0IHRvICB0aGUgb3JpZ2luYWwgc2VuZGVyLiAgVGhlCiog ICBvcmlnaW5hbCAgc2VuZGVyLCAgaG93ZXZlciwgIGlzIGludml0ZWQgIHRvIHByZXBhcmUgYW4K KiAgIHVwZGF0ZSAgb2YgdGhlIHJlcGxpZXMgIHJlY2VpdmVkIGFuZCB0byBjb21tdW5pY2F0ZSBp dAoqICAgdmlhIERNQU5FVC4KKgoqICAgIERJU0NSRVRFIE1BVEhFTUFUSUNTIEFORCBBTEdPUklU SE1TIE5FVFdPUksgKERNQU5FVCkKKiAgICAgIGh0dHA6Ly93d3cuemFpay51bmkta29lbG4uZGUv QUZTL3B1YmxpY2F0aW9ucy9kbWFuZXQvCioKKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKgo=