2nd CfP: WLP 2016
Sibylle Schwarz <[email protected]> Tue, 31 May 2016 20:15:44 +0200
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <131496b5-838d-47bd-6497-f7b1b635603c__1155.70020066134$1464787970$gmane$org@htwk-leipzig.de> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQogICAgICAgICAgICAgICAgICAgICAgIFNFQ09ORCBDQUxMIEZPUiBQQVBF UlMKCiAgICAgICAgICAgICAzMHRoIFdvcmtzaG9wIG9uIExvZ2ljIFByb2dyYW1taW5nIChXTFAg MjAxNikKCiAgICAgICAgICAgTGVpcHppZywgR2VybWFueSwgU2VwdGVtYmVyIDEyIC0gMTMsIDIw MTYKCiAgICAgICAgICAgICAgICBodHRwOi8vbmZhLmltbi5odHdrLWxlaXB6aWcuZGUvV0xQMjAx NgoKCQkJICAgcGFydCBvZiB0aGUKICAgICAgICAgTGVpcHppZyBXZWVrIG9mIERlY2xhcmF0aXZl IFByb2dyYW1taW5nIChMLURFQykgMjAxNgoJICAgICAgICBodHRwOi8vbmZhLmltbi5odHdrLWxl aXB6aWcuZGUvTERFQzIwMTYKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKVGhlIFdvcmtzaG9wcyBvbiAoQ29uc3Ry YWludCkgTG9naWMgUHJvZ3JhbW1pbmcgYXJlIHRoZSBhbm51YWwgbWVldGluZwpvZiB0aGUgR2Vy bWFuIFNvY2lldHkgb2YgTG9naWMgUHJvZ3JhbW1pbmcgR2VzZWxsc2NoYWZ0IGbDvHIgTG9naXNj aGUKUHJvZ3JhbW1pZXJ1bmcgZS5WLiAoR0xQKSBhbmQgYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hl cnMgaW50ZXJlc3RlZAppbiBsb2dpYyBwcm9ncmFtbWluZywgY29uc3RyYWludCBwcm9ncmFtbWlu ZywgYW5zd2VyIHNldCBwcm9ncmFtbWluZywKYW5kIHJlbGF0ZWQgYXJlYXMgbGlrZSBkYXRhYmFz ZXMgYW5kIGFydGlmaWNpYWwgaW50ZWxsaWdlbmNlIChub3Qgb25seQpmcm9tIEdlcm1hbnkpLgoK VGhlIHdvcmtzaG9wcyBwcm92aWRlIGEgZm9ydW0gZm9yIGV4Y2hhbmdpbmcgaWRlYXMgb24gZGVj bGFyYXRpdmUKbG9naWMgcHJvZ3JhbW1pbmcsIG5vbm1vbm90b25pYyByZWFzb25pbmcgYW5kIGtu b3dsZWRnZQpyZXByZXNlbnRhdGlvbiwgYW5kIGZhY2lsaXRhdGUgaW50ZXJhY3Rpb25zIGJldHdl ZW4gcmVzZWFyY2ggaW4KdGhlb3JldGljYWwgZm91bmRhdGlvbnMgYW5kIGluIHRoZSBkZXNpZ24g YW5kIGltcGxlbWVudGF0aW9uIG9mCmxvZ2ljLWJhc2VkIHByb2dyYW1taW5nIHN5c3RlbXMuCgpD b250cmlidXRpb25zIGFyZSB3ZWxjb21lIG9uIGFsbCB0aGVvcmV0aWNhbCwgZXhwZXJpbWVudGFs LCBhbmQKYXBwbGljYXRpb24gYXNwZWN0cyBvZiBsb2dpYyBwcm9ncmFtbWluZyAoTFApIGFuZCBj b25zdHJhaW50CnByb2dyYW1taW5nIChDUCksIGluY2x1ZGluZywgYnV0IG5vdCBsaW1pdGVkIHRv IHRoZSBmb2xsb3dpbmcgYXJlYXM6CgpMb2dpYyBQcm9ncmFtbWluZyBhbmQgRXh0ZW5zaW9ucwoK KiBmb3VuZGF0aW9ucyBvZiBDUCBhbmQgTFAKKiBjb25zdHJhaW50IHNvbHZpbmcgYW5kIG9wdGlt aXNhdGlvbgoqIGZ1bmN0aW9uYWwgbG9naWMgcHJvZ3JhbW1pbmcsIG9iamVjdHMKKiBkeW5hbWlj cywgdXBkYXRlcywgc3RhdGVzLCB0cmFuc2FjdGlvbnMKKiBpbnRlcmFjdGlvbiBvZiBDUCBhbmQg TFAgd2l0aCBvdGhlciBmb3JtYWxpc21zIGxpa2UgYWdlbnRzLCBYTUwsIEpBVkEKKiBwYXJhbGxl bGlzbSBhbmQgY29uY3VycmVuY3kKKiBjb21wbGV4aXR5IGFuZCBleHByZXNzaXZlIHBvd2VyCiog cHJvZ3JhbSBhbmFseXNpcywgcHJvZ3JhbSB0cmFuc2Zvcm1hdGlvbiwgcHJvZ3JhbSB2ZXJpZmlj YXRpb24sCiAgbWV0YSBwcm9ncmFtbWluZwoKS25vd2xlZGdlIFJlcHJlc2VudGF0aW9uIGFuZCBO b25tb25vdG9uaWMgUmVhc29uaW5nCgoqIGRlZHVjdGl2ZSBkYXRhYmFzZXMsIGRhdGEgbWluaW5n CiogcnVsZS1iYXNlZCBzeXN0ZW1zCiogYWJkdWN0aXZlIGFuZCBpbmR1Y3RpdmUgbG9naWMgcHJv Z3JhbW1pbmcKKiBhbnN3ZXItc2V0IHByb2dyYW1taW5nCiogc2VtYW50aWNzIGFuZCBwcm9vZi10 aGVvcmV0aWNhbCBpbnZlc3RpZ2F0aW9ucwoKQXBwbGljYXRpb24gb2YgTG9naWMgUHJvZ3JhbW1p bmcKCiogbG9naWMgcHJvZ3JhbW1pbmcgaW4gcHJvZHVjdGlvbiwgbWFuYWdlbWVudCwgZW52aXJv bm1lbnQsIGVkdWNhdGlvbiwKICBtZWRpY2luZSwgaW50ZXJuZXQsIGV0Yy4KKiBDUC9MUCBmb3Ig U2VtYW50aWMgV2ViIGFwcGxpY2F0aW9ucyBhbmQgcmVhc29uaW5nIG9uIHRoZSBTZW1hbnRpYyBX ZWIKKiBkYXRhIG1vZGVsbGluZyBmb3IgdGhlIFdlYiwgc2VtaXN0cnVjdHVyZWQgZGF0YSwgYW5k IFdlYiBxdWVyeSBsYW5ndWFnZXMKCkltcGxlbWVudGF0aW9uIG9mIFN5c3RlbXMKCiogc3lzdGVt IGRlc2NyaXB0aW9ucywgY29tcGFyaXNvbnMsIGV2YWx1YXRpb25zLCBiZW5jaG1hcmtzCiogaW1w bGVtZW50YXRpb24gdGVjaG5pcXVlcwoqIHNvZnR3YXJlIHRlY2huaXF1ZXMgYW5kIHByb2dyYW1t aW5nIHN1cHBvcnQgKGUuZy4sIHR5cGVzLCBtb2R1bGFyaXR5LAogIGRlc2lnbiBwYXR0ZXJucywg ZGVidWdnaW5nLCB0ZXN0aW5nLCBzeXN0ZW1hdGljIHByb2dyYW0gZGV2ZWxvcG1lbnQpLgoKVGhl IHByaW1hcnkgZm9jdXMgaXMgb24gbmV3IGFuZCBvcmlnaW5hbCByZXNlYXJjaCByZXN1bHRzIGJ1 dApzdWJtaXNzaW9ucyBkZXNjcmliaW5nIGlubm92YXRpdmUgcHJvZHVjdHMsIHByb3RvdHlwZXMg dW5kZXIKZGV2ZWxvcG1lbnQsIGludGVyZXN0aW5nIGV4cGVyaW1lbnRzIChlLmcuLCBiZW5jaG1h cmtzKSBvciBvbmdvaW5nCnNjaWVudGlmaWMgd29yayBhcmUgYWxzbyBlbmNvdXJhZ2VkLgoKU3Vi bWlzc2lvbgo9PT09PT09PT09CkF1dGhvcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IGFuIGV4dGVu ZGVkIGFic3RyYWN0IChubyBsb25nZXIgdGhhbiAxNQpwYWdlcyBpbmNsdWRpbmcgZmlndXJlcyBh bmQgcmVmZXJlbmNlcykgb3IgYSBzeXN0ZW0gZGVzY3JpcHRpb24gKG5vCmxvbmdlciB0aGFuIDYg cGFnZXMpIGluIFBERiAoMTFwdCkgdmlhIEVhc3lDaGFpcgpodHRwOi8vd3d3LmVhc3ljaGFpci5v cmcvY29uZmVyZW5jZXMvP2NvbmY9d2xwMjAxNi4KCkFsbCBzdWJtaXNzaW9ucyBtdXN0IGJlIHVu cHVibGlzaGVkIG9yaWdpbmFsIHdvcmsuIEhvd2V2ZXIsIHdvcmsKdGhhdCBhbHJlYWR5IGFwcGVh cmVkIGluIHVucHVibGlzaGVkIG9yIGluZm9ybWFsbHkgcHVibGlzaGVkIHdvcmtzaG9wcwpwcm9j ZWVkaW5ncyBtYXkgYmUgc3VibWl0dGVkLCB0b28uCgpBbGwgc3VibWlzc2lvbnMgbXVzdCBiZSB3 cml0dGVuIGluIEVuZ2xpc2ggYW5kIHByZXBhcmVkIGluIEVQVENTIHN0eWxlCihodHRwOi8vc3R5 bGUuZXB0Y3Mub3JnKS4KClNlbGVjdGVkIHBhcGVycyB3aWxsIGJlIHB1Ymxpc2hlZCBlbGVjdHJv bmljYWxseSBpbgpqb2ludCBXTFAvIFdGTFAgcG9zdC1jb25mZXJlbmNlIHByb2NlZWRpbmdzIGlu IEVQVENTLgoKSW1wb3J0YW50IERhdGVzCj09PT09PT09PT09PT09PQpTdWJtaXNzaW9uIG9mIHBh cGVyczogICAgICAgICAgICAgICAgSnVuZSAxNSwgMjAxNiAoZXh0ZW5kZWQpCk5vdGlmaWNhdGlv biBvZiBhY2NlcHRhbmNlOiAgICAgICAgICBKdWx5IDE1LCAyMDE2CldvcmtzaG9wOiAgICAgICAg ICAgICAgICAgICAgICAgICAgICBTZXB0ZW1iZXIgMTIgLSAxMywgMjAxNgoKUHJvZ3JhbSBjb21t aXR0ZWUKPT09PT09PT09PT09PT09PT0KU3RlZmFuIEJyYXNzCQkJLSBVbml2LiBIYWxsZQpHZXJo YXJkCUJyZXdrYQkJCS0gVW5pdi4gTGVpcHppZwpNaWNoYWVsIEhhbnVzICAgICAJCS0gQ0FVIEtp ZWwKSGVpbnJpY2ggSGVycmUJCQktIFVuaXYuIExlaXB6aWcKU3RlZmZlbiBIw7ZsbGRvYmxlcgkJ LSBUVSBEcmVzZGVuClBldHJhIEhvZnN0ZWR0ICAgIAkgICAgICAJLSBCVFUgQ290dGJ1cwpVbHJp Y2ggSm9obiAJCQktIEhXVEsgQmVybGluCkdlb3JnIFJpbmd3ZWxza2kgICAgICAgICAgICAgICAg LSBIUyBaaXR0YXUvR8O2cmxpdHoKVG9yc3RlbiBTY2hhdWIJCQktIFVuaXYuIFBvdHNkYW0KU2li eWxsZSBTY2h3YXJ6IChjaGFpcikgIAktIEhUV0sgTGVpcHppZwpEaWV0bWFyIFNlaXBlbCAgICAJ CS0gVW5pdi4gV3VlcnpidXJnCgpXb3Jrc2hvcCBPcmdhbml6ZXIKPT09PT09PT09PT09PT09ClNp YnlsbGUgU2Nod2FyegpIb2Noc2NodWxlIGbDvHIgVGVjaG5paywgV2lydHNjaGFmdCB1bmQgS3Vs dHVyIExlaXB6aWcKRi1JTU4sIFBvc3RmYWNoIDMwMTE2NgowNDI1MSBMZWlwemlnCnNpYnlsbGUu c2Nod2FyekBodHdrLWxlaXB6aWcuZGUKaHR0cDovL3d3dy5pbW4uaHR3ay1sZWlwemlnLmRlL35z Y2h3YXJ6Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkxw cm9sb2cgbWFpbGluZyBsaXN0Ckxwcm9sb2dAY3MudW1uLmVkdQpodHRwczovL3d3d3MuY3MudW1u LmVkdS9tbS1jcy9saXN0aW5mby9scHJvbG9n