Archive for July 3rd, 2008

(PN) International Conference on Computational Intelligence for

CALL FOR PAPERS
International Conference on Computational Intelligence for Modelling,
Control and Automation
10-12 December 2008 - Vienna, Austria
[…]

(PN) International Conference on Innovation in Software Engineering

* Kindly forward to your colleagues or students who may be interested *
* Our apologies if you receive multiple copies of this announcement. *
CALL FOR PAPERS […]

(PN) CALL FOR PAPERS ESOP ‘09

ICAgICAgICAgICAgICAgICAgICAgICAgICAgQ0FMTCBGT1IgUEFQRVJTIEVTT1AgJzA5CiAgICAg
ICAgICAgICAgICAgICAgMTh0aCBFdXJvcGVhbiBTeW1wb3NpdW0gb24gUHJvZ3JhbW1pbmcKICAg
ICAgICAgICAgICAgICAgICAgICBodHRwOi8vZXNvcDA5LnBwcy5qdXNzaWV1LmZyLwogICAgICAg
ICAgICAgICAgRVRBUFMsIDIyLTI5IE1hcmNoIDIwMDksIFlvcmssIFVuaXRlZCBLaW5nZG9tCgoK
RVNPUCBpcyBhbiBhbm51YWwgY29uZmVyZW5jZSBkZXZvdGVkIHRvIGZ1bmRhbWVudGFsIGlzc3Vl
cyBpbiB0aGUgIApzcGVjaWZpY2F0aW9uLApkZXNpZ24sIGFuYWx5c2lzLCBhbmQgaW1wbGVtZW50
YXRpb24gb2YgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzIGFuZCAgCnN5c3RlbXMuIEVTT1AKMjAwOSBp
cyB0aGUgZWlnaHRlZW50aCBlZGl0aW9uIGluIHRoaXMgc2VyaWVzIGFuZCBzZWVrcyBjb250cmli
dXRpb25zICAKb24gYWxsCmFzcGVjdHMgb2YgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgcmVzZWFyY2gg
aW5jbHVkaW5nLCBidXQgbm90IGxpbWl0ZWQgIAp0bywgdGhlCmZvbGxvd2luZyBhcmVhczoKCi0g
UHJvZ3JhbW1pbmcgcGFyYWRpZ21zIGFuZCBzdHlsZXM6ICBmdW5jdGlvbmFsIHByb2dyYW1taW5n
LCBhc3BlY3QtIApvcmllbnRlZAogICBwcm9ncmFtbWluZywgb2JqZWN0LW9yaWVudGVkIHByb2dy
YW1taW5nLCBsb2dpYyBwcm9ncmFtbWluZywgIApjb25zdHJhaW50CiAgIHByb2dyYW1taW5nLCBl
eHRlbnNpYmxlIHByb2dyYW1taW5nIGxhbmd1YWdlcywgZG9tYWluLXNwZWNpZmljICAKbGFuZ3Vh
Z2VzLAogICBiaW9sb2dpY2FsbHktaW5zcGlyZWQgbGFuZ3VhZ2VzLCBzeW5jaHJvbm91cyBhbmQg
cmVhbC10aW1lICAKcHJvZ3JhbW1pbmcKICAgbGFuZ3VhZ2VzLgoKLSBNZXRob2RzIGFuZCB0b29s
cyB0byB3cml0ZSwgcmVhc29uIGFib3V0LCBhbmQgc3BlY2lmeSBsYW5ndWFnZXMgYW5kICAKcHJv
Z3JhbXM6CiAgIG1vZHVsZSBzeXN0ZW1zLCBwcm9ncmFtbWluZyB0ZWNobmlxdWVzLCBtZXRhIHBy
b2dyYW1taW5nLCB0eXBlICAKc3lzdGVtcywKICAgbG9naWNhbCBmb3VuZGF0aW9ucywgZGVub3Rh
dGlvbmFsIHNlbWFudGljcywgb3BlcmF0aW9uYWwgIApzZW1hbnRpY3MsICBwcm9ncmFtCiAgIHZl
cmlmaWNhdGlvbiwgc3RhdGljIGFuYWx5c2lzLCB0ZXN0aW5nLCBsYW5ndWFnZS1iYXNlZCBzZWN1
cml0eS4KCi0gTWV0aG9kcyBhbmQgdG9vbHMgZm9yIGltcGxlbWVudGF0aW9uOiByZXdyaXRpbmcg
c3lzdGVtcywgcHJvZ3JhbQogICB0cmFuc2Zvcm1hdGlvbnMsIHBhcnRpYWwgZXZhbHVhdGlvbiwg
ZXhwZXJpbWVudGFsIGV2YWx1YXRpb25zLAogICB2aXJ0dWFsIG1hY2hpbmVzLCAgaW50ZXJtZWRp
YXRlIGxhbmd1YWdlcywgcnVuLXRpbWUgZW52aXJvbm1lbnRzLgoKLSBDb25jdXJyZW5jeSBhbmQg
ZGlzdHJpYnV0aW9uOiBwYXJhbGxlbCBwcm9ncmFtbWluZywgcHJvY2VzcyBhbGdlYnJhcywKICAg
Y29uY3VycmVuY3kgdGhlb3J5LCBzZXJ2aWNlLW9yaWVudGVkIGNvbXB1dGluZywgZGlzdHJpYnV0
ZWQgYW5kICAKbW9iaWxlCiAgIGxhbmd1YWdlcy4KCgpORVcgVEhJUyBZRUFSCgpSRUJVVFRBTCBQ
SEFTRTogQXV0aG9ycyB3aWxsIGJlIGdpdmVuIGEgNjAtaG91cnMgcGVyaW9kIChmcm9tIFNhdHVy
ZGF5CjIyIE5vdmVtYmVyIDExOjAwIEFwaWEgdGltZSB0byBNb25kYXkgMjQgTm92ZW1iZXIgMjM6
MDAgQXBpYSB0aW1lKSB0bwpyZWFkIGFuZCByZXNwb25kIHRvIHRoZSByZXZpZXdzIG9mIHRoZWly
IHBhcGVycyBiZWZvcmUgdGhlIFBDCm1lZXRpbmcuIFJlYnV0dGFscyB3aWxsIGJlIGF0IG1vc3Qg
NTAwIHdvcmRzIGxvbmcuCgoKU1VCTUlTU0lPTiBHVUlERUxJTkVTCgpQYXBlcnMgbXVzdCBiZSB3
cml0dGVuIGluIEVuZ2xpc2gsIHVucHVibGlzaGVkIGFuZCBub3Qgc3VibWl0dGVkIGZvcgpwdWJs
aWNhdGlvbiBlbHNld2hlcmUuIFRoZSBwcm9jZWVkaW5ncyB3aWxsIGJlIHB1Ymxpc2hlZCBpbiB0
aGUgIApTcHJpbmdlci1WZXJsYWcKTGVjdHVyZSBOb3RlcyBpbiBDb21wdXRlciBTY2llbmNlIHNl
cmllcy4gRmluYWwgcGFwZXJzIHdpbGwgYmUgaW4gdGhlICAKZm9ybWF0CnNwZWNpZmllZCBieSBT
cHJpbmdlciBhdCB0aGUgVVJMOiBodHRwOi8vd3d3LnNwcmluZ2VyLmRlL2NvbXAvbG5jcy9hdXRo
b3JzLmh0bWwgCiAgLgoKU3VibWlzc2lvbnMgbXVzdCBiZSBpbiBQREYgZm9ybWF0LCBmb3JtYXR0
ZWQgaW4gdGhlIExOQ1Mgc3R5bGUgYW5kIGJlICAKYXQgbW9zdAoxNSBwYWdlcyBsb25nLiBBZGRp
dGlvbmFsIG1hdGVyaWFsLCB0aGF0IGlzIG5vdCB0byBiZSBpbmNsdWRlZCBpbiB0aGUKZmluYWwg
dmVyc2lvbiwgYnV0IG1heSBoZWxwIGFzc2Vzc2luZyB0aGUgbWVyaXRzIG9mIHRoZSBzdWJtaXNz
aW9uLAptdXN0IGJlIHBsYWNlZCBpbiBhIHNlcGFyYXRlIFBERiBmaWxlIGFuZCBzdWJtaXR0ZWQg
YXMgYW4gYXR0YWNobWVudDoKcmVmZXJlZXMgd2lsbCBkZWNpZGUgd2hldGhlciB0byB1c2UgaXQg
b3Igbm90LiBTdWJtaXNzaW9ucyB0aGF0IGRvIG5vdAphZGhlcmUgdG8gdGhlc2UgZ3VpZGVsaW5l
cyB3aWxsIGJlIHJlamVjdGVkIGltbWVkaWF0ZWx5LgoKCgpJTVBPUlRBTlQgREFURVMKCiAgICog
VGh1cnNkYXkgMiBPY3RvYmVyIDIwMDgsIDIzOjAwIEFwaWEgdGltZTogQWJzdHJhY3Qgc3VibWlz
c2lvbgogICAqIFRodXJzZGF5IDkgT2N0b2JlciAyMDA4LCAyMzowMCBBcGlhIHRpbWU6IFBhcGVy
IHN1Ym1pc3Npb24KICAgKiBTYXR1cmRheSAyMiBOb3ZlbWJlciAyMDA4LCAxMTowMCBBcGlhIHRp
bWU6IFN0YXJ0IG9mIEF1dGhvciAgClJlc3BvbnNlIFBlcmlvZDsKICAgKiBGcmlkYXkgMTIgRGVj
ZW1iZXIgMjAwODogQXV0aG9yIG5vdGlmaWNhdGlvbgogICAqIFN1bmRheSAgNCBKYW51YXJ5IDIw
MDk6IENhbWVyYS1yZWFkeSBwYXBlciB2ZXJzaW9ucyBkdWUKICAgKiAyMi0yOSBNYXJjaCAyMDA5
OiBFVEFQUwoKU3VibWlzc2lvbiBkZWFkbGluZXMgYXJlIHN0cmljdCAoc2l0ZSB3aWxsIGNsb3Nl
IGF0IDIzOjAwIEFwaWEgdGltZSwgIAp0aGF0IGlzCmF0IG5vb24gb24gRnJpZGF5IGluIFBhcmlz
KS4gU3VibWlzc2lvbiBvZiBhbiBhYnN0cmFjdCBpbXBsaWVzIG5vICAKb2JsaWdhdGlvbgp0byBz
dWJtaXQgYSBmdWxsIHZlcnNpb247IGFic3RyYWN0cyB3aXRoIG5vIGNvcnJlc3BvbmRpbmcgZnVs
bCAgCnZlcnNpb25zIGJ5IHRoZQpmdWxsIHBhcGVyIGRlYWRsaW5lIHdpbGwgYmUgY29uc2lkZXJl
ZCBhcyB3aXRoZHJhd24uCgoKClBST0dSQU1NRSBDT01NSVRURUUKCkNoYWlyOiBHaXVzZXBwZSBD
YXN0YWduYSwgQ05SUywgVW5pdmVyc2l0ZSBQYXJpcyBEaWRlcm90IChGcmFuY2UpCgogICAqIE1h
cnRpbiBBYmFkaSwgVUNTQyBhbmQgTWljcm9zb2Z0IFJlc2VhcmNoIChVU0EpCiAgICogVG9yYmVu
IEFtdG9mdCwgS2Fuc2FzIFN0YXRlIFVuaXZlcnNpdHkgKFVTQSkKICAgKiBKb2huIEJveWxhbmQs
IFVuaXZlcnNpdHkgb2YgV2lzY29uc2luLU1pbHdhdWtlZSAoVVNBKQogICAqIE1pY2hlbGUgQnVn
bGllc2ksIFVuaXZlcnNpdGEgIkNhJyBGb3NjYXJpIiBkaSBWZW5lemlhIChJdGFseSkKICAgKiBT
aWx2YW5vIERhbCBaaWxpbywgQ05SUy1MQUFTIChGcmFuY2UpCiAgICogVmluY2VudCBEYW5vcywg
VW5pdmVyc2l0eSBvZiBFZGluYnVyZ2ggKFVLKQogICAqIE1hcmlhbmdpb2xhIERlemFuaSwgVW5p
dmVyc2l0YSBkaSBUb3Jpbm8gKEl0YWx5KQogICAqIE1hcmliZWwgRmVybmFuZGV6LCBLaW5nJ3Mg
Q29sbGVnZSBMb25kb24gKFVLKQogICAqIFRpbSBIYXJyaXMsIE1pY3Jvc29mdCBSZXNlYXJjaCwg
Q2FtYnJpZGdlIChVSykKICAgKiBNYXJ0aW4gSG9mbWFubiwgTHVkd2lnLU1heGltaWxpYW5zLVVu
aXZlcnNpdOKImsKndCBN4oiawrpuY2hlbiAgCihHZXJtYW55KQogICAqIEpveGFuIEphZmZhciwg
TmF0aW9uYWwgVW5pdmVyc2l0eSBvZiBTaW5nYXBvcmUgKFNpbmdhcG9yZSkKICAgKiBYYXZpZXIg
TGVyb3ksIElOUklBIFBhcmlzLVJvY3F1ZW5jb3VydCAoRnJhbmNlKQogICAqIEV1Z2VuaW8gTW9n
Z2ksIFVuaXZlcnNpdGEgZGkgR2Vub3ZhIChJdGFseSkKICAgKiBHcmVnIE1vcnJpc2V0dCwgSGFy
dmFyZCBVbml2ZXJzaXR5IChVU0EpCiAgICogR2VvcmdlIE5lY3VsYSwgUmluZXJhIE5ldHdvcmtz
LCBJbmMuLCBhbmQgVUMgQmVya2VsZXkgKFVTQSkKICAgKiBKYW1lcyBOb2JsZSwgVmljdG9yaWEg
VW5pdmVyc2l0eSBvZiBXZWxsaW5ndG9uIChOZXcgWmVhbGFuZCkKICAgKiBLb3N0aXMgU2Fnb25h
cywgTmF0aW9uYWwgVGVjaG5pY2FsIFVuaXZlcnNpdHkgb2YgQXRoZW5zIChHcmVlY2UpCiAgICog
UGV0ZXIgU2VzdG9mdCwgSVQgVW5pdmVyc2l0eSBvZiBDb3BlbmhhZ2VuIChEZW5tYXJrKQogICAq
IFBldGVyIFNld2VsbCwgVW5pdmVyc2l0eSBvZiBDYW1icmlkZ2UgKFVLKQogICAqIEplYW4tUGll
cnJlIFRhbHBpbiwgSU5SSUEgUmVubmVzLUJyZXRhZ25lLUF0bGFudGlxdWUgKEZyYW5jZSkKICAg
KiBQZXRlciBUaGllbWFubiwgVW52ZXJzaXRhdCBGcmVpYnVyZyAoR2VybWFueSkKICAgKiBKYW4g
Vml0ZWssIFB1cmR1ZSBVbml2ZXJzaXR5IChVU0EpCiAgICogS3dhbmdrZXVuIFlpLCBTZW91bCBO
YXRpb25hbCBVbml2ZXJzaXR5IChLb3JlYSkKICAgKiBHaWFubHVpZ2kgWmF2YXR0YXJvLCBVbml2
ZXJzaXR5IGRlZ2xpIFN0dWRpIGRpIEJvbG9nbmEgKEl0YWx5KQoKCgoKLS0tLQpbWyBQZXRyaSBO
ZXRzIFdvcmxkOiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
IF1dCltbICAgICAgICAgICAgICBodHRwOi8vd3d3LmluZm9ybWF0aWsudW5pLWhhbWJ1cmcuZGUv
VEdJL1BldHJpTmV0cy8gXV0KW1sgTWFpbGluZyBsaXN0IEZBUTogICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICBdXQpbWyBodHRwOi8vd3d3LmluZm9ybWF0aWsu
dW5pLWhhbWJ1cmcuZGUvVEdJL1BldHJpTmV0cy9wbm1sL2ZhcS5odG1sIF1dCltbIFBvc3QgbWVz
c2FnZXMvc3VtbWFyeSBvZiByZXBsaWVzOiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
XV0KW1sgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgcGV0cmluZXRAaW5mb3JtYXRpay51
bmktaGFtYnVyZy5kZSBdXQ==

(PN) PhD and PostDoc positions at University of Zaragoza

================================================================
PhD and PostDoc positions
Systems Engineering and Discrete Event Systems Group
(http://webdiis.unizar.es/GISED)
University of Zaragoza (Spain)
================================================================
The activities of the group are related to the modelling, analysis and
formal synthesis of some classes of artificial systems that are
interesting from a technical point of view (production, computer,
logistic, coordination, etc.). Usually more adequately modelled by
means of discrete event systems formalisms (automata, Petri […]

[Concurrency] Second Call for Participation — FORMATS’08 –

==== Apologies for multiple postings =====
Early Registration Deadline : **August 17, 2008**
——————————————————————–
FORMATS’08 — Call for Participation
——————————————————————–
6th International Conference on Formal Modelling
and Analysis of Timed Systems
[…]

Call for Participation — FORMATS’08 — September 15–17, 2008

==== Apologies for multiple postings =====
——————————————————————–
FORMATS’08 — Call for Participation
——————————————————————–
6th International Conference on Formal Modelling
and Analysis of Timed Systems
Saint-Malo, France, September 15–17, 2008
[…]

[Concurrency] Call for Participation — FORMATS’08 — September

==== Apologies for multiple postings =====
——————————————————————–
FORMATS’08 — Call for Participation
——————————————————————–
6th International Conference on Formal Modelling
and Analysis of Timed Systems
Saint-Malo, France, September 15–17, 2008
[…]