WST 2018 - 2nd Call for Papers (submission: April 15, 2018)

Salvador Lucas <[email protected]> Tue, 3 Apr 2018 09:02:38 +0200
Newsgroups gmane.comp.lang.ml.mlton.user
Message-ID <e72b04e2-65a9-ca55-ad4f-c8ed333a2d23__2589.51562359488$1522751619$gmane$org@dsic.upv.es>
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT0KIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgIFdTVCAyMDE4IC0gQ2FsbCBmb3IgUGFwZXJzCiDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqAgMTZ0aCBJbnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uIFRlcm1p
bmF0aW9uCgogwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgSnVseSAxOC0x
OSwgMjAxNywgT3hmb3JkLCBVbml0ZWQgS2luZ2RvbQogwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgaHR0cDovL3dzdDIwMTgud2Vicy51cHYuZXMvCgo9
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PQoKVGhlIFdvcmtzaG9wIG9uIFRlcm1pbmF0aW9uIChXU1QpIHRyYWRp
dGlvbmFsbHkgYnJpbmdzIHRvZ2V0aGVyLCBpbiBhbgppbmZvcm1hbCBzZXR0aW5nLCByZXNlYXJj
aGVycyBpbnRlcmVzdGVkIGluIGFsbCBhc3BlY3RzIG9mIHRlcm1pbmF0aW9uLAp3aGV0aGVyIHRo
aXMgaW50ZXJlc3QgYmUgcHJhY3RpY2FsIG9yIHRoZW9yZXRpY2FsLCBwcmltYXJ5IG9yIGRlcml2
ZWQuClRoZSB3b3Jrc2hvcCBhbHNvIHByb3ZpZGVzIGEgZ3JvdW5kIGZvciBjcm9zcy1mZXJ0aWxp
emF0aW9uIG9mIGlkZWFzIGZyb20KdGhlIGRpZmZlcmVudCBjb21tdW5pdGllcyBpbnRlcmVzdGVk
IGluIHRlcm1pbmF0aW9uIChlLmcuLCB3b3JraW5nIG9uCmNvbXB1dGF0aW9uYWwgbWVjaGFuaXNt
cywgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLCBzb2Z0d2FyZSBlbmdpbmVlcmluZywKY29uc3RyYWlu
dCBzb2x2aW5nLCBldGMuKS4gVGhlIGZyaWVuZGx5IGF0bW9zcGhlcmUgZW5hYmxlcyBmcnVpdGZ1
bApleGNoYW5nZXMgbGVhZGluZyB0byBqb2ludCByZXNlYXJjaCBhbmQgc3Vic2VxdWVudCBwdWJs
aWNhdGlvbnMuCgpUaGUgd29ya3Nob3AgaXMgaGVsZCBhcyBwYXJ0IG9mIHRoZSAyMDE4IEZlZGVy
YXRlZCBMb2dpYyBDb25mZXJlbmNlCihGTG9DIDIwMTgpCgogwqDCoMKgwqDCoMKgwqDCoMKgIGh0
dHA6Ly93d3cuZmxvYzIwMTgub3JnLwoKSU1QT1JUQU5UIERBVEVTOgogwqAqIHN1Ym1pc3Npb24g
ZGVhZGxpbmU6wqAgQXByaWwgMTUsIDIwMTgKIMKgKiBub3RpZmljYXRpb246wqDCoMKgwqDCoMKg
wqDCoCBNYXkgMTUsIDIwMTgKIMKgKiBmaW5hbCB2ZXJzaW9uIGR1ZTrCoMKgwqAgTWF5IDMxLCAy
MDE4CiDCoCogd29ya3Nob3A6wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIEp1bHkgMTgtMTksIDIw
MTgKClRPUElDUzogVGhlIDE2dGggSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbiBUZXJtaW5hdGlv
biB3ZWxjb21lcwpjb250cmlidXRpb25zIG9uIGFsbCBhc3BlY3RzIG9mIHRlcm1pbmF0aW9uLiBJ
biBwYXJ0aWN1bGFyLCBwYXBlcnMKaW52ZXN0aWdhdGluZyBhcHBsaWNhdGlvbnMgb2YgdGVybWlu
YXRpb24gKGZvciBleGFtcGxlIGluIGNvbXBsZXhpdHkKYW5hbHlzaXMsIHByb2dyYW0gYW5hbHlz
aXMgYW5kIHRyYW5zZm9ybWF0aW9uLCB0aGVvcmVtIHByb3ZpbmcsIHByb2dyYW0KY29ycmVjdG5l
c3MsIG1vZGVsaW5nIGNvbXB1dGF0aW9uYWwgc3lzdGVtcywgZXRjLikgYXJlIHZlcnkgd2VsY29t
ZS4KClRvcGljcyBvZiBpbnRlcmVzdCBpbmNsdWRlIChidXQgYXJlIG5vdCBsaW1pdGVkIHRvKToK
IMKgKiBhYnN0cmFjdGlvbiBtZXRob2RzIGluIHRlcm1pbmF0aW9uIGFuYWx5c2lzCiDCoCogY2Vy
dGlmaWNhdGlvbiBvZiB0ZXJtaW5hdGlvbiBhbmQgY29tcGxleGl0eSBwcm9vZnMKIMKgKiBjaGFs
bGVuZ2luZyB0ZXJtaW5hdGlvbiBwcm9ibGVtcwogwqAqIGNvbXBhcmlzb24gYW5kIGNsYXNzaWZp
Y2F0aW9uIG9mIHRlcm1pbmF0aW9uIG1ldGhvZHMKIMKgKiBjb21wbGV4aXR5IGFuYWx5c2lzIGlu
IGFueSBkb21haW4KIMKgKiBpbXBsZW1lbnRhdGlvbiBvZiB0ZXJtaW5hdGlvbiBtZXRob2RzCiDC
oCogbm9uLXRlcm1pbmF0aW9uIGFuYWx5c2lzIGFuZCBsb29wIGRldGVjdGlvbgogwqAqIG5vcm1h
bGl6YXRpb24gYW5kIGluZmluaXRhcnkgbm9ybWFsaXphdGlvbgogwqAqIG9wZXJhdGlvbmFsIHRl
cm1pbmF0aW9uIG9mIGxvZ2ljLWJhc2VkIHN5c3RlbXMKIMKgKiBvcmRpbmFsIG5vdGF0aW9uIGFu
ZCBzdWJyZWN1cnNpdmUgaGllcmFyY2hpZXMKIMKgKiBTQVQsIFNNVCwgYW5kIGNvbnN0cmFpbnQg
c29sdmluZyBmb3IgKG5vbi0pdGVybWluYXRpb24gYW5hbHlzaXMKIMKgKiBzY2FsYWJpbGl0eSBh
bmQgbW9kdWxhcml0eSBvZiB0ZXJtaW5hdGlvbiBtZXRob2RzCiDCoCogdGVybWluYXRpb24gYW5h
bHlzaXMgaW4gYW55IGRvbWFpbiAobGFtYmRhIGNhbGN1bHVzLCBkZWNsYXJhdGl2ZQogwqDCoCBw
cm9ncmFtbWluZywgcmV3cml0aW5nLCB0cmFuc2l0aW9uIHN5c3RlbXMsIGV0Yy4pCiDCoCogd2Vs
bC1mb3VuZGVkIHJlbGF0aW9ucyBhbmQgd2VsbC1xdWFzaS1vcmRlcnMKCkNPTVBFVElUSU9OOiBT
aW5jZSAyMDAzLCB0aGUgY2F0YWx5dGljIGVmZmVjdCBvZiBXU1QgdG8gc3RpbXVsYXRlCm5ldyBy
ZXNlYXJjaCBvbiB0ZXJtaW5hdGlvbiBoYXMgYmVlbiBlbmhhbmNlZCBieSB0aGUgY2VsZWJyYXRp
b24Kb2YgdGhlIFRlcm1pbmF0aW9uIENvbXBldGl0aW9uIGFuZCBpdHMgY29udGludW91c2x5IGRl
dmVsb3BpbmcKcHJvYmxlbSBkYXRhYmFzZXMgY29udGFpbmluZyB0aG91c2FuZHMgb2YgcHJvZ3Jh
bXMgYXMgY2hhbGxlbmdlcwpmb3IgdGVybWluYXRpb24gYW5hbHlzaXMgaW4gZGlmZmVyZW50IGNh
dGVnb3JpZXMsIHNlZQoKIMKgwqAgaHR0cDovL3Rlcm1pbmF0aW9uLXBvcnRhbC5vcmcvd2lraS9U
ZXJtaW5hdGlvbl9Db21wZXRpdGlvbgoKSW4gMjAxOCwgdGhlIFRlcm1pbmF0aW9uIENvbXBldGl0
aW9uIHdpbGwgcnVuIGluIHBhcmFsbGVsIHdpdGggRkxvQyAyMDE4LgpNb3JlIGRldGFpbHMgd2ls
bCBiZSBwcm92aWRlZCBpbiBhIGRlZGljYXRlZCBhbm5vdW5jZW1lbnQgb24gdGhlCmNvbXBldGl0
aW9uLgoKUFJPR1JBTSBDT01NSVRURUU6CiDCoMKgwqAgQ3Jpc3RpbmEgQm9ycmFsbGVyYXMgLSBV
LiBkZSBWaWMKIMKgwqDCoCBVZ28gRGFsIExhZ28gLSBVLiBkZWdsaSBTdHVkaSBkaSBCb2xvZ25h
CiDCoMKgwqAgQ2Fyc3RlbiBGdWhzIC0gQmlya2JlY2ssIFUuIG9mIExvbmRvbgogwqDCoMKgIFNh
bWlyIEdlbmFpbSAtIFUuIENvbXBsdXRlbnNlIGRlIE1hZHJpZAogwqDCoMKgIEp1ZXJnZW4gR2ll
c2wgLSBSV1RIIEFhY2hlbgogwqDCoMKgIFJhdWwgR3V0acOpcnJleiAtIFUuIFBvbGl0ZWNuaWNh
IGRlIFZhbMOobmNpYQogwqDCoMKgIEtlaWljaGlyb3UgS3VzYWthcmkgLSBHaWZ1IFVuaXZlcnNp
dHkKIMKgwqDCoCBTYWx2YWRvciBMdWNhcyAoY2hhaXIpIC0gVS4gUG9saXRlY25pY2EgZGUgVmFs
ZW5jaWEKIMKgwqDCoCBGcmVkIE1lc25hcmQgLSBVLiBkZSBMYSBSZXVuaW9uCiDCoMKgwqAgQWFy
dCBNaWRkZWxkb3JwIC0gVS4gb2YgSW5uc2JydWNrCiDCoMKgwqAgQWxiZXJ0IFJ1YmlvIC0gVS4g
UG9saXRlY25pY2EgZGUgQ2F0YWx1bnlhCiDCoMKgwqAgUmVuZSBUaGllbWFubiAtIFUuIG9mIElu
bnNicnVjawogwqDCoMKgIENhdGVyaW5hIFVyYmFuIC0gRVRIIFrDvHJpY2gKCklOVklURUQgU1BF
QUtFUlM6CiDCoMKgwqAgdGJhCgpTVUJNSVNTSU9OOiBTdWJtaXNzaW9ucyBhcmUgc2hvcnQgcGFw
ZXJzL2V4dGVuZGVkIGFic3RyYWN0cyB3aGljaApzaG91bGQgbm90IGV4Y2VlZCA1IHBhZ2VzLiBU
aGVyZSB3aWxsIGJlIG5vIGZvcm1hbCByZXZpZXdpbmcuIEluCnBhcnRpY3VsYXIsIHdlIHdlbGNv
bWUgc2hvcnQgdmVyc2lvbnMgb2YgcmVjZW50bHkgcHVibGlzaGVkIGFydGljbGVzCmFuZCBwYXBl
cnMgc3VibWl0dGVkIGVsc2V3aGVyZS4gVGhlIHByb2dyYW0gY29tbWl0dGVlIGNoZWNrcyByZWxl
dmFuY2UKYW5kIHByb3ZpZGVzIGFkZGl0aW9uYWwgZmVlZGJhY2sgZm9yIGVhY2ggc3VibWlzc2lv
bi4gVGhlIGFjY2VwdGVkCnBhcGVycyB3aWxsIGJlIG1hZGUgYXZhaWxhYmxlIGVsZWN0cm9uaWNh
bGx5IGJlZm9yZSB0aGUgd29ya3Nob3AuCgpQYXBlcnMgc2hvdWxkIGJlIHN1Ym1pdHRlZCBlbGVj
dHJvbmljYWxseSB2aWEgdGhlIHN1Ym1pc3Npb24gcGFnZToKCiDCoMKgwqAgaHR0cHM6Ly9lYXN5
Y2hhaXIub3JnL2NvbmZlcmVuY2VzLz9jb25mPXdzdDIwMTgKClBsZWFzZSwgdXNlIExhVGVYIGFu
ZCB0aGUgTElQSWNzIHN0eWxlIGZpbGUKCiDCoMKgwqAgaHR0cDovL2Ryb3BzLmRhZ3N0dWhsLmRl
L3N0eWxlcy9saXBpY3MvbGlwaWNzLWF1dGhvcnMudGd6Cgp0byBwcmVwYXJlIHlvdXIgc3VibWlz
c2lvbi4KCi0tIApZb3UgcmVjZWl2ZWQgdGhpcyBtZXNzYWdlIGJlY2F1c2UgeW91IGFyZSBzdWJz
Y3JpYmVkIHRvIHRoZSBHb29nbGUgR3JvdXBzICJNTHRvbi11c2VyIiBncm91cC4KVG8gdW5zdWJz
Y3JpYmUgZnJvbSB0aGlzIGdyb3VwIGFuZCBzdG9wIHJlY2VpdmluZyBlbWFpbHMgZnJvbSBpdCwg
c2VuZCBhbiBlbWFpbCB0byBtbHRvbi11c2VyK3Vuc3Vic2NyaWJlQG1sdG9uLm9yZy4KCgotLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0KQ2hlY2sgb3V0IHRoZSB2aWJyYW50IHRlY2ggY29tbXVuaXR5IG9u
IG9uZSBvZiB0aGUgd29ybGQncyBtb3N0CmVuZ2FnaW5nIHRlY2ggc2l0ZXMsIFNsYXNoZG90Lm9y
ZyEgaHR0cDovL3NkbS5saW5rL3NsYXNoZG90Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fCk1MdG9uLXVzZXIgbWFpbGluZyBsaXN0Ck1MdG9uLXVzZXJAbGlz
dHMuc291cmNlZm9yZ2UubmV0OyBtbHRvbi11c2VyQG1sdG9uLm9yZwpodHRwczovL2xpc3RzLnNv
dXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9tbHRvbi11c2VyCg==