Archive for November 4th, 2008

post-doc position in computer networks

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 Networks
A post-docoral position in […]

post doc position at University of Calgary

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 areas of theoretical […]

CFP for Special Issue on Game-Theory

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 interactions among interdependent rational
players. For more than half a century, computational game […]

7th Panhellenic Logic Symposium, 15-19 July 2009, Patras, Greece

*********************************************************************************************
*********************************************************************************************
*** 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 ***
*** […]

ECOOP 2009 Call for Papers

ECOOP’2009
23rd European Conference on Object Oriented Programming
July 6th - 10th 2009, Genova, Italy
http://2009.ecoop.org
[…]

[Concurrency] ECOOP 2009 Call for Papers

ICAgICAgICAgICAgICAgICAgICAgICAgICBFQ09PUCcyMDA5CiAgICAgICAyM3JkIEV1cm9wZWFu
IENvbmZlcmVuY2Ugb24gT2JqZWN0IE9yaWVudGVkIFByb2dyYW1taW5nCiAgICAgICAgICAgICAg
SnVseSA2dGggLSAxMHRoIDIwMDksIEdlbm92YSwgSXRhbHkKICAgICAgICAgICAgICAgICAgIGh0
dHA6Ly8yMDA5LmVjb29wLm9yZwoKICAgICAgICAgICAgICAgICAgICAgICAgQ0FMTCBGT1IgUEFQ
RVJTCgpUaGUgRUNPT1AgMjAwOSBjb25mZXJlbmNlIGludml0ZXMgaGlnaCBxdWFsaXR5IHBhcGVy
cyBwcmVzZW50aW5nIHJlc2VhcmNoIApyZXN1bHRzIG9yIGV4cGVyaWVuY2UgaW4gYWxsIGFyZWFz
IHJlbGV2YW50IHRvIG9iamVjdCB0ZWNobm9sb2d5LCBpbmNsdWRpbmcgCndvcmsgdGhhdCB0YWtl
cyBpbnNwaXJhdGlvbiBmcm9tLCBvciBidWlsZHMgY29ubmVjdGlvbnMgdG8sIGFyZWFzIG5vdCAK
Y29tbW9ubHkgY29uc2lkZXJlZCBvYmplY3Qtb3JpZW50ZWQuIEVDT09QIHdpc2hlcyB0byBlbWJy
YWNlIGEgYnJvYWQgCnJhbmdlIG9mIHRvcGljcywgdGhlcmVmb3JlIHRoZSBmb2xsb3dpbmcgbGlz
dCBvZiB0b3BpY3MgaXMgYnkgbm8gbWVhbnMgCmV4Y2×1c2l2ZToKCiogQW5hbHlzaXMsIGRlc2ln
biBtZXRob2RzIGFuZCBkZXNpZ24gcGF0dGVybnMKKiBDb25jdXJyZW50LCByZWFsLXRpbWUgb3Ig
cGFyYWxsZWwgc3lzdGVtcwoqIERhdGFiYXNlcywgcGVyc2lzdGVuY2UgYW5kIHRyYW5zYWN0aW9u
cwoqIERpc3RyaWJ1dGVkIGFuZCBtb2JpbGUgc3lzdGVtcwoqIEZyYW1ld29ya3MsIHByb2R1Y3Qg
bGluZXMgYW5kIHNvZnR3YXJlIGFyY2hpdGVjdHVyZXMKKiBMYW5ndWFnZSBkZXNpZ24gYW5kIGlt
cGxlbWVudGF0aW9uCiogVGVzdGluZyBhbmQgbWV0cmljcwoqIFByb2dyYW1taW5nIGVudmlyb25t
ZW50cyBhbmQgdG9vbHMKKiBUaGVvcmV0aWNhbCBmb3VuZGF0aW9ucywgdHlwZSBzeXN0ZW1zLCBm
b3JtYWwgbWV0aG9kcwoqIFZlcnNpb25pbmcsIGNvbXBhdGliaWxpdHksIHNvZnR3YXJlIGV2b2×1
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
cmh1cywgRGVubWFyayApCkNvcm1hYyBGbGFuYWdhbiAoVW5pdmVyc2l0eSBvZiBDYWxpZm9ybmlh
IGF0IFNhbnRhIENydXosIFVTQSkKWW9zc2kgR2lsIChHb29nbGUgSGFpZmEgYW5kIFRlY2huaW9u
LCBJc3JhZWxsKQpOZWFsIEdsZXcgKEludGVsLCBVU0EpCkthdGhyeW4gRS4gR3JheSAoVW5pdmVy
c2l0eSBvZiBDYW1icmlkZ2UsIFVLKQpHw7ZyZWwgSGVkaW4gKEx1bmQgVW5pdmVyc2l0eSwgU3dl
ZGVuKQpBdHN1c2hpIElnYXJhc2hpIChLeW90byBVbml2ZXJzaXR5LCBKYXBhbikKUmljaGFyZCBK
b25lcyAoVW5pdmVyc2l0eSBvZiBLZW50LCBVSykKVmlrdG9yIEt1bmNhayAow4ljb2xlIFBvbHl0
ZWNobmlxdWUgRsOpZMOpcmFsZSBkZSBMYXVzYW5uZSwgU3dpdHplcmxhbmQpCkRvdWcgTGVhIChT
dGF0ZSBVbml2ZXJzaXR5IG9mIE5ldyBZb3JrIGF0IE9zd2VnbywgVVNBKQpHYXJ5IFQuIExlYXZl
bnMgKFVuaXZlcnNpdHkgb2YgQ2VudHJhbCBGbG9yaWRhLCBVU0EpCk9zY2FyIE5pZXJzdHJhc3og
KFVuaXZlcnNpdHkgb2YgQmVybiwgU3dpdHplcmxhbmQpCkphbWVzIE5vYmxlIChVbml2ZXJzaXR5
IG9mIFdlbGxpbmd0b24sIE5ldyBaZWFsYW5kKQpOYXRoYW5pZWwgTnlzdHJvbSAoSUJNIFJlc2Vh
cmNoLCBVU0EgKQpBd2FpcyBSYXNoaWQgKExhbmNhc3RlciBVbml2ZXJzaXR5LCBVSykKRGlvbWlk
aXMgU3BpbmVsbGlzIChBdGhlbnMgVW5pdmVyc2l0eSBvZiBFY29ub21pY3MgYW5kIEJ1c2luZXNz
LCBHcmVlY2UpClBldGVyIFNld2VsbCAoVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UsIFVLKQpMYXVy
ZW5jZSBUcmF0dCAoQm91cm5lbW91dGggVW5pdmVyc2l0eSwgVUspCkphbiBWaXRlayAoUHVyZHVl
IFVuaXZlcnNpdHksIFVTQSkKTWF0dGhpYXMgWmVuZ2VyIChHb29nbGUsIFN3aXR6ZXJsYW5kKQpF
bGVuYSBadWNjYSAoVW5pdmVyc2l0eSBvZiBHZW5vdmEsIEl0YWx5KQpfX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpDb25jdXJyZW5jeSBtYWlsaW5nIGxpc3QK
Q29uY3VycmVuY3lAbGlzdHNlcnZlci50dWUubmwKaHR0cDovL2xpc3RzZXJ2ZXIudHVlLm5sL21h
aWxtYW4vbGlzdGluZm8vY29uY3VycmVuY3kK

[Concurrency] FMICS 2009: First Call for Papers

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 […]