Archive for December 18th, 2008

(PN) SEKE 2009 Call For Paper

CALL FOR PAPERS The Twenty-First International Conference on Software Engineering and Knowledge Engineering (SEKE’09) will be held at the Hyatt Harborside at Boston’s Logan Int’l Airport, Boston, USA, July 1-3, 2009. The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge [...]

[Concurrency] SEKE 2009 Call For Paper

CALL FOR PAPERS The Twenty-First International Conference on Software Engineering and Knowledge Engineering (SEKE’09) will be held at the Hyatt Harborside at Boston’s Logan Int’l Airport, Boston, USA, July 1-3, 2009. The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge [...]

Faculty positions at the Department of Computer Science, Univ. of Brasilia, Brazil

The Department of Computer Science (CIC/UnB) of the University of Brasilia (www.unb.br) has three open faculty positions at the so called “titular professor” level. These are permanent, highest level positions for federal public institutions in Brazil; they are equivalent to a “full professor” position in the USA. The basic formal requirement is a PhD degree [...]

(PN) FroCoS’09 Call for Papers

LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLQogICAgICAgV0UgQVBPTE9HSVpFIElGIFlPVSBSRUNFSVZFIE1VTFRJ UExFIENPUElFUyBPRiBUSElTIE1FU1NBR0UKLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKICAgICAgICAgICAg ICAgICAgICAgICBDYWxsIGZvciBQYXBlcnMKCiAgICAgICAgICAgICAgICAgIDd0aCBJbnRlcm5h dGlvbmFsIFN5bXBvc2l1bSBvbgogICAgICAgICAgICBGUk9OVElFUlMgT0YgQ09NQklOSU5HIFNZ U1RFTVMgKEZyb0NvU+KAmTA5KQoKICAgICAgICAgICAgICBUcmVudG8sIEl0YWx5LCBTZXB0ZW1i ZXIgMTYtMTh0aCwgMjAwOSAKICAgICAgICAgICAgICAgICAgIGh0dHA6Ly9mcm9jb3MwOS5kaXNp LnVuaXRuLml0LwoKTU9USVZBVElPTlMgCkluIHZhcmlvdXMgYXJlYXMgb2YgY29tcHV0ZXIgc2Np ZW5jZSwgc3VjaCBhcyBsb2dpYywgY29tcHV0YXRpb24sCnByb2dyYW0gZGV2ZWxvcG1lbnQgYW5k IHZlcmlmaWNhdGlvbiwgYXJ0aWZpY2lhbCBpbnRlbGxpZ2VuY2UsIGtub3dsZWRnZQpyZXByZXNl bnRhdGlvbiwgYW5kIGF1dG9tYXRlZCByZWFzb25pbmcsIHRoZXJlIGlzIGFuIG9idmlvdXMgbmVl ZCBmb3IKdXNpbmcgc3BlY2lhbGl6ZWQgZm9ybWFsaXNtcyBhbmQgaW5mZXJlbmNlIG1lY2hhbmlz bXMgZm9yIHNwZWNpYWwKdGFza3MuIEluIG9yZGVyIHRvIGJlIHVzYWJsZSBpbiBwcmFjdGljZSwg dGhlc2Ugc3BlY2lhbGl6ZWQgc3lzdGVtcwptdXN0IGJlIGNvbWJpbmVkIHdpdGggZWFjaCBvdGhl ciwgYW5kIHRoZXkgbXVzdCBiZSBpbnRlZ3JhdGVkIGludG8KZ2VuZXJhbCBwdXJwb3NlIHN5c3Rl bXMuIFRoZSBkZXZlbG9wbWVudCBvZiBnZW5lcmFsIHRlY2huaXF1ZXMgYW5kCm1ldGhvZHMgZm9y IHRoZSBjb21iaW5hdGlvbiBhbmQgaW50ZWdyYXRpb24gb2Ygc3BlY2lhbCBmb3JtYWxseSBkZWZp bmVkCnN5c3RlbXMsIGFzIHdlbGwgYXMgZm9yIHRoZSBhbmFseXNpcyBhbmQgbW9kdWxhcml6YXRp b24gb2YgY29tcGxleApzeXN0ZW1zIGhhcyBiZWVuIGluaXRpYXRlZCBpbiBtYW55IGFyZWFzLiBU aGUgSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0Kb24gRnJvbnRpZXJzIG9mIENvbWJpbmluZyBTeXN0 ZW1zIChGUk9DT1MpIHRyYWRpdGlvbmFsbHkgZm9jdXNlcyBvbgp0aGlzIHR5cGUgb2YgcmVzZWFy Y2ggcXVlc3Rpb25zIGFuZCBhY3Rpdml0aWVzIGFuZCBhaW1zIGF0IHByb21vdGluZwpwcm9ncmVz cyBpbiB0aGUgZmllbGQuIApMaWtlIGl0cyBwcmVkZWNlc3NvcnMsIEZST0NPU+KAmTA5IHdhbnRz IHRvIG9mZmVyIGEgY29tbW9uIGZvcnVtIGZvcgpyZXNlYXJjaCBhY3Rpdml0aWVzIGluIHRoZSBn ZW5lcmFsIGFyZWEgb2YgY29tYmluYXRpb24sIG1vZHVsYXJpemF0aW9uCmFuZCBpbnRlZ3JhdGlv biBvZiBzeXN0ZW1zICh3aXRoIGVtcGhhc2lzIG9uIGxvZ2ljLWJhc2VkIG9uZXMpLCBhbmQgb2YK dGhlaXIgcHJhY3RpY2FsIHVzZS4gIAoKUkVMRVZBTlQgVE9QSUNTIApUeXBpY2FsIHRvcGljcyBv ZiBpbnRlcmVzdCBpbmNsdWRlIChidXQgYXJlIG5vdCBsaW1pdGVkIHRvKTogCiogY29tYmluYXRp b25zIG9mIGxvZ2ljcyBzdWNoIGFzIGNvbWJpbmVkIHByZWRpY2F0ZSwgdGVtcG9yYWwsIG1vZGFs LAogIG9yIGVwaXN0ZW1pYyBsb2dpY3M7ICAKKiBjb21iaW5hdGlvbnMgYW5kIG1vZHVsYXJpdHkg aW4gb250b2xvZ2llczsgCiogY29tYmluYXRpb24gb2YgZGVjaXNpb24gcHJvY2VkdXJlcywgb2Yg c2F0aXNmaWFiaWxpdHkgcHJvY2VkdXJlcywKICBhbmQgb2YgQ1MgdGVjaG5pcXVlczsgIAoqIGNv bWJpbmF0aW9ucyBhbmQgbW9kdWxhcml0eSBpbiB0ZXJtIHJld3JpdGluZzsgCiogaW50ZWdyYXRp b24gb2YgZXF1YXRpb25hbCBhbmQgb3RoZXIgdGhlb3JpZXMgaW50byBkZWR1Y3RpdmUgc3lzdGVt czsgCiogY29tYmluYXRpb24gb2YgZGVkdWN0aW9uIHN5c3RlbXMgYW5kIGNvbXB1dGVyIGFsZ2Vi cmE7IAoqIGludGVncmF0aW9uIG9mIGRhdGEgc3RydWN0dXJlcyBpbnRvIENMUCBmb3JtYWxpc21z IGFuZCBkZWR1Y3Rpb24gcHJvY2Vzc2VzOyAKKiBoeWJyaWQgbWV0aG9kcyBmb3IgZGVkdWN0aW9u LCByZXNvbHV0aW9uIGFuZCBjb25zdHJhaW50IHByb3BhZ2F0aW9uOyAKKiBoeWJyaWQgc3lzdGVt cyBpbiBrbm93bGVkZ2UgcmVwcmVzZW50YXRpb24gYW5kIG5hdHVyYWwgbGFuZ3VhZ2Ugc2VtYW50 aWNzOyAKKiBjb21iaW5lZCBsb2dpY3MgZm9yIGRpc3RyaWJ1dGVkIGFuZCBtdWx0aS1hZ2VudCBz eXN0ZW1zOyAKKiBsb2dpY2FsIGFzcGVjdHMgb2YgY29tYmluaW5nIGFuZCBtb2R1bGFyaXppbmcg cHJvZ3JhbXMgYW5kIHNwZWNpZmljYXRpb25zLiAKClBBUEVSIFNVQk1JU1NJT04gClBhcGVycyBt dXN0IGRlc2NyaWJlIG9yaWdpbmFsIHdvcmssIGJlIHdyaXR0ZW4gYW5kIHByZXNlbnRlZCBpbgpF bmdsaXNoLCBhbmQgbXVzdCBub3Qgc3Vic3RhbnRpYWxseSBvdmVybGFwIHdpdGggcGFwZXJzIHRo YXQgaGF2ZSBiZWVuCnB1Ymxpc2hlZCBvciB0aGF0IGFyZSBzaW11bHRhbmVvdXNseSBzdWJtaXR0 ZWQgdG8gYSBqb3VybmFsIG9yIGEKY29uZmVyZW5jZSB3aXRoIHJlZmVyZWVkIHByb2NlZWRpbmdz LiBTZWxlY3Rpb24gY3JpdGVyaWEgaW5jbHVkZQphY2N1cmFjeSBhbmQgb3JpZ2luYWxpdHkgb2Yg aWRlYXMsIGNsYXJpdHkgYW5kIHNpZ25pZmljYW5jZSBvZgpyZXN1bHRzLCBhbmQgcXVhbGl0eSBv ZiBwcmVzZW50YXRpb24uIEFsbCBzdWJtaXNzaW9ucyB3aWxsIGJlIHN1YmplY3QKdG8gYWNhZGVt aWMgcGVlciByZXZpZXcgYnkgYXQgbGVhc3QgdGhyZWUgbWVtYmVycyBvZiB0aGUgcHJvZ3JhbQpj b21taXR0ZWUuIEZvciBlYWNoIGFjY2VwdGVkIHBhcGVyLCBhdCBsZWFzdCBvbmUgYXV0aG9yIGlz IHJlcXVpcmVkIHRvCmF0dGVuZCB0aGUgY29uZmVyZW5jZSB0byBwcmVzZW50IHRoZSBwYXBlci4g ClBhcGVycyBtdXN0IGJlIGVkaXRlZCBpbiBMVEVYIGFuZCBiZSBzdWJtaXR0ZWQgZWxlY3Ryb25p Y2FsbHkgYXMgUERGCmZpbGVzIHZpYSB0aGUgRWFzeUNoYWlyIHN5c3RlbToKaHR0cDovL3d3dy5l [...]

(PN) AVOCS ’09 – First call for papers

–===============1656624317== Content-Type: multipart/alternative; boundary=Apple-Mail-44-40371951 –Apple-Mail-44-40371951 Content-Type: text/plain; charset=US-ASCII; format=flowed; delsp=yes Content-Transfer-Encoding: 7bit (Our apologies if you receive multiple copies of this message) First call for papers AVoCS 2009 Ninth International Workshop on Automated Verification of Critical Systems http://www.cs.swan.ac.uk/avocs09/ Swansea, UK, 23.9. – 25.9.2009 BACKGROUND AND OBJECTIVES The aim of AVoCS 2009 is to contribute to [...]

[Concurrency] CFP: IEEE/WIC/ACM IAT 2009 (Milano, Italy)

[Apologies if you receive this more than once] ##################################################################### IEEE/WIC/ACM Intelligent Agent Technology 2009 CALL FOR PAPERS ##################################################################### 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-09) September 15-18, 2009, University of Milano – Bicocca, Milano, Italy http://www.wi-iat09.disco.unimib.it/ Sponsored By IEEE Computer Society Web Intelligence Consortium (WIC) Association for Computing Machinery (ACM) ################################################################## # (Papers [...]