CfP: Enabling Domain Experts to use Formalised Reasoning@AISB 2013 (Exeter, UK, 2-5 Apr 2013); Deadlines 10 Dec and 14 Jan
Christoph LANGE <[email protected]> Wed, 17 Oct 2012 23:50:42 +0100
| Newsgroups | gmane.comp.web.wiki.semediawiki.user,gmane.text.xml.xtm.general |
|---|---|
| Organization | University of Birmingham |
| Message-ID | <[email protected]> |
RG8tRm9ybTogRW5hYmxpbmcgRG9tYWluIEV4cGVydHMgdG8gdXNlIEZvcm1hbGlzZWQgUmVhc29u aW5nCmh0dHA6Ly9jcy5iaGFtLmFjLnVrL3Jlc2VhcmNoL3Byb2plY3RzL2Zvcm1hcmUvZXZlbnRz L2Fpc2IyMDEzCgpDQUxMIEZPUiBDT05UUklCVVRJT05TCgpTeW1wb3NpdW0gYXQgdGhlIGFubnVh bCBjb252ZW50aW9uIG9mIHRoZQpBSVNCIChTb2NpZXR5IGZvciB0aGUgU3R1ZHkgb2YKICAgQXJ0 aWZpY2lhbCBJbnRlbGxpZ2VuY2UgYW5kIFNpbXVsYXRpb24gb2YgQmVoYXZpb3VyOwogICBodHRw Oi8vd3d3LmFpc2Iub3JnLnVrKQpVbml2ZXJzaXR5IG9mIEV4ZXRlcgoyLTUgQXByaWwgMjAxMwpo dHRwOi8vZW1wcy5leGV0ZXIuYWMudWsvY29tcHV0ZXItc2NpZW5jZS9yZXNlYXJjaC9haXNiLwoK U1VCTUlTU0lPTiBERUFETElORTogMTQgSmFudWFyeQoKUFJFLVNVQk1JU1NJT04gREVBRExJTkUg KGZvciBpbml0aWFsIHByb2JsZW0gYW5kIHRvb2wgZGVzY3JpcHRpb25zLAogICBub24tYmluZGlu Zyk6IDEwIERlY2VtYmVyCgpUaGlzIHN5bXBvc2l1bSBpcyBtb3RpdmF0ZWQgYnkgdGhlIGxvbmct dGVybSBWSVNJT04gb2YgbWFraW5nIGluZm9ybWF0aW9uCnN5c3RlbXMgZGVwZW5kYWJsZS4gIElu IHRoZSBwYXN0IGV2ZW4gbWlzLXJlcHJlc2VudGVkIHVuaXRzIG9mCm1lYXN1cmVtZW50cyBjYXVz ZWQgZmF0YWwgRU5HSU5FRVJJTkcgZGlzYXN0ZXJzLiAgSW4gRUNPTk9NSUNTLCB0aGUKc3VidGxl dHkgb2YgaXNzdWVzIGludm9sdmVkIGluIGdvb2QgYXVjdGlvbiBkZXNpZ24gbWF5IGhhdmUgbGVk IHRvIGxvdwpyZXZlbnVlcyBpbiBhdWN0aW9ucyBvZiBwdWJsaWMgZ29vZHMgc3VjaCBhcyB0aGUg M0cgcmFkaW8gc3BlY3RyYS4KU2ltaWxhcmx5LCBiYW5rcycgdmFsdWUtYXQtcmlzayAoVmFSKSBt b2RlbHMg4oCTIHRoZSBsZWFkaW5nIG1ldGhvZCBvZgpmaW5hbmNpYWwgcmlzayBtZWFzdXJlbWVu dCDigJMgYXJlIHRvbyBsYXJnZSBhbmQgY2hhbmdlIHRvbyBxdWlja2x5IHRvIGJlCnRob3JvdWdo bHkgdmV0dGVkIGJ5IGhhbmQsIHRoZSBjdXJyZW50IHN0YXRlIG9mIHRoZSBhcnQ7IGluIHRoZSBM b25kb24KV2hhbGUgaW5jaWRlbnQgb2YgMjAxMiwgSlAgTW9yZ2FuIGNsYWltZWQgdGhhdCBpdHMg ZXhwb3N1cmVzIHdlcmUgJDY3bW4KdW5kZXIgb25lIG9mIGl0cyBWYVIgbW9kZWxzLCBhbmQgJDEy OSB1bmRlciBhbm90aGVyIG9uZS4gIFZlcmlmeWluZyBhCm1vZGVsJ3MgcHJvcGVydGllcyByZXF1 aXJlcyBmb3JtYWxseSBzcGVjaWZ5aW5nIHRoZW07IGZvciBWYVIgbW9kZWxzLCBhbnkKd29yayB3 b3VsZCBoYXZlIHRvIHN0YXJ0IHdpdGggdGhpcyBtb3N0IGJhc2ljIHN0ZXAsIGFzIHJlZ3VsYXRv cnMnIGN1cnJlbnQKZGVzaWRlcmF0YSBhcmUgc3ViamVjdGl2ZSBhbmQgYW1iaWd1b3VzLgoKV2Ug YmVsaWV2ZSB0aGF0IHRoZXNlIHByb2JsZW1zIGNhbiBiZSBhZGRyZXNzZWQgYnkgcmVwcmVzZW50 aW5nIHRoZQprbm93bGVkZ2UgdW5kZXJseWluZyBzdWNoIG1vZGVscyBhbmQgbWVjaGFuaXNtcyBp biBhIGZvcm1hbCwgZXhwbGljaXQsCm1hY2hpbmUtdmVyaWZpYWJsZSB3YXkuICBDb250ZW1wb3Jh cnkgY29tcHV0ZXIgc2NpZW5jZSBvZmZlcnMgYSB3aWRlCmNob2ljZSBvZiBrbm93bGVkZ2UgcmVw cmVzZW50YXRpb24gbGFuZ3VhZ2VzIHdlbGwgc3VwcG9ydGVkIGJ5CnZlcmlmaWNhdGlvbiB0b29s cy4gIFN1Y2ggdG9vbHMgaGF2ZSBiZWVuIHN1Y2Nlc3NmdWxseSBhcHBsaWVkLCBlLmcuLCBmb3IK dmVyaWZ5aW5nIHNvZnR3YXJlIHRoYXQgY29udHJvbHMgY29tbXV0ZXIgcmFpbCBvciBwYXltZW50 IHN5c3RlbXMgKGNmLiB0aGUKc3ltcG9zaXVtIGhvbWVwYWdlIGZvciBmdXJ0aGVyIGJhY2tncm91 bmQpLiAgU3RpbGwsIERPTUFJTiBFWFBFUlRTIHdpdGhvdXQKYSBzdHJvbmcgY29tcHV0ZXIgc2Np ZW5jZSBiYWNrZ3JvdW5kIGZpbmQgaXQgY2hhbGxlbmdpbmcgdG8gY2hvb3NlIHRoZQpyaWdodCB0 b29scyBhbmQgdG8gdXNlIHRoZW0uICBUaGlzIHN5bXBvc2l1bSBhaW1zIGF0IGludmVzdGlnYXRp bmcgd2F5cyB0bwpzdXBwb3J0IHRoZW0uICBTb21lIHByb2JsZW1zIGNhbiBiZSBhZGRyZXNzZWQg bm93LCBvdGhlcnMgd2lsbCBicmluZyBuZXcKY2hhbGxlbmdlcyB0byBjb21wdXRlciBzY2llbmNl LgoKVE9QSUNTIG9mIGludGVyZXN0IGluY2x1ZGU6CgogICAqIGZvciBET01BSU4gRVhQRVJUUzog d2hhdCBwcm9ibGVtcyBpbiBhcHBsaWNhdGlvbiBkb21haW5zIGNvdWxkIGJlbmVmaXQKICAgICBm cm9tIGJldHRlciB2ZXJpZmljYXRpb24gYW5kIGtub3dsZWRnZSBtYW5hZ2VtZW50IGZhY2lsaXRp ZXM/CiAgICAgUG9zc2libGUgZmllbGRzIGluY2x1ZGU6CgogICAgICogRXhhbXBsZSAxIChlY29u b21pY3MpOgogICAgICAgYXVjdGlvbnMsIFZhUiwgdHJhZGluZyBhbGdvcml0aG1zLCBtYXJrZXQg ZGVzaWduCgogICAgICogRXhhbXBsZSAyIChlbmdpbmVlcmluZyk6CiAgICAgICBzeXN0ZW0gaW50 ZXJvcGVyYWJpbGl0eSwgbWFudWZhY3R1cmluZyBwcm9jZXNzZXMsIHByb2R1Y3QgCmNsYXNzaWZp Y2F0aW9uCgogICAqIGZvciBDT01QVVRFUiBTQ0lFTlRJU1RTOiBob3cgdG8gcHJvdmlkZSB0aGUg cmlnaHQga25vd2xlZGdlIG1hbmFnZW1lbnQKICAgICBhbmQgdmVyaWZpY2F0aW9uIHRvb2xzIHRv IGRvbWFpbiBleHBlcnRzIHdpdGhvdXQgYSBjb21wdXRlciBzY2llbmNlCiAgICAgYmFja2dyb3Vu ZD8KCiAgICAgKiB3aWtpcyBhbmQgYmxvZ3MgZm9yIGluZm9ybWFsLCBzZW1hbnRpYywgc2VtaWZv cm1hbCwgYW5kIGZvcm1hbAogICAgICAgbWF0aGVtYXRpY2FsIGtub3dsZWRnZTsKICAgICAqIGdl bmVyYWwgdGVjaG5pcXVlcyBhbmQgdG9vbHMgZm9yIG9ubGluZSBjb2xsYWJvcmF0aXZlIG1hdGhl bWF0aWNzOwogICAgICogdG9vbHMgZm9yIGNvbGxhYm9yYXRpdmVseSBwcm9kdWNpbmcsIHByZXNl bnRpbmcsIHB1Ymxpc2hpbmcsIGFuZAogICAgICAgaW50ZXJhY3Rpbmcgd2l0aCBvbmxpbmUgbWF0 aGVtYXRpY3M7CiAgICAgKiBhdXRvbWF0aW9uIGFuZCBjb21wdXRlci1odW1hbiBpbnRlcmFjdGlv biBhc3BlY3RzIG9mIG1hdGhlbWF0aWNhbAogICAgICAgd2lraXM7CiAgICAgKiBvbnRvbG9naWVz IGFuZCBrbm93bGVkZ2UgYmFzZXMgZGVzaWduZWQgdG8gc3VwcG9ydCBrbm93bGVkZ2UKICAgICAg IG1hbmFnZW1lbnQgYW5kIHZlcmlmaWNhdGlvbiBpbiBhcHBsaWNhdGlvbiBkb21haW5zOwogICAg ICogcHJhY3RpY2FsIGV4cGVyaWVuY2VzLCB1c2FiaWxpdHkgYXNwZWN0cywgZmVhc2liaWxpdHkg c3R1ZGllczsKICAgICAqIGV2YWx1YXRpb24gb2YgZXhpc3RpbmcgdG9vbHMgYW5kIGV4cGVyaW1l bnRzOwogICAgICogcmVxdWlyZW1lbnRzLCB1c2VyIHNjZW5hcmlvcyBhbmQgZ29hbHMuCgpUSEUg U1lNUE9TSVVNIGlzIGRlc2lnbmVkIHRvIGJyaW5nIGRvbWFpbiBleHBlcnRzIGFuZCBmb3JtYWxp c2VycyBpbnRvCmNsb3NlIGFuZCBmcnVpdGZ1bCBjb250YWN0IHdpdGggZWFjaCBvdGhlcjogZG9t YWluIGV4cGVydHMgd2lsbCBiZSBhYmxlIHRvCnByZXNlbnQgdGhlaXIgZmllbGRzIGFuZCBwcm9i bGVtcyB0byBmb3JtYWxpc2VyczsgZm9ybWFsaXNlcnMgd2lsbCBiZQpleHBvc2VkIHRvIG5ldyBh bmQgY2hhbGxlbmdpbmcgcHJvYmxlbSBhcmVhcy4gV2Ugd2lsbCBjb21iaW5lIHRhbGtzIGFuZApo YW5kcy1vbiBzZXNzaW9ucyB0byBlbnN1cmUgY2xvc2UgaW50ZXJhY3Rpb24gYW1vbmcgcGFydGlj aXBhbnRzIGZyb20gYm90aApzaWRlcy4gIFdlIHdpbGwgc3RhcnQgd2l0aCBhbiBpbnZpdGVkIHRh bGsgZ2l2ZW4gYnkgYW4gZXhwZXJ0IGZyb20KZWNvbm9taWNzICh0byBiZSBkZXRlcm1pbmVkKSwg b24gdGhlIG5lZWQgZm9yIHZlcmlmaWFibGUgbW9kZWxzIGluIHRoaXMKZG9tYWluIGFuZCBiZXlv bmQuCgpTVUJNSVNTSU9OUyAoVFdPIFNUQUdFUykKCldlIHJ1biBhIHR3by1zdGFnZSBzdWJtaXNz aW9uIHByb2Nlc3M6CgpTdGFnZSAxOiBQUk9CTEVNICYgVE9PTCAoIk5BSUwgJiBIQU1NRVIiKSBE RVNDUklQVElPTlMKICAgICAgICAgIHRvIGJlIHJldmlld2VkIGFuZCBtYXRjaGVkIHdpdGggZWFj aCBvdGhlcgoKU3RhZ2UgMjogUkVHVUxBUiBFWFRFTkRFRCBBQlNUUkFDVFMKICAgICAgICAgIG5v cm1hbCBjb25mZXJlbmNlLWxpa2UgcGVlciByZXZpZXcKCkFjY2VwdGVkIHN1Ym1pc3Npb25zIGZy b20gYm90aCBzdGFnZXMgd2lsbCBiZSBpbmNsdWRlZCBpbiB0aGUgc3ltcG9zaXVtCnByb2NlZWRp bmdzIChzZWUgYmVsb3cpLgoKSW4gU3RhZ2UgMSAoYnkgMTAgRGVjZW1iZXIpIHdlIHNvbGljaXQg 4oCmCgoqIGZyb20gRE9NQUlOIEVYUEVSVFM6IGRlc2NyaXB0aW9ucyBvZiBjYW5vbmljYWwgbW9k ZWxzIGFuZCBwcm9ibGVtcyBpbgogICB0aGVpciBkb21haW4gdGhhdCBtaWdodCBiZW5lZml0IGZy b20gYmV0dGVyIHZlcmlmaWNhdGlvbiBhbmQga25vd2xlZGdlCiAgIG1hbmFnZW1lbnQgZmFjaWxp dGllcy4gIERlc2NyaXB0aW9ucyBzaG91bGQgZm9jdXMgb24gYXNwZWN0cyBvZiB0aGVzZQogICBt b2RlbHMgdGhhdCBkb21haW4gdXNlcnMgZmluZCBwYXJ0aWN1bGFybHkgcHJvYmxlbWF0aWMsIGFu ZCBzdXNwZWN0CiAgIG1pZ2h0IGJlIGFpZGVkIGJ5IGZvcm1hbGlzYXRpb24gdG9vbHMKCiogZnJv bSBDT01QVVRFUiBTQ0lFTlRJU1RTOiBkZXNjcmlwdGlvbnMgb2YgZm9ybWFsaXNhdGlvbiwgdmVy aWZpY2F0aW9uCiAgIGFuZCBrbm93bGVkZ2UgbWFuYWdlbWVudCB0b29scywgd2l0aCBhbiBlbXBo YXNpcyBvbiBob3cgdGhleSBjb3VsZCBiZQogICBhcHBsaWVkIGluIGEgY29uY3JldGUgcmVhbC13 b3JsZCBzZXR0aW5nLCBvciB0YWlsb3JlZCB0byBzdWNoIGFwcGxpY2F0aW9uCiAgIGRvbWFpbnMu CgpTdGFnZSAxIHN1Ym1pc3Npb25zIHNob3VsZCBoYXZlIDIgdG8gNCBwYWdlcyBhbmQgbWF5IGJl IHN1bW1hcmllcyBvZgplYXJsaWVyIHB1YmxpY2F0aW9ucyBvbiByZWxldmFudCBwcm9ibGVtcyBh bmQgdG9vbHMsIGZvY3VzZWQgdG8gYSB0YXJnZXQKYXVkaWVuY2Ugb2YgY29tcHV0ZXIgc2NpZW50 aXN0cyBvciBkb21haW4gZXhwZXJ0cywgcmVzcGVjdGl2ZWx5LgoKVGhlIHN5bXBvc2l1bSBjaGFp cnMsIGFzc2lzdGVkIGJ5IHRoZSBQQyBtZW1iZXJzLCB3aWxsIHJldmlldyBhbmQKaW5pdGlhbGx5 IHB1Ymxpc2ggY29tbWVudGVkIHZlcnNpb25zIG9mIHRoZSBTdGFnZSAxIHN1Ym1pc3Npb25zIG9u IHRoZQpzeW1wb3NpdW0gaG9tZXBhZ2UsIHRvIHByb3ZpZGUgb3JpZW50YXRpb24gZm9yIFN0YWdl IDIuICBTaG91bGQgbWF0Y2hpbmcKcHJvYmxlbXMgYW5kIHRvb2xzIGJlIGlkZW50aWZpZWQsIHdl IHdpbGwgbm90aWZ5IHRoZSByZXNwZWN0aXZlIGF1dGhvcnMuCgpJbiBTdGFnZSAyIChieSAxNCBK YW51YXJ5KSB3ZSBzb2xpY2l0IHJlZ3VsYXIgc3VibWlzc2lvbnMgb24gYW55IG9mIHRoZQpUT1BJ Q1Mgb3V0bGluZWQgaW5pdGlhbGx5LiAgV2UgcHJlZmVyIHN1Ym1pc3Npb25zIHRoYXQgc3BlY2lm aWNhbGx5CmFkZHJlc3MgdG9waWNzIGlkZW50aWZpZWQgaW4gU3RhZ2UgMTsgZm9yIGEgdG9vbCBk ZXNjcmlwdGlvbiBwYXBlciwgdGhpcwpjb3VsZCwgZS5nLiwgYmUgZG9uZSBieSBtb3RpdmF0aW5n IHRoZSB0b29sIHdpdGggYSBTdGFnZSAxIHByb2JsZW0sIGFuZApza2V0Y2hpbmcgaG93IHRoZSB0 b29sIGNvdWxkLCBvciB3aWxsLCBiZSBhcHBsaWVkIGluIHRoaXMgZG9tYWluLiAgRWFjaApzdWJt aXNzaW9uIHdpbGwgYmUgcmVmZXJlZWQgYnkgdGhyZWUgUEMgbWVtYmVycyBvbiBhdmVyYWdlLiAg U3VibWlzc2lvbnMKd2lsbCBiZSBqdWRnZWQgYmFzZWQgb24gdGhlIFBDJ3Mgdmlld3Mgb2YgdGhl IGxpa2VsaWhvb2Qgb2YgY29udHJpYnV0aW5nCnRvIGEgYmV0dGVyIG1hdGNoaW5nIG9mIGhhbW1l cnMgKGZvcm1hbGlzYXRpb24gYW5kIHZlcmlmaWNhdGlvbiB0b29scykgdG8KbmFpbHMgKGRvbWFp biBwcm9ibGVtcykuCgpBdCB0aGlzIHN0YWdlIHdlIGFjY2VwdCBQREYgc3VibWlzc2lvbnMgaW4g YW55IGxheW91dCBidXQgY291bnQgMTIwMCB3b3JkcwphcyBvbmUgcGFnZSBmb3IgZmFpciBjb21w YXJpc29uLiAgV2UgaW52aXRlIHJlc2VhcmNoIGFuZCBwb3NpdGlvbiBwYXBlcnMsCmFzIHdlbGwg YXMgdG9vbCBhbmQgc3lzdGVtIGRlc2NyaXB0aW9ucywgZnJvbSAzIHRvIDEwIHBhZ2VzLiAgQmVz aWRlcyBQREZzCndlIGludml0ZSB0aGUgc3VibWlzc2lvbiBvZiBmb3JtYWxpc2VkIGtub3dsZWRn ZSByZXByZXNlbnRhdGlvbnMgd2l0aApodW1hbi1yZWFkYWJsZSBhbm5vdGF0aW9ucy4KClRvIHN1 Ym1pdCBhIHBhcGVyLCBwbGVhc2UgZ28gdG8gdGhlIERvLUZvcm0gRWFzeUNoYWlyIHBhZ2UKKGh0 dHA6Ly93d3cuZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj1kb2Zvcm0yMDEzKSBhbmQg Zm9sbG93IHRoZQppbnN0cnVjdGlvbnMgdGhlcmUuCgpGSU5BTCBWRVJTSU9OUwoKRmluYWwgdmVy c2lvbnMgc2hvdWxkIGJlIHByZXBhcmVkIGluIExhVGVYIGFjY29yZGluZyB0byB0aGUgQUlTQgpm b3JtYXR0aW5nIGd1aWRlbGluZXMgbGlua2VkIGZyb20gdGhlIHN5bXBvc2l1bSBob21lcGFnZS4g IEZvciB0aGUgZmluYWwKdmVyc2lvbiwgbm9uLVBERiBzdWJtaXNzaW9ucyBzaG91bGQgYmUgYWNj b21wYW5pZWQgYnkgYSBQREYgYWJzdHJhY3Qgb2YgMgp0byA0IHBhZ2VzLiAgRWxlY3Ryb25pYyBw cm9jZWVkaW5ncyAod2l0aCBhbiBJU0JOKSB3aWxsIGJlIG1hZGUgYXZhaWxhYmxlCnRvIHRoZSBj b252ZW50aW9uIGRlbGVnYXRlcyBvbiBhIG1lbW9yeSBzdGljaywgYW5kIG9uIHRoZSBBSVNCIHdl YnNpdGUuCgpJTVBPUlRBTlQgREFURVMKCiAgICAqIFByZS1TdWJtaXNzaW9uIChTdGFnZSAxKTog MTAgRGVjZW1iZXIgMjAxMgogICAgKiBTdGFnZSAxIFN1Ym1pc3Npb25zIGFuZCBDb21tZW50cyBv bmxpbmU6IDE0IERlY2VtYmVyIDIwMTIKICAgICogUmVndWxhciBTdWJtaXNzaW9uIChTdGFnZSAy KTogMTQgSmFudWFyeSAyMDEzCiAgICAqIE5vdGlmaWNhdGlvbjogMTEgRmVicnVhcnkgMjAxMwog ICAgKiBGaW5hbCB2ZXJzaW9ucyBkdWU6IDQgTWFyY2ggMjAxMwogICAgKiBTeW1wb3NpdW06IDIt NSBBcHJpbCAyMDEzIChkYXlzIHRvIGJlIGZpeGVkKQoKUFJPR1JBTU1FIENPTU1JVFRFRSAodG8g YmUgcG9wdWxhdGVkIHdpdGggZnVydGhlciBkb21haW4gZXhwZXJ0cykKCiAgICAgMS4gUm9iIEFy dGhhbiwgTGVtbWEgMSwgUmVhZGluZywgVUsKICAgICAyLiBKYW1lcyBEYXZlbnBvcnQsIFVuaXZl cnNpdHkgb2YgQmF0aCwgVUsKICAgICAzLiBNaWNoYWVsIEdyw7xuaW5nZXIsIFVuaXZlcnNpdHkg b2YgVG9yb250bywgQ2FuYWRhCiAgICAgNC4gTWFuZnJlZCBLZXJiZXIsIFVuaXZlcnNpdHkgb2Yg QmlybWluZ2hhbSwgVUsgKGNvLWNoYWlyKQogICAgIDUuIE1pY2hhZWwgS29obGhhc2UsIEphY29i cyBVbml2ZXJzaXR5IEJyZW1lbiwgR2VybWFueQogICAgIDYuIENocmlzdG9waCBMYW5nZSwgVW5p dmVyc2l0eSBvZiBCaXJtaW5naGFtLCBVSyAoY28tY2hhaXIpCiAgICAgNy4gVGlsbCBNb3NzYWtv d3NraSwgVW5pdmVyc2l0eSBvZiBCcmVtZW4sIEdlcm1hbnkKICAgICA4LiBDb2xpbiBSb3dhdCwg VW5pdmVyc2l0eSBvZiBCaXJtaW5naGFtLCBVSyAoY28tY2hhaXIpCiAgICAgOS4gTWFrYXJpdXMg V2VuemVsLCBVbml2ZXJzaXR5IG9mIFBhcmlzIFN1ZCwgRnJhbmNlCiAgICAxMC4gV29sZmdhbmcg V2luZHN0ZWlnZXIsIFJJU0MgLyBKS1UgTGlueiwgQXVzdHJpYQoKQ09NTUVOVFMvUVVFU1RJT05T L0VOUVVJUklFUyB0byBiZSBzZW50IHRvIERvRm9ybTIwMTNAZWFzeWNoYWlyLm9yZwoKLS0gCkNo cmlzdG9waCBMYW5nZSwgU2Nob29sIG9mIENvbXB1dGVyIFNjaWVuY2UsIFVuaXZlcnNpdHkgb2Yg QmlybWluZ2hhbQpodHRwOi8vY3MuYmhhbS5hYy51ay9+bGFuZ2VjLCBTa3lwZSBkdWtlNDcwMQoK 4oaSIEVuYWJsaW5nIERvbWFpbiBFeHBlcnRzIHRvIHVzZSBGb3JtYWxpc2VkIFJlYXNvbmluZyBA IEFJU0IgMjAxMwogICAy4oCTNSBBcHJpbCAyMDEzLCBFeGV0ZXIsIFVLLiAgRGVhZGxpbmVzIDEw IERlYyAoc3RhZ2UgMSksIDE0IEphbiAoc3QuIDIpCiAgIGh0dHA6Ly9jcy5iaGFtLmFjLnVrL3Jl c2VhcmNoL3Byb2plY3RzL2Zvcm1hcmUvZXZlbnRzL2Fpc2IyMDEzLwoKLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tCkV2ZXJ5b25lIGhhdGVzIHNsb3cgd2Vic2l0ZXMuIFNvIGRvIHdlLgpNYWtlIHlvdXIg d2ViIGFwcHMgZmFzdGVyIHdpdGggQXBwRHluYW1pY3MKRG93bmxvYWQgQXBwRHluYW1pY3MgTGl0 ZSBmb3IgZnJlZSB0b2RheToKaHR0cDovL3Auc2YubmV0L3NmdS9hcHBkeW5fc2ZkMmRfb2N0Cl9f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fClNlbWVkaWF3aWtp LXVzZXIgbWFpbGluZyBsaXN0ClNlbWVkaWF3aWtpLXVzZXJAbGlzdHMuc291cmNlZm9yZ2UubmV0 Cmh0dHBzOi8vbGlzdHMuc291cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL3NlbWVkaWF3aWtp LXVzZXIK