AI4Math 2026 Workshop @CICM-2026
"FMF, ai4math via dmanet" <[email protected]> Thu, 16 Jul 2026 13:37:22 +0000
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <AM6PR10MB2504F853726FFD5D883A32DDF8C72@AM6PR10MB2504.EURPRD10.PROD.OUTLOOK.COM> |
PT0gQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UgZm9yIE1hdGggPT0KCj09PSBDYWxsIGZvciBQYXBl cnMgPT09CgpBcnRpZmljaWFsIGludGVsbGlnZW5jZSAoQUkpIGlzIHJhcGlkbHkgY2hhbmdpbmcg dGhlIHdheSB3ZSBkbwptYXRoZW1hdGljcy4gUmVjZW50IGFkdmFuY2VzIGluIG1hY2hpbmUgbGVh cm5pbmcsIGF1dG9tYXRlZCB0aGVvcmVtCnByb3ZpbmcsIGZvcm1hbGl6YXRpb24sIGFuZCBtYXRo ZW1hdGljYWwga25vd2xlZGdlIG1hbmFnZW1lbnQgaGF2ZQpvcGVuZWQgbmV3IG9wcG9ydHVuaXRp ZXMgZm9yIHJlcHJlc2VudGluZywgcmVhc29uaW5nIGFib3V0LCBhbmQKZGlzY292ZXJpbmcgbWF0 aGVtYXRpY3MuIFRoZSBwYWNlIG9mIGRldmVsb3BtZW50IGlzIHN1Y2ggdGhhdCBuZXcKcmVzdWx0 cyBvZnRlbiByZWFjaCB0aGUgcmVzZWFyY2ggY29tbXVuaXR5IHRocm91Z2ggQUkgYW5kIGNvbXB1 dGVyCnNjaWVuY2UgdmVudWVzLCB3aGVyZSB0aGV5IG1heSBub3QgcmVjZWl2ZSBzdWZmaWNpZW50 IGF0dGVudGlvbiBmcm9tCm1hdGhlbWF0aWNpYW5zIGFuZCByZXNlYXJjaGVycyBpbiBpbnRlbGxp Z2VudCBjb21wdXRlciBtYXRoZW1hdGljcy4KClRoZSBBSTRNYXRoIFdvcmtzaG9wLCBvcmdhbml6 ZWQgYXMgcGFydCBvZiB0aGUgQ29uZmVyZW5jZSBvbgpJbnRlbGxpZ2VudCBDb21wdXRlciBNYXRo ZW1hdGljcyAoQ0lDTSAyMDI2KVswXSwgYWltcyB0byBicmlkZ2UgdGhpcwpnYXAgYnkgYnJpbmdp bmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgZnJvbSB0aGUgY29tbXVuaXRpZXMgb2YKZm9ybWFsaXph dGlvbiBvZiBtYXRoZW1hdGljcyB3aXRoIHByb29mIGFzc2lzdGFudHMsIGF1dG9tYXRlZCB0aGVv cmVtCnByb3ZpbmcsIG1hdGhlbWF0aWNhbCBrbm93bGVkZ2UgbWFuYWdlbWVudCBhbmQgZGF0YWJh c2VzIG9mCm1hdGhlbWF0aWNhbCBvYmplY3RzLCBhbmQgbWFjaGluZSBsZWFybmluZyBmb3IgbWF0 aGVtYXRpY2FsCnJlYXNvbmluZy4gQnkgZm9zdGVyaW5nIGludGVyYWN0aW9uIGJldHdlZW4gdGhl c2UgY29tbXVuaXRpZXMsIHRoZQp3b3Jrc2hvcCBzZWVrcyB0byBzdGltdWxhdGUgY29sbGFib3Jh dGlvbiwgcHJvbW90ZSBzaGFyZWQgYmVuY2htYXJrcwphbmQgZGF0YXNldHMsIGFuZCBhZHZhbmNl IEFJLWJhc2VkIG1ldGhvZHMgZm9yIGZvcm1hbGl6YXRpb24sCmF1dG9tYXRlZCByZWFzb25pbmcs IGFuZCBtYXRoZW1hdGljYWwgZGlzY292ZXJ5LgoKVGhlIHdvcmtzaG9wIGhhcyB0d28gY29tcGxl bWVudGFyeSBvYmplY3RpdmVzLiBGaXJzdCwgaXQgcHJvdmlkZXMgQUkKcmVzZWFyY2hlcnMgd2l0 aCBhIGZvcnVtIHRvIHByZXNlbnQgcmVjZW50IGFkdmFuY2VzIGluIGFwcGx5aW5nIEFJIHRvCm1h dGhlbWF0aWNzLCBpbmNsdWRpbmcgb25nb2luZyByZXNlYXJjaCBhbmQgZW1lcmdpbmcgaWRlYXMu IFNlY29uZCwgaXQKb2ZmZXJzIG1hdGhlbWF0aWNpYW5zIGFuZCByZXNlYXJjaGVycyBpbiBpbnRl bGxpZ2VudCBjb21wdXRlcgptYXRoZW1hdGljcyBhbiBvcHBvcnR1bml0eSB0byBsZWFybiBhYm91 dCBuZXcgQUkgdGVjaG5pcXVlcyBhbmQKZGlzY3VzcyBob3cgdGhleSBjYW4gc3VwcG9ydCBtYXRo ZW1hdGljYWwgcmVzZWFyY2guIFRoZSBwcm9ncmFtIHdpbGwKaW5jbHVkZSBpbnZpdGVkIHRhbGsg YWxvbmdzaWRlIGNvbnRyaWJ1dGVkIHByZXNlbnRhdGlvbnMsIHdpdGggYW1wbGUKdGltZSBmb3Ig ZGlzY3Vzc2lvbiBhbmQgZXhjaGFuZ2Ugb2YgaWRlYXMuCgo9PT0gVG9waWNzID09PQoKVG9waWNz IG9mIGludGVyZXN0IGluY2x1ZGUsIGJ1dCBhcmUgbm90IGxpbWl0ZWQgdG86CgoqIEZvcm1hbGl6 YXRpb24gb2YgbWF0aGVtYXRpY3MgaW4gaW50ZXJhY3RpdmUgcHJvb2YgYXNzaXN0YW50cwoqIEF1 dG9tYXRlZCB0aGVvcmVtIHByb3ZpbmcgYW5kIHByb29mIGF1dG9tYXRpb24KKiBNYWNoaW5lIGxl YXJuaW5nIGZvciBwcm9vZiBzZWFyY2gsIHByb29mIGd1aWRhbmNlLCBhbmQgdGhlb3JlbSBwcm92 aW5nCiogTGFyZ2UgbGFuZ3VhZ2UgbW9kZWxzIGZvciBmb3JtYWwgbWF0aGVtYXRpY3MKKiBOZXVy YWwtc3ltYm9saWMgbWV0aG9kcyBmb3IgbWF0aGVtYXRpY2FsIHJlYXNvbmluZwoqIE1hdGhlbWF0 aWNhbCBrbm93bGVkZ2UgbWFuYWdlbWVudAoqIERhdGFiYXNlcyBhbmQgcmVwb3NpdG9yaWVzIG9m IG1hdGhlbWF0aWNhbCBvYmplY3RzIGFuZCBmb3JtYWwgbWF0aGVtYXRpY2FsCsKgIGxpYnJhcmll cwoqIEFJLWFzc2lzdGVkIGZvcm1hbGl6YXRpb24gYW5kIHRyYW5zbGF0aW9uIGJldHdlZW4gaW5m b3JtYWwgYW5kIGZvcm1hbArCoCBtYXRoZW1hdGljcwoqIFJlcHJlc2VudGF0aW9uIGxlYXJuaW5n IGZvciBtYXRoZW1hdGljYWwgb2JqZWN0cyBhbmQgdGhlb3JpZXMKKiBCZW5jaG1hcmsgZGF0YXNl dHMgYW5kIGV2YWx1YXRpb24gbWV0aG9kb2xvZ2llcyBmb3IgQUkgaW4gbWF0aGVtYXRpY3MKKiBJ bnRlZ3JhdGlvbiBvZiBwcm9vZiBhc3Npc3RhbnRzLCB0aGVvcmVtIHByb3ZlcnMsIG1hdGhlbWF0 aWNhbCBkYXRhYmFzZXMsCsKgIGFuZCBBSSB0b29scwoqIEFJIGZvciBtYXRoZW1hdGljYWwgZGlz Y292ZXJ5LCBjb25qZWN0dXJlIGdlbmVyYXRpb24sIGFuZCBtYXRoZW1hdGljYWwKwqAgc29mdHdh cmUKCldlIHBhcnRpY3VsYXJseSBlbmNvdXJhZ2UgY29udHJpYnV0aW9ucyB0aGF0IGJyaWRnZSB0 d28gb3IgbW9yZSBvZiB0aGVzZcKgCnJlc2VhcmNoIGFyZWFzIGFuZCBkZW1vbnN0cmF0ZSBob3cg dGhlaXIgaW50ZWdyYXRpb24gY2FuIGFkdmFuY2UgQUktc3VwcG9ydGVkwqAKbWF0aGVtYXRpY3Mu Cgo9PT0gU3VibWlzc2lvbiA9PT0KCkF1dGhvcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IG9yaWdp bmFsIDItcGFnZSBhYnN0cmFjdHMgKGluY2x1ZGluZyByZWZlcmVuY2VzKcKgCmRlc2NyaWJpbmcg Y29tcGxldGVkIG9yIG9uZ29pbmcgcmVzZWFyY2guIFN1Ym1pc3Npb25zIHNob3VsZCBmb2xsb3cg dGhlIENJQ03CoAoyMDI2IGNvbmZlcmVuY2UgZm9ybWF0dGluZyBndWlkZWxpbmVzWzFdIGFuZCB3 aWxsIGJlIHN1YmplY3QgdG8gYSBsaWdodCzCoApzaW5nbGUtYmxpbmQgcmV2aWV3IHByb2Nlc3Mu IEFjY2VwdGVkIHBhcGVycyB3aWxsIGJlIHByZXNlbnRlZCBhdCB0aGUgd29ya3Nob3AuwqAKQSBj b21waWxhdGlvbiBvZiB0aGUgY2FtZXJhLXJlYWR5IFBERnMgd2lsbCBiZSBwdWJsaXNoZWQgb25s aW5lIGFzIGluZm9ybWFswqAKcHJvY2VlZGluZ3MsIHNvIGFzIHRvIG5vdCBwcmVjbHVkZSBwdWJs aXNoaW5nIG9uZ29pbmcgd29yayBsYXRlciBpbiBjb25mZXJlbmNlwqAKcHJvY2VlZGluZ3Mgb3Ig am91cm5hbHMuIEFsbCBzdWJtaXNzaW9ucyBzaG91bGQgYmUgc2VudCB0b8KgCmFpNG1hdGhAZm1m LnVuaS1sai5zaS4KCj09PSBJbXBvcnRhbnQgRGF0ZXMgPT09CgoqIFBhcGVyIHN1Ym1pc3Npb24g ZGVhZGxpbmU6IDE3dGggb2YgQXVndXN0IDIwMjYKKiBOb3RpZmljYXRpb24gZGVhZGxpbmU6IDMx c3Qgb2YgQXVndXN0IDIwMjYKKiBDYW1lcmEtcmVhZHkgdmVyc2lvbiBkZWFkbGluZTogMTR0aCBv ZiBTZXB0ZW1iZXIgMjAyNgoqIFdvcmtzaG9wOiB0byBiZSBoZWxkIGFzIHBhcnQgb2YgQ0lDTSAy MDI2WzBdIG9uIE1vbmRheSwgMjFzdCBvZiBTZXB0ZW1iZXIgMjAyNgoKQWxsIGRlYWRsaW5lcyBh cmUgYXQgMjM6NTkgQW9FIChBbnl3aGVyZSBvbiBFYXJ0aCwgVVRD4oiSMTIpLgoKPT09IE9yZ2Fu aXplcnMgPT09CgoqIExqdXDEjW8gVG9kb3JvdnNraQoqIERhdmlkIEUuIE5hcnbDoWV6CgpbMF0g aHR0cHM6Ly9jaWNtLWNvbmZlcmVuY2Uub3JnLzIwMjYvY2ljbS5waHAKWzFdIGh0dHBzOi8vd3d3 LnNwcmluZ2VyLmNvbS9ncC9jb21wdXRlci1zY2llbmNlL2xuY3MvY29uZmVyZW5jZS1wcm9jZWVk aW5ncy1ndWlkZWxpbmVzCgoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqCioKKiAgIENvbnRyaWJ1dGlvbnMgdG8gYmUgc3ByZWFkIHZpYSBE TUFORVQgYXJlIHN1Ym1pdHRlZCB0bwoqCiogICAgICAgICAgICAgICAgICAgRE1BTkVUQHpwci51 bmkta29lbG4uZGUKKgoqICAgUmVwbGllcyB0byBhICBtZXNzYWdlIGNhcnJpZWQgIG9uIERNQU5F VCBzaG91bGQgTk9UIGJlCiogICBhZGRyZXNzZWQgdG8gRE1BTkVUICBidXQgdG8gIHRoZSBvcmln aW5hbCBzZW5kZXIuICBUaGUKKiAgIG9yaWdpbmFsICBzZW5kZXIsICBob3dldmVyLCAgaXMgaW52 aXRlZCAgdG8gcHJlcGFyZSBhbgoqICAgdXBkYXRlICBvZiB0aGUgcmVwbGllcyAgcmVjZWl2ZWQg YW5kIHRvIGNvbW11bmljYXRlIGl0CiogICB2aWEgRE1BTkVULgoqCiogICAgRElTQ1JFVEUgTUFU SEVNQVRJQ1MgQU5EIEFMR09SSVRITVMgTkVUV09SSyAoRE1BTkVUKQoqICAgICAgaHR0cDovL3d3 dy56YWlrLnVuaS1rb2Vsbi5kZS9BRlMvcHVibGljYXRpb25zL2RtYW5ldC8KKgoqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCg==