From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7987 Path: news.gmane.org!not-for-mail From: David CHEMOUIL Newsgroups: gmane.comp.science.concurrency,gmane.science.mathematics.categories Subject: postdoc position in Toulouse on lightweight formal architecture specification Date: Tue, 21 Jan 2014 17:29:40 +0100 Organization: Onera/DTIM, Toulouse Message-ID: <52DEA074.9040006@onera.fr> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 X-Trace: ger.gmane.org 1390597154 15659 80.91.229.3 (24 Jan 2014 20:59:14 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 24 Jan 2014 20:59:14 +0000 (UTC) To: gdr.gpl-wMUr/XMoy4A@public.gmane.org, gdr-im-JHSeY3WhOOtQFI55V6+gNQ@public.gmane.org, concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org, asr-forum-Ht8RKSkSH80@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, announcements-xIg/pKzrS1+z+1QnA0p122WpMmwukr/P2LY78lusg7I@public.gmane.org Original-X-From: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Fri Jan 24 21:59:20 2014 Return-path: Envelope-to: gcsc-concurrency@m.gmane.org Original-Received: from mailhost.tue.nl ([131.155.2.19]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1W6nqR-0003Wi-CO for gcsc-concurrency@m.gmane.org; Fri, 24 Jan 2014 21:59:19 +0100 Original-Received: from pastinakel.tue.nl (localhost [127.0.0.1]) by mailhost.tue.nl (Postfix) with ESMTP id 73DD37334C; Fri, 24 Jan 2014 21:59:13 +0100 (CET) X-Virus-Scanned: amavisd-new at tue.nl Original-Received: from mailhost.tue.nl ([131.155.2.19]) by pastinakel.tue.nl (pastinakel.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id hQqPVmdJRM87; Fri, 24 Jan 2014 21:59:12 +0100 (CET) Original-Received: from stentor.tue.nl (stentor.tue.nl [131.155.2.50]) by mailhost.tue.nl (Postfix) with ESMTP id B1AEE732B1; Fri, 24 Jan 2014 21:59:12 +0100 (CET) Original-Received: from mx1.tue.nl (mx1.tue.nl [131.155.2.7]) by stentor.tue.nl (Postfix) with ESMTP id 7E4709B443 for ; Tue, 21 Jan 2014 17:30:41 +0100 (CET) X-Virus-Scanned: amavisd-new at tue.nl Original-Received: from mx1.tue.nl ([131.155.2.7]) by bommelstein.tue.nl (bommelstein.tue.nl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id m8wXT0TwlvuZ for ; Tue, 21 Jan 2014 17:30:41 +0100 (CET) Original-Received: from filter3-utr.mf.surf.net (filter3-utr.mf.surf.net [195.169.124.154]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.tue.nl (Postfix) with ESMTPS id 47A2D181416 for ; Tue, 21 Jan 2014 17:30:41 +0100 (CET) Original-Received: from briaree.onecert.fr (briaree.onecert.fr [134.212.190.4]) by filter3-utr.mf.surf.net (8.14.3/8.14.3/Debian-9.4) with ESMTP id s0LGUdxv006117 for ; Tue, 21 Jan 2014 17:30:40 +0100 Original-Received: from neree.onecert.fr (thetis.onecert.fr [134.212.178.12]) by briaree.onecert.fr (8.14.3/8.14.3/ONERA-SRI) with ESMTP id s0LGTgKo011029; Tue, 21 Jan 2014 17:29:42 +0100 Original-Received: from neree.onecert.fr (thetis.antiviral [127.0.0.1]) by neree.onecert.fr (8.14.3/8.14.3/ONERA-SRI) with ESMTP id s0LGTfC2031555; Tue, 21 Jan 2014 17:29:41 +0100 Original-Received: from cottos.onecert.fr (cottos.onecert.fr [134.212.90.4]) by neree.onecert.fr (8.14.3/8.14.3/ONERA-SRI) with ESMTP id s0LGTdm0031552; Tue, 21 Jan 2014 17:29:41 +0100 Original-Received: from [134.212.25.168] (unknown [134.212.25.168]) by cottos.onecert.fr (Postfix) with ESMTP id 615D46EE2F; Tue, 21 Jan 2014 17:29:39 +0100 (CET) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.2.0 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.3 (briaree.onecert.fr [134.212.190.4]); Tue, 21 Jan 2014 17:29:42 +0100 (CET) X-Virus-Scanned: clamav-milter 0.97.8 at briaree.onecert.fr X-Virus-Status: Clean X-Spam-Status: No, score=-4.4 required=6.0 tests=ALL_TRUSTED, BAYES_00 autolearn=ham version=3.2.5-onera_sri_4 X-Spam-Checker-Version: SpamAssassin 3.2.5-onera_sri_4 (2008-06-10) on briaree.onecert.fr X-Bayes-Prob: 0.9999 (Score 4.7, tokens from: @@RPTN) X-Spam-Score: 3.60 (***) [Tag at 5.00] SPF(none:0), CC(FR:-0.1), RBL(RPRL-ham:-1.0), Bayes(0.9999:4.7) X-CanIt-Geo: ip=134.212.190.4; country=FR; region=B3; city=Toulouse; latitude=43.5995; longitude=1.4332; http://maps.google.com/maps?q=43.5995,1.4332&z=6 X-CanItPRO-Stream: tue:concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org (inherits from tue:Tue-rules, tue:default, base:default) X-Canit-Stats-ID: 08LgEuDk8 - c5a1ff93f44d - 20140121 X-Antispam-Training-Forget: https://www.mf.surf.net/canit/b.php?i=08LgEuDk8&m=c5a1ff93f44d&t=20140121&c=f X-Antispam-Training-Nonspam: https://www.mf.surf.net/canit/b.php?i=08LgEuDk8&m=c5a1ff93f44d&t=20140121&c=n X-Antispam-Training-Spam: https://www.mf.surf.net/canit/b.php?i=08LgEuDk8&m=c5a1ff93f44d&t=20140121&c=s X-Scanned-By: CanIt (www . roaringpenguin . com) on 195.169.124.154 X-Mailman-Approved-At: Fri, 24 Jan 2014 21:59:10 +0100 X-BeenThere: concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org X-Mailman-Version: 2.1.12 Precedence: list List-Id: Concurrency mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Original-Sender: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Errors-To: concurrency-bounces-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org Xref: news.gmane.org gmane.comp.science.concurrency:3649 gmane.science.mathematics.categories:7987 Archived-At: RGVhciBjb2xsZWFndWVzLAoKCkEgcG9zdC1kb2N0b3JhbCBwb3NpdGlvbiBpcyBhdmFpbGFibGUg aW4gVG91bG91c2UsIEZyYW5jZSwgam9pbnRseQpwcm9wb3NlZCBieSBPbmVyYS9EVElNIGFuZCBJ UklULgoKS2V5d29yZHM6IEZvcm1hbCBzcGVjaWZpY2F0aW9uLCBmb3JtYWwgdmVyaWZpY2F0aW9u LCBsaWdodHdlaWdodCBmb3JtYWwgCm1ldGhvZHMsCnNvZnR3YXJlIGFyY2hpdGVjdHVyZS4KClBE RiB2ZXJzaW9uIGhlcmU6IAo8aHR0cDovL3d3dy5vbmVyYS5mci9zaXRlcy9kZWZhdWx0L2ZpbGVz L3U0OTEvMjAxNDAxMjEtcG9zdGRvYy1mb3JtYWwtc3BlYy1hcmNoaS5wZGY+CgpMb2NhdGlvbiA6 IFRvdWxvdXNlLCBGcmFuY2UKT25lcmEgc3VwZXJ2aXNvcnMgOiBKdWxpZW4gQnJ1bmVsICYgRGF2 aWQgQ2hlbW91aWwKLS0+IE1haWw6IGZpcnN0bmFtZS5sYXN0bmFtZUBvbmVyYS5mcgpJUklUIHN1 cGVydmlzb3I6IEplYW4tUGF1bCBCb2RldmVpeAotLT4gTWFpbDogbGFzdG5hbWVAaXJpdC5mcgoK U3ViamVjdAo9PT09PT09CgpUaGlzIHN1YmplY3QgZml0cyBpbnRvIGEgam9pbnQgcmVzZWFyY2gg ZWZmb3J0IGJ5IE9uZXJhL0RUSU0gYW5kIElSSVQgdG8KZGV2aXNlIGxpZ2h0d2VpZ2h0IGZvcm1h bCBtZXRob2RzIGZvciB0aGUgc3BlY2lmaWNhdGlvbiBhbmQgdmVyaWZpY2F0aW9uCm9mIGR5bmFt aWMgc29mdHdhcmUgYXJjaGl0ZWN0dXJlLgoKQXJjaGl0ZWN0dXJlICBkZXNjcmliZXMgYSBzeXN0 ZW0gaW4gdGVybXMgb2YgYWJzdHJhY3QgY29uY2VwdHMgKGUuZy4sCmNvbXBvbmVudHMsIGNvbm5l Y3RvcnMsIGNvbmZpZ3VyYXRpb25zLCBiZWhhdmlvdXIgY29udHJhY3RzKSBhbmQKYWRkcmVzc2Vz IGV4dHJhLWZ1bmN0aW9uYWwgcHJvcGVydGllcywgd2hpbGUgc3RpbGwgZW5hYmxpbmcgdG8gZHJh dyBhCmNvcnJlc3BvbmRlbmNlIHdpdGggaGlnaGVyLWxldmVsIHJlcXVpcmVtZW50cy4gQXJjaGl0 ZWN0dXJlIERlc2NyaXB0aW9uCkxhbmd1YWdlcyAoQURMcykgcHJvdmlkZSB2aWV3cyBmb2N1c2Vk IG9uIGV4cHJlc3NpbmcgdGhlIHN0cnVjdHVyZSBhbmQKdGhlIGJlaGF2aW91ciBvZiBhIHN5c3Rl bSBhcyBhIGNvbXBvc2l0aW9uIG9mIGNvbXBvbmVudHMgYW5kIGNvbm5lY3RvcnMuClRoZSBmb3Jt YWwgc3BlY2lmaWNhdGlvbiBhbmQgdmVyaWZpY2F0aW9uIG9mIGJlaGF2aW91cmFsIHByb3BlcnRp ZXMgb2YKY29tcG9uZW50cyBhbmQvb3IgY29ubmVjdG9ycyBoYXZlIG1haW5seSBiZWVuIGFkZHJl c3NlZCB1c2luZwpwcm9jZXNzLWFsZ2VicmFpYyB0ZWNobmlxdWVzIChlLmcuLCBDU1AgZm9yIFdy aWdodCAsIHRoZSBccGktY2FsY3VsdXMKZm9yIERhcndpbiApIG9yIGF1dG9tYXRhIChlLmcuLCBj b25zdHJhaW50IGF1dG9tYXRhIGZvciBjb29yZGluYXRpb24gaW4KUmVvICwgdmFyaW91cyBjb250 cmFjdCB0aGVvcmllcyApLiBGaW5hbGx5LCBDb21tVW5pdHkgIGlzIGEgbm90YWJsZQphcHByb2Fj aCByZWx5aW5nIG9uIGNhdGVnb3JpY2FsIG1ldGhvZHMgdG8gZ2l2ZSBhbiBhYnN0cmFjdCBhY2Nv dW50IG9mCnZhcmlvdXMgYXJjaGl0ZWN0dXJhbCBjb25jZXB0cy4gTmV2ZXJ0aGVsZXNzLCBhbHRo b3VnaCBzdHVkaWVkIGluIHNvbWUKd29ya3MsIHNvbWUgaW50ZXJlc3RpbmcgcXVlc3Rpb25zLCBz dWNoIGFzIHRoYXQgb2YgYSBtb3JlIGFic3RyYWN0CnNwZWNpZmljYXRpb24gbGFuZ3VhZ2Ugb3Ig dGhhdCBvZiBmb3JtYWwgcmVmaW5lbWVudCwgaGF2ZSBub3QgYmVlbgpkZXZlbG9wZWQgYXMgdGhv cm91Z2hseSBhcyBpbiBmb3JtYWwgc3BlY2lmaWNhdGlvbiBhbmQgbGFjayB0b29sCnN1cHBvcnQu CgpGb3JtYWwgc3BlY2lmaWNhdGlvbiBtZXRob2RzLCBpbmRlZWQsIHN1Y2ggYXMgWiAsIEIgIChh bmQgbW9yZSByZWNlbnRseQpFdmVudC1CICkgb3IgVkRNICwgb2Z0ZW4gYWRvcHQgYSBtb3JlIGFi c3RyYWN0IHZpZXcgdGhhbiB0aGUgb25lcyBjaXRlZAphYm92ZS4gVGhlc2UgbWV0aG9kcyByZWx5 IG9uIGV4cHJlc3NpdmUgbG9naWNzIGFuZCBwcm9tb3RlIGZvcm1hbApyZWZpbmVtZW50IHRlY2hu aXF1ZXMuIEhvd2V2ZXIsIHRoZXkgYXJlIG5vdCB2ZXJ5IHdlbGwgc3VpdGVkIHRvCmFkZHJlc3Np bmcgYXJjaGl0ZWN0dXJlIGNvbmNlcm5zIGFzIGFyY2hpdGVjdHVyYWwgZWxlbWVudHMgKGUuZy4s CmNvbXBvbmVudCBhbmQgY29ubmVjdG9yIGluc3RhbmNlcykgYXJlIG5vdCBmaXJzdC1jbGFzcyBj b25jZXB0cy4KRnVydGhlcm1vcmUsIGZvcm1hbCB2ZXJpZmljYXRpb24gY2FuIG9ubHkgYmUgcGFy dGlhbGx5IGF1dG9tYXRlZCBiZWNhdXNlCm9mIHRoZSB2ZXJ5IGV4cHJlc3NpdmVuZXNzIG9mIHRo ZSB1bmRlcmx5aW5nIGxvZ2ljcy4KClRoaXMgbGFzdCByZW1hcmsgbGVkIHRvIHRoZSBkZXZlbG9w bWVudCBvZiBBbGxveSAgd2hpY2ggdHJhZGVzIHNvbWUKZXhwcmVzc2l2ZW5lc3MgaW4gZmF2b3Ig b2YgYXV0b21hdGVkIGJvdW5kZWQgdmVyaWZpY2F0aW9uIGJhc2VkIG9uIFNBVAp0ZWNobmlxdWVz LiBUaGlzIGFwcHJvYWNoLCBkdWJiZWQgbGlnaHR3ZWlnaHQgYnkgaXRzIGF1dGhvciBhcyBpdApw cm9tb3RlcyDigJxhZ2lsaXR54oCdIChxdWlja2x5LWF2YWlsYWJsZSBmZWVkYmFjayBvZiBhdXRv bWF0ZWQgdmVyaWZpY2F0aW9uCm9mIHNtYWxsIG1vZGVscykgb3ZlciB0aGUgZXhoYXVzdGl2aXR5 IG9mIG1vcmUgdHJhZGl0aW9uYWwgZm9ybWFsCm1ldGhvZHMsIGlzIHN1cnByaXNpbmdseSBlZmZp Y2llbnQgaW4gcHJhY3RpY2UuIEluZGVlZCwgZXZlbiBpZiB0aGUKdmVyaWZpY2F0aW9uIGlzIG5v dCBjb21wbGV0ZSwgbWFueSBpbnRyaWNhdGUgZXJyb3JzIGNhbiBiZSBzcG90dGVkIGZvciBhCnJl bGF0aXZlbHkgbG93IG1vZGVsbGluZyBhbmQgdmVyaWZpY2F0aW9uIGVmZm9ydC4gTmV2ZXJ0aGVs ZXNzLCBhcyBvZgpub3csIEFsbG95IGRvZXMgbm90IGZlYXR1cmUgZmlyc3QtY2xhc3MgY29uY2Vw dHMgdG8gbW9kZWwgYmVoYXZpb3VyIG5vcgphcmNoaXRlY3R1cmFsIGNvbmNlcm5zIChhbHRob3Vn aCBzb21lIHByb3Bvc2l0aW9ucyBleGlzdCwgaW4gcGFydGljdWxhcgpmb3IgdGhlIGZvcm1lciBh c3BlY3QpLgoKSW4gdGhpcyBjb250ZXh0LCBPbmVyYS9EVElNIGFuZCBJUklUIGFyZSBpbnZlc3Rp Z2F0aW5nIHRoZSBkZXZlbG9wbWVudApvZiBhIGxpZ2h0d2VpZ2h0IGZvcm1hbCBzcGVjaWZpY2F0 aW9uIGFwcHJvYWNoIGZvciAocG9zc2libHkgcmVhbC10aW1lKQpzb2Z0d2FyZSBhcmNoaXRlY3R1 cmUuIFRoZSBhaW0gaXMgdGh1cyB0byBhbGxvdyB0aGUg4oCcZGVjbGFyYXRpdmXigJ0Kc3BlY2lm aWNhdGlvbiBvZiBiZWhhdmlvdXJhbCBhbmQgYXJjaGl0ZWN0dXJhbCBjb25jZXJucyBhbmQgdGhl CmF1dG9tYXRlZCB2ZXJpZmljYXRpb24gdGhlcmVvZi4gVGhlIHByZXNlbnQgcG9zdGRvY3RvcmFs IHBvc2l0aW9uIHRha2VzCnBsYWNlIGluIHRoaXMgc2V0dGluZy4gQXBwbGljYW50cyBzaG91bGQg KGJlIGFib3V0IHRvKSBob2xkIGEgUGhEIGluCmZvcm1hbCBtZXRob2RzIG9yIHRoZW9yZXRpY2Fs IGNvbXB1dGVyIHNjaWVuY2UgYW5kIHNob3VsZCBiZSB3aWxsaW5nIHRvCnBhcnRpY2lwYXRlIGFj dGl2ZWx5IGluIHRoZSBvYmplY3RpdmUgc2tldGNoZWQgYWJvdmUuIFRoZSBleGFjdApjb250cmli dXRpb24gd2lsbCBkZXBlbmQgb24gdGhlIHJldGFpbmVkIGNhbmRpZGF0ZSBhbmQgd2UgYXJlIG9w ZW4gdG8Kc3VnZ2VzdGlvbnMuIEZvciBleGFtcGxlICh0aGlzIGlzIG9ubHkgaW5kaWNhdGl2ZSEp LCBvbmUgbWF5IHRoaW5rIG9mOgoKLSAgIGRldmlzaW5nIGEgbmV3IHRlbXBvcmFsIGxvZ2ljIHBy b3ZpZGluZyBhIGZvcm1hbCBiYXNpcyBmb3IgdGhlCiAgICAgbWV0aG9kCgotICAgcHJvdmlkaW5n IGEgZm9ybWFsIHNlbWFudGljcyB0byB0aGUgc3BlY2lmaWNhdGlvbiBsYW5ndWFnZQoKLSAgIGRl dmlzaW5nIGEgY2F0ZWdvcmljYWwgZnJhbWV3b3JrIHRvIGFjY291bnQgZm9yIGNvbXBvc2l0aW9u IG9yCiAgICAgYmVoYXZpb3VyCgotICAgZGV2ZWxvcGluZyBTTVQtYmFzZWQgKFNBVCBtb2R1bG8g dGhlb3JpZXMpIHZlcmlmaWNhdGlvbiB0ZWNobmlxdWVzCiAgICAgKGUuZy4sIHRvIGFkZHJlc3Mg cmVhbC10aW1lIGFzcGVjdHMp4oCmCgpBcHBsaWNhdGlvbgo9PT09PT09PT09PQoKCi0gICBBcHBs aWNhbnRzIHNob3VsZCBzZW5kIGEgcmVzdW1lIHZpYSBlbWFpbCB0byBEYXZpZCBDaGVtb3VpbCBh bmQKICAgICBKZWFuLVBhdWwgQm9kZXZlaXguCgotICAgQXBwbGljYW50cyBhcmUgZXhwZWN0ZWQg dG8gYmUgZmx1ZW50IGluIEVuZ2xpc2ggb3IgaW4gRnJlbmNoCiAgICAgKHBvc3NpYmlsaXR5IG9m IEZyZW5jaCBjb3Vyc2VzKS4KCi0gICBQb3NpdGlvbiBkdXJhdGlvbjogMSB5ZWFyLgoKLSAgIEdy b3NzIHNhbGFyeTogfjIsNTAwIOKCrC9tb250aCAocG9zaXRpb24gZnVuZGVkIGJ5IFJUUkEgU1RB RSwgYQogICAgIEZyZW5jaCBzY2llbmNlIGZvdW5kYXRpb24gZm9yIHNwYWNlIGFuZCBhZXJvbmF1 dGljcyByZXNlYXJjaCkuCgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fCkNvbmN1cnJlbmN5IG1haWxpbmcgbGlzdApDb25jdXJyZW5jeUBsaXN0c2VydmVy LnR1ZS5ubApodHRwOi8vbGlzdHNlcnZlci50dWUubmwvbWFpbG1hbi9saXN0aW5mby9jb25jdXJy ZW5jeQo=