[fc-announce] Workshop Announcement

[joan.feigenbaum@yale.edu]

  This message is in MIME format.  The first part should be readable text,
  while the remaining parts are likely unreadable without MIME-aware tools.
  Send mail to mime@docserver.cac.washington.edu for more info.

--612427749-2110801732-1076773324=:20674
Content-Type: TEXT/PLAIN; charset=US-ASCII

Please circulate the attached announcement to the
FC mailing list.

---------------------------
Joan Feigenbaum, Professor
Yale Computer Science Dept.
http://www.cs.yale.edu/~jf


--612427749-2110801732-1076773324=:20674
Content-Type: TEXT/PLAIN; NAME="portia-workshop.txt"
Content-Transfer-Encoding: BASE64
Content-ID: <Pine.LNX.4.44.0402121039380.17403@concave.cs.yale.edu>
Content-Description: 
Content-Disposition: ATTACHMENT; FILENAME="portia-workshop.txt"

UE9SVElBIFdvcmtzaG9wIG9uIFNlbnNpdGl2ZSBEYXRhIGluIE1lZGljYWws
IEZpbmFuY2lhbCwgYW5kIA0KQ29udGVudC1EaXN0cmlidXRpb24gU3lzdGVt
cyANCg0KSnVseSA4LTksIDIwMDQNCkZyYW5jZXMgQy4gQXJyaWxsYWdhIEFs
dW1uaSBDZW50ZXIsIFN0YW5mb3JkIFVuaXZlcnNpdHksIFN0YW5mb3JkIENB
DQoNClRoaXMgd29ya3Nob3AgaXMgaW50ZW5kZWQgdG8gZm9zdGVyIGNvbGxh
Ym9yYXRpb25zIGJldHdlZW4gY29tcHV0ZXIgDQpzY2llbnRpc3RzIHdobyBz
ZWVrIHRvIGVuaGFuY2UgdGhlIHNlY3VyaXR5IGFuZCBwcml2YWN5IG9mIHNl
bnNpdGl2ZSANCmRhdGEgYWJvdXQgcGVvcGxlIGFuZCBvcmdhbml6YXRpb25z
IGFuZCBkb21haW4gZXhwZXJ0cyBpbiBmaWVsZHMgdGhhdCANCm5lZWQgdGVj
aG5vbG9naWNhbCBzb2x1dGlvbnMgdG8gYWRkcmVzcyBjdXN0b21lciBjb25j
ZXJucyBhbmQgdG8gDQpmdWxmaWxsIGxlZ2FsIG9ibGlnYXRpb25zLiAgVGhl
IGdvYWwgaXMgdG8gZm9ybXVsYXRlIHNwZWNpZmljIHRlY2huaWNhbCANCnBy
b2JsZW1zIHRoYXQgYXJlIGltcG9ydGFudCB0byB1c2VyIGNvbW11bml0aWVz
IHRoYXQgZGVhbCB3aXRoIGxhcmdlIA0KYW1vdW50cyBvZiBzZW5zaXRpdmUg
YnV0IGFyZSBub3Qgc2F0aXNmYWN0b3JpbHkgc29sdmVkIGJ5IGN1cnJlbnQg
DQp0ZWNobm9sb2d5Lg0KDQpBIGhhbGYtZGF5IHdpbGwgYmUgc3BlbnQgb24g
ZWFjaCBvZiB0aHJlZSBkb21haW5zOg0KDQoxKSBNZWRpY2luZSwgaW4gd2hp
Y2ggYWR2YW5jZXMgaW4gY29tcHV0aW5nIGFuZCBjb21tdW5pY2F0aW9uIA0K
dGVjaG5vbG9neSBjYW4gZW5oYW5jZSB0cmVhdG1lbnQgYW5kIHJlc2VhcmNo
IGJ1dCBjYW4gYWxzbyB0aHJlYXRlbiANCnBhdGllbnQgcHJpdmFjeS4gIFRo
aXMgc2Vzc2lvbiB3aWxsIGluY2x1ZGUgYW4gaW52aXRlZCBwcmVzZW50YXRp
b24NCmJ5IERyLiBEYW5pZWwgTWFzeXMsIERpcmVjdG9yIG9mIEJpb21lZGlj
YWwgSW5mb3JtYXRpY3MgYXQgdGhlIFVDU0QNCk1lZGljYWwgU2Nob29sICho
dHRwOi8vbWVkaWNpbmUudWNzZC5lZHUvZmFjdWx0eS9tYXN5cy8pLiAgIA0K
DQoyKSBGaW5hbmNpYWwgc2VydmljZXMsIGluIHdoaWNoIHZhc3QgYW1vdW50
cyBvZiB0cmFuc2FjdGlvbiBkYXRhIGFyZSANCnJvdXRpbmVseSBzdG9yZWQg
YW5kIHRyYW5zbWl0dGVkLCBidXQgaW5kaXZpZHVhbHMgYW5kIGZpcm1zIGFy
ZSANCmRlZXBseSBjb25jZXJuZWQgYWJvdXQgc2VjdXJpdHkgYW5kIHByaXZh
Y3ksIGFuZCBjb21wbGV4IGxlZ2FsIA0KcmVxdWlyZW1lbnRzIGFwcGx5LiAg
VGhpcyBzZXNzaW9uIHdpbGwgaW5jbHVkZSBhbiBpbnZpdGVkIHByZXNlbnRh
dGlvbg0KYnkgRHIuIERhbmllbCBTY2h1dHplciwgVmljZSBQcmVzaWRlbnQs
IERpcmVjdG9yIG9mIEV4dGVybmFsIFJlbGF0aW9ucw0KYW5kIEVtZXJnaW5n
IFRlY2hub2xvZ2llcyBpbiBJbmZvcm1hdGlvbiBTZWN1cml0eSBhbmQgQ29t
cGxpYW5jZSBhdA0KQ2l0aWdyb3VwLg0KDQozKSBEaWdpdGFsIGNvbnRlbnQg
ZGlzdHJpYnV0aW9uLCBpbiB3aGljaCByaWdodHMgaG9sZGVycyBhbmQgDQps
aWJyYXJpZXMgc2VlayBkaXN0cmlidXRpb24gc3lzdGVtcyB0aGF0IHNpbXVs
dGFuZW91c2x5IG9iZXkgY29weXJpZ2h0IA0KbGF3LCByZXNwZWN0IHVzZXIg
cHJpdmFjeSwgYW5kIHBlcm1pdCBsZWdpdGltYXRlIHVzZXIgcHJvZmlsaW5n
LCB1c2FnZSANCm1vbml0b3JpbmcsIGFuZCBkYXRhIG1pbmluZy4NCg0KVGhl
cmUgd2lsbCBhbHNvIGJlIG9uZSBoYWxmLWRheSBkZXZvdGVkIHRvIHRlY2hu
b2xvZ2ljYWwgY2hhbGxlbmdlcyBjb21tb24gDQp0byBhbGwgZG9tYWlucyBh
bmQgdXNlciBjb21tdW5pdGllcyB0aGF0IGRlYWwgd2l0aCBsYXJnZSBhbW91
bnQgb2Ygc2Vuc2l0aXZlIA0KZGF0YS4gIEFjdGl2aXRpZXMgd2lsbCBpbmNs
dWRlIGludml0ZWQgcHJlc2VudGF0aW9ucywgY29udHJpYnV0ZWQgDQpwcmVz
ZW50YXRpb25zLCBhbmQgYnJlYWstb3V0IHNlc3Npb25zLg0KDQpXb3Jrc2hv
cCBDby1DaGFpcnM6DQoJSm9hbiBGZWlnZW5iYXVtIChZYWxlIFVuaXZlcnNp
dHkpDQoJVml0YWx5IFNobWF0aWtvdiAoU1JJKQ0KCVZpY2t5IFdlaXNzbWFu
IChDb3JuZWxsIFVuaXZlcnNpdHkpDQoNCkltcG9ydGFudCBEYXRlczoNCglN
YXkgMSwgMjAwNDogU3VibWlzc2lvbnMgZHVlDQoJTWF5IDEsIDIwMDQ6IFJl
cXVlc3RzIGZvciB0cmF2ZWwgc3VwcG9ydCBkdWUNCglKdW5lIDEsIDIwMDQ6
IEFjY2VwdC9yZWplY3QgZGVjaXNpb25zIHNlbnQNCglKdW5lIDE1LCAyMDA0
OiBGaW5hbCBhYnN0cmFjdHMgZHVlDQoJSnVseSA4LTksIDIwMDQ6IFdvcmtz
aG9wDQoNClN1Ym1pc3Npb24gSW5zdHJ1Y3Rpb25zOg0KCUlmIHlvdSB3b3Vs
ZCBsaWtlIHRvIHNwZWFrIGF0IHRoaXMgd29ya3Nob3AsIHBsZWFzZSBzZW5k
IGEgMS0gdG8NCjItcGFnZSBhYnN0cmFjdCBvZiB5b3VyIHByb3Bvc2VkIHRh
bGsgYnkgTWF5IDEsIDIwMDQgdG8gDQpwdy1vcmdAY3NsLnNyaS5jb20uICBJ
ZiB5b3VyIHN1Ym1pc3Npb24gaXMgYWNjZXB0ZWQsIHlvdSB3aWxsIGJlIGV4
cGVjdGVkIA0KdG8gcHJvdmlkZSBhIGZpbmFsIHZlcnNpb24gb2YgeW91ciBh
YnN0cmFjdCBmb3IgcG9zdGluZyBvbiB0aGUgd29ya3Nob3AgDQp3ZWJzaXRl
IGJ5IEp1bmUgMTUsIDIwMDQuICBMaW5rcyB0byBjb21wbGV0ZSBwYXBlcnMg
bWF5IGFsc28gYmUgcG9zdGVkIGF0IA0KdGhlIHNwZWFrZXJzJyByZXF1ZXN0
IGJ1dCBhcmUgbm90IHJlcXVpcmVkLg0KDQpUcmF2ZWwgU3VwcG9ydDoNCglB
IG1vZGVzdCBhbW91bnQgb2YgdHJhdmVsIHN1cHBvcnQgaXMgYXZhaWxhYmxl
LiAgSWYgeW91IHdvdWxkDQpsaWtlIHRvIGF0dGVuZCB0aGlzIHdvcmtzaG9w
IGJ1dCByZXF1aXJlIHRyYXZlbCBzdXBwb3J0IGluIG9yZGVyIHRvIGRvDQpz
bywgcGxlYXNlIGNvbnRhY3QgcHctb3JnQGNzbC5zcmkuY29tIGJ5IE1heSAx
LCAyMDA0LiAgDQoNClRoaXMgd29ya3Nob3AgaXMgc3BvbnNvcmVkIGJ5IHRo
ZSBOYXRpb25hbCBTY2llbmNlIEZvdW5kYXRpb24ncyBJVFIgDQpwcm9ncmFt
IHRocm91Z2ggdGhlIFBPUlRJQSBwcm9qZWN0IG9uIHNlbnNpdGl2ZSBkYXRh
IA0KKGh0dHA6Ly9jcnlwdG8uc3RhbmZvcmQuZWR1L3BvcnRpYSkuDQo=
--612427749-2110801732-1076773324=:20674--