LSFA 2026, deadline extension
Alexandre Madeira <[email protected]> Wed, 25 Mar 2026 12:53:48 +0000
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
--_000_835718610AED415FAEF85AB63D1E4FC2uapt_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KTFNGQSAyMDI2IC0gQ2FsbCBmb3IgUGFw ZXJzICAgICAgW0V4dGVuZGVkIGRlYWRsaW5lISEhXQ0KDQoyMXN0IEludGVybmF0aW9uYWwgU3lt cG9zaXVtIG9uIExvZ2ljYWwgYW5kIFNlbWFudGljIEZyYW1ld29ya3Mgd2l0aCBBcHBsaWNhdGlv bnMNCi0gTFNGQSAyMDI2IC0NCjE4IC0gMTkgSnVseSAyMDI2DQpMaXNib24sIFBvcnR1Z2FsDQpo dHRwczovL2xzZmEtd29ya3Nob3AuZ2l0aHViLmlvLzIwMjYvDQoNCi0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0NCg0KTG9naWNhbCBhbmQgc2VtYW50aWMgZnJhbWV3b3JrcyBhcmUgZm9y bWFsIGxhbmd1YWdlcyB1c2VkIHRvIHJlcHJlc2VudCBsb2dpY3MsIGxhbmd1YWdlcyBhbmQgc3lz dGVtcy4NClRoZXNlIGZyYW1ld29ya3MgcHJvdmlkZSBmb3VuZGF0aW9ucyBmb3IgdGhlIGZvcm1h bCBzcGVjaWZpY2F0aW9uIG9mIHN5c3RlbXMgYW5kIHByb2dyYW1taW5nIGxhbmd1YWdlcywNCnN1 cHBvcnRpbmcgdG9vbCBkZXZlbG9wbWVudCBhbmQgcmVhc29uaW5nLg0KV2UgYXJlIGludml0aW5n IGZvcm1hbCBzdWJtaXNzaW9ucyBvbiB0aGUgZm9sbG93aW5nIHRvcGljcywgYnV0IG5vdCBsaW1p dGVkIHRvOg0KDQpBdXRvbWF0ZWQgZGVkdWN0aW9uDQpBcHBsaWNhdGlvbnMgb2YgbG9naWNhbCBh bmQvb3Igc2VtYW50aWMgZnJhbWV3b3Jrcw0KQ29tcHV0YXRpb25hbCBhbmQgbG9naWNhbCBwcm9w ZXJ0aWVzIG9mIHNlbWFudGljIGZyYW1ld29ya3MNCkZvcm1hbCBzZW1hbnRpY3Mgb2YgbGFuZ3Vh Z2VzIGFuZCBzeXN0ZW1zDQpJbXBsZW1lbnRhdGlvbiBvZiBsb2dpY2FsIGFuZC9vciBzZW1hbnRp YyBmcmFtZXdvcmtzDQpMYW1iZGEgYW5kIGNvbWJpbmF0b3J5IGNhbGN1bGkNCkxvZ2ljYWwgYXNw ZWN0cyBvZiBjb21wdXRhdGlvbmFsIGNvbXBsZXhpdHkNCkxvZ2ljYWwgZnJhbWV3b3Jrcw0KUHJv Y2VzcyBjYWxjdWxpDQpQcm9vZiB0aGVvcnkNClNlbWFudGljIGZyYW1ld29ya3MNClNwZWNpZmlj YXRpb24gbGFuZ3VhZ2VzIGFuZCBtZXRhLWxhbmd1YWdlcw0KVHlwZSB0aGVvcnkNCg0KVGhlIHBy b2dyYW0gY29tbWl0dGVlIGlzIGNoYWlyZWQgYnkgVmFsZXJpYSBkZSBQYWl2YSwgVG9wb3MgSW5z dGl0dXRlLCBCZXJrZWxleSBhbmQNClRoYXluYXJhIGRlIExpbWEsIEZlZGVyYWwgVW5pdmVyc2l0 eSBvZiBHb2nDoXMsIEdvacOibmlhLg0KDQoNCioqKiBGb3JtYWwgUGFwZXIgU3VibWlzc2lvbnMg KioqDQoNCkNvbnRyaWJ1dGlvbnMgc2hvdWxkIGJlIHdyaXR0ZW4gaW4gRW5nbGlzaCBhbmQgc3Vi bWl0dGVkIGluIHRoZSBmb3JtIG9mOg0KLSBmdWxsIHBhcGVycyAod2l0aCBhIG1heGltdW0gb2Yg MTYgcGFnZXMgZXhjbHVkaW5nIHJlZmVyZW5jZXMpIG9yIDsNCi0gc2hvcnQgcGFwZXJzICh3aXRo IGEgbWF4aW11bSBvZiA2IHBhZ2VzIGV4Y2x1ZGluZyByZWZlcmVuY2VzKS4NCg0KVGhleSBtdXN0 IGJlIHVucHVibGlzaGVkIGFuZCBub3Qgc3VibWl0dGVkIHNpbXVsdGFuZW91c2x5IGZvciBwdWJs aWNhdGlvbiBlbHNld2hlcmUuDQpUaGUgcGFwZXJzIHNob3VsZCBiZSBwcmVwYXJlZCBpbiBsYXRl eCB1c2luZyBFUFRDUyBzdHlsZS4NCmh0dHBzOi8vc3R5bGUuZXB0Y3Mub3JnLw0KVGhlIHN1Ym1p c3Npb24gc2hvdWxkIGJlIGluIHRoZSBmb3JtIG9mIGEgUERGIGZpbGUgdXBsb2FkZWQgdG8gSG90 Q1JQLg0KaHR0cHM6Ly9zdWJtaXNzaW9ucy5mbG9jMjYub3JnL2xzZmEvDQpJZiBzb2Z0d2FyZSBv ciBkYXRhIGlzIHJlbGV2YW50IHRvIGEgcGFwZXIsIGEgbGluayB0aGF0IHByb3ZpZGVzIGFjY2Vz cw0KdG8gdGhlIHNvZnR3YXJlL2RhdGEgbXVzdCBiZSBwcm92aWRlZCB0byBlbmFibGUgcmVwcm9k dWN0aW9uIG9mIHJlc3VsdHMuDQoNCkZvbGxvd2luZyBMU0ZBIHRyYWRpdGlvbnMsIGJlc2lkZXMg UHJvY2VlZGluZ3MsIHdlIGFyZSBjb25zaWRlcmluZw0KcHVibGlzaGluZyBhIFNwZWNpYWwgSXNz dWUgTFNGQSAyNSsyNiAobW9yZSBkZXRhaWxzIHJlZ2FyZGluZyBwYXN0DQpwdWJsaWNhdGlvbnMg YXQgaHR0cHM6Ly9sc2ZhLXdvcmtzaG9wLmdpdGh1Yi5pby8pLg0KDQoqKiogSW1wb3J0YW50IERh dGVzICoqKg0KDQogIC0gQWJzdHJhY3QgZGVhZGxpbmU6ICAgICAgICAgICAgIEFwcmlsIDE3LCAy MDI2DQogIC0gRnVsbCBwYXBlciBkZWFkbGluZTogICAgICAgICAgIEFwcmlsIDI0LCAyMDI2DQog IC0gTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICAgIE1heSAyNSwgMjAyNg0KICAtIENvbmZl cmVuY2U6ICAgICAgICAgICAgICAgICAgICBKdWx5IDE4LTE5LCAyMDI2DQoNCi0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCkFsZXhhbmRyZSBN YWRlaXJhDQpodHRwOi8vc3dlZXQudWEucHQvbWFkZWlyYS8NCg0KDQoNCg0KDQo= --_000_835718610AED415FAEF85AB63D1E4FC2uapt_ Content-Type: text/html; charset="utf-8" Content-ID: <[email protected]> Content-Transfer-Encoding: base64 PGh0bWwgYXJpYS1sYWJlbD0ibWVzc2FnZSBib2R5Ij4NCjxoZWFkPg0KPG1ldGEgaHR0cC1lcXVp dj0iQ29udGVudC1UeXBlIiBjb250ZW50PSJ0ZXh0L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPg0KPC9o ZWFkPg0KPGJvZHkgc3R5bGU9Im92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7IC13ZWJraXQtbmJz cC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7Ij4NCjxkaXY+LS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLTwvZGl2Pg0KPGRpdj5MU0ZBIDIwMjYgLSBDYWxs IGZvciBQYXBlcnMgJm5ic3A7ICZuYnNwOyAmbmJzcDtbRXh0ZW5kZWQgZGVhZGxpbmUhISFdPC9k aXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj4yMXN0IEludGVybmF0aW9uYWwgU3ltcG9zaXVt IG9uIExvZ2ljYWwgYW5kIFNlbWFudGljIEZyYW1ld29ya3Mgd2l0aCBBcHBsaWNhdGlvbnM8L2Rp dj4NCjxkaXY+LSBMU0ZBIDIwMjYgLTwvZGl2Pg0KPGRpdj4xOCAtIDE5IEp1bHkgMjAyNjwvZGl2 Pg0KPGRpdj5MaXNib24sIFBvcnR1Z2FsPC9kaXY+DQo8ZGl2Pmh0dHBzOi8vbHNmYS13b3Jrc2hv cC5naXRodWIuaW8vMjAyNi88L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pi0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS08L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2Pkxv Z2ljYWwgYW5kIHNlbWFudGljIGZyYW1ld29ya3MgYXJlIGZvcm1hbCBsYW5ndWFnZXMgdXNlZCB0 byByZXByZXNlbnQgbG9naWNzLCBsYW5ndWFnZXMgYW5kIHN5c3RlbXMuJm5ic3A7PC9kaXY+DQo8 ZGl2PlRoZXNlIGZyYW1ld29ya3MgcHJvdmlkZSBmb3VuZGF0aW9ucyBmb3IgdGhlIGZvcm1hbCBz cGVjaWZpY2F0aW9uIG9mIHN5c3RlbXMgYW5kIHByb2dyYW1taW5nIGxhbmd1YWdlcywmbmJzcDs8 L2Rpdj4NCjxkaXY+c3VwcG9ydGluZyB0b29sIGRldmVsb3BtZW50IGFuZCByZWFzb25pbmcuPC9k aXY+DQo8ZGl2PldlIGFyZSBpbnZpdGluZyBmb3JtYWwgc3VibWlzc2lvbnMgb24gdGhlIGZvbGxv d2luZyB0b3BpY3MsIGJ1dCBub3QgbGltaXRlZCB0bzo8L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+ DQo8ZGl2PkF1dG9tYXRlZCBkZWR1Y3Rpb248L2Rpdj4NCjxkaXY+QXBwbGljYXRpb25zIG9mIGxv Z2ljYWwgYW5kL29yIHNlbWFudGljIGZyYW1ld29ya3M8L2Rpdj4NCjxkaXY+Q29tcHV0YXRpb25h bCBhbmQgbG9naWNhbCBwcm9wZXJ0aWVzIG9mIHNlbWFudGljIGZyYW1ld29ya3M8L2Rpdj4NCjxk aXY+Rm9ybWFsIHNlbWFudGljcyBvZiBsYW5ndWFnZXMgYW5kIHN5c3RlbXM8L2Rpdj4NCjxkaXY+ SW1wbGVtZW50YXRpb24gb2YgbG9naWNhbCBhbmQvb3Igc2VtYW50aWMgZnJhbWV3b3JrczwvZGl2 Pg0KPGRpdj5MYW1iZGEgYW5kIGNvbWJpbmF0b3J5IGNhbGN1bGk8L2Rpdj4NCjxkaXY+TG9naWNh bCBhc3BlY3RzIG9mIGNvbXB1dGF0aW9uYWwgY29tcGxleGl0eTwvZGl2Pg0KPGRpdj5Mb2dpY2Fs IGZyYW1ld29ya3M8L2Rpdj4NCjxkaXY+UHJvY2VzcyBjYWxjdWxpPC9kaXY+DQo8ZGl2PlByb29m IHRoZW9yeTwvZGl2Pg0KPGRpdj5TZW1hbnRpYyBmcmFtZXdvcmtzPC9kaXY+DQo8ZGl2PlNwZWNp ZmljYXRpb24gbGFuZ3VhZ2VzIGFuZCBtZXRhLWxhbmd1YWdlczwvZGl2Pg0KPGRpdj5UeXBlIHRo ZW9yeTwvZGl2Pg0KPGRpdj48YnI+DQo8L2Rpdj4NCjxkaXY+VGhlIHByb2dyYW0gY29tbWl0dGVl IGlzIGNoYWlyZWQgYnkgVmFsZXJpYSBkZSBQYWl2YSwgVG9wb3MgSW5zdGl0dXRlLCBCZXJrZWxl eSBhbmQmbmJzcDs8L2Rpdj4NCjxkaXY+VGhheW5hcmEgZGUgTGltYSwgRmVkZXJhbCBVbml2ZXJz aXR5IG9mIEdvacOhcywgR29pw6JuaWEuPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPGRpdj48 YnI+DQo8L2Rpdj4NCjxkaXY+KioqIEZvcm1hbCBQYXBlciBTdWJtaXNzaW9ucyAqKio8L2Rpdj4N CjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PkNvbnRyaWJ1dGlvbnMgc2hvdWxkIGJlIHdyaXR0ZW4g aW4gRW5nbGlzaCBhbmQgc3VibWl0dGVkIGluIHRoZSBmb3JtIG9mOjwvZGl2Pg0KPGRpdj4tIGZ1 bGwgcGFwZXJzICh3aXRoIGEgbWF4aW11bSBvZiAxNiBwYWdlcyBleGNsdWRpbmcgcmVmZXJlbmNl cykgb3IgOyZuYnNwOzwvZGl2Pg0KPGRpdj4tIHNob3J0IHBhcGVycyAod2l0aCBhIG1heGltdW0g b2YgNiBwYWdlcyBleGNsdWRpbmcgcmVmZXJlbmNlcykuJm5ic3A7PC9kaXY+DQo8ZGl2Pjxicj4N CjwvZGl2Pg0KPGRpdj5UaGV5IG11c3QgYmUgdW5wdWJsaXNoZWQgYW5kIG5vdCBzdWJtaXR0ZWQg c2ltdWx0YW5lb3VzbHkgZm9yIHB1YmxpY2F0aW9uIGVsc2V3aGVyZS4mbmJzcDs8L2Rpdj4NCjxk aXY+VGhlIHBhcGVycyBzaG91bGQgYmUgcHJlcGFyZWQgaW4gbGF0ZXggdXNpbmcgRVBUQ1Mgc3R5 bGUuJm5ic3A7PC9kaXY+DQo8ZGl2Pmh0dHBzOi8vc3R5bGUuZXB0Y3Mub3JnLzwvZGl2Pg0KPGRp dj5UaGUgc3VibWlzc2lvbiBzaG91bGQgYmUgaW4gdGhlIGZvcm0gb2YgYSBQREYgZmlsZSB1cGxv YWRlZCB0byBIb3RDUlAuPC9kaXY+DQo8ZGl2Pmh0dHBzOi8vc3VibWlzc2lvbnMuZmxvYzI2Lm9y Zy9sc2ZhLzwvZGl2Pg0KPGRpdj5JZiBzb2Z0d2FyZSBvciBkYXRhIGlzIHJlbGV2YW50IHRvIGEg cGFwZXIsIGEgbGluayB0aGF0IHByb3ZpZGVzIGFjY2VzczwvZGl2Pg0KPGRpdj50byB0aGUgc29m dHdhcmUvZGF0YSBtdXN0IGJlIHByb3ZpZGVkIHRvIGVuYWJsZSByZXByb2R1Y3Rpb24gb2YgcmVz dWx0cy48L2Rpdj4NCjxkaXY+PGJyPg0KPC9kaXY+DQo8ZGl2PkZvbGxvd2luZyBMU0ZBIHRyYWRp dGlvbnMsIGJlc2lkZXMgUHJvY2VlZGluZ3MsIHdlIGFyZSBjb25zaWRlcmluZyZuYnNwOzwvZGl2 Pg0KPGRpdj5wdWJsaXNoaW5nIGEgU3BlY2lhbCBJc3N1ZSBMU0ZBIDI1JiM0MzsyNiAobW9yZSBk ZXRhaWxzIHJlZ2FyZGluZyBwYXN0Jm5ic3A7PC9kaXY+DQo8ZGl2PnB1YmxpY2F0aW9ucyBhdCBo dHRwczovL2xzZmEtd29ya3Nob3AuZ2l0aHViLmlvLykuJm5ic3A7PC9kaXY+DQo8ZGl2PiZuYnNw OyZuYnNwOzwvZGl2Pg0KPGRpdj4qKiogSW1wb3J0YW50IERhdGVzICoqKjwvZGl2Pg0KPGRpdj48 YnI+DQo8L2Rpdj4NCjxkaXY+Jm5ic3A7IC0gQWJzdHJhY3QgZGVhZGxpbmU6ICZuYnNwOyAmbmJz cDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7IEFwcmlsIDE3LCAyMDI2Jm5ic3A7PC9kaXY+ DQo8ZGl2PiZuYnNwOyAtIEZ1bGwgcGFwZXIgZGVhZGxpbmU6ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgQXByaWwgMjQsIDIwMjYmbmJzcDs8L2Rpdj4NCjxkaXY+Jm5ic3A7IC0g Tm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICZuYnNwOyAmbmJzcDtNYXkgMjUsIDIwMjY8L2Rp dj4NCjxkaXY+Jm5ic3A7IC0gQ29uZmVyZW5jZTogJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7 ICZuYnNwOyAmbmJzcDsgJm5ic3A7ICZuYnNwOyAmbmJzcDsgJm5ic3A7SnVseSAxOC0xOSwgMjAy NjwvZGl2Pg0KPGRpdj4NCjxkaXYgZGlyPSJhdXRvIiBzdHlsZT0iY2FyZXQtY29sb3I6IHJnYigw LCAwLCAwKTsgY29sb3I6IHJnYigwLCAwLCAwKTsgbGV0dGVyLXNwYWNpbmc6IG5vcm1hbDsgdGV4 dC1hbGlnbjogc3RhcnQ7IHRleHQtaW5kZW50OiAwcHg7IHRleHQtdHJhbnNmb3JtOiBub25lOyB3 aGl0ZS1zcGFjZTogbm9ybWFsOyB3b3JkLXNwYWNpbmc6IDBweDsgLXdlYmtpdC10ZXh0LXN0cm9r ZS13aWR0aDogMHB4OyB0ZXh0LWRlY29yYXRpb246IG5vbmU7IG92ZXJmbG93LXdyYXA6IGJyZWFr LXdvcmQ7IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUt c3BhY2U7Ij4NCjxkaXYgZGlyPSJhdXRvIiBzdHlsZT0iY2FyZXQtY29sb3I6IHJnYigwLCAwLCAw KTsgY29sb3I6IHJnYigwLCAwLCAwKTsgbGV0dGVyLXNwYWNpbmc6IG5vcm1hbDsgdGV4dC1hbGln bjogc3RhcnQ7IHRleHQtaW5kZW50OiAwcHg7IHRleHQtdHJhbnNmb3JtOiBub25lOyB3aGl0ZS1z cGFjZTogbm9ybWFsOyB3b3JkLXNwYWNpbmc6IDBweDsgLXdlYmtpdC10ZXh0LXN0cm9rZS13aWR0 aDogMHB4OyB0ZXh0LWRlY29yYXRpb246IG5vbmU7IG92ZXJmbG93LXdyYXA6IGJyZWFrLXdvcmQ7 IC13ZWJraXQtbmJzcC1tb2RlOiBzcGFjZTsgbGluZS1icmVhazogYWZ0ZXItd2hpdGUtc3BhY2U7 Ij4NCjxkaXY+PGJyPg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLTxicj4NCkFsZXhhbmRyZSBNYWRlaXJhPGJyPg0KaHR0cDovL3N3ZWV0LnVh LnB0L21hZGVpcmEvPGJyPg0KPC9kaXY+DQo8ZGl2Pjxicj4NCjwvZGl2Pg0KPC9kaXY+DQo8YnIg Y2xhc3M9IkFwcGxlLWludGVyY2hhbmdlLW5ld2xpbmUiPg0KPC9kaXY+DQo8YnIgY2xhc3M9IkFw cGxlLWludGVyY2hhbmdlLW5ld2xpbmUiPg0KPGJyIGNsYXNzPSJBcHBsZS1pbnRlcmNoYW5nZS1u ZXdsaW5lIj4NCjwvZGl2Pg0KPGJyPg0KPC9ib2R5Pg0KPC9odG1sPg0K --_000_835718610AED415FAEF85AB63D1E4FC2uapt_--