2nd CfP: IFL 2016 (28th Symposium on Implementation and Application of Functional Languages)

--===============0694938359==
Content-Type: multipart/alternative; boundary=94eb2c0b8ce07773500536e0c1ad

--94eb2c0b8ce07773500536e0c1ad
Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes
Content-Transfer-Encoding: base64

SGVsbG8sDQoNClBsZWFzZSwgZmluZCBiZWxvdyB0aGUgc2Vjb25kIGNhbGwgZm9yIHBhcGVycyBm
b3IgSUZMIDIwMTYuDQpQbGVhc2UgZm9yd2FyZCB0aGVzZSB0byBhbnlvbmUgeW91IHRoaW5rIG1h
eSBiZSBpbnRlcmVzdGVkLg0KQXBvbG9naWVzIGZvciBhbnkgZHVwbGljYXRlcyB5b3UgbWF5IHJl
Y2VpdmUuDQoNCmJlc3QgcmVnYXJkcywNCkp1cnJpYWFuIEhhZ2UNClB1YmxpY2l0eSBDaGFpciBv
ZiBJRkwNCg0KLS0tDQoNCklGTCAyMDE2IC0gMm5kIENhbGwgZm9yIHBhcGVycw0KDQoyOHRoIFNZ
TVBPU0lVTSBPTiBJTVBMRU1FTlRBVElPTiBBTkQgQVBQTElDQVRJT04gT0YgRlVOQ1RJT05BTCBM
QU5HVUFHRVMgLQ0KSUZMIDIwMTYNCg0KS1UgTGV1dmVuLCBCZWxnaXVtDQoNCkluIGNvb3BlcmF0
aW9uIHdpdGggQUNNIFNJR1BMQU4NCg0KQXVndXN0IDMxIC0gU2VwdGVtYmVyIDIsIDIwMTYNCg0K
aHR0cHM6Ly9kdGFpLmNzLmt1bGV1dmVuLmJlL2V2ZW50cy9pZmwyMDE2Lw0KDQpTY29wZQ0KDQpU
aGUgZ29hbCBvZiB0aGUgSUZMIHN5bXBvc2lhIGlzIHRvIGJyaW5nIHRvZ2V0aGVyIHJlc2VhcmNo
ZXJzIGFjdGl2ZWx5DQplbmdhZ2VkDQppbiB0aGUgaW1wbGVtZW50YXRpb24gYW5kIGFwcGxpY2F0
aW9uIG9mIGZ1bmN0aW9uYWwgYW5kIGZ1bmN0aW9uLWJhc2VkDQpwcm9ncmFtbWluZyBsYW5ndWFn
ZXMuIElGTCAyMDE2IHdpbGwgYmUgYSB2ZW51ZSBmb3IgcmVzZWFyY2hlcnMgdG8gcHJlc2VudA0K
YW5kDQpkaXNjdXNzIG5ldyBpZGVhcyBhbmQgY29uY2VwdHMsIHdvcmsgaW4gcHJvZ3Jlc3MsIGFu
ZCBwdWJsaWNhdGlvbi1yaXBlDQpyZXN1bHRzDQpyZWxhdGVkIHRvIHRoZSBpbXBsZW1lbnRhdGlv
biBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBsYW5ndWFnZXMgYW5kDQpmdW5jdGlvbi1i
YXNlZCBwcm9ncmFtbWluZy4NCg0KUGVlci1yZXZpZXcNCg0KRm9sbG93aW5nIHRoZSBJRkwgdHJh
ZGl0aW9uLCBJRkwgMjAxNiB3aWxsIHVzZSBhIHBvc3Qtc3ltcG9zaXVtIHJldmlldw0KcHJvY2Vz
cw0KdG8gcHJvZHVjZSB0aGUgZm9ybWFsIHByb2NlZWRpbmdzLiBBbGwgcGFydGljaXBhbnRzIG9m
IElGTCAyMDE2IGFyZSBpbnZpdGVkDQp0bw0Kc3VibWl0IGVpdGhlciBhIGRyYWZ0IHBhcGVyIG9y
IGFuIGV4dGVuZGVkIGFic3RyYWN0IGRlc2NyaWJpbmcgd29yayB0byBiZQ0KcHJlc2VudGVkIGF0
IHRoZSBzeW1wb3NpdW0uIEF0IG5vIHRpbWUgbWF5IHdvcmsgc3VibWl0dGVkIHRvIElGTCBiZQ0K
c2ltdWx0YW5lb3VzbHkgc3VibWl0dGVkIHRvIG90aGVyIHZlbnVlczsgc3VibWlzc2lvbnMgbXVz
dCBhZGhlcmUgdG8gQUNNDQpTSUdQTEFOJ3MgcmVwdWJsaWNhdGlvbiBwb2xpY3k6DQoNCmh0dHA6
Ly93d3cuc2lncGxhbi5vcmcvUmVzb3VyY2VzL1BvbGljaWVzL1JlcHVibGljYXRpb24NCg0KVGhl
IHN1Ym1pc3Npb25zIHdpbGwgYmUgc2NyZWVuZWQgYnkgdGhlIHByb2dyYW0gY29tbWl0dGVlIGNo
YWlyIHRvIG1ha2Ugc3VyZQ0KdGhleSBhcmUgd2l0aGluIHRoZSBzY29wZSBvZiBJRkwsIGFuZCB3
aWxsIGFwcGVhciBpbiB0aGUgZHJhZnQgcHJvY2VlZGluZ3MNCmRpc3RyaWJ1dGVkIGF0IHRoZSBz
eW1wb3NpdW0uIFN1Ym1pc3Npb25zIGFwcGVhcmluZyBpbiB0aGUgZHJhZnQgcHJvY2VlZGluZ3MN
CmFyZSBub3QgcGVlci1yZXZpZXdlZCBwdWJsaWNhdGlvbnMuIEhlbmNlLCBwdWJsaWNhdGlvbnMg
dGhhdCBhcHBlYXIgb25seSBpbg0KdGhlDQpkcmFmdCBwcm9jZWVkaW5ncyBhcmUgbm90IHN1Ympl
Y3QgdG8gdGhlIEFDTSBTSUdQTEFOIHJlcHVibGljYXRpb24gcG9saWN5Lg0KQWZ0ZXIgdGhlIHN5
bXBvc2l1bSwgYXV0aG9ycyB3aWxsIGJlIGdpdmVuIHRoZSBvcHBvcnR1bml0eSB0byBpbmNvcnBv
cmF0ZQ0KdGhlDQpmZWVkYmFjayBmcm9tIGRpc2N1c3Npb25zIGF0IHRoZSBzeW1wb3NpdW0gYW5k
IHdpbGwgYmUgaW52aXRlZCB0byBzdWJtaXQgYQ0KcmV2aXNlZCBmdWxsIGFydGljbGUgZm9yIHRo
ZSBmb3JtYWwgcmV2aWV3IHByb2Nlc3MuIEZyb20gdGhlIHJldmlzZWQNCnN1Ym1pc3Npb25zLCB0
aGUgcHJvZ3JhbSBjb21taXR0ZWUgd2lsbCBzZWxlY3QgcGFwZXJzIGZvciB0aGUgZm9ybWFsDQpw
cm9jZWVkaW5ncyBjb25zaWRlcmluZyB0aGVpciBjb3JyZWN0bmVzcywgbm92ZWx0eSwgb3JpZ2lu
YWxpdHksIHJlbGV2YW5jZSwNCnNpZ25pZmljYW5jZSwgYW5kIGNsYXJpdHkuIFRoZSBmb3JtYWwg
cHJvY2VlZGluZ3Mgd2lsbCBhcHBlYXIgaW4gdGhlDQpJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ug
UHJvY2VlZGluZ3MgU2VyaWVzIG9mIHRoZSBBQ00gRGlnaXRhbCBMaWJyYXJ5Lg0KDQpJbXBvcnRh
bnQgZGF0ZXMNCg0KQXVndXN0IDE6IFN1Ym1pc3Npb24gZGVhZGxpbmUgZHJhZnQgcGFwZXJzDQpB
dWd1c3QgMzogTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2UgZm9yIHByZXNlbnRhdGlvbg0KQXVn
dXN0IDU6IEVhcmx5IHJlZ2lzdHJhdGlvbiBkZWFkbGluZQ0KQXVndXN0IDEyOiBMYXRlIHJlZ2lz
dHJhdGlvbiBkZWFkbGluZQ0KQXVndXN0IDIyOiBTdWJtaXNzaW9uIGRlYWRsaW5lIGZvciBwcmUt
c3ltcG9zaXVtIHByb2NlZWRpbmdzDQpBdWd1c3QgMzEgLSBTZXB0ZW1iZXIgMjogSUZMIFN5bXBv
c2l1bQ0KRGVjZW1iZXIgMTogU3VibWlzc2lvbiBkZWFkbGluZSBmb3IgcG9zdC1zeW1wb3NpdW0g
cHJvY2VlZGluZ3MNCkphbnVhcnkgMzEsIDIwMTc6IE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNl
IGZvciBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5ncw0KTWFyY2ggMTUsIDIwMTc6IENhbWVyYS1y
ZWFkeSB2ZXJzaW9uIGZvciBwb3N0LXN5bXBvc2l1bSBwcm9jZWVkaW5ncw0KDQpTdWJtaXNzaW9u
IGRldGFpbHMNCg0KUHJvc3BlY3RpdmUgYXV0aG9ycyBhcmUgZW5jb3VyYWdlZCB0byBzdWJtaXQg
cGFwZXJzIG9yIGV4dGVuZGVkIGFic3RyYWN0cw0KdG8gYmUNCnB1Ymxpc2hlZCBpbiB0aGUgZHJh
ZnQgcHJvY2VlZGluZ3MgYW5kIHRvIHByZXNlbnQgdGhlbSBhdCB0aGUgc3ltcG9zaXVtLiBBbGwN
CmNvbnRyaWJ1dGlvbnMgbXVzdCBiZSB3cml0dGVuIGluIEVuZ2xpc2guIFBhcGVycyBtdXN0IHVz
ZSB0aGUgbmV3IEFDTSB0d28NCmNvbHVtbnMgY29uZmVyZW5jZSBmb3JtYXQsIHdoaWNoIGNhbiBi
ZSBmb3VuZCBhdDoNCg0KaHR0cDovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wcm9jZWVkaW5n
cy10ZW1wbGF0ZQ0KDQpGb3IgdGhlIHByZS1zeW1wb3NpdW0gcHJvY2VlZGluZ3Mgd2UgYWRvcHQg
YSAnd2VhaycgcGFnZSBsaW1pdCBvZiAxMiBwYWdlcy4NCkZvcg0KdGhlIHBvc3Qtc3ltcG9zaXVt
IHByb2NlZWRpbmdzIHRoZSBwYWdlIGxpbWl0IG9mIDEyIHBhZ2VzIGlzIGZpcm0uDQoNCkF1dGhv
cnMgc3VibWl0IHRocm91Z2ggRWFzeUNoYWlyOg0KDQpodHRwczovL2Vhc3ljaGFpci5vcmcvY29u
ZmVyZW5jZXMvP2NvbmY9aWZsMjAxNg0KDQpUb3BpY3MNCg0KSUZMIHdlbGNvbWVzIHN1Ym1pc3Np
b25zIGRlc2NyaWJpbmcgcHJhY3RpY2FsIGFuZCB0aGVvcmV0aWNhbCB3b3JrIGFzIHdlbGwNCmFz
DQpzdWJtaXNzaW9ucyBkZXNjcmliaW5nIGFwcGxpY2F0aW9ucyBhbmQgdG9vbHMgaW4gdGhlIGNv
bnRleHQgb2YgZnVuY3Rpb25hbA0KcHJvZ3JhbW1pbmcuIElmIHlvdSBhcmUgbm90IHN1cmUgd2hl
dGhlciB5b3VyIHdvcmsgaXMgYXBwcm9wcmlhdGUgZm9yIElGTA0KMjAxNiwNCnBsZWFzZSBjb250
YWN0IHRoZSBQQyBjaGFpciBhdCB0b20uc2NocmlqdmVyc0Bjcy5rdWxldXZlbi5iZS4gVG9waWNz
IG9mDQppbnRlcmVzdCBpbmNsdWRlLA0KYnV0IGFyZSBub3QgbGltaXRlZCB0bzoNCg0KLSBsYW5n
dWFnZSBjb25jZXB0cw0KLSB0eXBlIHN5c3RlbXMsIHR5cGUgY2hlY2tpbmcsIHR5cGUgaW5mZXJl
bmNpbmcNCi0gY29tcGlsYXRpb24gdGVjaG5pcXVlcw0KLSBzdGFnZWQgY29tcGlsYXRpb24NCi0g
cnVuLXRpbWUgZnVuY3Rpb24gc3BlY2lhbGl6YXRpb24NCi0gcnVuLXRpbWUgY29kZSBnZW5lcmF0
aW9uDQotIHBhcnRpYWwgZXZhbHVhdGlvbg0KLSAoYWJzdHJhY3QpIGludGVycHJldGF0aW9uDQot
IG1ldGFwcm9ncmFtbWluZw0KLSBnZW5lcmljIHByb2dyYW1taW5nDQotIGF1dG9tYXRpYyBwcm9n
cmFtIGdlbmVyYXRpb24NCi0gYXJyYXkgcHJvY2Vzc2luZw0KLSBjb25jdXJyZW50L3BhcmFsbGVs
IHByb2dyYW1taW5nDQotIGNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3JhbSBleGVjdXRpb24NCi0g
ZW1iZWRkZWQgc3lzdGVtcw0KLSB3ZWIgYXBwbGljYXRpb25zDQotIChlbWJlZGRlZCkgZG9tYWlu
IHNwZWNpZmljIGxhbmd1YWdlcw0KLSBzZWN1cml0eQ0KLSBub3ZlbCBtZW1vcnkgbWFuYWdlbWVu
dCB0ZWNobmlxdWVzDQotIHJ1bi10aW1lIHByb2ZpbGluZyBwZXJmb3JtYW5jZSBtZWFzdXJlbWVu
dHMNCi0gZGVidWdnaW5nIGFuZCB0cmFjaW5nDQotIHZpcnR1YWwvYWJzdHJhY3QgbWFjaGluZSBh
cmNoaXRlY3R1cmVzDQotIHZhbGlkYXRpb24sIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFsIHBy
b2dyYW1zDQotIHRvb2xzIGFuZCBwcm9ncmFtbWluZyB0ZWNobmlxdWVzDQotIChpbmR1c3RyaWFs
KSBhcHBsaWNhdGlvbnMNCg0KUGV0ZXIgTGFuZGluIFByaXplDQoNClRoZSBQZXRlciBMYW5kaW4g
UHJpemUgaXMgYXdhcmRlZCB0byB0aGUgYmVzdCBwYXBlciBwcmVzZW50ZWQgYXQgdGhlDQpzeW1w
b3NpdW0NCmV2ZXJ5IHllYXIuIFRoZSBob25vcmVkIGFydGljbGUgaXMgc2VsZWN0ZWQgYnkgdGhl
IHByb2dyYW0gY29tbWl0dGVlIGJhc2VkDQpvbg0KdGhlIHN1Ym1pc3Npb25zIHJlY2VpdmVkIGZv
ciB0aGUgZm9ybWFsIHJldmlldyBwcm9jZXNzLiBUaGUgcHJpemUgY2FycmllcyBhDQpjYXNoIGF3
YXJkIGVxdWl2YWxlbnQgdG8gMTUwIEV1cm9zLg0KDQpQcm9ncmFtbWUgY29tbWl0dGVlDQoNCkNo
YWlyOiBUb20gU2NocmlqdmVycywgS1UgTGV1dmVuLCBCZWxnaXVtDQoNCi0gU2FuZHJpbmUgQmxh
enksIFVuaXZlcnNpdHkgb2YgUmVubmVzIDEsIEZyYW5jZQ0KLSBMYXVyYSBDYXN0cm8sIFVuaXZl
cnNpdHkgb2YgQSBDb3J1w7FhLCBTcGFpbg0KLSBKYWNxdWVzLCBHYXJyaWd1ZSwgTmFnb3lhIFVu
aXZlcnNpdHksIEphcGFuDQotIENsZW1lbnMgR3JlbGNrLCBVbml2ZXJzaXR5IG9mIEFtc3RlcmRh
bSwgVGhlIE5ldGhlcmxhbmRzDQotIFpvbHRhbiBIb3J2YXRoLCBFb3R2b3MgTG9yYW5kIFVuaXZl
cnNpdHksIEh1bmdhcnkNCi0gSmFuIE1hcnRpbiBKYW5zZW4sIE5ldGhlcmxhbmRzIERlZmVuY2Ug
QWNhZGVteSwgVGhlIE5ldGhlcmxhbmRzDQotIE1hdXJvIEphc2tlbGlvZmYsIENJRkFTSVMvVW5p
dmVyc2lkYWQgTmFjaW9uYWwgZGUgUm9zYXJpbywgQXJnZW50aW5hDQotIFBhdHJpY2lhIEpvaGFu
biwgQXBwYWxhY2hpYW4gU3RhdGUgVW5pdmVyc2l0eSwgVVNBDQotIFdvbGZyYW0gS2FobCwgTWNN
YXN0ZXIgVW5pdmVyc2l0eSwgQ2FuYWRhDQotIFBpZXRlciBLb29wbWFuLCBSYWRib3VkIFVuaXZl
cnNpdHkgTmlqbWVnZW4sIFRoZSBOZXRoZXJsYW5kcw0KLSBTaGluLUNoZW5nIE11LCBBY2FkZW1p
YSBTaW5pY2EsIFRhaXdhbg0KLSBIZW5yaWsgTmlsc3NvbiwgVW5pdmVyc2l0eSBvZiBOb3R0aW5n
aGFtLCBVSw0KLSBOaWtvbGFvcyBQYXBhc3B5cm91LCBOYXRpb25hbCBUZWNobmljYWwgVW5pdmVy
c2l0eSBvZiBBdGhlbnMsIEdyZWVjZQ0KLSBBdHplIHZhbiBkZXIgUGxvZWcsIENoYWxtZXJzIFVu
aXZlcnNpdHkgb2YgVGVjaG5vbG9neSwgU3dlZGVuDQotIE1hdGlqYSBQcmV0bmFyLCBVbml2ZXJz
aXR5IG9mIExqdWJsamFuYSwgU2xvdmVuaWENCi0gVGlsbG1hbm4gUmVuZGVsLCBVbml2ZXJzaXR5
IG9mIFTDvGJpbmdlbiwgR2VybWFueQ0KLSBDaHJpc3RvcGhlIFNjaG9sbGllcnMsIFVuaXZlcnNp
dGVpdCBHZW50LCBCZWxnaXVtDQotIFN2ZW4tQm9kbyBTY2hvbHosIEhlcmlvdC1XYXR0IFVuaXZl
cnNpdHksIFVLDQotIE1lbGluZGEgVG90aCwgRW90dm9zIExvcmFuZCBVbml2ZXJzaXR5LCBIdW5n
YXJ5DQotIE1lbmcgV2FuZywgVW5pdmVyc2l0eSBvZiBLZW50LCBVSw0KLSBKZXJlbXkgWWFsbG9w
LCBVbml2ZXJzaXR5IG9mIENhbWJyaWRnZSwgVUsNCg0KVmVudWUNCg0KVGhlIDI4dGggSUZMIHdp
bGwgYmUgaGVsZCBpbiBhc3NvY2lhdGlvbiB3aXRoIHRoZSBGYWN1bHR5IG9mIENvbXB1dGVyDQpT
Y2llbmNlLA0KS1UgTGV1dmVuLCBCZWxnaXVtLiBMZXV2ZW4gaXMgY2VudHJhbGx5IGxvY2F0ZWQg
aW4gQmVsZ2l1bSBhbmQgY2FuIGJlIGVhc2lseQ0KcmVhY2hlZCBmcm9tIEJydXNzZWxzIEFpcnBv
cnQgYnkgdHJhaW4gKH4xNSBtaW51dGVzKS4gVGhlIHZlbnVlIGluIHRoZQ0KQXJlbmJlcmcgQ2Fz
dGxlIHBhcmsgY2FuIGJlIHJlYWNoZWQgYnkgZm9vdCwgYnVzIG9yIHRheGkgZnJvbSB0aGUgY2l0
eQ0KY2VudGVyLg0KU2VlIHRoZSB3ZWJzaXRlIGZvciBtb3JlIGluZm9ybWF0aW9uIG9uIHRoZSB2
ZW51ZS4NCg0K
--94eb2c0b8ce07773500536e0c1ad
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello,<br><br>Please, find below the second call for paper=
s for IFL 2016.<br>Please forward these to anyone you think may be interest=
ed.<br>Apologies for any duplicates you may receive.<br><br>best regards,<b=
r>Jurriaan Hage<br>Publicity Chair of IFL<br><br>---<br><br>IFL 2016 - 2nd =
Call for papers<br><br>28th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF =
FUNCTIONAL LANGUAGES - IFL 2016<br><br>KU Leuven, Belgium<br><br>In coopera=
tion with ACM SIGPLAN<br><br>August 31 - September 2, 2016<br><br><a href=
=3D"https://dtai.cs.kuleuven.be/events/ifl2016/" target=3D"_blank" data-saf=
eredirecturl=3D"https://www.google.com/url?hl=3Den&amp;q=3Dhttps://dtai.cs.=
kuleuven.be/events/ifl2016/&amp;source=3Dgmail&amp;ust=3D1467800228742000&a=
mp;usg=3DAFQjCNHrhlbpdJvXtFkO7Hp8Zfkgwp54bg">https://dtai.cs.kuleuven.be/<w=
br>events/ifl2016/</a><br><br>Scope<br><br>The goal of the IFL symposia is =
to bring together researchers actively engaged<br>in the implementation and=
 application of functional and function-based<br>programming languages. IFL=
 2016 will be a venue for researchers to present and<br>discuss new ideas a=
nd concepts, work in progress, and publication-ripe results<br>related to t=
he implementation and application of functional languages and<br>function-b=
ased programming.<br><br>Peer-review<br><br>Following the IFL tradition, IF=
L 2016 will use a post-symposium review process<br>to produce the formal pr=
oceedings. All participants of IFL 2016 are invited to<br>submit either a d=
raft paper or an extended abstract describing work to be<br>presented at th=
e symposium. At no time may work submitted to IFL be<br>simultaneously subm=
itted to other venues; submissions must adhere to ACM<br>SIGPLAN&#39;s repu=
blication policy:<br><br><a href=3D"http://www.sigplan.org/Resources/Polici=
es/Republication" target=3D"_blank" data-saferedirecturl=3D"https://www.goo=
gle.com/url?hl=3Den&amp;q=3Dhttp://www.sigplan.org/Resources/Policies/Repub=
lication&amp;source=3Dgmail&amp;ust=3D1467800228743000&amp;usg=3DAFQjCNEjGx=
TBqhzXir_UJ9FQ2SajdRKwkg">http://www.sigplan.org/<wbr>Resources/Policies/<w=
br>Republication</a><br><br>The submissions will be screened by the program=
 committee chair to make sure<br>they are within the scope of IFL, and will=
 appear in the draft proceedings<br>distributed at the symposium. Submissio=
ns appearing in the draft proceedings<br>are not peer-reviewed publications=
. Hence, publications that appear only in the<br>draft proceedings are not =
subject to the ACM SIGPLAN republication policy.<br>After the symposium, au=
thors will be given the opportunity to incorporate the<br>feedback from dis=
cussions at the symposium and will be invited to submit a<br>revised full a=
rticle for the formal review process. From the revised<br>submissions, the =
program committee will select papers for the formal<br>proceedings consider=
ing their correctness, novelty, originality, relevance,<br>significance, an=
d clarity. The formal proceedings will appear in the<br>International Confe=
rence Proceedings Series of the ACM Digital Library.<br><br>Important dates=
<br><br>August 1: Submission deadline draft papers<br>August 3: Notificatio=
n of acceptance for presentation<br>August 5: Early registration deadline<b=
r>August 12: Late registration deadline<br>August 22: Submission deadline f=
or pre-symposium proceedings<br>August 31 - September 2: IFL Symposium<br>D=
ecember 1: Submission deadline for post-symposium proceedings<br>January 31=
, 2017: Notification of acceptance for post-symposium proceedings<br>March =
15, 2017: Camera-ready version for post-symposium proceedings<br><br>Submis=
sion details<br><br>Prospective authors are encouraged to submit papers or =
extended abstracts to be<br>published in the draft proceedings and to prese=
nt them at the symposium. All<br>contributions must be written in English. =
Papers must use the new ACM two<br>columns conference format, which can be =
found at:<br><br><a href=3D"http://www.acm.org/publications/proceedings-tem=
plate" target=3D"_blank" data-saferedirecturl=3D"https://www.google.com/url=
?hl=3Den&amp;q=3Dhttp://www.acm.org/publications/proceedings-template&amp;s=
ource=3Dgmail&amp;ust=3D1467800228743000&amp;usg=3DAFQjCNHOr4xexaV3PVEjduzY=
dF7c-VFDVg">http://www.acm.org/<wbr>publications/proceedings-<wbr>template<=
/a><br><br>For the pre-symposium proceedings we adopt a &#39;weak&#39; page=
 limit of 12 pages. For<br>the post-symposium proceedings the page limit of=
 12 pages is firm.<br><br>Authors submit through EasyChair:<br><br><a href=
=3D"https://easychair.org/conferences/?conf=3Difl2016" target=3D"_blank" da=
ta-saferedirecturl=3D"https://www.google.com/url?hl=3Den&amp;q=3Dhttps://ea=
sychair.org/conferences/?conf%3Difl2016&amp;source=3Dgmail&amp;ust=3D146780=
0228743000&amp;usg=3DAFQjCNEW_PGPOO9YRt2FWXcAGUvCNOBTHw">https://easychair.=
org/<wbr>conferences/?conf=3Difl2016</a><br><br>Topics<br><br>IFL welcomes =
submissions describing practical and theoretical work as well as<br>submiss=
ions describing applications and tools in the context of functional<br>prog=
ramming. If you are not sure whether your work is appropriate for IFL 2016,=
<br>please contact the PC chair at <a href=3D"mailto:[email protected]=
uven.be" target=3D"_blank">[email protected]</a>. Topics of int=
erest include,<br>but are not limited to:<br><br>- language concepts<br>- t=
ype systems, type checking, type inferencing<br>- compilation techniques<br=
>- staged compilation<br>- run-time function specialization<br>- run-time c=
ode generation<br>- partial evaluation<br>- (abstract) interpretation<br>- =
metaprogramming<br>- generic programming<br>- automatic program generation<=
br>- array processing<br>- concurrent/parallel programming<br>- concurrent/=
parallel program execution<br>- embedded systems<br>- web applications<br>-=
 (embedded) domain specific languages<br>- security<br>- novel memory manag=
ement techniques<br>- run-time profiling performance measurements<br>- debu=
gging and tracing<br>- virtual/abstract machine architectures<br>- validati=
on, verification of functional programs<br>- tools and programming techniqu=
es<br>- (industrial) applications<br><br>Peter Landin Prize<br><br>The Pete=
r Landin Prize is awarded to the best paper presented at the symposium<br>e=
very year. The honored article is selected by the program committee based o=
n<br>the submissions received for the formal review process. The prize carr=
ies a<br>cash award equivalent to 150 Euros.<br><br>Programme committee<br>=
<br>Chair: Tom Schrijvers, KU Leuven, Belgium<br><br>- Sandrine Blazy, Univ=
ersity of Rennes 1, France <br>- Laura Castro, University of A Coru=C3=B1a,=
 Spain<br>- Jacques, Garrigue, Nagoya University, Japan<br>- Clemens Grelck=
, University of Amsterdam, The Netherlands<br>- Zoltan Horvath, Eotvos Lora=
nd University, Hungary<br>- Jan Martin Jansen, Netherlands Defence Academy,=
 The Netherlands<br>- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Ros=
ario, Argentina<br>- Patricia Johann, Appalachian State University, USA<br>=
- Wolfram Kahl, McMaster University, Canada <br>- Pieter Koopman, Radboud U=
niversity Nijmegen, The Netherlands<br>- Shin-Cheng Mu, Academia Sinica, Ta=
iwan<br>- Henrik Nilsson, University of Nottingham, UK<br>- Nikolaos Papasp=
yrou, National Technical University of Athens, Greece<br>- Atze van der Plo=
eg, Chalmers University of Technology, Sweden<br>- Matija Pretnar, Universi=
ty of Ljubljana, Slovenia<br>- Tillmann Rendel, University of T=C3=BCbingen=
, Germany<br>- Christophe Scholliers, Universiteit Gent, Belgium<br>- Sven-=
Bodo Scholz, Heriot-Watt University, UK<br>- Melinda Toth, Eotvos Lorand Un=
iversity, Hungary<br>- Meng Wang, University of Kent, UK<br>- Jeremy Yallop=
, University of Cambridge, UK<br><br>Venue<br><br>The 28th IFL will be held=
 in association with the Faculty of Computer Science,<br>KU Leuven, Belgium=
. Leuven is centrally located in Belgium and can be easily<br>reached from =
Brussels Airport by train (~15 minutes). The venue in the<br>Arenberg Castl=
e park can be reached by foot, bus or taxi from the city center.<br>See the=
 website for more information on the venue.<br><br></div>

--94eb2c0b8ce07773500536e0c1ad--

--===============0694938359==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lprolog mailing list
[email protected]
https://wwws.cs.umn.edu/mm-cs/listinfo/lprolog
--===============0694938359==--