[TFP 2016] Final call for papers
Peter Achten <[email protected]> Fri, 1 Apr 2016 17:07:48 +0200
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
ICAgICAgICAgICAgICAgICAgICAgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KICAgICAg ICAgICAgICAgICAgICAgQyBBIEwgTCAgIEYgTyBSICAgUCBBIFAgRSBSIFMKICAgICAgICAgICAg ICAgICAgICAgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCiAgICAgICAgICAgICAgICAg ICAgID09PT09PT09IFRGUCAyMDE2ID09PT09PT09PT09CgogICAgICAgICAgIDE3dGggU3ltcG9z aXVtIG9uIFRyZW5kcyBpbiBGdW5jdGlvbmFsIFByb2dyYW1taW5nCiAgICAgICAgICAgICAgICAg ICAgICAgICAgICBKdW5lIDgtMTAsIDIwMTYKICAgICAgICAgICAgICAgICAgVW5pdmVyc2l0eSBv ZiBNYXJ5bGFuZCwgQ29sbGVnZSBQYXJrCiAgICAgICAgICAgICAgICAgICAgICAgICAgTmVhciBX YXNoaW5ndG9uLCBEQwogICAgICAgICAgICAgICAgICAgICAgICAgIGh0dHA6Ly90ZnAyMDE2Lm9y Zy8KCgpUaGUgc3ltcG9zaXVtIG9uIFRyZW5kcyBpbiBGdW5jdGlvbmFsIFByb2dyYW1taW5nIChU RlApIGlzIGFuCmludGVybmF0aW9uYWwgZm9ydW0gZm9yIHJlc2VhcmNoZXJzIHdpdGggaW50ZXJl c3RzIGluIGFsbCBhc3BlY3RzIG9mCmZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcsIHRha2luZyBhIGJy b2FkIHZpZXcgb2YgY3VycmVudCBhbmQgZnV0dXJlCnRyZW5kcyBpbiB0aGUgYXJlYS4gSXQgYXNw aXJlcyB0byBiZSBhIGxpdmVseSBlbnZpcm9ubWVudCBmb3IKcHJlc2VudGluZyB0aGUgbGF0ZXN0 IHJlc2VhcmNoIHJlc3VsdHMsIGFuZCBvdGhlciBjb250cmlidXRpb25zIChzZWUKYmVsb3cpLiBB dXRob3JzIG9mIGRyYWZ0IHBhcGVycyB3aWxsIGJlIGludml0ZWQgdG8gc3VibWl0IHJldmlzZWQK cGFwZXJzIGJhc2VkIG9uIHRoZSBmZWVkYmFjayByZWNlaXZlIGF0IHRoZSBzeW1wb3NpdW0uICBB CnBvc3Qtc3ltcG9zaXVtIHJlZmVyZWVpbmcgcHJvY2VzcyB3aWxsIHRoZW4gc2VsZWN0IGEgc3Vi c2V0IG9mIHRoZXNlCmFydGljbGVzIGZvciBmb3JtYWwgcHVibGljYXRpb24uCgpURlAgMjAxNiB3 aWxsIGJlIHRoZSBtYWluIGV2ZW50IG9mIGEgcGFpciBvZiBmdW5jdGlvbmFsIHByb2dyYW1taW5n CmV2ZW50cy4gVEZQIDIwMTYgd2lsbCBiZSBhY2NvbXBhbmllZCBieSB0aGUgSW50ZXJuYXRpb25h bCBXb3Jrc2hvcCBvbgpUcmVuZHMgaW4gRnVuY3Rpb25hbCBQcm9ncmFtbWluZyBpbiBFZHVjYXRp b24gKFRGUElFKSwgd2hpY2ggd2lsbCB0YWtlCnBsYWNlIG9uIEp1bmUgN25kLgoKCj09IElOVklU RUQgU1BFQUtFUlMgPT0KClRGUCAyMDE2IGlzIHBsZWFzZWQgdG8gYW5ub3VuY2Uga2V5bm90ZSB0 YWxrcyBieSB0aGUgZm9sbG93aW5nIHR3bwppbnZpdGVkIHNwZWFrZXJzOgoKKiBSb25hbGQgR2Fy Y2lhLCBVbml2ZXJzaXR5IG9mIEJyaXRpc2ggQ29sdW1iaWEKKiBTdGV2ZSBaZGFuY2V3aWMsIFVu aXZlcnNpdHkgb2YgUGVubnN5bHZhbmlhCgoKPT0gSElTVE9SWSA9PQoKVGhlIFRGUCBzeW1wb3Np dW0gaXMgdGhlIGhlaXIgb2YgdGhlIHN1Y2Nlc3NmdWwgc2VyaWVzIG9mIFNjb3R0aXNoCkZ1bmN0 aW9uYWwgUHJvZ3JhbW1pbmcgV29ya3Nob3BzLiBQcmV2aW91cyBURlAgc3ltcG9zaWEgd2VyZSBo ZWxkIGluCiAgICAqIEVkaW5idXJnaCAoU2NvdGxhbmQpIGluIDIwMDM7CiAgICAqIE11bmljaCAo R2VybWFueSkgaW4gMjAwNDsKICAgICogVGFsbGlubiAoRXN0b25pYSkgaW4gMjAwNTsKICAgICog Tm90dGluZ2hhbSAoVUspIGluIDIwMDY7CiAgICAqIE5ldyBZb3JrIChVU0EpIGluIDIwMDc7CiAg ICAqIE5pam1lZ2VuIChUaGUgTmV0aGVybGFuZHMpIGluIDIwMDg7CiAgICAqIEtvbWFybm8gKFNs b3Zha2lhKSBpbiAyMDA5OwogICAgKiBPa2xhaG9tYSAoVVNBKSBpbiAyMDEwOwogICAgKiBNYWRy aWQgKFNwYWluKSBpbiAyMDExOwogICAgKiBTdC4gQW5kcmV3cyAoVUspIGluIDIwMTI7CiAgICAq IFByb3ZvIChVdGFoLCBVU0EpIGluIDIwMTM7CiAgICAqIFNvZXN0ZXJiZXJnIChUaGUgTmV0aGVy bGFuZHMpIGluIDIwMTQ7CiAgICAqIGFuZCBJbnJpYSBTb3BoaWEtQW50aXBvbGlzIChGcmFuY2Up IGluIDIwMTUuCkZvciBmdXJ0aGVyIGdlbmVyYWwgaW5mb3JtYXRpb24gYWJvdXQgVEZQIHBsZWFz ZSBzZWUgdGhlIFRGUCBob21lcGFnZS4KKGh0dHA6Ly93d3cudGlmcC5vcmcvKS4KCgo9PSBTQ09Q RSA9PQoKVGhlIHN5bXBvc2l1bSByZWNvZ25pemVzIHRoYXQgbmV3IHRyZW5kcyBtYXkgYXJpc2Ug dGhyb3VnaCB2YXJpb3VzCnJvdXRlcy4gIEFzIHBhcnQgb2YgdGhlIFN5bXBvc2l1bSdzIGZvY3Vz IG9uIHRyZW5kcyB3ZSB0aGVyZWZvcmUKaWRlbnRpZnkgdGhlIGZvbGxvd2luZyBmaXZlIGFydGlj bGUgY2F0ZWdvcmllcy4gSGlnaC1xdWFsaXR5IGFydGljbGVzCmFyZSBzb2xpY2l0ZWQgaW4gYW55 IG9mIHRoZXNlIGNhdGVnb3JpZXM6CgpSZXNlYXJjaCBBcnRpY2xlczogbGVhZGluZy1lZGdlLCBw cmV2aW91c2x5IHVucHVibGlzaGVkIHJlc2VhcmNoIHdvcmsKUG9zaXRpb24gQXJ0aWNsZXM6IG9u IHdoYXQgbmV3IHRyZW5kcyBzaG91bGQgb3Igc2hvdWxkIG5vdCBiZQpQcm9qZWN0IEFydGljbGVz OiBkZXNjcmlwdGlvbnMgb2YgcmVjZW50bHkgc3RhcnRlZCBuZXcgcHJvamVjdHMKRXZhbHVhdGlv biBBcnRpY2xlczogd2hhdCBsZXNzb25zIGNhbiBiZSBkcmF3biBmcm9tIGEgZmluaXNoZWQgcHJv amVjdApPdmVydmlldyBBcnRpY2xlczogc3VtbWFyaXppbmcgd29yayB3aXRoIHJlc3BlY3QgdG8g YSB0cmVuZHkgc3ViamVjdAoKQXJ0aWNsZXMgbXVzdCBiZSBvcmlnaW5hbCBhbmQgbm90IHNpbXVs dGFuZW91c2x5IHN1Ym1pdHRlZCBmb3IKcHVibGljYXRpb24gdG8gYW55IG90aGVyIGZvcnVtLiBU aGV5IG1heSBjb25zaWRlciBhbnkgYXNwZWN0IG9mCmZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmc6IHRo ZW9yZXRpY2FsLCBpbXBsZW1lbnRhdGlvbi1vcmllbnRlZCwgb3IKZXhwZXJpZW5jZS1vcmllbnRl ZC4gIEFwcGxpY2F0aW9ucyBvZiBmdW5jdGlvbmFsIHByb2dyYW1taW5nCnRlY2huaXF1ZXMgdG8g b3RoZXIgbGFuZ3VhZ2VzIGFyZSBhbHNvIHdpdGhpbiB0aGUgc2NvcGUgb2YgdGhlCnN5bXBvc2l1 bS4KClRvcGljcyBzdWl0YWJsZSBmb3IgdGhlIHN5bXBvc2l1bSBpbmNsdWRlLCBidXQgYXJlIG5v dCBsaW1pdGVkIHRvOgoKICAgICAgRnVuY3Rpb25hbCBwcm9ncmFtbWluZyBhbmQgbXVsdGljb3Jl L21hbnljb3JlIGNvbXB1dGluZwogICAgICBGdW5jdGlvbmFsIHByb2dyYW1taW5nIGluIHRoZSBj bG91ZAogICAgICBIaWdoIHBlcmZvcm1hbmNlIGZ1bmN0aW9uYWwgY29tcHV0aW5nCiAgICAgIEV4 dHJhLWZ1bmN0aW9uYWwgKGJlaGF2aW91cmFsKSBwcm9wZXJ0aWVzIG9mIGZ1bmN0aW9uYWwgcHJv Z3JhbXMKICAgICAgRGVwZW5kZW50bHkgdHlwZWQgZnVuY3Rpb25hbCBwcm9ncmFtbWluZwogICAg ICBWYWxpZGF0aW9uIGFuZCB2ZXJpZmljYXRpb24gb2YgZnVuY3Rpb25hbCBwcm9ncmFtcwogICAg ICBEZWJ1Z2dpbmcgYW5kIHByb2ZpbGluZyBmb3IgZnVuY3Rpb25hbCBsYW5ndWFnZXMKICAgICAg RnVuY3Rpb25hbCBwcm9ncmFtbWluZyBpbiBkaWZmZXJlbnQgYXBwbGljYXRpb24gYXJlYXM6CiAg ICAgICAgc2VjdXJpdHksIG1vYmlsaXR5LCB0ZWxlY29tbXVuaWNhdGlvbnMgYXBwbGljYXRpb25z LCBlbWJlZGRlZAogICAgICAgIHN5c3RlbXMsIGdsb2JhbCBjb21wdXRpbmcsIGdyaWRzLCBldGMu CiAgICAgIEludGVyb3BlcmFiaWxpdHkgd2l0aCBpbXBlcmF0aXZlIHByb2dyYW1taW5nIGxhbmd1 YWdlcwogICAgICBOb3ZlbCBtZW1vcnkgbWFuYWdlbWVudCB0ZWNobmlxdWVzCiAgICAgIFByb2dy YW0gYW5hbHlzaXMgYW5kIHRyYW5zZm9ybWF0aW9uIHRlY2huaXF1ZXMKICAgICAgRW1waXJpY2Fs IHBlcmZvcm1hbmNlIHN0dWRpZXMKICAgICAgQWJzdHJhY3QvdmlydHVhbCBtYWNoaW5lcyBhbmQg Y29tcGlsZXJzIGZvciBmdW5jdGlvbmFsIGxhbmd1YWdlcwogICAgICAoRW1iZWRkZWQpIGRvbWFp biBzcGVjaWZpYyBsYW5ndWFnZXMKICAgICAgTmV3IGltcGxlbWVudGF0aW9uIHN0cmF0ZWdpZXMK ICAgICAgQW55IG5ldyBlbWVyZ2luZyB0cmVuZCBpbiB0aGUgZnVuY3Rpb25hbCBwcm9ncmFtbWlu ZyBhcmVhCgpJZiB5b3UgYXJlIGluIGRvdWJ0IG9uIHdoZXRoZXIgeW91ciBhcnRpY2xlIGlzIHdp dGhpbiB0aGUgc2NvcGUgb2YKVEZQLCBwbGVhc2UgY29udGFjdCB0aGUgVEZQIDIwMTYgcHJvZ3Jh bSBjaGFpciwgRGF2aWQgVmFuIEhvcm4uCgoKPT0gQkVTVCBQQVBFUiBBV0FSRFMgPT0KClRvIHJl d2FyZCBleGNlbGxlbnQgY29udHJpYnV0aW9ucywgVEZQIGF3YXJkcyBhIHByaXplIGZvciB0aGUg YmVzdCBwYXBlcgphY2NlcHRlZCBmb3IgdGhlIGZvcm1hbCBwcm9jZWVkaW5ncy4KClRGUCB0cmFk aXRpb25hbGx5IHBheXMgc3BlY2lhbCBhdHRlbnRpb24gdG8gcmVzZWFyY2ggc3R1ZGVudHMsCmFj a25vd2xlZGdpbmcgdGhhdCBzdHVkZW50cyBhcmUgYWxtb3N0IGJ5IGRlZmluaXRpb24gcGFydCBv ZiBuZXcKc3ViamVjdCB0cmVuZHMuIEEgc3R1ZGVudCBwYXBlciBpcyBvbmUgZm9yIHdoaWNoIHRo ZSBhdXRob3JzIHN0YXRlCnRoYXQgdGhlIHBhcGVyIGlzIG1haW5seSB0aGUgd29yayBvZiBzdHVk ZW50cywgdGhlIHN0dWRlbnRzIGFyZSBsaXN0ZWQKYXMgZmlyc3QgYXV0aG9ycywgYW5kIGEgc3R1 ZGVudCB3b3VsZCBwcmVzZW50IHRoZSBwYXBlci4gQSBwcml6ZSBmb3IKdGhlIGJlc3Qgc3R1ZGVu dCBwYXBlciBpcyBhd2FyZGVkIGVhY2ggeWVhci4KCkluIGJvdGggY2FzZXMsIGl0IGlzIHRoZSBQ QyBvZiBURlAgdGhhdCBhd2FyZHMgdGhlIHByaXplLiBJbiBjYXNlIHRoZQpiZXN0IHBhcGVyIGhh cHBlbnMgdG8gYmUgYSBzdHVkZW50IHBhcGVyLCB0aGF0IHBhcGVyIHdpbGwgdGhlbiByZWNlaXZl CmJvdGggcHJpemVzLgoKCj09IFNQT05TT1JTID09CgpURlAgaXMgZmluYW5jaWFsbHkgc3VwcG9y dGVkIGJ5IEN5YmVyUG9pbnQsIEdhbG9pcywgVHJhaWwgb2YgQml0cywgYW5kCnRoZSBVbml2ZXJz aXR5IG9mIE1hcnlsYW5kIENvbXB1dGVyIFNjaWVuY2UgRGVwYXJ0bWVudC4KCgo9PSBQQVBFUiBT VUJNSVNTSU9OUyA9PQoKQWNjZXB0YW5jZSBvZiBhcnRpY2xlcyBmb3IgcHJlc2VudGF0aW9uIGF0 IHRoZSBzeW1wb3NpdW0gaXMgYmFzZWQgb24gYQpsaWdodHdlaWdodCBwZWVyIHJldmlldyBwcm9j ZXNzIG9mIGV4dGVuZGVkIGFic3RyYWN0cyAoNCB0byAxMCBwYWdlcwppbiBsZW5ndGgpIG9yIGZ1 bGwgcGFwZXJzICgyMCBwYWdlcykuIFRoZSBzdWJtaXNzaW9uIG11c3QgY2xlYXJseQppbmRpY2F0 ZSB3aGljaCBjYXRlZ29yeSBpdCBiZWxvbmdzIHRvOiByZXNlYXJjaCwgcG9zaXRpb24sIHByb2pl Y3QsCmV2YWx1YXRpb24sIG9yIG92ZXJ2aWV3IHBhcGVyLiBJdCBzaG91bGQgYWxzbyBpbmRpY2F0 ZSB3aGljaCBhdXRob3JzCmFyZSByZXNlYXJjaCBzdHVkZW50cywgYW5kIHdoZXRoZXIgdGhlIG1h aW4gYXV0aG9yKHMpIGFyZSBzdHVkZW50cy4gIEEKZHJhZnQgcGFwZXIgZm9yIHdoaWNoIEFMTCBh dXRob3JzIGFyZSBzdHVkZW50cyB3aWxsIHJlY2VpdmUgYWRkaXRpb25hbApmZWVkYmFjayBieSBv bmUgb2YgdGhlIFBDIG1lbWJlcnMgc2hvcnRseSBhZnRlciB0aGUgc3ltcG9zaXVtIGhhcwp0YWtl biBwbGFjZS4KCldlIHVzZSBFYXN5Q2hhaXIgZm9yIHRoZSByZWZlcmVlaW5nIHByb2Nlc3MuIFBh cGVycyBtdXN0IGJlIHN1Ym1pdHRlZCBhdDoKCiAgICBodHRwczovL2Vhc3ljaGFpci5vcmcvY29u ZmVyZW5jZXMvP2NvbmY9dGZwMjAxNgoKUGFwZXJzIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNo LCBhbmQgd3JpdHRlbiB1c2luZyB0aGUgTE5DUwpzdHlsZS4gRm9yIG1vcmUgaW5mb3JtYXRpb24g YWJvdXQgZm9ybWF0dGluZyBwbGVhc2UgY29uc3VsdCB0aGUKU3ByaW5nZXIgTE5DUyB3ZWIgc2l0 ZToKCmh0dHA6Ly93d3cuc3ByaW5nZXIuY29tL2NvbXB1dGVyL2xuY3M/U0dXSUQ9MC0xNjQtNi03 OTMzNDEtMAoKCj09IElNUE9SVEFOVCBEQVRFUyA9PQoKU3VibWlzc2lvbiBvZiBkcmFmdCBwYXBl cnM6ICAgICBBcHJpbCA4LCAyMDE2Ck5vdGlmaWNhdGlvbjogICAgICAgICAgICAgICAgICAgQXBy aWwgMTUsIDIwMTYKUmVnaXN0cmF0aW9uOiAgICAgICAgICAgICAgICAgICBNYXkgMTMsIDIwMTYK VEZQIFN5bXBvc2l1bTogICAgICAgICAgICAgICAgICBKdW5lIDgtMTAsIDIwMTYKU3R1ZGVudCBw YXBlcnMgZmVlZGJhY2s6ICAgICAgICBKdW5lIDE0LCAyMDE2ClN1Ym1pc3Npb24gZm9yIGZvcm1h bCByZXZpZXc6ICAgSnVseSAxNCwgMjAxNgpOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZTogICAg IFNlcHRlbWJlciAxNCwgMjAxNgpDYW1lcmEgcmVhZHkgcGFwZXI6ICAgICAgICAgICAgIE9jdG9i ZXIgMTQsIDIwMTYKCgo9PSBQUk9HUkFNIENPTU1JVFRFRSA9PQoKQW1hbCBBaG1lZCAgICAgICAg ICAgICAgTm9ydGhlYXN0ZXJuIFVuaXZlcnNpdHkgKFVTKQpOYWRhIEFtaW4gICAgICAgICAgICAg ICDDiWNvbGUgUG9seXRlY2huaXF1ZSBGw6lkw6lyYWxlIGRlIExhdXNhbm5lIChDSCkKS2VuaWNo aSBBc2FpICAgICAgICAgICAgT2NoYW5vbWl6dSBVbml2ZXJzaXR5IChKUCkKTWFsZ29yemF0YSBC aWVybmFja2EgICAgVW5pdmVyc2l0eSBvZiBXcm9jbGF3IChQTCkKTGF1cmEgQ2FzdHJvICAgICAg ICAgICAgVW5pdmVyc2l0eSBvZiBBIENvcnXDsWEgKEVTKQpSYXZpIENodWdoICAgICAgICAgICAg ICBVbml2ZXJzaXR5IG9mIENoaWNhZ28gKFVTKQpTaWx2aWEgR2hpbGV6YW4gICAgICAgICBVbml2 ZXJzaXR5IG9mIE5vdmkgU2FkIChTUikKQ2xlbWVucyBHcmVsY2sgICAgICAgICAgVW5pdmVyc2l0 eSBvZiBBbXN0ZXJkYW0gKE5MKQpKb2huIEh1Z2hlcyAgICAgICAgICAgICBDaGFsbWVycyBVbml2 ZXJzaXR5IG9mIFRlY2hub2xvZ3kgKFNFKQpTdXJlc2ggSmFnYW5uYXRoYW4gICAgICBQdXJkdWUg VW5pdmVyc2l0eSAoVVMpClBpZXRlciBLb29wbWFuICAgICAgICAgIFJhZGJvdWQgVW5pdmVyc2l0 eSBOaWptZWdlbiAoTkwpCkdlb2ZmcmV5IE1haW5sYW5kICAgICAgIERyZXhlbCBVbml2ZXJzaXR5 IChVUykKQ2hyaXMgTWFydGVucyAgICAgICAgICAgVW5pdmVyc2l0eSBvZiBDYWxpZm9ybmlhLCBT YW50YSBDcnV6IChVUykKSmF5IE1jQ2FydGh5ICAgICAgICAgICAgVW5pdmVyc2l0eSBvZiBNYXNz YWNodXNldHRzLCBMb3dlbGwgKFVTKQpIZWF0aGVyIE1pbGxlciAgICAgICAgICDDiWNvbGUgUG9s eXRlY2huaXF1ZSBGw6lkw6lyYWxlIGRlIExhdXNhbm5lIChDSCkKTWFudWVsIFNlcnJhbm8gICAg ICAgICAgSU5SSUEsIFNvcGhpYS1BbnRpcG9saXMgKEZSKQpTY290dCBTbWl0aCAgICAgICAgICAg ICBKb2hucyBIb3BraW5zIFVuaXZlcnNpdHkgKFVTKQrDiXJpYyBUYW50ZXIgICAgICAgICAgICAg VW5pdmVyc2l0eSBvZiBDaGlsZSAoQ0wpCkRhdmlkIFZhbiBIb3JuIChDaGFpcikgIFVuaXZlcnNp dHkgb2YgTWFyeWxhbmQgKFVTKQpOaWtpIFZhem91ICAgICAgICAgICAgICBVbml2ZXJzaXR5IG9m IENhbGlmb3JuaWEsIFNhbiBEaWVnbyAoVVMpClN0ZXBoYW5pZSBXZWlyaWNoICAgICAgIFVuaXZl cnNpdHkgb2YgUGVubnN5bHZhbmlhIChVUykKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fCkxwcm9sb2cgbWFpbGluZyBsaXN0Ckxwcm9sb2dAY3MudW1uLmVk dQpodHRwczovL3d3d3MuY3MudW1uLmVkdS9tbS1jcy9saXN0aW5mby9scHJvbG9n