Call for Papers and Other Useful Academic Information

******************************************************************************
[Apologies for multiple copies]
*******************************************************************************
CALL FOR PAPERS Seventh Workshop on Quantitative Aspects of Programming
Languages (QAPL 2009) Affiliated with ETAPS 2009 March 28-29, 2009, York, UK
http://wwwtcs.inf.tu-dresden.de/ALGI/qapl09/
*******************************************************************************
SCOPE:
Quantitative aspects of computation are important and sometimes essential in
characterising […]

++++ QoSim 2009 ++++
Rome, Italy, March 6, 2009
http://www.qosim.org - info@qosim.org
[…]

CALL FOR PAPERS
ACM SIGMETRICS / Performance 2009
Joint International Conference on Measurement and Modeling of Computer
Systems June 15-19, 2009, Seattle, Washington, USA
http://conferences.sigmetrics.org/sigmetrics/2009
The joint ACM SIGMETRICS / Performance conference solicits papers on the
development and application of state-of-the-art, broadly applicable
analytic, simulation, and measurement-based performance evaluation
techniques. Of particular interest is work that presents new performance
evaluation methods, or those that […]

UHJvZmVzc29yIC8gQXNzb2NpYXRlIFByb2Zlc3NvciBpbiBDb21wbGV4IFNvZnR3YXJlIFN5c3Rl
bXMgYW5kIFNlcnZpY2VzCgpTd2luYnVybmUgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBNZWxi
b3VybmUsIEF1c3RyYWxpYQoKVGhlIENlbnRyZSBmb3IgQ29tcGxleCBTb2Z0d2FyZSBTeXN0ZW1z
IGFuZCBTZXJ2aWNlcyAoQ1MzKSBhdCBGYWN1bHR5IG9mCkluZm9ybWF0aW9uIGFuZCBDb21tdW5p
Y2F0aW9uIFRlY2hub2xvZ2llcywgU3dpbmJ1cm5lIFVuaXZlcnNpdHkgb2YKVGVjaG5vbG9neSwg
TWVsYm91cm5lLCBBdXN0cmFsaWEsIGlzIHNlZWtpbmcgdG8gYXBwb2ludCBhIHNlbmlvcgpyZXNl
YXJjaCBhY2FkZW1pYyBhdCB0aGUgUHJvZmVzc29yIG9yIEFzc29jaWF0ZSBQcm9mZXNzb3IgbGV2
ZWwuCgpUaGUgQ2VudHJlIGZvciBDb21wbGV4IFNvZnR3YXJlIFN5c3RlbXMgYW5kIFNlcnZpY2Vz
IChDUzMpIGlzIG9uZSBvZiB0aGUKbGVhZGluZyByZXNlYXJjaCBjZW50cmVzIGluIEF1c3RyYWxp
YSBhbmQgaGFzIGFuIGludGVybmF0aW9uYWwKcmVwdXRhdGlvbiBpbiBpdHMgcmVzZWFyY2ggYXJl
YXMgd2l0aCBpbnRlcm5hdGlvbmFsbHkgbGVhZGluZwpyZXNlYXJjaGVycy4gSXQgY2FycmllcyBv
dXQgcmVzZWFyY2ggaW4gY2xvc2UgY29sbGFib3JhdGlvbiB3aXRoCmluZHVzdHJ5IGFuZCByZXNl
YXJjaCBwYXJ0bmVycyBuYXRpb25hbGx5IGFuZCBpbnRlcm5hdGlvbmFsbHksIHN1cHBvcnRlZApi
eSBhIHdpZGUgcmFuZ2Ugb2YgcmVzZWFyY2ggZ3JhbnRzLCBzdHJhdGVnaWMgcGFydG5lcnNoaXAg
YXJyYW5nZW1lbnRzCmFuZCBpbmR1c3RyaWFsIFImRCBwcm9qZWN0cy4gV2l0aCBzb21lIDUwIHJl
c2VhcmNoIHN0YWZmIGFuZApwb3N0Z3JhZHVhdGUgcmVzZWFyY2ggc3R1ZGVudHMsIGFuZCBhIHN1
YnN0YW50aWFsIHBvcnRmb2xpbyBvZiBhbGlnbmVkCnJlc2VhcmNoIGFjdGl2aXRpZXMgdGhlIENl
bnRyZSBpcyBvbmUgb2YgdGhlIGxhcmdlc3QgYW5kIG1vc3QKY29uY2VudHJhdGVkIHJlc2VhcmNo
IGNlbnRyZXMgaW4gQ29tcGxleCBTb2Z0d2FyZSBTeXN0ZW1zIGFuZCBTZXJ2aWNlcwppbiBBdXN0
cmFsaWEuIEluZm9ybWF0aW9uIG9uIHRoZSBDZW50cmUgaXMgYXZhaWxhYmxlIGF0Cnd3dy5zd2lu
LmVkdS5hdS9pY3QvcmVzZWFyY2gvY3MzLgoKVGhlIENlbnRyZeKAmXMgcmVzZWFyY2ggZm9jdXNl
cyBvbiBkZXZlbG9waW5nIG5ldyBtZXRob2RzLCB0ZWNobmlxdWVzIGFuZAp0b29scyBmb3IgdGhl
IG1vZGVsbGluZywgZW5naW5lZXJpbmcgYW5kIG1hbmFnZW1lbnQgb2YgQ29tcGxleCBTb2Z0d2Fy
ZQpTeXN0ZW1zIGFuZCBTZXJ2aWNlcywgaW5jbHVkaW5nIFNlcnZpY2UgT3JpZW50ZWQgU3lzdGVt
cywgRW50ZXJwcmlzZQpTb2Z0d2FyZSBzeXN0ZW1zLCBTb2NpYWwgU29mdHdhcmUgU3lzdGVtcyBh
bmQgQ2xvdWQgQ29tcHV0aW5nIFN5c3RlbXMuCkl0IGVtYnJhY2VzIHJlc2VhcmNoIGluIENvbXBv
bmVudCBTb2Z0d2FyZSBUZWNobm9sb2d5LCBJbnRlbGxpZ2VudApBZ2VudHMgVGVjaG5vbG9neSwg
V2ViIGFuZCBEYXRhIFRlY2hub2xvZ3ksIGFuZCBXb3JrZmxvdyBUZWNobm9sb2d5LiBUaGUKQ2Vu
dHJlIGhhcyBhIG1ham9yIGdvYWwgdG8gZW5hYmxlIHN5bmVyZ3kgYWNyb3NzIGl0cyByZXNlYXJj
aCBhcmVhcyB0bwpmdXJ0aGVyIHN0cmVuZ3RoZW4gaXRzIG5hdGlvbmFsIGFuZCBpbnRlcm5hdGlv
bmFsIHByb2ZpbGUuCgpBcHBsaWNhbnRzIHNob3VsZCBoYXZlIGFuIG91dHN0YW5kaW5nIGludGVy
bmF0aW9uYWxseSByZWNvZ25pc2VkIHRyYWNrCnJlY29yZCBvZiByZXNlYXJjaCBhY2hpZXZlbWVu
dHMgYXMgZXZpZGVuY2VkIGJ5IGhpZ2gtcXVhbGl0eQpwdWJsaWNhdGlvbnMsIGNvbXBldGl0aXZl
IHJlc2VhcmNoIGdyYW50cyBhbmQgb3RoZXIgcmVsZXZhbnQgb3V0Y29tZXMgaW4KYW4gYXJlYSBy
ZWxhdGVkIHRvIENvbXBsZXggU29mdHdhcmUgU3lzdGVtcyBhbmQgU2VydmljZXMuCgpGb3IgcG9z
aXRpb24gaW5mb3JtYXRpb24gYW5kIHRvIGFwcGx5IG9ubGluZSBnbyB0bwp3d3cuc3dpbmJ1cm5l
LmVkdS5hdS9qb2JzCgpBcHBsaWNhdGlvbnMgQ2xvc2UgNXBtIG9uIEZyaWRheSA3IE5vdmVtYmVy
IDIwMDgKCkZvciBmdXJ0aGVyIGluZm9ybWF0aW9uIGNvbnRhY3QgUHJvZmVzc29yIFJ5c3phcmQg
S293YWxjenlrLCBvbjogKzYxIDMKOTIxNCA1ODM0IG9yIGVtYWlsIHRvOiBya293YWxjenlrQHN3
aW4uZWR1LmF1LgotLS0tLQpTd2luYnVybmUgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5CkNSSUNP
UyBQcm92aWRlciBDb2RlOiAwMDExMUQKCk5PVElDRQpUaGlzIGUtbWFpbCBhbmQgYW55IGF0dGFj
aG1lbnRzIGFyZSBjb25maWRlbnRpYWwgYW5kIGludGVuZGVkIG9ubHkgZm9yCnRoZSB1c2Ugb2Yg
dGhlIGFkZHJlc3NlZS4gVGhleSBtYXkgY29udGFpbiBpbmZvcm1hdGlvbiB0aGF0IGlzCnByaXZp
bGVnZWQgb3IgcHJvdGVjdGVkIGJ5IGNvcHlyaWdodC4gSWYgeW91IGFyZSBub3QgdGhlIGludGVu
ZGVkCnJlY2lwaWVudCwgYW55IGRpc3NlbWluYXRpb24sIGRpc3RyaWJ1dGlvbiwgcHJpbnRpbmcs
IGNvcHlpbmcgb3IgdXNlIGlzCnN0cmljdGx5IHByb2hpYml0ZWQuIFRoZSBVbml2ZXJzaXR5IGRv
ZXMgbm90IHdhcnJhbnQgdGhhdCB0aGlzIGUtbWFpbAphbmQgYW55IGF0dGFjaG1lbnRzIGFyZSBz
ZWN1cmUgYW5kIHRoZXJlIGlzIGFsc28gYSByaXNrIHRoYXQgaXQgbWF5IGJlCmNvcnJ1cHRlZCBp
biB0cmFuc21pc3Npb24uIEl0IGlzIHlvdXIgcmVzcG9uc2liaWxpdHkgdG8gY2hlY2sgYW55CmF0
dGFjaG1lbnRzIGZvciB2aXJ1c2VzIG9yIGRlZmVjdHMgYmVmb3JlIG9wZW5pbmcgdGhlbS4gSWYg
eW91IGhhdmUKcmVjZWl2ZWQgdGhpcyB0cmFuc21pc3Npb24gaW4gZXJyb3IsIHBsZWFzZSBjb250
YWN0IHVzIG9uICs2MSAzIDkyMTQKODAwMCBhbmQgZGVsZXRlIGl0IGltbWVkaWF0ZWx5IGZyb20g
eW91ciBzeXN0ZW0uIFdlIGRvIG5vdCBhY2NlcHQKbGlhYmlsaXR5IGluIGNvbm5lY3Rpb24gd2l0
aCBjb21wdXRlciB2aXJ1cywgZGF0YSBjb3JydXB0aW9uLCBkZWxheSwKaW50ZXJydXB0aW9uLCB1
bmF1dGhvcmlzZWQgYWNjZXNzIG9yIHVuYXV0aG9yaXNlZCBhbWVuZG1lbnQuCgpQbGVhc2UgY29u
c2lkZXIgdGhlIGVudmlyb25tZW50IGJlZm9yZSBwcmludGluZyB0aGlzIGVtYWlsLgoKX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQ29uY3VycmVuY3kgbWFp
bGluZyBsaXN0CkNvbmN1cnJlbmN5QGxpc3RzZXJ2ZXIudHVlLm5sCmh0dHA6Ly9saXN0c2VydmVy
LnR1ZS5ubC9tYWlsbWFuL2xpc3RpbmZvL2NvbmN1cnJlbmN5Cg==

UHJvZmVzc29yIC8gQXNzb2NpYXRlIFByb2Zlc3NvciBpbiBDb21wbGV4IFNvZnR3YXJlIFN5c3Rl
bXMgYW5kIFNlcnZpY2VzCgpTd2luYnVybmUgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBNZWxi
b3VybmUsIEF1c3RyYWxpYQoKVGhlIENlbnRyZSBmb3IgQ29tcGxleCBTb2Z0d2FyZSBTeXN0ZW1z
IGFuZCBTZXJ2aWNlcyAoQ1MzKSBhdCBGYWN1bHR5IG9mCkluZm9ybWF0aW9uIGFuZCBDb21tdW5p
Y2F0aW9uIFRlY2hub2xvZ2llcywgU3dpbmJ1cm5lIFVuaXZlcnNpdHkgb2YKVGVjaG5vbG9neSwg
TWVsYm91cm5lLCBBdXN0cmFsaWEsIGlzIHNlZWtpbmcgdG8gYXBwb2ludCBhIHNlbmlvcgpyZXNl
YXJjaCBhY2FkZW1pYyBhdCB0aGUgUHJvZmVzc29yIG9yIEFzc29jaWF0ZSBQcm9mZXNzb3IgbGV2
ZWwuCgpUaGUgQ2VudHJlIGZvciBDb21wbGV4IFNvZnR3YXJlIFN5c3RlbXMgYW5kIFNlcnZpY2Vz
IChDUzMpIGlzIG9uZSBvZiB0aGUKbGVhZGluZyByZXNlYXJjaCBjZW50cmVzIGluIEF1c3RyYWxp
YSBhbmQgaGFzIGFuIGludGVybmF0aW9uYWwKcmVwdXRhdGlvbiBpbiBpdHMgcmVzZWFyY2ggYXJl
YXMgd2l0aCBpbnRlcm5hdGlvbmFsbHkgbGVhZGluZwpyZXNlYXJjaGVycy4gSXQgY2FycmllcyBv
dXQgcmVzZWFyY2ggaW4gY2xvc2UgY29sbGFib3JhdGlvbiB3aXRoCmluZHVzdHJ5IGFuZCByZXNl
YXJjaCBwYXJ0bmVycyBuYXRpb25hbGx5IGFuZCBpbnRlcm5hdGlvbmFsbHksIHN1cHBvcnRlZApi
eSBhIHdpZGUgcmFuZ2Ugb2YgcmVzZWFyY2ggZ3JhbnRzLCBzdHJhdGVnaWMgcGFydG5lcnNoaXAg
YXJyYW5nZW1lbnRzCmFuZCBpbmR1c3RyaWFsIFImRCBwcm9qZWN0cy4gV2l0aCBzb21lIDUwIHJl
c2VhcmNoIHN0YWZmIGFuZApwb3N0Z3JhZHVhdGUgcmVzZWFyY2ggc3R1ZGVudHMsIGFuZCBhIHN1
YnN0YW50aWFsIHBvcnRmb2xpbyBvZiBhbGlnbmVkCnJlc2VhcmNoIGFjdGl2aXRpZXMgdGhlIENl
bnRyZSBpcyBvbmUgb2YgdGhlIGxhcmdlc3QgYW5kIG1vc3QKY29uY2VudHJhdGVkIHJlc2VhcmNo
IGNlbnRyZXMgaW4gQ29tcGxleCBTb2Z0d2FyZSBTeXN0ZW1zIGFuZCBTZXJ2aWNlcwppbiBBdXN0
cmFsaWEuIEluZm9ybWF0aW9uIG9uIHRoZSBDZW50cmUgaXMgYXZhaWxhYmxlIGF0Cnd3dy5zd2lu
LmVkdS5hdS9pY3QvcmVzZWFyY2gvY3MzLgoKVGhlIENlbnRyZeKAmXMgcmVzZWFyY2ggZm9jdXNl
cyBvbiBkZXZlbG9waW5nIG5ldyBtZXRob2RzLCB0ZWNobmlxdWVzIGFuZAp0b29scyBmb3IgdGhl
IG1vZGVsbGluZywgZW5naW5lZXJpbmcgYW5kIG1hbmFnZW1lbnQgb2YgQ29tcGxleCBTb2Z0d2Fy
ZQpTeXN0ZW1zIGFuZCBTZXJ2aWNlcywgaW5jbHVkaW5nIFNlcnZpY2UgT3JpZW50ZWQgU3lzdGVt
cywgRW50ZXJwcmlzZQpTb2Z0d2FyZSBzeXN0ZW1zLCBTb2NpYWwgU29mdHdhcmUgU3lzdGVtcyBh
bmQgQ2xvdWQgQ29tcHV0aW5nIFN5c3RlbXMuCkl0IGVtYnJhY2VzIHJlc2VhcmNoIGluIENvbXBv
bmVudCBTb2Z0d2FyZSBUZWNobm9sb2d5LCBJbnRlbGxpZ2VudApBZ2VudHMgVGVjaG5vbG9neSwg
V2ViIGFuZCBEYXRhIFRlY2hub2xvZ3ksIGFuZCBXb3JrZmxvdyBUZWNobm9sb2d5LiBUaGUKQ2Vu
dHJlIGhhcyBhIG1ham9yIGdvYWwgdG8gZW5hYmxlIHN5bmVyZ3kgYWNyb3NzIGl0cyByZXNlYXJj
aCBhcmVhcyB0bwpmdXJ0aGVyIHN0cmVuZ3RoZW4gaXRzIG5hdGlvbmFsIGFuZCBpbnRlcm5hdGlv
bmFsIHByb2ZpbGUuCgpBcHBsaWNhbnRzIHNob3VsZCBoYXZlIGFuIG91dHN0YW5kaW5nIGludGVy
bmF0aW9uYWxseSByZWNvZ25pc2VkIHRyYWNrCnJlY29yZCBvZiByZXNlYXJjaCBhY2hpZXZlbWVu
dHMgYXMgZXZpZGVuY2VkIGJ5IGhpZ2gtcXVhbGl0eQpwdWJsaWNhdGlvbnMsIGNvbXBldGl0aXZl
IHJlc2VhcmNoIGdyYW50cyBhbmQgb3RoZXIgcmVsZXZhbnQgb3V0Y29tZXMgaW4KYW4gYXJlYSBy
ZWxhdGVkIHRvIENvbXBsZXggU29mdHdhcmUgU3lzdGVtcyBhbmQgU2VydmljZXMuCgpGb3IgcG9z
aXRpb24gaW5mb3JtYXRpb24gYW5kIHRvIGFwcGx5IG9ubGluZSBnbyB0bwp3d3cuc3dpbmJ1cm5l
LmVkdS5hdS9qb2JzCgpBcHBsaWNhdGlvbnMgQ2xvc2UgNXBtIG9uIEZyaWRheSA3IE5vdmVtYmVy
IDIwMDgKCkZvciBmdXJ0aGVyIGluZm9ybWF0aW9uIGNvbnRhY3QgUHJvZmVzc29yIFJ5c3phcmQg
S293YWxjenlrLCBvbjogKzYxIDMKOTIxNCA1ODM0IG9yIGVtYWlsIHRvOiBya293YWxjenlrQHN3
aW4uZWR1LmF1LgotLS0tLQpTd2luYnVybmUgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5CkNSSUNP
UyBQcm92aWRlciBDb2RlOiAwMDExMUQKCk5PVElDRQpUaGlzIGUtbWFpbCBhbmQgYW55IGF0dGFj
aG1lbnRzIGFyZSBjb25maWRlbnRpYWwgYW5kIGludGVuZGVkIG9ubHkgZm9yCnRoZSB1c2Ugb2Yg
dGhlIGFkZHJlc3NlZS4gVGhleSBtYXkgY29udGFpbiBpbmZvcm1hdGlvbiB0aGF0IGlzCnByaXZp
bGVnZWQgb3IgcHJvdGVjdGVkIGJ5IGNvcHlyaWdodC4gSWYgeW91IGFyZSBub3QgdGhlIGludGVu
ZGVkCnJlY2lwaWVudCwgYW55IGRpc3NlbWluYXRpb24sIGRpc3RyaWJ1dGlvbiwgcHJpbnRpbmcs
IGNvcHlpbmcgb3IgdXNlIGlzCnN0cmljdGx5IHByb2hpYml0ZWQuIFRoZSBVbml2ZXJzaXR5IGRv
ZXMgbm90IHdhcnJhbnQgdGhhdCB0aGlzIGUtbWFpbAphbmQgYW55IGF0dGFjaG1lbnRzIGFyZSBz
ZWN1cmUgYW5kIHRoZXJlIGlzIGFsc28gYSByaXNrIHRoYXQgaXQgbWF5IGJlCmNvcnJ1cHRlZCBp
biB0cmFuc21pc3Npb24uIEl0IGlzIHlvdXIgcmVzcG9uc2liaWxpdHkgdG8gY2hlY2sgYW55CmF0
dGFjaG1lbnRzIGZvciB2aXJ1c2VzIG9yIGRlZmVjdHMgYmVmb3JlIG9wZW5pbmcgdGhlbS4gSWYg
eW91IGhhdmUKcmVjZWl2ZWQgdGhpcyB0cmFuc21pc3Npb24gaW4gZXJyb3IsIHBsZWFzZSBjb250
YWN0IHVzIG9uICs2MSAzIDkyMTQKODAwMCBhbmQgZGVsZXRlIGl0IGltbWVkaWF0ZWx5IGZyb20g
eW91ciBzeXN0ZW0uIFdlIGRvIG5vdCBhY2NlcHQKbGlhYmlsaXR5IGluIGNvbm5lY3Rpb24gd2l0
aCBjb21wdXRlciB2aXJ1cywgZGF0YSBjb3JydXB0aW9uLCBkZWxheSwKaW50ZXJydXB0aW9uLCB1
bmF1dGhvcmlzZWQgYWNjZXNzIG9yIHVuYXV0aG9yaXNlZCBhbWVuZG1lbnQuCgpQbGVhc2UgY29u
c2lkZXIgdGhlIGVudmlyb25tZW50IGJlZm9yZSBwcmludGluZyB0aGlzIGVtYWlsLgoKLS0tLQpb
WyBQZXRyaSBOZXRzIFdvcmxkOiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgIF1dCltbICAgICAgICAgICAgICBodHRwOi8vd3d3LmluZm9ybWF0aWsudW5pLWhh
bWJ1cmcuZGUvVEdJL1BldHJpTmV0cy8gXV0KW1sgTWFpbGluZyBsaXN0IEZBUTogICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBdXQpbWyBodHRwOi8vd3d3Lmlu
Zm9ybWF0aWsudW5pLWhhbWJ1cmcuZGUvVEdJL1BldHJpTmV0cy9wbm1sL2ZhcS5odG1sIF1dCltb
IFBvc3QgbWVzc2FnZXMvc3VtbWFyeSBvZiByZXBsaWVzOiAgICAgICAgICAgICAgICAgICAgICAg
ICAgICAgICAgXV0KW1sgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGV0cmluZXRAaW5m
b3JtYXRpay51bmktaGFtYnVyZy5kZSBdXQ==

