(PN) Int’l Conf. on Tools with AI (ICTAI 2008): 1st CFP
QXBvbG9naWVzIGZvciBjcm9zcy1wb3N0aW5ncy4gUGxlYXNlIHNlbmQgdG8gaW50ZXJlc3RlZCBj
b2xsZWFndWVzIGFuZCBzdHVkZW50cwogCiAKICAgICBUaGUgMjB0aCBJRUVFIElOVEVSTkFUSU9O
QUwgQ09ORkVSRU5DRSBvbiBUT09MUyB3aXRoIAogICAgICAgICAgICAgICAgICAgICAgQVJUSUZJ
Q0lBTCBJTlRFTExJR0VOQ0UgICAoSUNUQUkgMjAwOCkKCiAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgIE5vdmVtYmVyIDMtNSwgMjAwOAogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
RGF5dG9uLCBPaGlvLCBVU0EKICAgICAgICAgICAgQ29uZmVyZW5jZSBXZWIgc2l0ZTogaHR0cDov
L2RibGFiLmNzLndyaWdodC5lZHUvaWN0YWkyMDA4LwoKICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgIApUaGUgYW5udWFsIElFRUUgSW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFRvb2xz
IHdpdGggQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UgCihJQ1RBSSkgcHJvdmlkZXMgYSBtYWpvciBp
bnRlcm5hdGlvbmFsIGZvcnVtIHdoZXJlIHRoZSBjcmVhdGlvbiBhbmQgZXhjaGFuZ2Ugb2YgCmlk
ZWFzIHJlbGF0ZWQgdG8gYXJ0aWZpY2lhbCBpbnRlbGxpZ2VuY2UgYXJlIGZvc3RlcmVkIGFtb25n
IGFjYWRlbWlhLCBpbmR1c3RyeSwgCmFuZCBnb3Zlcm5tZW50IGFnZW5jaWVzLiBUaGUgY29uZmVy
ZW5jZSBmYWNpbGl0YXRlcyB0aGUgY3Jvc3MtZmVydGlsaXphdGlvbiBvZiAKdGhlc2UgaWRlYXMg
YW5kIHByb21vdGVzIHRoZWlyIHRyYW5zZmVyIGludG8gcHJhY3RpY2FsIHRvb2xzLCBmb3IgZGV2
ZWxvcGluZyAKaW50ZWxsaWdlbnQgc3lzdGVtcyBhbmQgcHVyc3VpbmcgYXJ0aWZpY2lhbCBpbnRl
bGxpZ2VuY2UgYXBwbGljYXRpb25zLiBUaGUgSUNUQUkgCmVuY29tcGFzc2VzIGFsbCB0aGUgdGVj
aG5pY2FsIGFzcGVjdHMgb2Ygc3BlY2lmeWluZywgZGV2ZWxvcGluZyBhbmQgZXZhbHVhdGluZyAK
dGhlIHRoZW9yZXRpY2FsIHVuZGVycGlubmluZ3MgYW5kIGFwcGxpZWQgbWVjaGFuaXNtcyBvZiB0
aGUgQUkgYmFzZWQgCmNvbXBvbmVudHMgb2YgY29tcHV0ZXIgdG9vbHMgKGkuZS4gYWxnb3JpdGht
cywgbWV0aG9kb2xvZ2llcywgYXJjaGl0ZWN0dXJlcywgCmFuZCBsYW5ndWFnZXMpLiAgCiAKVE9Q
SUNTIE9GIElOVEVSRVNUIGluY2×1ZGUgKGJ1dCBhcmUgbm90IGxpbWl0ZWQgdG8pIHRoZSBmb2xs
b3dpbmc6CiAKICBBSSBBbGdvcml0aG1zCiAgQUkgaW4gQmlvaW5mb3JtYXRpY3MKICBBSSBpbiBD
b21wdXRlciBTZWN1cml0eQogIEFJIGluIERhdGFiYXNlcyBhbmQgRGF0YSBNaW5pbmcKICBBSSBp
biBFLWNvbW1lcmNlCiAgQUkgaW4gR2FtZXMKICBBSSBpbiBJbmZvcm1hdGlvbiBBc3N1cmFuY2UK
ICBBSSBpbiBMb2dpc3RpY3MgYW5kIFN1cHBseSBDaGFpbiBNYW5hZ2VtZW50CiAgQUkgaW4gTWVk
aWNpbmUKICBBSSBpbiBNdWx0aW1lZGlhIFN5c3RlbXMKICBBSSBpbiBSZWFsLXRpbWUgYW5kIEVt
YmVkZGVkIEFwcGxpY2F0aW9ucwogIEFJIGluIFJvYm90aWNzCiAgQUkgaW4gU29mdHdhcmUgRW5n
aW5lZXJpbmcKICBDYXNlLUJhc2VkIFJlYXNvbmluZwogIENvZ25pdGl2ZSBNb2RlbGluZwogIENv
bnN0cmFpbnQgUHJvZ3JhbW1pbmcKICBDb2xsYWJvcmF0aXZlIFNvZnR3YXJlIEFnZW50cwogIFJl
YXNvbmluZyB1bmRlciBGdXp6aW5lc3Mgb3IgVW5jZXJ0YWludHkKICBFdm9sdXRpb25hcnkgQ29t
cHV0aW5nCiAgSHlicmlkIEludGVsbGlnZW50IFN5c3RlbXMKICBJbmZvcm1hdGlvbiBSZXRyaWV2
YWwKICBJbnRlbGxpZ2VudCBUdXRvcmluZy9UcmFpbmluZyBTeXN0ZW1zCiAgSW50ZWxsaWdlbnQg
SW50ZXJuZXQgQWdlbnRzCiAgSW50ZWxsaWdlbnQgSW50ZXJmYWNlIEFnZW50cwogIEtub3dsZWRn
ZS1iYXNlZCBTeXN0ZW1zCiAgS25vd2xlZGdlIEV4dHJhY3Rpb24KICBLbm93bGVkZ2UgTWFuYWdl
bWVudCBhbmQgU2hhcmluZwogIEtub3dsZWRnZSBSZXByZXNlbnRhdGlvbiBhbmQgUmVhc29uaW5n
CiAgTWFjaGluZSBMZWFybmluZwogIE5hdHVyYWwgTGFuZ3VhZ2UgUHJvY2Vzc2luZyBhbmQgVW5k
ZXJzdGFuZGluZwogIE5ldXJhbCBOZXR3b3JrcwogIE9udG9sb2dpZXMKICBQbGFubmluZyBhbmQg
U2NoZWR1bGluZwogIFF1YWxpdGF0aXZlIFJlYXNvbmluZwogIFNlYXJjaCBhbmQgSGV1cmlzdGlj
cwogIFNlbWFudGljIFdlYiBUZWNobm9sb2dpZXMKICBTcGVlY2ggUHJvY2Vzc2luZyBhbmQgVW5k
ZXJzdGFuZGluZwogIFZpc2lvbiBhbmQgSW1hZ2UgUHJvY2Vzc2luZyBhbmQgVW5kZXJzdGFuZGlu
Zy4KIApUaGUgc3VibWlzc2lvbnMgc2hvdWxkIGNvbnRhaW4gb3JpZ2luYWwgYW5kIGhpZ2ggcXVh
bGl0eSB3b3JrLCBub3Qgc3VibWl0dGVkIG9yIApwdWJsaXNoZWQgZWxzZXdoZXJlLiBUaGUgYWNj
ZXB0ZWQgcGFwZXJzIHdpbGwgYmUgaW5jbHVkZWQgaW4gdGhlIElDVEFJIDIwMDggCnByb2NlZWRp
bmdzIHB1Ymxpc2hlZCBieSB0aGUgSUVFRSBDb21wdXRlciBTb2NpZXR5LiBBIHNlbGVjdGlvbiBv
ZiB0aGUgYmVzdCAKcGFwZXJzIG9mIHRoZSBjb25mZXJlbmNlIHdpbGwgYmUgcHVibGlzaGVkIGlu
IGEgc3BlY2lhbCBpc3N1ZSBvZiB0aGUgSW50ZXJuYXRpb25hbCAKSm91cm5hbCBvbiBBcnRpZmlj
aWFsIEludGVsbGlnZW5jZSBUb29scyAoSUpBSVQpLCB3aGljaCBpcyBTQ0kgSW5kZXhlZC4KCklN
UE9SVEFOVCBEQVRFUwogIFBhcGVyIHN1Ym1pc3Npb246IEp1bmUgMiwgMjAwOAogIE5vdGlmaWNh
dGlvbiBvZiBhY2NlcHRhbmNlOiBKdWx5IDE1LCAyMDA4CiAgQ2FtZXJhIHJlYWR5IHBhcGVyOiBB
dWd1c3QgNSwgMjAwOAoKR0VORVJBTCBDTy1DSEFJUlMKICBJb2FubmlzIEhhdHppbHlnZXJvdWRp
cywgVW5pdi4gb2YgUGF0cmFzLCBHcmVlY2UKICBDaGFuZy1UaWVuIEx1LCBWaXJnaW5pYSBUZWNo
LCBVU0EKClBDIENIQUlSCiAgU29vbiBNLiBDaHVuZywgV3JpZ2h0IFN0YXRlIFVuaXYuLCBVU0EK
CkFSRUEgQ0hBSVJTIChUZW50YXRpdmUpCiAgR3JpZ29yaXMgQW50b25pb3UsIFVuaXYuIG9mIENy
ZXRlICYgRk9SVEgsIEdyZWVjZQogIFJhaiBCaGF0bmFnYXIsIFVuaXYuIG9mIENpbmNpbm5hdGks
IFVTQQogIFLDvGRpZ2VyIEJyYXVzZSwgSi5XLiBHb2V0aGUgVW5pdi4sIEdlcm1hbnkKICBQYW9s
YSBDYW1wYWRlbGxpLCBVbml2LiBkZWdsaSBTdHVkaSBkaSBNaWxhbm8sIEl0YWx5CiAgU2h5aS1N
aW5nIENoZW4sIE5hdGlvbmFsIFRhaXdhbiBVU1QsIFRhaXdhbgogIFNpbHZpYSBDb3JhZGVzY2hp
LCDDlnJlYnJvIFVuaXYuLCBTd2VkZW4KICBBbm5hIEVzcG9zaXRvLCBTZWNvbmQgVW5pdi4gb2Yg
TmFwbGVzLCBJdGFseQogIERlbWV0cmEgRXZhbmdlbG91LCBQdXJkdWUgVW5pdi4sIFVTQQogIFJv
YmVydCBFd2luZywgQUZSTCwgV1BBRkIsIFVTQQogIEVyaWMgR3LDqWdvaXJlLCBVbml2LiBk4oCZ
QXJ0b2lzLCBGcmFuY2UKICBNZWxhbmllIEhpbGFyaW8sIFVuaXYuIG9mIEdlbmV2YSwgU3dpdHpl
cmxhbmQKICBOYW9oaXJvIElzaGlpLCBBaWNoaSBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSwgSmFw
YW4KICBMYWtobWkgSmFpbiwgVW5pdi4gb2YgU291dGggQXVzdHJhbGlhLCBBdXN0cmFsaWEKICBU
YWdoaSBNLiBLaG9zaGdvZnRhYXIsIEZsb3JpZGEgQXRsYW50aWMgVW5pdi4sIFVTQQogIE1hbm9s
aXMgS291YmFyYWtpcywgVW5pdi4gb2YgQXRoZW5zLCBHcmVlY2UKICBEYXZpZCBCLiBMZWFrZSwg
SW5kaWFuYSBVbml2LiwgVVNBCiAgV2lsbGlhbSBNY1F1YXksIEFGUkwsIFdQQUZCLCBVU0EKICBM
dWlnaSBQb3J0aW5hbGUsIFVuaXYuIG9mIFBpZW1vbnRlIE9yaWVudGFsZSwgSXRhbHkKICBWYXNp
bGUgUGFsYWRlLCBPeGZvcmQgVW5pdi4sIFVLCiAgV2l0b2xkIFBlZHJ5Y3osIFVuaXYuIG9mIEFs
YmVydGEsIENhbmFkYQogIFJvYmVydCBSZXlub2xkcywgV2F5bmUgU3RhdGUgVW5pdi4sIFVTQQog
IFBoaWxsaXAgU2hldSwgVW5pdi4gb2YgQ2FsaWZvcm5pYS1JcnZpbmUsIFVTQQogIEFuZHJlYXMt
R2Vvcmdpb3MgTi4gU3RhZnlsb3BhdGlzLCBOVFVBLCBHcmVlY2UKICBMZWZ0ZXJpIFRzb3VrYWxh
cywgUHVyZHVlIFVuaXYuLCBVU0EKICBEdSBaaGFuZywgQ2FsaWZvcm5pYSBTdGF0ZSBVbml2Liwg
VVNBCgpGSU5BTkNJQUwgQ0hBSVIKICBEZXNwaW5hIEthdnJha2ksIEFJSVMgSW5jLiwgVVNBCiAK
UkVHSVNUUkFUSU9OIGFuZCBMT0NBTCBBUlJBTkdFTUVOVCBDSEFJUgogIERvbmV0dGEgQmFudGxl
LCBXcmlnaHQgU3RhdGUgVW5pdi4sIFVTQQogClBVQkxJQ0FUSU9OIENIQUlSCiAgUHJhdmVlbiBL
YWt1bWFudSwgUml2ZXJhaW4gTWVkaWNhbCwgVVNBCiAKUFVCTElDSVRZIENIQUlSIGFuZCBXRUIg
TUFTVEVSCiAgVmluZWVsYSBNdXBwYXZhcmFwdSwgV3JpZ2h0IFN0YXRlIFVuaXYuLCBVU0EgCgpG
VVJUSEVSIElORk9STUFUSU9OCiAgUHJvZi4gU29vbiBNLiBDaHVuZyAoUEMgQ2hhaXIgb2YgSUNU
QUkgMjAwOCkgCiAgRGVwdC4gb2YgQ29tcHV0ZXIgU2NpZW5jZSBhbmQgRW5naW5lZXJpbmcKICBX
cmlnaHQgU3RhdGUgVW5pdmVyc2l0eQogIERheXRvbiwgT2hpbyA0NTQzNSwgVVNBCiAgRW1haWw6
IHNvb24uY2h1bmcgW2F0XSB3cmlnaHQgW2RvdF0gZWR1CiAgSG9tZXBhZ2U6IGh0dHA6Ly93d3cu
Y3Mud3JpZ2h0LmVkdS9+c2NodW5nCiAKCgogICAgICBfX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X18KTmV2ZXIgbWlzcyBhIHRoaW5nLiAgTWFrZSBZYWhvbyB5b3VyIGhvbWUgcGFnZS4gCmh0dHA6
Ly93d3cueWFob28uY29tL3IvaHMKCi0tLS0KW1sgUGV0cmkgTmV0cyBXb3JsZDogICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBdXQpbWyAgICAgICAgICAgICAg
aHR0cDovL3d3dy5pbmZvcm1hdGlrLnVuaS1oYW1idXJnLmRlL1RHSS9QZXRyaU5ldHMvIF1dCltb
IE1haWxpbmcgbGlzdCBGQVE6ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgXV0KW1sgaHR0cDovL3d3dy5pbmZvcm1hdGlrLnVuaS1oYW1idXJnLmRlL1RHSS9Q
ZXRyaU5ldHMvcG5tbC9mYXEuaHRtbCBdXQpbWyBQb3N0IG1lc3NhZ2VzL3N1bW1hcnkgb2YgcmVw
bGllczogICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIF1dCltbICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgIHBldHJpbmV0QGluZm9ybWF0aWsudW5pLWhhbWJ1cmcuZGUgXV0=