[TFP'16] call for participation
Peter Achten <[email protected]> Mon, 2 May 2016 09:05:59 +0200
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
ICAgICAgICAgICAgICAgICAgICAgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KICAgICAg ICAgICAgICBDIEEgTCBMICAgRiBPIFIgICBQIEEgUiBUIEkgQyBJIFAgQSBUIEkgTyBOCiAgICAg ICAgICAgICAgICAgICAgIC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCgogICAgICAgICAg ICAgICAgICAgICA9PT09PT09PSBURlAgMjAxNiA9PT09PT09PT09PQoKICAgICAgICAgICAxN3Ro IFN5bXBvc2l1bSBvbiBUcmVuZHMgaW4gRnVuY3Rpb25hbCBQcm9ncmFtbWluZwogICAgICAgICAg ICAgICAgICAgICAgICAgICAgSnVuZSA4LTEwLCAyMDE2CiAgICAgICAgICAgICAgICAgIFVuaXZl cnNpdHkgb2YgTWFyeWxhbmQsIENvbGxlZ2UgUGFyawogICAgICAgICAgICAgICAgICAgICAgICAg IE5lYXIgV2FzaGluZ3RvbiwgREMKICAgICAgICAgICAgICAgICAgICAgICAgICBodHRwOi8vdGZw MjAxNi5vcmcvCgoKVGhlIHN5bXBvc2l1bSBvbiBUcmVuZHMgaW4gRnVuY3Rpb25hbCBQcm9ncmFt bWluZyAoVEZQKSBpcyBhbgppbnRlcm5hdGlvbmFsIGZvcnVtIGZvciByZXNlYXJjaGVycyB3aXRo IGludGVyZXN0cyBpbiBhbGwgYXNwZWN0cyBvZgpmdW5jdGlvbmFsIHByb2dyYW1taW5nLCB0YWtp bmcgYSBicm9hZCB2aWV3IG9mIGN1cnJlbnQgYW5kIGZ1dHVyZQp0cmVuZHMgaW4gdGhlIGFyZWEu IEl0IGFzcGlyZXMgdG8gYmUgYSBsaXZlbHkgZW52aXJvbm1lbnQgZm9yCnByZXNlbnRpbmcgdGhl IGxhdGVzdCByZXNlYXJjaCByZXN1bHRzLCBhbmQgb3RoZXIgY29udHJpYnV0aW9ucyAoc2VlCmJl bG93KS4gQXV0aG9ycyBvZiBkcmFmdCBwYXBlcnMgd2lsbCBiZSBpbnZpdGVkIHRvIHN1Ym1pdCBy ZXZpc2VkCnBhcGVycyBiYXNlZCBvbiB0aGUgZmVlZGJhY2sgcmVjZWl2ZSBhdCB0aGUgc3ltcG9z aXVtLiAgQQpwb3N0LXN5bXBvc2l1bSByZWZlcmVlaW5nIHByb2Nlc3Mgd2lsbCB0aGVuIHNlbGVj dCBhIHN1YnNldCBvZiB0aGVzZQphcnRpY2xlcyBmb3IgZm9ybWFsIHB1YmxpY2F0aW9uLgoKVEZQ IDIwMTYgd2lsbCBiZSB0aGUgbWFpbiBldmVudCBvZiBhIHBhaXIgb2YgZnVuY3Rpb25hbCBwcm9n cmFtbWluZwpldmVudHMuIFRGUCAyMDE2IHdpbGwgYmUgYWNjb21wYW5pZWQgYnkgdGhlIEludGVy bmF0aW9uYWwgV29ya3Nob3Agb24KVHJlbmRzIGluIEZ1bmN0aW9uYWwgUHJvZ3JhbW1pbmcgaW4g RWR1Y2F0aW9uIChURlBJRSksIHdoaWNoIHdpbGwgdGFrZQpwbGFjZSBvbiBKdW5lIDduZC4KCgo9 PSBJTlZJVEVEIFNQRUFLRVJTID09CgpURlAgMjAxNiBpcyBwbGVhc2VkIHRvIGFubm91bmNlIGtl eW5vdGUgdGFsa3MgYnkgdGhlIGZvbGxvd2luZyB0d28KaW52aXRlZCBzcGVha2VyczoKCiogUm9u YWxkIEdhcmNpYSwgVW5pdmVyc2l0eSBvZiBCcml0aXNoIENvbHVtYmlhOiAiU3RhdGljIGFuZCBE eW5hbWljCiAgIFR5cGUgQ2hlY2tpbmc6IEEgU3lub3BzaXMiCgoqIFN0ZXZlIFpkYW5jZXdpYywg VW5pdmVyc2l0eSBvZiBQZW5uc3lsdmFuaWE6ICJUeXBlLSBhbmQKICAgRXhhbXBsZS1Ecml2ZW4g UHJvZ3JhbSBTeW50aGVzaXMiCgoKPT0gSElTVE9SWSA9PQoKVGhlIFRGUCBzeW1wb3NpdW0gaXMg dGhlIGhlaXIgb2YgdGhlIHN1Y2Nlc3NmdWwgc2VyaWVzIG9mIFNjb3R0aXNoCkZ1bmN0aW9uYWwg UHJvZ3JhbW1pbmcgV29ya3Nob3BzLiBQcmV2aW91cyBURlAgc3ltcG9zaWEgd2VyZSBoZWxkIGlu CiAgICAqIEVkaW5idXJnaCAoU2NvdGxhbmQpIGluIDIwMDM7CiAgICAqIE11bmljaCAoR2VybWFu eSkgaW4gMjAwNDsKICAgICogVGFsbGlubiAoRXN0b25pYSkgaW4gMjAwNTsKICAgICogTm90dGlu Z2hhbSAoVUspIGluIDIwMDY7CiAgICAqIE5ldyBZb3JrIChVU0EpIGluIDIwMDc7CiAgICAqIE5p am1lZ2VuIChUaGUgTmV0aGVybGFuZHMpIGluIDIwMDg7CiAgICAqIEtvbWFybm8gKFNsb3Zha2lh KSBpbiAyMDA5OwogICAgKiBPa2xhaG9tYSAoVVNBKSBpbiAyMDEwOwogICAgKiBNYWRyaWQgKFNw YWluKSBpbiAyMDExOwogICAgKiBTdC4gQW5kcmV3cyAoVUspIGluIDIwMTI7CiAgICAqIFByb3Zv IChVdGFoLCBVU0EpIGluIDIwMTM7CiAgICAqIFNvZXN0ZXJiZXJnIChUaGUgTmV0aGVybGFuZHMp IGluIDIwMTQ7CiAgICAqIGFuZCBJbnJpYSBTb3BoaWEtQW50aXBvbGlzIChGcmFuY2UpIGluIDIw MTUuCkZvciBmdXJ0aGVyIGdlbmVyYWwgaW5mb3JtYXRpb24gYWJvdXQgVEZQIHBsZWFzZSBzZWUg dGhlIFRGUCBob21lcGFnZS4KKGh0dHA6Ly93d3cudGlmcC5vcmcvKS4KCgo9PSBTQ09QRSA9PQoK VGhlIHN5bXBvc2l1bSByZWNvZ25pemVzIHRoYXQgbmV3IHRyZW5kcyBtYXkgYXJpc2UgdGhyb3Vn aCB2YXJpb3VzCnJvdXRlcy4gIEFzIHBhcnQgb2YgdGhlIFN5bXBvc2l1bSdzIGZvY3VzIG9uIHRy ZW5kcyB3ZSB0aGVyZWZvcmUKaWRlbnRpZnkgdGhlIGZvbGxvd2luZyBmaXZlIGFydGljbGUgY2F0 ZWdvcmllcy4gSGlnaC1xdWFsaXR5IGFydGljbGVzCmFyZSBzb2xpY2l0ZWQgaW4gYW55IG9mIHRo ZXNlIGNhdGVnb3JpZXM6CgpSZXNlYXJjaCBBcnRpY2xlczogbGVhZGluZy1lZGdlLCBwcmV2aW91 c2x5IHVucHVibGlzaGVkIHJlc2VhcmNoIHdvcmsKUG9zaXRpb24gQXJ0aWNsZXM6IG9uIHdoYXQg bmV3IHRyZW5kcyBzaG91bGQgb3Igc2hvdWxkIG5vdCBiZQpQcm9qZWN0IEFydGljbGVzOiBkZXNj cmlwdGlvbnMgb2YgcmVjZW50bHkgc3RhcnRlZCBuZXcgcHJvamVjdHMKRXZhbHVhdGlvbiBBcnRp Y2xlczogd2hhdCBsZXNzb25zIGNhbiBiZSBkcmF3biBmcm9tIGEgZmluaXNoZWQgcHJvamVjdApP dmVydmlldyBBcnRpY2xlczogc3VtbWFyaXppbmcgd29yayB3aXRoIHJlc3BlY3QgdG8gYSB0cmVu ZHkgc3ViamVjdAoKQXJ0aWNsZXMgbXVzdCBiZSBvcmlnaW5hbCBhbmQgbm90IHNpbXVsdGFuZW91 c2x5IHN1Ym1pdHRlZCBmb3IKcHVibGljYXRpb24gdG8gYW55IG90aGVyIGZvcnVtLiBUaGV5IG1h eSBjb25zaWRlciBhbnkgYXNwZWN0IG9mCmZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmc6IHRoZW9yZXRp Y2FsLCBpbXBsZW1lbnRhdGlvbi1vcmllbnRlZCwgb3IKZXhwZXJpZW5jZS1vcmllbnRlZC4gIEFw cGxpY2F0aW9ucyBvZiBmdW5jdGlvbmFsIHByb2dyYW1taW5nCnRlY2huaXF1ZXMgdG8gb3RoZXIg bGFuZ3VhZ2VzIGFyZSBhbHNvIHdpdGhpbiB0aGUgc2NvcGUgb2YgdGhlCnN5bXBvc2l1bS4KClRv cGljcyBzdWl0YWJsZSBmb3IgdGhlIHN5bXBvc2l1bSBpbmNsdWRlLCBidXQgYXJlIG5vdCBsaW1p dGVkIHRvOgoKICAgICAgRnVuY3Rpb25hbCBwcm9ncmFtbWluZyBhbmQgbXVsdGljb3JlL21hbnlj b3JlIGNvbXB1dGluZwogICAgICBGdW5jdGlvbmFsIHByb2dyYW1taW5nIGluIHRoZSBjbG91ZAog ICAgICBIaWdoIHBlcmZvcm1hbmNlIGZ1bmN0aW9uYWwgY29tcHV0aW5nCiAgICAgIEV4dHJhLWZ1 bmN0aW9uYWwgKGJlaGF2aW91cmFsKSBwcm9wZXJ0aWVzIG9mIGZ1bmN0aW9uYWwgcHJvZ3JhbXMK ICAgICAgRGVwZW5kZW50bHkgdHlwZWQgZnVuY3Rpb25hbCBwcm9ncmFtbWluZwogICAgICBWYWxp ZGF0aW9uIGFuZCB2ZXJpZmljYXRpb24gb2YgZnVuY3Rpb25hbCBwcm9ncmFtcwogICAgICBEZWJ1 Z2dpbmcgYW5kIHByb2ZpbGluZyBmb3IgZnVuY3Rpb25hbCBsYW5ndWFnZXMKICAgICAgRnVuY3Rp b25hbCBwcm9ncmFtbWluZyBpbiBkaWZmZXJlbnQgYXBwbGljYXRpb24gYXJlYXM6CiAgICAgICAg c2VjdXJpdHksIG1vYmlsaXR5LCB0ZWxlY29tbXVuaWNhdGlvbnMgYXBwbGljYXRpb25zLCBlbWJl ZGRlZAogICAgICAgIHN5c3RlbXMsIGdsb2JhbCBjb21wdXRpbmcsIGdyaWRzLCBldGMuCiAgICAg IEludGVyb3BlcmFiaWxpdHkgd2l0aCBpbXBlcmF0aXZlIHByb2dyYW1taW5nIGxhbmd1YWdlcwog ICAgICBOb3ZlbCBtZW1vcnkgbWFuYWdlbWVudCB0ZWNobmlxdWVzCiAgICAgIFByb2dyYW0gYW5h bHlzaXMgYW5kIHRyYW5zZm9ybWF0aW9uIHRlY2huaXF1ZXMKICAgICAgRW1waXJpY2FsIHBlcmZv cm1hbmNlIHN0dWRpZXMKICAgICAgQWJzdHJhY3QvdmlydHVhbCBtYWNoaW5lcyBhbmQgY29tcGls ZXJzIGZvciBmdW5jdGlvbmFsIGxhbmd1YWdlcwogICAgICAoRW1iZWRkZWQpIGRvbWFpbiBzcGVj aWZpYyBsYW5ndWFnZXMKICAgICAgTmV3IGltcGxlbWVudGF0aW9uIHN0cmF0ZWdpZXMKICAgICAg QW55IG5ldyBlbWVyZ2luZyB0cmVuZCBpbiB0aGUgZnVuY3Rpb25hbCBwcm9ncmFtbWluZyBhcmVh CgpJZiB5b3UgYXJlIGluIGRvdWJ0IG9uIHdoZXRoZXIgeW91ciBhcnRpY2xlIGlzIHdpdGhpbiB0 aGUgc2NvcGUgb2YKVEZQLCBwbGVhc2UgY29udGFjdCB0aGUgVEZQIDIwMTYgcHJvZ3JhbSBjaGFp ciwgRGF2aWQgVmFuIEhvcm4uCgoKPT0gQkVTVCBQQVBFUiBBV0FSRFMgPT0KClRvIHJld2FyZCBl eGNlbGxlbnQgY29udHJpYnV0aW9ucywgVEZQIGF3YXJkcyBhIHByaXplIGZvciB0aGUgYmVzdCBw YXBlcgphY2NlcHRlZCBmb3IgdGhlIGZvcm1hbCBwcm9jZWVkaW5ncy4KClRGUCB0cmFkaXRpb25h bGx5IHBheXMgc3BlY2lhbCBhdHRlbnRpb24gdG8gcmVzZWFyY2ggc3R1ZGVudHMsCmFja25vd2xl ZGdpbmcgdGhhdCBzdHVkZW50cyBhcmUgYWxtb3N0IGJ5IGRlZmluaXRpb24gcGFydCBvZiBuZXcK c3ViamVjdCB0cmVuZHMuIEEgc3R1ZGVudCBwYXBlciBpcyBvbmUgZm9yIHdoaWNoIHRoZSBhdXRo b3JzIHN0YXRlCnRoYXQgdGhlIHBhcGVyIGlzIG1haW5seSB0aGUgd29yayBvZiBzdHVkZW50cywg dGhlIHN0dWRlbnRzIGFyZSBsaXN0ZWQKYXMgZmlyc3QgYXV0aG9ycywgYW5kIGEgc3R1ZGVudCB3 b3VsZCBwcmVzZW50IHRoZSBwYXBlci4gQSBwcml6ZSBmb3IKdGhlIGJlc3Qgc3R1ZGVudCBwYXBl ciBpcyBhd2FyZGVkIGVhY2ggeWVhci4KCkluIGJvdGggY2FzZXMsIGl0IGlzIHRoZSBQQyBvZiBU RlAgdGhhdCBhd2FyZHMgdGhlIHByaXplLiBJbiBjYXNlIHRoZQpiZXN0IHBhcGVyIGhhcHBlbnMg dG8gYmUgYSBzdHVkZW50IHBhcGVyLCB0aGF0IHBhcGVyIHdpbGwgdGhlbiByZWNlaXZlCmJvdGgg cHJpemVzLgoKCj09IFNQT05TT1JTID09CgpURlAgaXMgZmluYW5jaWFsbHkgc3VwcG9ydGVkIGJ5 IEN5YmVyUG9pbnQsIEdhbG9pcywgVHJhaWwgb2YgQml0cywgYW5kCnRoZSBVbml2ZXJzaXR5IG9m IE1hcnlsYW5kIENvbXB1dGVyIFNjaWVuY2UgRGVwYXJ0bWVudC4KCgo9PSBQQVBFUiBTVUJNSVNT SU9OUyA9PQoKQWNjZXB0YW5jZSBvZiBhcnRpY2xlcyBmb3IgcHJlc2VudGF0aW9uIGF0IHRoZSBz eW1wb3NpdW0gaXMgYmFzZWQgb24gYQpsaWdodHdlaWdodCBwZWVyIHJldmlldyBwcm9jZXNzIG9m IGV4dGVuZGVkIGFic3RyYWN0cyAoNCB0byAxMCBwYWdlcwppbiBsZW5ndGgpIG9yIGZ1bGwgcGFw ZXJzICgyMCBwYWdlcykuIFRoZSBzdWJtaXNzaW9uIG11c3QgY2xlYXJseQppbmRpY2F0ZSB3aGlj aCBjYXRlZ29yeSBpdCBiZWxvbmdzIHRvOiByZXNlYXJjaCwgcG9zaXRpb24sIHByb2plY3QsCmV2 YWx1YXRpb24sIG9yIG92ZXJ2aWV3IHBhcGVyLiBJdCBzaG91bGQgYWxzbyBpbmRpY2F0ZSB3aGlj aCBhdXRob3JzCmFyZSByZXNlYXJjaCBzdHVkZW50cywgYW5kIHdoZXRoZXIgdGhlIG1haW4gYXV0 aG9yKHMpIGFyZSBzdHVkZW50cy4gIEEKZHJhZnQgcGFwZXIgZm9yIHdoaWNoIEFMTCBhdXRob3Jz IGFyZSBzdHVkZW50cyB3aWxsIHJlY2VpdmUgYWRkaXRpb25hbApmZWVkYmFjayBieSBvbmUgb2Yg dGhlIFBDIG1lbWJlcnMgc2hvcnRseSBhZnRlciB0aGUgc3ltcG9zaXVtIGhhcwp0YWtlbiBwbGFj ZS4KCldlIHVzZSBFYXN5Q2hhaXIgZm9yIHRoZSByZWZlcmVlaW5nIHByb2Nlc3MuIFBhcGVycyBt dXN0IGJlIHN1Ym1pdHRlZCBhdDoKCiAgICBodHRwczovL2Vhc3ljaGFpci5vcmcvY29uZmVyZW5j ZXMvP2NvbmY9dGZwMjAxNgoKUGFwZXJzIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLCBhbmQg d3JpdHRlbiB1c2luZyB0aGUgTE5DUwpzdHlsZS4gRm9yIG1vcmUgaW5mb3JtYXRpb24gYWJvdXQg Zm9ybWF0dGluZyBwbGVhc2UgY29uc3VsdCB0aGUKU3ByaW5nZXIgTE5DUyB3ZWIgc2l0ZToKCmh0 dHA6Ly93d3cuc3ByaW5nZXIuY29tL2NvbXB1dGVyL2xuY3M/U0dXSUQ9MC0xNjQtNi03OTMzNDEt MAoKCj09IElNUE9SVEFOVCBEQVRFUyA9PQoKU3VibWlzc2lvbiBvZiBkcmFmdCBwYXBlcnM6ICAg ICBBcHJpbCAyNSwgMjAxNgpOb3RpZmljYXRpb246ICAgICAgICAgICAgICAgICAgIE1heSAyLCAy MDE2ClJlZ2lzdHJhdGlvbjogICAgICAgICAgICAgICAgICAgTWF5IDEzLCAyMDE2ClRGUCBTeW1w b3NpdW06ICAgICAgICAgICAgICAgICAgSnVuZSA4LTEwLCAyMDE2ClN0dWRlbnQgcGFwZXJzIGZl ZWRiYWNrOiAgICAgICAgSnVuZSAxNCwgMjAxNgpTdWJtaXNzaW9uIGZvciBmb3JtYWwgcmV2aWV3 OiAgIEp1bHkgMTQsIDIwMTYKTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICAgICBTZXB0ZW1i ZXIgMTQsIDIwMTYKQ2FtZXJhIHJlYWR5IHBhcGVyOiAgICAgICAgICAgICBPY3RvYmVyIDE0LCAy MDE2CgoKPT0gUFJPR1JBTSBDT01NSVRURUUgPT0KCkFtYWwgQWhtZWQgICAgICAgICAgICAgIE5v cnRoZWFzdGVybiBVbml2ZXJzaXR5IChVUykKTmFkYSBBbWluICAgICAgICAgICAgICAgw4ljb2xl IFBvbHl0ZWNobmlxdWUgRsOpZMOpcmFsZSBkZSBMYXVzYW5uZSAoQ0gpCktlbmljaGkgQXNhaSAg ICAgICAgICAgIE9jaGFub21penUgVW5pdmVyc2l0eSAoSlApCk1hxYJnb3J6YXRhIEJpZXJuYWNr YSAgICBVbml2ZXJzaXR5IG9mIFdyb2NsYXcgKFBMKQpMYXVyYSBDYXN0cm8gICAgICAgICAgICBV bml2ZXJzaXR5IG9mIEEgQ29ydcOxYSAoRVMpClJhdmkgQ2h1Z2ggICAgICAgICAgICAgIFVuaXZl cnNpdHkgb2YgQ2hpY2FnbyAoVVMpClNpbHZpYSBHaGlsZXphbiAgICAgICAgIFVuaXZlcnNpdHkg b2YgTm92aSBTYWQgKFNSKQpDbGVtZW5zIEdyZWxjayAgICAgICAgICBVbml2ZXJzaXR5IG9mIEFt c3RlcmRhbSAoTkwpCkpvaG4gSHVnaGVzICAgICAgICAgICAgIENoYWxtZXJzIFVuaXZlcnNpdHkg b2YgVGVjaG5vbG9neSAoU0UpClN1cmVzaCBKYWdhbm5hdGhhbiAgICAgIFB1cmR1ZSBVbml2ZXJz aXR5IChVUykKUGlldGVyIEtvb3BtYW4gICAgICAgICAgUmFkYm91ZCBVbml2ZXJzaXR5IE5pam1l Z2VuIChOTCkKR2VvZmZyZXkgTWFpbmxhbmQgICAgICAgRHJleGVsIFVuaXZlcnNpdHkgKFVTKQpD aHJpcyBNYXJ0ZW5zICAgICAgICAgICBVbml2ZXJzaXR5IG9mIENhbGlmb3JuaWEsIFNhbnRhIENy dXogKFVTKQpKYXkgTWNDYXJ0aHkgICAgICAgICAgICBVbml2ZXJzaXR5IG9mIE1hc3NhY2h1c2V0 dHMsIExvd2VsbCAoVVMpCkhlYXRoZXIgTWlsbGVyICAgICAgICAgIMOJY29sZSBQb2x5dGVjaG5p cXVlIEbDqWTDqXJhbGUgZGUgTGF1c2FubmUgKENIKQpNYW51ZWwgU2VycmFubyAgICAgICAgICBJ TlJJQSwgU29waGlhLUFudGlwb2xpcyAoRlIpClNjb3R0IFNtaXRoICAgICAgICAgICAgIEpvaG5z IEhvcGtpbnMgVW5pdmVyc2l0eSAoVVMpCsOJcmljIFRhbnRlciAgICAgICAgICAgICBVbml2ZXJz aXR5IG9mIENoaWxlIChDTCkKRGF2aWQgVmFuIEhvcm4gKENoYWlyKSAgVW5pdmVyc2l0eSBvZiBN YXJ5bGFuZCAoVVMpCk5pa2kgVmF6b3UgICAgICAgICAgICAgIFVuaXZlcnNpdHkgb2YgQ2FsaWZv cm5pYSwgU2FuIERpZWdvIChVUykKU3RlcGhhbmllIFdlaXJpY2ggICAgICAgVW5pdmVyc2l0eSBv ZiBQZW5uc3lsdmFuaWEgKFVTKQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KTHByb2xvZyBtYWlsaW5nIGxpc3QKTHByb2xvZ0Bjcy51bW4uZWR1Cmh0dHBz Oi8vd3d3cy5jcy51bW4uZWR1L21tLWNzL2xpc3RpbmZvL2xwcm9sb2c=