–===============2110040703==
Content-Type: multipart/alternative;
boundary=”—-=_Part_3029_31274622.1222520750108″
——=_Part_3029_31274622.1222520750108
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
DATICS’09 - Call For Papers
Apologies for any multiple copies received. We would appreciate it if
you could distribute the following call for papers to any relevant mailing
lists you know
of.
——————————————————————————————-
DATICS: Design, Analysis and Tools for Integrated Circuits and
Systems event was created by a network of researchers and engineers
both from academia and industry. […]

–===============1930287436==
Content-Type: multipart/alternative;
boundary=”—-=_Part_3029_31274622.1222520750108″
——=_Part_3029_31274622.1222520750108
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
DATICS’09 - Call For Papers
Apologies for any multiple copies received. We would appreciate it if
you could distribute the following call for papers to any relevant mailing
lists you know
of.
——————————————————————————————-
DATICS: Design, Analysis and Tools for Integrated Circuits and
Systems event was created by a network of researchers and engineers
both from academia and industry. […]

CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it/
*Call for Affiliated Workshops*
Conference Dates: September 1-4, 2009
Affiliated Workshop Dates: August 31, 2009 and September 5, 2009
The 20th Conference on Concurrency Theory will be held this coming
summer in Bologna, Italy, and will be co-locate with the
7th Conference on Computational Methods in Systems Biology […]

CONCUR 2009: 20th International Conference on Concurrency Theory
September 1-4, 2009
Bologna, Italy
http://concur09.cs.unibo.it/
*Call for Affiliated Workshops*
Conference Dates: September 1-4, 2009
Affiliated Workshop Dates: August 31, 2009 and September 5, 2009
The 20th Conference on Concurrency Theory will be held this coming
summer in Bologna, Italy, and will be co-locate with the
7th Conference on Computational Methods in Systems Biology […]

First sorry for using this list for a job posting, but I think the following research project is interesting for prospective PhD students.
Project title:
Probabilistic Verification and Model-Based Quality Evaluation
Research topic:
Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved […]