Call for Papers and Other Useful Academic Information

Apologies for multiple mailing
*******************************************************************
5th International Conference on Quantitative Evaluation of SysTems
September 14-17, 2008, Palais du Grand Large, Saint Malo, France
http://www.qest.org
*******************************************************************
FINAL CALL FOR TOOL PAPERS
Deadline: 28 April, 2008
*******************************************************************
At the QEST08 conference, sessions will be arranged to present and
demonstrate tools relevant to any conference topic. Tool submissions
(2 pages, IEEE double-column format) should be sent by email directly
to […]

ESSLLI 2008
European Summer School in Logic, Language and Information
Freie und Hansestadt Hamburg, Germany
[…]

DQpUaGUgc3VibWlzc2lvbiBzZXJ2ZXIgaXMgbm93IG9wZW4uIFBsZWFzZSBzdWJtaXQgeW91ciBw
YXBlcnMuIA0KDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tDQoNCiAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICBDYWxsIGZvciBQYXBlcnMNCg0KICAgICAgICAgICAg
ICAgICAgICAgIDE2dGggSW50ZXJuYXRpb25hbCBTeW1wb3NpdW0gb24gR3JhcGggRHJhd2luZyAN
CiAgICAgICAgICAgICAgICAgICAgICAgDQogICAgICAgICAgICAgICAgICAgIFNlcHRlbWJlciAy
MSAtIDI0LCAyMDA4LCBIZXJha2xpb24sIENyZXRlLCBHcmVlY2UNCiAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgIGh0dHA6Ly93d3cuZ2QyMDA4Lm9yZy8NCg0KDQogR3JhcGggRHJhd2lu
ZyBpcyBjb25jZXJuZWQgd2l0aCB0aGUgZ2VvbWV0cmljIHJlcHJlc2VudGF0aW9uIG9mIGdyYXBo
cyBhbmQgbmV0d29ya3MgYW5kIA0KaXMgbW90aXZhdGVkIGJ5IHRob3NlIGFwcGxpY2F0aW9ucyB3
aGVyZSBpdCBpcyBjcnVjaWFsIHRvIHZpc3VhbGl6ZSBzdHJ1Y3R1cmFsIGluZm9ybWF0aW9uIA0K
YXMgZ3JhcGhzLiBCcmlkZ2luZyB0aGUgZ2FwIGJldHdlZW4gdGhlb3JldGljYWwgYWR2YW5jZXMg
YW5kIGltcGxlbWVudGVkIHNvbHV0aW9ucyBpcyBhbg0KaW1wb3J0YW50IGFzcGVjdCBvZiB0aGUg
Y29uZmVyZW5jZS4gSW5kZWVkLCBhZHZhbmNlcyBpbiBncmFwaCBkcmF3aW5nIGFyZSBpbXBvcnRh
bnQgaW4gDQpzZXZlcmFsIHRlY2hub2xvZ2ljYWwgYXJlYXMgc3VjaCBhcyBXZWIgY29tcHV0aW5n
LCBlLWNvbW1lcmNlLCBWTFNJIGNpcmN1aXQgZGVzaWduLCANCmluZm9ybWF0aW9uIHN5c3RlbXMs
IHNvZnR3YXJlIGVuZ2luZWVyaW5nLCBjb21wdXRhdGlvbmFsIGNhcnRvZ3JhcGh5LCB2aXN1YWwg
aW50ZXJmYWNlcywNCmJpb2luZm9ybWF0aWNzLCBhbmQgbmV0d29ya2luZy4gUmVzZWFyY2hlcnMg
YW5kIHByYWN0aXRpb25lcnMgd29ya2luZyBvbiB0aGVvcmV0aWNhbCBhbmQNCnByYWN0aWNhbCBh
c3BlY3RzIG9mIGdyYXBoIGRyYXdpbmcgYXJlIHdlbGNvbWUgdG8gcGFydGljaXBhdGUuDQoNCiAN
ClNDT1BFDQotLS0tLQ0KDQogVGhlIHJhbmdlIG9mIHRvcGljcyB0aGF0IGFyZSB3aXRoaW4gdGhl
IHNjb3BlIG9mIHRoZSBJbnRlcm5hdGlvbmFsIFN5bXBvc2l1bSBvbiANCkdyYXBoIERyYXdpbmcg
aW5jbHVkZXMgKGJ1dCBpcyBub3QgbGltaXRlZCB0byk6IA0KDQoqIFZpc3VhbGl6YXRpb24gb2Yg
bmV0d29ya3MsIFdlYiBtYXBzLCBzb2Z0d2FyZSBlbmdpbmVlcmluZyBkaWFncmFtcywgZGF0YWJh
c2Ugc2NoZW1hcywgDQogIGNoZW1pY2FsIHN0cnVjdHVyZXMgYW5kIG1vbGVjdWxlcw0KKiBHcmFw
aCBhbGdvcml0aG1zDQoqIEdlb21ldHJpYyBncmFwaCB0aGVvcnkNCiogR2VvbWV0cmljIGNvbXB1
dGluZw0KKiBTb2Z0d2FyZSBzeXN0ZW1zIGZvciBncmFwaCB2aXN1YWxpemF0aW9uDQoqIFRvcG9s
b2d5IGFuZCBwbGFuYXJpdHkNCiogR3JhcGggdGhlb3J5IGFuZCBvcHRpbWl6YXRpb24gb24gZ3Jh
cGhzDQoqIEludGVyZmFjZXMgZm9yIGludGVyYWN0aW5nIHdpdGggZ3JhcGhzDQoqIEFwcGxpY2F0
aW9ucyB0aGF0IG5lZWQgZ3JhcGggZHJhd2luZyBzb2×1dGlvbnMgaW5jbHVkaW5nIEJpb21lZGlj
YWwgSW5mb3JtYXRpY3MsIA0KICBEYXRhIE1pbmluZywgTmV0d29ya2luZywgYW5kIFNlY3VyaXR5
ICANCg0KDQpDQUxMIEZPUiBQQVBFUlMgQU5EIERFTU9TDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tDQoNCkF1dGhvcnMgYXJlIGludml0ZWQgdG8gc3VibWl0IHBhcGVycyBkZXNjcmliaW5nIG9y
aWdpbmFsIHJlc2VhcmNoIG9mIHRoZW9yZXRpY2FsIG9yIA0KcHJhY3RpY2FsIHNpZ25pZmljYW5j
ZSB0byBncmFwaCBkcmF3aW5nLiBEZW1vbnN0cmF0aW9ucyBvZiBzeXN0ZW1zIGluY29ycG9yYXRp
bmcgb3JpZ2luYWwgDQphbmQgaW5ub3ZhdGl2ZSByZXNlYXJjaCBpZGVhcyBhcmUgYWxzbyBzb2xp
Y2l0ZWQuIEEgc3lzdGVtIGRlbW9uc3RyYXRpb24gc2hvdWxkIGluY2×1ZGUgDQppbGx1c3RyYXRp
dmUgc2NyZWVuIGR1bXBzIGFuZCBhIGRlc2NyaXB0aW9uIG9mIHRoZSBzeXN0ZW0ncyBmdW5jdGlv
bmFsaXRpZXMuIFJlZ3VsYXIgDQpwYXBlcnMgYW5kIGRlbW9zIG11c3QgYmUgbGFiZWxlZCBhcyBl
aXRoZXIgbG9uZyBvciBzaG9ydDsgc3VibWlzc2lvbnMgc2hvdWxkIG5vdCBleGNlZWQgDQoxMiBw
YWdlcyBmb3IgbG9uZyAoNiBwYWdlcyBmb3Igc2hvcnQpLiBJZiB0aGUgYXV0aG9ycyBiZWxpZXZl
IHRoYXQgbW9yZSBkZXRhaWxzIGFyZSANCmVzc2VudGlhbCB0byBzdWJzdGFudGlhdGUgdGhlIG1h
aW4gY2xhaW1zIG9mIHRoZSBwYXBlciwgdGhleSBtYXkgaW5jbHVkZSBhIGNsZWFybHkgbWFya2Vk
DQphcHBlbmRpeCB0aGF0IHdpbGwgYmUgcmVhZCBhdCB0aGUgZGlzY3JldGlvbiBvZiB0aGUgcHJv
Z3JhbSBjb21taXR0ZWUuIA0KDQpTdWJtaXNzaW9ucyBvZiBwb3N0ZXJzIGluIGdyYXBoIGRyYXdp
bmcgYW5kIHJlbGF0ZWQgYXJlYXMgYXJlIGFsc28gc29saWNpdGVkLiBUaGUgcG9zdGVyIA0Kc2Vz
c2lvbiB3aWxsIHByb3ZpZGUgYSBmb3J1bSBmb3IgdGhlIGNvbW11bmljYXRpb24gb2YgbGF0ZS1i
cmVha2luZyByZXNlYXJjaCByZXN1bHRzIA0KKHdoaWNoIG1heSBhcHBlYXIgZWxzZXdoZXJlKSB0
byB0aGUgZ3JhcGggZHJhd2luZyBjb21tdW5pdHkuIEEgdHdvLXBhZ2UgYWJzdHJhY3Qgb2YgDQph
Y2NlcHRlZCBwb3N0ZXJzIHdpbGwgYXBwZWFyIGluIGEgcG9zdGVyIHByb2NlZWRpbmdzIGRpc3Ry
aWJ1dGVkIHRvIGNvbmZlcmVuY2UgYXR0ZW5kZWVzLiANClJlc2VhcmNoZXJzIGludGVyZXN0ZWQg
aW4gcHJlc2VudGluZyBhIHBvc3RlciBzaG91bGQgcHJlcGFyZSB0d28tcGFnZSBkZXNjcmlwdGlv
biBvZiANCnRoZWlyIHByb3Bvc2VkIHBvc3Rlci4gDQoNCg0KSU5TVFJVQ1RJT05TIEZPUiBBVVRI
T1JTDQotLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCg0KRWFjaCBzdWJtaXNzaW9uIG11c3QgaW5j
bHVkZSBhbiBpbmRpY2F0aW9uIG9mIGl0cyB0eXBlIChwYXBlci9kZW1vLCByZWd1bGFyL3Nob3J0
KSBhbmQgDQpjb250YWN0IGluZm9ybWF0aW9uIGZvciB0aGUgcHJpbWFyeSBhdXRob3IuIE9ubHkg
ZWxlY3Ryb25pYyBzdWJtaXNzaW9ucyBhcmUgYWxsb3dlZC4gDQpEZXRhaWxlZCBzdWJtaXNzaW9u
IGluc3RydWN0aW9ucyB3aWxsIGJlIHByb3ZpZGVkIG9uIHRoZSBjb25mZXJlbmNlIHdlYiBzaXRl
LiBTdWJtaXNzaW9ucyANCmRldmlhdGluZyBmcm9tIHRoZXNlIGd1aWRlbGluZXMgb3IgZnJvbSB0
aGUgc3VibWlzc2lvbiBkZWFkbGluZSBiZWxvdyByaXNrIHJlamVjdGlvbiANCndpdGhvdXQgZnVy
dGhlciBjb25zaWRlcmF0aW9uLiBTdWJtaXNzaW9uIG9mIHN1YnN0YW50aWFsbHkgc2ltaWxhciBw
YXBlcnMgdG8gb3RoZXIgDQpjb25mZXJlbmNlcyB3aXRoIHB1Ymxpc2hlZCBwcm9jZWVkaW5ncyBv
ciBzaW11bHRhbmVvdXMgc3VibWlzc2lvbnMgYXJlIG5vdCBhbGxvd2VkLg0KDQpJTlZJVEVEIFNQ
RUFLRVINCi0tLS0tLS0tLS0tLS0tLQ0KDQoqIFJvYmVydG8gVGFtYXNzaWEgKEJyb3duIFVuaXZl
cnNpdHksIFVTQSkNCg0KDQpJTVBPUlRBTlQgREFURVMNCi0tLS0tLS0tLS0tLS0tLQ0KDQoqIFN1
Ym1pc3Npb24gRGVhZGxpbmU6ICBNYXkgIDMxLCAyMDA4IChTYXR1cmRheSwgMTI6MDBwbSBDZW50
cmFsIEV1cm9wZWFuIFRpbWUpDQoqIE5vdGlmaWNhdGlvbiBvZiBBY2NlcHRhbmNlOiAgSnVseSAx
NSwgMjAwOA0KKiBQb3N0ZXIgU3VibWlzc2lvbnM6ICBKdWx5IDMxLCAyMDA4DQoqIEdyYXBoIERy
YXdpbmcgQ29udGVzdCBTdWJtaXNzaW9uczogIFNlcHRlbWJlciAgMTUsIDIwMDgNCiogU3ltcG9z
aXVtIG9uIEdyYXBoIERyYXdpbmc6ICBTZXB0ZW1iZXIgMjEtMjQsIDIwMDgNCg0KDQpHUkFQSCBE
UkFXSU5HIENPTlRFU1QNCi0tLS0tLS0tLS0tLS0tLS0tLS0tLQ0KDQpGb2xsb3dpbmcgdGhlIHRy
YWRpdGlvbiBvZiBwcmV2aW91cyBjb25mZXJlbmNlcywgYSBncmFwaCBkcmF3aW5nIGNvbnRlc3Qg
d2lsbCBiZSBoZWxkLiANCkRldGFpbHMgb24gdGhlIGNvbnRlc3Qgd2lsbCBiZSBwcm92aWRlZCBv
biB0aGUgY29uZmVyZW5jZSB3ZWIgc2l0ZS4NCg0KDQpQUk9DRUVESU5HUw0KLS0tLS0tLS0tLS0N
Cg0KQWNjZXB0ZWQgc3VibWlzc2lvbnMgd2lsbCBiZSBwdWJsaXNoZWQgaW4gdGhlIGNvbmZlcmVu
Y2UgcHJvY2VlZGluZ3MsIHdoaWNoIHdpbGwgYmUgDQppbmNsdWRlZCBpbiB0aGUgU3ByaW5nZXIt
VmVybGFnIHNlcmllcyBMZWN0dXJlIE5vdGVzIGluIENvbXB1dGVyIFNjaWVuY2UuIEZpbmFsIHZl
cnNpb25zDQpvZiBhY2NlcHRlZCBzdWJtaXNzaW9ucyBhcmUgZHVlIGF0IHRoZSBjb25mZXJlbmNl
LiANCg0KDQpTUEVDSUFMIElTU1VFUw0KLS0tLS0tLS0tLS0tLS0NCg0KU2VsZWN0ZWQgcGFwZXJz
IHdpbGwgYmUgaW52aXRlZCB0byBiZSBwdWJsaXNoZWQgaW4gYSBzcGVjaWFsIGlzc3VlIG9mIEpH
QUEgKEpvdXJuYWwgb2YNCkdyYXBoIEFsZ29yaXRobXMgYW5kIEFwcGxpY2F0aW9ucykuDQoNCg0K
TE9DQVRJT04NCi0tLS0tLS0tDQoNClRoZSAxNnRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9u
IEdyYXBoIERyYXdpbmcgd2lsbCBiZSBoZWxkIGF0IEFsZGVtYXIgS25vc3NvcyBSb3lhbCANClZp
bGxhZ2UgSG90ZWwsIEhlcnNvbmlzc29zLCBIZXJha2xpb24sIENyZXRlLCBHcmVlY2UuIA0KICAg
DQoNClBST0dSQU0gQ09NTUlUVEVFDQotLS0tLS0tLS0tLS0tLS0tLQ0KDQpVbHJpayBCcmFuZGVz
ICAgKFVuaXYuIG9mIEtvbnN0YW56LCBHRVJNQU5ZKSANCldhbHRlciBEaWRpbW8gKFVuaXYuIFBl
cnVnaWEsIElUQUxZKSANClBldGVyIEVhZGVzICAgKE5JQ1RBLCBVbml2LiBvZiBTeWRuZXksIEFV
U1RSQUxJQSkgDQpEYXZpZCBFcHBzdGVpbiAgIChVQyBJcnZpbmUsIFVTQSkgDQpSb2JlcnQgR2Vu
dGxlbWFuICAgKEZIQ1JDLCBVU0EpDQpTZW9rLUhlZSBIb25nICAgKE5JQ1RBLCBVbml2LiBvZiBT
eWRuZXksIEFVU1RSQUxJQSkNCk1pY2hhZWwgS2F1Zm1hbm4gKFVuaXYuIFR1YmluZ2VuLCBHRVJN
QU5ZKSANClN0ZXBoZW4gS29ib3Vyb3YgKFVuaXYuIEFyaXpvbmEsIFVTQSkgDQpZZWh1ZGEgS29y
ZW4gICAoQVQmVCBMYWJzLCBVU0EpIA0KSmFuIEtyYXRvY2h2aWwgKENoYXJsZXMgVW5pdmVyc2l0
eSwgQ1pFQ0ggUkVQVUJMSUMpIA0KS3dhbi1MaXUgTWEgICAoVW5pdi4gb2YgQ2FsaWZvcm5pYS1E
YXZpcywgVVNBKSAgIA0KSGVuayBNZWlqZXIgICAoUm9vc2V2ZWx0IEFjYWRlbXksIE5FVEhFUkxB
TkRTKQ0KS2F6dXl1a2kgTWl1cmEgICAoRnVrdXNoaW1hIFVuaXYuLCBKQVBBTikNClRhbWFyYSBN
dW56bmVyICAoVW5pdi4gb2YgQnJpdGlzaCBDb2×1bWJpYSwgQ0FOQURBKQ0KSmFub3MgUGFjaCAg
IChDaXR5IENvbGxlZ2UgYW5kIENvdXJhbnQgSW5zdGl0dXRlLCBOZXcgWW9yaywgVVNBKSANCk1h
dXJpemlvIFBhdHJpZ25hbmkgKFVuaXYuIFJvbWEgSUlJLCBJVEFMWSkgDQpOYXRhc2EgUHJ6dWxq
IChVQyBJcnZpbmUsIFVTQSkgDQpBbnRvbmlvcyBTeW12b25pcyAoTmF0LiBUZWNoLiBVbml2LiBB
dGhlbnMsIEdSRUVDRSkNCklvYW5uaXMgRy4gVG9sbGlzICAgKEZPUlRILUlDUyBhbmQgVW5pdi4g
b2YgQ3JldGUsIEdSRUVDRSksIGNoYWlyDQpTdGVwaGVuIFdpc21hdGggICAoVW5pdi4gb2YgTGV0
aGJyaWRnZSwgQ0FOQURBKSANCg0KDQpPUkdBTklaSU5HIENPTU1JVFRFRQ0KLS0tLS0tLS0tLS0t
LS0tLS0tLS0NCg0KVGhlYW5vIEFwb3N0b2xpZGkgIChGT1JUSC1JQ1MsIEdSRUVDRSkNCkVtaWxp
byBEaSBHaWFjb21vLCAoVW5pdi4gUGVydWdpYSwgSVRBTFkpLCBwdWJsaWNpdHkgY2hhaXINCktp
cmlha2kgS2Fpc2VybGkgIChGT1JUSC1JQ1MsIEdSRUVDRSkNCk1hdXJpemlvIFBhdHJpZ25hbmkg
KFVuaXYuIFJvbWEgSUlJLCBJVEFMWSksIGNvLWNoYWlyDQpNYXJpYSBQcmV2ZWxpYW5ha2kgIChG
T1JUSC1JQ1MsIEdSRUVDRSkNCklvYW5uaXMgRy4gVG9sbGlzIChGT1JUSC1JQ1MgYW5kIFVuaXYu
IG9mIENyZXRlLCBHUkVFQ0UpLCBjby1jaGFpciANClZhc3NpbGlzIFRzaWFyYXMgKEZPUlRILUlD
UyBhbmQgVW5pdi4gb2YgQ3JldGUsIEdSRUVDRSkNCg0KDQpDT05UQUNUIElORk9STUFUSU9ODQot
LS0tLS0tLS0tLS0tLS0tLS0tDQoNClRoZSBvcmdhbml6aW5nIGNvbW1pdHRlZSBjYW4gYmUgY29u
dGFjdGVkIGF0IGdkMjAwOEBpY3MuZm9ydGguZ3IuDQo=

mailto:kjensen@daimi.au.dk”><font size=3D2 =
face=3D”Courier New”
title=3D”blocked

Dear Colleague,
from July 24-26, 2008, the SNSC’08 (4th International Conference on Symbolic
and Numerical Scientific Computing) will take place in Hagenberg (near Linz,
Austria) as part of a concluding event of our Special Research Program (SFB)
F013 “Numerical and Symbolic Scientific Computing”.
As part of the conference program, the results of 10 years of SFB research
will be presented.
==> […]

Applications are invited for PhD positions at the Department of
Computer Science of the University of Liverpool, UK. The Department
has funds to support three PhD studentships to begin on or around
September 2008, and to run for 3 to 4 years. Further details are at:
http://www.csc.liv.ac.uk/~pwg/2008-studentships.htm
The Department has particular strengths in […]

Uppsala University, Sweden
Department of Information Technology,
Chair in Embedded Systems
The Department of Information Technology, Uppsala University, invites
applications for a Position as Chaired Professor in the area of Embedded
Systems. The focus of the position is on embedded systems design, especially
concerning aspects of relevance for software. The successful candidate will
develop and lead a strong program of research and […]