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

--===============0231661099==
Content-Type: multipart/alternative; boundary=001a11407c5cd97b2005339b5b06

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

SGVsbG8sDQoNClBsZWFzZSwgZmluZCBiZWxvdyB0aGUgZmlyc3QgY2FsbCBmb3IgcGFwZXJzIGZv
ciBJRkwgMjAxNi4NClBsZWFzZSBmb3J3YXJkIHRoZXNlIHRvIGFueW9uZSB5b3UgdGhpbmsgbWF5
IGJlIGludGVyZXN0ZWQuDQpBcG9sb2dpZXMgZm9yIGFueSBkdXBsaWNhdGVzIHlvdSBtYXkgcmVj
ZWl2ZS4NCg0KYmVzdCByZWdhcmRzLA0KSnVycmlhYW4gSGFnZQ0KUHVibGljaXR5IENoYWlyIG9m
IElGTA0KDQotLS0NCg0KSUZMIDIwMTYgLSBDYWxsIGZvciBwYXBlcnMNCg0KMjh0aCBTWU1QT1NJ
VU0gT04gSU1QTEVNRU5UQVRJT04gQU5EIEFQUExJQ0FUSU9OIE9GIEZVTkNUSU9OQUwgTEFOR1VB
R0VTIC0NCklGTCAyMDE2DQoNCktVIExldXZlbiwgQmVsZ2l1bQ0KDQpJbiBjb29wZXJhdGlvbiB3
aXRoIEFDTSBTSUdQTEFODQoNCkF1Z3VzdCAzMSAtIFNlcHRlbWJlciAyLCAyMDE2DQoNCmh0dHBz
Oi8vZHRhaS5jcy5rdWxldXZlbi5iZS9ldmVudHMvaWZsMjAxNi8NCg0KU2NvcGUNCg0KVGhlIGdv
YWwgb2YgdGhlIElGTCBzeW1wb3NpYSBpcyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBh
Y3RpdmVseQ0KZW5nYWdlZA0KaW4gdGhlIGltcGxlbWVudGF0aW9uIGFuZCBhcHBsaWNhdGlvbiBv
ZiBmdW5jdGlvbmFsIGFuZCBmdW5jdGlvbi1iYXNlZA0KcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJ
RkwgMjAxNiB3aWxsIGJlIGEgdmVudWUgZm9yIHJlc2VhcmNoZXJzIHRvIHByZXNlbnQNCmFuZA0K
ZGlzY3VzcyBuZXcgaWRlYXMgYW5kIGNvbmNlcHRzLCB3b3JrIGluIHByb2dyZXNzLCBhbmQgcHVi
bGljYXRpb24tcmlwZQ0KcmVzdWx0cw0KcmVsYXRlZCB0byB0aGUgaW1wbGVtZW50YXRpb24gYW5k
IGFwcGxpY2F0aW9uIG9mIGZ1bmN0aW9uYWwgbGFuZ3VhZ2VzIGFuZA0KZnVuY3Rpb24tYmFzZWQg
cHJvZ3JhbW1pbmcuDQoNClBlZXItcmV2aWV3DQoNCkZvbGxvd2luZyB0aGUgSUZMIHRyYWRpdGlv
biwgSUZMIDIwMTYgd2lsbCB1c2UgYSBwb3N0LXN5bXBvc2l1bSByZXZpZXcNCnByb2Nlc3MNCnRv
IHByb2R1Y2UgdGhlIGZvcm1hbCBwcm9jZWVkaW5ncy4gQWxsIHBhcnRpY2lwYW50cyBvZiBJRkwg
MjAxNiBhcmUgaW52aXRlZA0KdG8NCnN1Ym1pdCBlaXRoZXIgYSBkcmFmdCBwYXBlciBvciBhbiBl
eHRlbmRlZCBhYnN0cmFjdCBkZXNjcmliaW5nIHdvcmsgdG8gYmUNCnByZXNlbnRlZCBhdCB0aGUg
c3ltcG9zaXVtLiBBdCBubyB0aW1lIG1heSB3b3JrIHN1Ym1pdHRlZCB0byBJRkwgYmUNCnNpbXVs
dGFuZW91c2x5IHN1Ym1pdHRlZCB0byBvdGhlciB2ZW51ZXM7IHN1Ym1pc3Npb25zIG11c3QgYWRo
ZXJlIHRvIEFDTQ0KU0lHUExBTidzIHJlcHVibGljYXRpb24gcG9saWN5Og0KDQpodHRwOi8vd3d3
LnNpZ3BsYW4ub3JnL1Jlc291cmNlcy9Qb2xpY2llcy9SZXB1YmxpY2F0aW9uDQoNClRoZSBzdWJt
aXNzaW9ucyB3aWxsIGJlIHNjcmVlbmVkIGJ5IHRoZSBwcm9ncmFtIGNvbW1pdHRlZSBjaGFpciB0
byBtYWtlIHN1cmUNCnRoZXkgYXJlIHdpdGhpbiB0aGUgc2NvcGUgb2YgSUZMLCBhbmQgd2lsbCBh
cHBlYXIgaW4gdGhlIGRyYWZ0IHByb2NlZWRpbmdzDQpkaXN0cmlidXRlZCBhdCB0aGUgc3ltcG9z
aXVtLiBTdWJtaXNzaW9ucyBhcHBlYXJpbmcgaW4gdGhlIGRyYWZ0IHByb2NlZWRpbmdzDQphcmUg
bm90IHBlZXItcmV2aWV3ZWQgcHVibGljYXRpb25zLiBIZW5jZSwgcHVibGljYXRpb25zIHRoYXQg
YXBwZWFyIG9ubHkgaW4NCnRoZQ0KZHJhZnQgcHJvY2VlZGluZ3MgYXJlIG5vdCBzdWJqZWN0IHRv
IHRoZSBBQ00gU0lHUExBTiByZXB1YmxpY2F0aW9uIHBvbGljeS4NCkFmdGVyIHRoZSBzeW1wb3Np
dW0sIGF1dGhvcnMgd2lsbCBiZSBnaXZlbiB0aGUgb3Bwb3J0dW5pdHkgdG8gaW5jb3Jwb3JhdGUN
CnRoZQ0KZmVlZGJhY2sgZnJvbSBkaXNjdXNzaW9ucyBhdCB0aGUgc3ltcG9zaXVtIGFuZCB3aWxs
IGJlIGludml0ZWQgdG8gc3VibWl0IGENCnJldmlzZWQgZnVsbCBhcnRpY2xlIGZvciB0aGUgZm9y
bWFsIHJldmlldyBwcm9jZXNzLiBGcm9tIHRoZSByZXZpc2VkDQpzdWJtaXNzaW9ucywgdGhlIHBy
b2dyYW0gY29tbWl0dGVlIHdpbGwgc2VsZWN0IHBhcGVycyBmb3IgdGhlIGZvcm1hbA0KcHJvY2Vl
ZGluZ3MgY29uc2lkZXJpbmcgdGhlaXIgY29ycmVjdG5lc3MsIG5vdmVsdHksIG9yaWdpbmFsaXR5
LCByZWxldmFuY2UsDQpzaWduaWZpY2FuY2UsIGFuZCBjbGFyaXR5LiBUaGUgZm9ybWFsIHByb2Nl
ZWRpbmdzIHdpbGwgYXBwZWFyIGluIHRoZQ0KSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIFByb2Nl
ZWRpbmdzIFNlcmllcyBvZiB0aGUgQUNNIERpZ2l0YWwgTGlicmFyeS4NCg0KSW1wb3J0YW50IGRh
dGVzDQoNCkF1Z3VzdCAxOiBTdWJtaXNzaW9uIGRlYWRsaW5lIGRyYWZ0IHBhcGVycw0KQXVndXN0
IDM6IE5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlIGZvciBwcmVzZW50YXRpb24NCkF1Z3VzdCA1
OiBFYXJseSByZWdpc3RyYXRpb24gZGVhZGxpbmUNCkF1Z3VzdCAxMjogTGF0ZSByZWdpc3RyYXRp
b24gZGVhZGxpbmUNCkF1Z3VzdCAyMjogU3VibWlzc2lvbiBkZWFkbGluZSBmb3IgcHJlLXN5bXBv
c2l1bSBwcm9jZWVkaW5ncw0KQXVndXN0IDMxIC0gU2VwdGVtYmVyIDI6IElGTCBTeW1wb3NpdW0N
CkRlY2VtYmVyIDE6IFN1Ym1pc3Npb24gZGVhZGxpbmUgZm9yIHBvc3Qtc3ltcG9zaXVtIHByb2Nl
ZWRpbmdzDQpKYW51YXJ5IDMxLCAyMDE3OiBOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZSBmb3Ig
cG9zdC1zeW1wb3NpdW0gcHJvY2VlZGluZ3MNCk1hcmNoIDE1LCAyMDE3OiBDYW1lcmEtcmVhZHkg
dmVyc2lvbiBmb3IgcG9zdC1zeW1wb3NpdW0gcHJvY2VlZGluZ3MNCg0KU3VibWlzc2lvbiBkZXRh
aWxzDQoNClByb3NwZWN0aXZlIGF1dGhvcnMgYXJlIGVuY291cmFnZWQgdG8gc3VibWl0IHBhcGVy
cyBvciBleHRlbmRlZCBhYnN0cmFjdHMNCnRvIGJlDQpwdWJsaXNoZWQgaW4gdGhlIGRyYWZ0IHBy
b2NlZWRpbmdzIGFuZCB0byBwcmVzZW50IHRoZW0gYXQgdGhlIHN5bXBvc2l1bS4gQWxsDQpjb250
cmlidXRpb25zIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLiBQYXBlcnMgbXVzdCB1c2UgdGhl
IG5ldyBBQ00gdHdvDQpjb2x1bW5zIGNvbmZlcmVuY2UgZm9ybWF0LCB3aGljaCBjYW4gYmUgZm91
bmQgYXQ6DQoNCmh0dHA6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvcHJvY2VlZGluZ3MtdGVt
cGxhdGUNCg0KRm9yIHRoZSBwcmUtc3ltcG9zaXVtIHByb2NlZWRpbmdzIHdlIGFkb3B0IGEgJ3dl
YWsnIHBhZ2UgbGltaXQgb2YgMTIgcGFnZXMuDQpGb3INCnRoZSBwb3N0LXN5bXBvc2l1bSBwcm9j
ZWVkaW5ncyB0aGUgcGFnZSBsaW1pdCBvZiAxMiBwYWdlcyBpcyBmaXJtLg0KDQpBdXRob3JzIHN1
Ym1pdCB0aHJvdWdoIEVhc3lDaGFpcjoNCg0KaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2NvbmZlcmVu
Y2VzLz9jb25mPWlmbDIwMTYNCg0KVG9waWNzDQoNCklGTCB3ZWxjb21lcyBzdWJtaXNzaW9ucyBk
ZXNjcmliaW5nIHByYWN0aWNhbCBhbmQgdGhlb3JldGljYWwgd29yayBhcyB3ZWxsDQphcw0Kc3Vi
bWlzc2lvbnMgZGVzY3JpYmluZyBhcHBsaWNhdGlvbnMgYW5kIHRvb2xzIGluIHRoZSBjb250ZXh0
IG9mIGZ1bmN0aW9uYWwNCnByb2dyYW1taW5nLiBJZiB5b3UgYXJlIG5vdCBzdXJlIHdoZXRoZXIg
eW91ciB3b3JrIGlzIGFwcHJvcHJpYXRlIGZvciBJRkwNCjIwMTYsDQpwbGVhc2UgY29udGFjdCB0
aGUgUEMgY2hhaXIgYXQgdG9tLnNjaHJpanZlcnNAY3Mua3VsZXV2ZW4uYmUuIFRvcGljcyBvZg0K
aW50ZXJlc3QgaW5jbHVkZSwNCmJ1dCBhcmUgbm90IGxpbWl0ZWQgdG86DQoNCi0gbGFuZ3VhZ2Ug
Y29uY2VwdHMNCi0gdHlwZSBzeXN0ZW1zLCB0eXBlIGNoZWNraW5nLCB0eXBlIGluZmVyZW5jaW5n
DQotIGNvbXBpbGF0aW9uIHRlY2huaXF1ZXMNCi0gc3RhZ2VkIGNvbXBpbGF0aW9uDQotIHJ1bi10
aW1lIGZ1bmN0aW9uIHNwZWNpYWxpemF0aW9uDQotIHJ1bi10aW1lIGNvZGUgZ2VuZXJhdGlvbg0K
LSBwYXJ0aWFsIGV2YWx1YXRpb24NCi0gKGFic3RyYWN0KSBpbnRlcnByZXRhdGlvbg0KLSBtZXRh
cHJvZ3JhbW1pbmcNCi0gZ2VuZXJpYyBwcm9ncmFtbWluZw0KLSBhdXRvbWF0aWMgcHJvZ3JhbSBn
ZW5lcmF0aW9uDQotIGFycmF5IHByb2Nlc3NpbmcNCi0gY29uY3VycmVudC9wYXJhbGxlbCBwcm9n
cmFtbWluZw0KLSBjb25jdXJyZW50L3BhcmFsbGVsIHByb2dyYW0gZXhlY3V0aW9uDQotIGVtYmVk
ZGVkIHN5c3RlbXMNCi0gd2ViIGFwcGxpY2F0aW9ucw0KLSAoZW1iZWRkZWQpIGRvbWFpbiBzcGVj
aWZpYyBsYW5ndWFnZXMNCi0gc2VjdXJpdHkNCi0gbm92ZWwgbWVtb3J5IG1hbmFnZW1lbnQgdGVj
aG5pcXVlcw0KLSBydW4tdGltZSBwcm9maWxpbmcgcGVyZm9ybWFuY2UgbWVhc3VyZW1lbnRzDQot
IGRlYnVnZ2luZyBhbmQgdHJhY2luZw0KLSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUgYXJjaGl0
ZWN0dXJlcw0KLSB2YWxpZGF0aW9uLCB2ZXJpZmljYXRpb24gb2YgZnVuY3Rpb25hbCBwcm9ncmFt
cw0KLSB0b29scyBhbmQgcHJvZ3JhbW1pbmcgdGVjaG5pcXVlcw0KLSAoaW5kdXN0cmlhbCkgYXBw
bGljYXRpb25zDQoNClBldGVyIExhbmRpbiBQcml6ZQ0KDQpUaGUgUGV0ZXIgTGFuZGluIFByaXpl
IGlzIGF3YXJkZWQgdG8gdGhlIGJlc3QgcGFwZXIgcHJlc2VudGVkIGF0IHRoZQ0Kc3ltcG9zaXVt
DQpldmVyeSB5ZWFyLiBUaGUgaG9ub3JlZCBhcnRpY2xlIGlzIHNlbGVjdGVkIGJ5IHRoZSBwcm9n
cmFtIGNvbW1pdHRlZSBiYXNlZA0Kb24NCnRoZSBzdWJtaXNzaW9ucyByZWNlaXZlZCBmb3IgdGhl
IGZvcm1hbCByZXZpZXcgcHJvY2Vzcy4gVGhlIHByaXplIGNhcnJpZXMgYQ0KY2FzaCBhd2FyZCBl
cXVpdmFsZW50IHRvIDE1MCBFdXJvcy4NCg0KUHJvZ3JhbW1lIGNvbW1pdHRlZQ0KDQpDaGFpcjog
VG9tIFNjaHJpanZlcnMsIEtVIExldXZlbiwgQmVsZ2l1bQ0KDQotIFNhbmRyaW5lIEJsYXp5LCBV
bml2ZXJzaXR5IG9mIFJlbm5lcyAxLCBGcmFuY2UNCi0gTGF1cmEgQ2FzdHJvLCBVbml2ZXJzaXR5
IG9mIEEgQ29ydeKImsKxYSwgU3BhaW4NCi0gSmFjcXVlcywgR2FycmlndWUsIE5hZ295YSBVbml2
ZXJzaXR5LCBKYXBhbg0KLSBDbGVtZW5zIEdyZWxjaywgVW5pdmVyc2l0eSBvZiBBbXN0ZXJkYW0s
IFRoZSBOZXRoZXJsYW5kcw0KLSBab2x0YW4gSG9ydmF0aCwgRW90dm9zIExvcmFuZCBVbml2ZXJz
aXR5LCBIdW5nYXJ5DQotIEphbiBNYXJ0aW4gSmFuc2VuLCBOZXRoZXJsYW5kcyBEZWZlbmNlIEFj
YWRlbXksIFRoZSBOZXRoZXJsYW5kcw0KLSBNYXVybyBKYXNrZWxpb2ZmLCBDSUZBU0lTL1VuaXZl
cnNpZGFkIE5hY2lvbmFsIGRlIFJvc2FyaW8sIEFyZ2VudGluYQ0KLSBQYXRyaWNpYSBKb2hhbm4s
IEFwcGFsYWNoaWFuIFN0YXRlIFVuaXZlcnNpdHksIFVTQQ0KLSBXb2xmcmFtIEthaGwsIE1jTWFz
dGVyIFVuaXZlcnNpdHksIENhbmFkYQ0KLSBQaWV0ZXIgS29vcG1hbiwgUmFkYm91ZCBVbml2ZXJz
aXR5IE5pam1lZ2VuLCBUaGUgTmV0aGVybGFuZHMNCi0gU2hpbi1DaGVuZyBNdSwgQWNhZGVtaWEg
U2luaWNhLCBUYWl3YW4NCi0gSGVucmlrIE5pbHNzb24sIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hh
bSwgVUsNCi0gTmlrb2xhb3MgUGFwYXNweXJvdSwgTmF0aW9uYWwgVGVjaG5pY2FsIFVuaXZlcnNp
dHkgb2YgQXRoZW5zLCBHcmVlY2UNCi0gQXR6ZSB2YW4gZGVyIFBsb2VnLCBDaGFsbWVycyBVbml2
ZXJzaXR5IG9mIFRlY2hub2xvZ3ksIFN3ZWRlbg0KLSBNYXRpamEgUHJldG5hciwgVW5pdmVyc2l0
eSBvZiBManVibGphbmEsIFNsb3ZlbmlhDQotIFRpbGxtYW5uIFJlbmRlbCwgVW5pdmVyc2l0eSBv
ZiBU4oiawrpiaW5nZW4sIEdlcm1hbnkNCi0gQ2hyaXN0b3BoZSBTY2hvbGxpZXJzLCBVbml2ZXJz
aXRlaXQgR2VudCwgQmVsZ2l1bQ0KLSBTdmVuLUJvZG8gU2Nob2x6LCBIZXJpb3QtV2F0dCBVbml2
ZXJzaXR5LCBVSw0KLSBNZWxpbmRhIFRvdGgsIEVvdHZvcyBMb3JhbmQgVW5pdmVyc2l0eSwgSHVu
Z2FyeQ0KLSBNZW5nIFdhbmcsIFVuaXZlcnNpdHkgb2YgS2VudCwgVUsNCi0gSmVyZW15IFlhbGxv
cCwgVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UsIFVLDQoNClZlbnVlDQoNClRoZSAyOHRoIElGTCB3
aWxsIGJlIGhlbGQgaW4gYXNzb2NpYXRpb24gd2l0aCB0aGUgRmFjdWx0eSBvZiBDb21wdXRlcg0K
U2NpZW5jZSwNCktVIExldXZlbiwgQmVsZ2l1bS4gTGV1dmVuIGlzIGNlbnRyYWxseSBsb2NhdGVk
IGluIEJlbGdpdW0gYW5kIGNhbiBiZSBlYXNpbHkNCnJlYWNoZWQgZnJvbSBCcnVzc2VscyBBaXJw
b3J0IGJ5IHRyYWluICh+MTUgbWludXRlcykuIFRoZSB2ZW51ZSBpbiB0aGUNCkFyZW5iZXJnIENh
c3RsZSBwYXJrIGNhbiBiZSByZWFjaGVkIGJ5IGZvb3QsIGJ1cyBvciB0YXhpIGZyb20gdGhlIGNp
dHkNCmNlbnRlci4NClNlZSB0aGUgd2Vic2l0ZSBmb3IgbW9yZSBpbmZvcm1hdGlvbiBvbiB0aGUg
dmVudWUuDQo=
--001a11407c5cd97b2005339b5b06
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hello,<br><br>Please, find below the first call for papers=
 for IFL 2016.<br>Please forward these to anyone you think may be intereste=
d.<br>Apologies for any duplicates you may receive.<br><br>best regards,<br=
>Jurriaan Hage<br>Publicity Chair of IFL<br><br>---<br><br>IFL 2016 - Call =
for papers<br><br>28th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCT=
IONAL LANGUAGES - IFL 2016<br><br>KU Leuven, Belgium<br><br>In cooperation =
with ACM SIGPLAN<br><br>August 31 - September 2, 2016<br><br><a href=3D"htt=
ps://dtai.cs.kuleuven.be/events/ifl2016/" target=3D"_blank" data-saferedire=
cturl=3D"https://www.google.com/url?hl=3Den&amp;q=3Dhttps://dtai.cs.kuleuve=
n.be/events/ifl2016/&amp;source=3Dgmail&amp;ust=3D1464203633575000&amp;usg=
=3DAFQjCNHuAJPCfwJEWjWL1GcUslzC3hNDBw">https://dtai.cs.kuleuven.be/<wbr>eve=
nts/ifl2016/</a><br><br>Scope<br><br>The goal of the IFL symposia is to bri=
ng together researchers actively engaged<br>in the implementation and appli=
cation of functional and function-based<br>programming languages. IFL 2016 =
will be a venue for researchers to present and<br>discuss new ideas and con=
cepts, work in progress, and publication-ripe results<br>related to the imp=
lementation and application of functional languages and<br>function-based p=
rogramming.<br><br>Peer-review<br><br>Following the IFL tradition, IFL 2016=
 will use a post-symposium review process<br>to produce the formal proceedi=
ngs. All participants of IFL 2016 are invited to<br>submit either a draft p=
aper or an extended abstract describing work to be<br>presented at the symp=
osium. At no time may work submitted to IFL be<br>simultaneously submitted =
to other venues; submissions must adhere to ACM<br>SIGPLAN&#39;s republicat=
ion policy:<br><br><a href=3D"http://www.sigplan.org/Resources/Policies/Rep=
ublication" target=3D"_blank" data-saferedirecturl=3D"https://www.google.co=
m/url?hl=3Den&amp;q=3Dhttp://www.sigplan.org/Resources/Policies/Republicati=
on&amp;source=3Dgmail&amp;ust=3D1464203633575000&amp;usg=3DAFQjCNF864ttIE9_=
ZamsMtx6gVkKHYyI_w">http://www.sigplan.org/<wbr>Resources/Policies/<wbr>Rep=
ublication</a><br><br>The submissions will be screened by the program commi=
ttee chair to make sure<br>they are within the scope of IFL, and will appea=
r in the draft proceedings<br>distributed at the symposium. Submissions app=
earing in the draft proceedings<br>are not peer-reviewed publications. Henc=
e, publications that appear only in the<br>draft proceedings are not subjec=
t to the ACM SIGPLAN republication policy.<br>After the symposium, authors =
will be given the opportunity to incorporate the<br>feedback from discussio=
ns at the symposium and will be invited to submit a<br>revised full article=
 for the formal review process. From the revised<br>submissions, the progra=
m committee will select papers for the formal<br>proceedings considering th=
eir correctness, novelty, originality, relevance,<br>significance, and clar=
ity. The formal proceedings will appear in the<br>International Conference =
Proceedings Series of the ACM Digital Library.<br><br>Important dates<br><b=
r>August 1: Submission deadline draft papers<br>August 3: Notification of a=
cceptance for presentation<br>August 5: Early registration deadline<br>Augu=
st 12: Late registration deadline<br>August 22: Submission deadline for pre=
-symposium proceedings<br>August 31 - September 2: IFL Symposium<br>Decembe=
r 1: Submission deadline for post-symposium proceedings<br>January 31, 2017=
: Notification of acceptance for post-symposium proceedings<br>March 15, 20=
17: Camera-ready version for post-symposium proceedings<br><br>Submission d=
etails<br><br>Prospective authors are encouraged to submit papers or extend=
ed abstracts to be<br>published in the draft proceedings and to present the=
m 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-template"=
 target=3D"_blank" data-saferedirecturl=3D"https://www.google.com/url?hl=3D=
en&amp;q=3Dhttp://www.acm.org/publications/proceedings-template&amp;source=
=3Dgmail&amp;ust=3D1464203633575000&amp;usg=3DAFQjCNG9yEL6o7tycPuqZkmd3DfKk=
EqfIA">http://www.acm.org/<wbr>publications/proceedings-<wbr>template</a><b=
r><br>For the pre-symposium proceedings we adopt a &#39;weak&#39; page limi=
t of 12 pages. For<br>the post-symposium proceedings the page limit of 12 p=
ages is firm.<br><br>Authors submit through EasyChair:<br><br><a href=3D"ht=
tps://easychair.org/conferences/?conf=3Difl2016" target=3D"_blank" data-saf=
eredirecturl=3D"https://www.google.com/url?hl=3Den&amp;q=3Dhttps://easychai=
r.org/conferences/?conf%3Difl2016&amp;source=3Dgmail&amp;ust=3D146420363357=
5000&amp;usg=3DAFQjCNE2gWka1sbfWRRL1paIUutRkJs8BA">https://easychair.org/<w=
br>conferences/?conf=3Difl2016</a><br><br>Topics<br><br>IFL welcomes submis=
sions describing practical and theoretical work as well as<br>submissions d=
escribing applications and tools in the context of functional<br>programmin=
g. If you are not sure whether your work is appropriate for IFL 2016,<br>pl=
ease contact the PC chair at <a href=3D"mailto:[email protected]=
e" target=3D"_blank">[email protected]</a>. Topics of interest =
include,<br>but are not limited to:<br><br>- language concepts<br>- type sy=
stems, type checking, type inferencing<br>- compilation techniques<br>- sta=
ged compilation<br>- run-time function specialization<br>- run-time code ge=
neration<br>- partial evaluation<br>- (abstract) interpretation<br>- metapr=
ogramming<br>- generic programming<br>- automatic program generation<br>- a=
rray processing<br>- concurrent/parallel programming<br>- concurrent/parall=
el program execution<br>- embedded systems<br>- web applications<br>- (embe=
dded) domain specific languages<br>- security<br>- novel memory management =
techniques<br>- run-time profiling performance measurements<br>- debugging =
and tracing<br>- virtual/abstract machine architectures<br>- validation, ve=
rification of functional programs<br>- tools and programming techniques<br>=
- (industrial) applications<br><br>Peter Landin Prize<br><br>The Peter Land=
in Prize is awarded to the best paper presented at the symposium<br>every y=
ear. The honored article is selected by the program committee based on<br>t=
he submissions received for the formal review process. The prize carries a<=
br>cash award equivalent to 150 Euros.<br><br>Programme committee<br><br>Ch=
air: Tom Schrijvers, KU Leuven, Belgium<br><br>- Sandrine Blazy, University=
 of Rennes 1, France <br>- Laura Castro, University of A Coru=E2=88=9A=C2=
=B1a, Spain<br>- Jacques, Garrigue, Nagoya University, Japan<br>- Clemens G=
relck, University of Amsterdam, The Netherlands<br>- Zoltan Horvath, Eotvos=
 Lorand University, Hungary<br>- Jan Martin Jansen, Netherlands Defence Aca=
demy, The Netherlands<br>- Mauro Jaskelioff, CIFASIS/Universidad Nacional d=
e Rosario, Argentina<br>- Patricia Johann, Appalachian State University, US=
A<br>- Wolfram Kahl, McMaster University, Canada <br>- Pieter Koopman, Radb=
oud University Nijmegen, The Netherlands<br>- Shin-Cheng Mu, Academia Sinic=
a, Taiwan<br>- Henrik Nilsson, University of Nottingham, UK<br>- Nikolaos P=
apaspyrou, National Technical University of Athens, Greece<br>- Atze van de=
r Ploeg, Chalmers University of Technology, Sweden<br>- Matija Pretnar, Uni=
versity of Ljubljana, Slovenia<br>- Tillmann Rendel, University of T=E2=88=
=9A=C2=BAbingen, Germany<br>- Christophe Scholliers, Universiteit Gent, Bel=
gium<br>- Sven-Bodo Scholz, Heriot-Watt University, UK<br>- Melinda Toth, E=
otvos Lorand University, Hungary<br>- Meng Wang, University of Kent, UK<br>=
- Jeremy Yallop, University of Cambridge, UK<br><br>Venue<br><br>The 28th I=
FL 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<b=
r>reached from Brussels Airport by train (~15 minutes). The venue in the<br=
>Arenberg Castle park can be reached by foot, bus or taxi from the city cen=
ter.<br>See the website for more information on the venue.<br></div>

--001a11407c5cd97b2005339b5b06--

--===============0231661099==
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
--===============0231661099==--