Please see below a post-doc position in computer networks at University of Calgary, in Calgary, Alberta, Canada. Recent or finishing theory PhDs with some networking background are welcome to apply. Theory tools that we are interested in applying to networking research include: optimization, (approximation) algorithms, game theory, graph theory and combinatorics. Post-Doctoral Position in Computer [...]
Algorithms and/or Complexity Theory Post-Doctoral Position The Department of Computer Science at the University of Calgary invites applications for a post-doctoral position in Algorithms or Complexity Theory to begin in summer or fall of 2009. The successful applicant should hold a Ph.D. in computer science or mathematics by the beginning of the appointment. While all [...]
ANNOUNCEMENT ****************************************************************** IEEE Transactions on Systems, Man, and Cybernetics – Part B Special Issue: Game Theory ****************************************************************** Timetable: Manuscript Submission: Dec. 15, 2008 Acceptance Notification: Mar. 1, 2009 Final Manuscript Due: May 1, 2009 Publication: 4th quarter 2009 **************************************************************** Game theory is a formal framework with a set of mathematical tools to study the complex [...]
********************************************************************************************* ********************************************************************************************* *** T H E 7 T H P A N H E L L E N I C L O G I C S Y M P O S I U M *** *** 1 5 – 1 9 J u l y 2 0 0 9, P a t r a s, [...]
ECOOP’2009 23rd European Conference on Object Oriented Programming July 6th – 10th 2009, Genova, Italy http://2009.ecoop.org CALL FOR PAPERS The ECOOP 2009 conference invites high quality papers presenting research results or experience in all areas relevant to object technology, including work that takes inspiration from, or builds connections to, areas not commonly considered object-oriented. ECOOP [...]
ICAgICAgICAgICAgICAgICAgICAgICAgICBFQ09PUCcyMDA5CiAgICAgICAyM3JkIEV1cm9wZWFu IENvbmZlcmVuY2Ugb24gT2JqZWN0IE9yaWVudGVkIFByb2dyYW1taW5nCiAgICAgICAgICAgICAg SnVseSA2dGggLSAxMHRoIDIwMDksIEdlbm92YSwgSXRhbHkKICAgICAgICAgICAgICAgICAgIGh0 dHA6Ly8yMDA5LmVjb29wLm9yZwoKICAgICAgICAgICAgICAgICAgICAgICAgQ0FMTCBGT1IgUEFQ RVJTCgpUaGUgRUNPT1AgMjAwOSBjb25mZXJlbmNlIGludml0ZXMgaGlnaCBxdWFsaXR5IHBhcGVy cyBwcmVzZW50aW5nIHJlc2VhcmNoIApyZXN1bHRzIG9yIGV4cGVyaWVuY2UgaW4gYWxsIGFyZWFz IHJlbGV2YW50IHRvIG9iamVjdCB0ZWNobm9sb2d5LCBpbmNsdWRpbmcgCndvcmsgdGhhdCB0YWtl cyBpbnNwaXJhdGlvbiBmcm9tLCBvciBidWlsZHMgY29ubmVjdGlvbnMgdG8sIGFyZWFzIG5vdCAK Y29tbW9ubHkgY29uc2lkZXJlZCBvYmplY3Qtb3JpZW50ZWQuIEVDT09QIHdpc2hlcyB0byBlbWJy YWNlIGEgYnJvYWQgCnJhbmdlIG9mIHRvcGljcywgdGhlcmVmb3JlIHRoZSBmb2xsb3dpbmcgbGlz dCBvZiB0b3BpY3MgaXMgYnkgbm8gbWVhbnMgCmV4Y2x1c2l2ZToKCiogQW5hbHlzaXMsIGRlc2ln biBtZXRob2RzIGFuZCBkZXNpZ24gcGF0dGVybnMKKiBDb25jdXJyZW50LCByZWFsLXRpbWUgb3Ig cGFyYWxsZWwgc3lzdGVtcwoqIERhdGFiYXNlcywgcGVyc2lzdGVuY2UgYW5kIHRyYW5zYWN0aW9u cwoqIERpc3RyaWJ1dGVkIGFuZCBtb2JpbGUgc3lzdGVtcwoqIEZyYW1ld29ya3MsIHByb2R1Y3Qg bGluZXMgYW5kIHNvZnR3YXJlIGFyY2hpdGVjdHVyZXMKKiBMYW5ndWFnZSBkZXNpZ24gYW5kIGlt cGxlbWVudGF0aW9uCiogVGVzdGluZyBhbmQgbWV0cmljcwoqIFByb2dyYW1taW5nIGVudmlyb25t ZW50cyBhbmQgdG9vbHMKKiBUaGVvcmV0aWNhbCBmb3VuZGF0aW9ucywgdHlwZSBzeXN0ZW1zLCBm b3JtYWwgbWV0aG9kcwoqIFZlcnNpb25pbmcsIGNvbXBhdGliaWxpdHksIHNvZnR3YXJlIGV2b2x1 dGlvbgoqIEFzcGVjdHMsIENvbXBvbmVudHMsIE1vZHVsYXJpdHksIFJlZmxlY3Rpb24KKiBDb2xs YWJvcmF0aW9uLCBXb3JrZmxvdwoKUmVzZWFyY2ggcGFwZXJzIHNob3VsZCBhZHZhbmNlIHRoZSBj dXJyZW50IHN0YXRlIG9mIHRoZSBhcnQsIGFuZCBib3RoIApleHBlcmltZW50YWxseSBiYXNlZCB3 b3JrIGFuZCBtYXRoZW1hdGljYWwgcmVzdWx0cyBhcmUgd2VsY29tZS4gRXhwZXJpZW5jZSAKcGFw ZXJzIHNob3VsZCBkZXNjcmliZSBub3ZlbCBpbnNpZ2h0IGdhaW5lZCBmcm9tIHRoZSBwcmFjdGlj YWwgYXBwbGljYXRpb24gCm9mIG9iamVjdCB0ZWNobm9sb2d5LCBpbiBzdWNoIGEgd2F5IHRoYXQg aXQgaXMgb2YgaW50ZXJlc3QgdG8gYSBicm9hZCBncm91cCAKb2YgcmVzZWFyY2hlcnMgYW5kIHBy YWN0aXRpb25lcnMuCgpBIHBhcGVyIHNob3VsZCBleHBsYWluIGl0cyBjb250cmlidXRpb25zIGlu IGJvdGggZ2VuZXJhbCBhbmQgdGVjaG5pY2FsIHRlcm1zLCAKaWRlbnRpZnlpbmcgd2hhdCBoYXMg YmVlbiBhY2NvbXBsaXNoZWQsIGV4cGxhaW5pbmcgd2h5IGl0IGlzIHNpZ25pZmljYW50LCBhbmQg CmNvbXBhcmluZyBpdCB3aXRoIHByZXZpb3VzIHdvcmsuIEF1dGhvcnMgc2hvdWxkIHN0cml2ZSB0 byBtYWtlIHRoZWlyIHBhcGVycyAKdW5kZXJzdGFuZGFibGUgdG8gYSBicm9hZCBhdWRpZW5jZS4g UGFwZXJzIHdpbGwgYmUgZXZhbHVhdGVkIGFjY29yZGluZyB0byAKb3JpZ2luYWxpdHkgYW5kIHNp Z25pZmljYW5jZSwgcHJlY2lzaW9uIGFuZCBjb3JyZWN0bmVzcywgcHJlc2VudGF0aW9uIGFuZCAK Y2xhcml0eSwgYW5kIHJlbGV2YW5jZS4KClBhcGVycyBtdXN0IGJlIHdyaXR0ZW4gaW4gRW5nbGlz aCwgYW5kIGJlIG5vIGxvbmdlciB0aGFuIDI1IHBhZ2VzLCBpbmNsdWRpbmcgCnJlZmVyZW5jZXMs IGFwcGVuZGljZXMgYW5kIGZpZ3VyZXMsIGFuZCB3cml0dGVuIHVzaW5nIHRoZSBMTkNTIHN0eWxl LiBGb3IgCm1vcmUgaW5mb3JtYXRpb24gYWJvdXQgZm9ybWF0dGluZyBwbGVhc2UgY29uc3VsdCB0 aGUgU3ByaW5nZXIgTE5DUyB3ZWIgc2l0ZSAKYXQgaHR0cDovL3d3dy5zcHJpbmdlci5kZS9jb21w L2xuY3MvYXV0aG9ycy5odG1sLgoKSW1wb3J0YW50IERhdGVzClBhcGVyIHN1Ym1pc3Npb246ICAg ICAgICAgICAgICAyMCBEZWNlbWJlciAyMDA4CkF1dGhvcnMnIHJlc3BvbnNlIHBlcmlvZDogICAx Ni0xOCBGZWJydWFyeSAyMDA5Ck5vdGlmaWNhdGlvbiBvZiBBY2NlcHRhbmNlOiAgICAgICAxMyBN YXJjaCAyMDA5CkVDT09QIGNvbmZlcmVuY2U6ICAgICAgICAgICAgICAgIDYtMTAgSnVseSAyMDA5 CgpEdXJpbmcgdGhlIGF1dGhvciByZXNwb25zZSBwZXJpb2QsIGF1dGhvcnMgd2lsbCBiZSBnaXZl biB0aGUgb3Bwb3J0dW5pdHkgCnRvIHJlYWQgYW5kIHJlc3BvbmQgdG8gdGhlIHJldmlld3Mgb2Yg dGhlaXIgcGFwZXJzLiBSZXNwb25zZXMgd2lsbCBiZSBhdCAKbW9zdCA1MDAgd29yZHMsIGFuZCBz aG91bGQgYmUgdXNlZCB0byBhbnN3ZXIgZXhwbGljaXQgcXVlc3Rpb25zIGluIHJldmlld3MsIApv ciBjb3JyZWN0IGZhY3R1YWwgbWlzdGFrZXMuCgoKUHJvZ3JhbSBDaGFpcgpTb3BoaWEgRHJvc3Nv cG91bG91IChJbXBlcmlhbCBDb2xsZWdlLCBMb25kb24sIFVLKQoKUHJvZ3JhbSBDb21taXR0ZWUK RWxpc2EgQmFuaWFzc2FkIChUaGUgQ2hpbmVzZSBVbml2ZXJzaXR5IG9mIEhvbmcgS29uZywgQ2hp bmEpCkZyYW5jb2lzZSBCYXVkZSAoVW5pdmVyc2l0eSBvZiBOaWNlIFNvcGhpYSBBbnRpcG9saXMs IEZyYW5jZSkKQmVybmhhcmQgQmVja2VydCAoVW5pdmVyc2l0eSBvZiBLb2JsZW56LCBHZXJtYW55 ICkKTG9kZXdpamsgQmVyZ21hbnMgKFVuaXZlcnNpdHkgb2YgVHdlbnRlLCBUaGUgTmV0aGVybGFu ZHMgKQpKb2huIFRhbmcgQm95bGFuZCAoVW5pdmVyc2l0eSBvZiBXaXNjb25zaW4tTWlsd2F1a2Vl LCBVU0EpClNpb2Jow6FuIENsYXJrZSAoVHJpbml0eSBDb2xsZWdlIER1YmxpbiwgSXJlbGFuZCkK V2lsbGlhbSBDb29rIChVbml2ZXJzaXR5IG9mIFRleGFzIGF0IEF1c3RpbiwgVVNBKQpFcmljIEVp ZGUgKFVuaXZlcnNpdHkgb2YgVXRhaCwgVVNBKQpFcmlrIEVybnN0IChVbml2ZXJzaXR5IG9mIEFh [...]
FMICS 2009 – FIRST CALL FOR PAPERS Please visit: http://www.dsic.upv.es/workshops/fmics2009 ************************************************** * 14th International Workshop on * * Formal Methods for Industrial Critical Systems * * FMICS 2009 * * * * November 2-3, 2009 * * Eindhoven, The Netherlands * ************************************************** IMPORTANT DATES ————— Deadline for abstracts: 1st April Deadline for papers: 7 April [...]