[TYPES/announce] Second Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)

University Publicity Chair: Alain Girault INRIA Grenoble Rhône-Alpes -- - Alain GIRAULT http://pop-art.inrialpes.fr/~girault INRIA senior researcher tel: +(33|0) 476 61 53 51 Head of the POP ART project-teamfax: +(33|0) 476 61 52

[TYPES/announce] Final Call for Papers: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)

Shrivastava Arizona State University Publicity Chair: Alain Girault INRIA Grenoble Rhône-Alpes -- - Alain GIRAULT http://pop-art.inrialpes.fr/~girault INRIA senior researcher tel: +(33|0) 476 61 53 51 Head of the POP ART project-teamfax

[TYPES/announce] Call for participation: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'09)

Hardware and Software Information Flow Analyses o Colin Fidge and Diane Corney Specification and Verification of Time Requirements with CCSL and Esterel o Charles André and Frédéric Mallet -- - Alain GIRAULT http://pop-art.inrialpes.fr/~girault INRIA senior

Re: [TYPES/announce] Reviewing for POPL: a concrete proposal

the process better and more fair to all. Cheers, Dave -- - Alain GIRAULT http://pop-art.inrialpes.fr/~girault INRIA senior researcher tel: +(33|0) 476 61 53 51 Head of the POP ART project-teamfax: +(33|0) 476 61 52 52

[TYPES/announce] MEMOCODE 2011 Call for Papers

) Luca Carloni (Columbia University) Satrajit Chatterjee (Intel) Ashish Darbari (ARM) Robert de Simone (INRIA, Sophia Antipolis) Rolf Drechsler (University of Bremen) Stephen A. Edwards (Columbia University) Franco Fummi (University of Verona) Thierry Gautier (INRIA) Alain Girault (INRIA) Ganesh

[TYPES/announce] DATE'14, E3: Model-based design and verification of embedded systems

of DATE'14, topic E3 Saddek Bensalem, Verimag, France Petru Eles, Linköping University, Sweden Alain Girault, INRIA, France Kim Larsen, Aalborg University, Denmark Linh Thi Xuan Phan, University of Pennsylvania, USA Abhik Roychoudhury, National University of Singapore Wang Yi, Uppsala University

[TYPES/announce] RePP 2014 workshop call for papers: Grenoble, France, Sunday April 6th, 2014

=== David Broman: UC Berkeley, bro...@eecs.berkeley.edu Jian-Jia Chen: Karlsruhe Institute of Technology, jian-jia.c...@kit.edu Alain Girault: INRIA, alain.gira...@inria.fr Michael Mendler: U. Bamberg, michael.mend...@uni-bamberg.de Partha Roop: U. Auckland, p.r...@auckland.ac.nz Lothar Thiele: ETHZ

[TYPES/announce] RePP 2014 workshop extension deadline: Grenoble, France, Sunday April 6th, 2014

=== David Broman: UC Berkeley, bro...@eecs.berkeley.edu Jian-Jia Chen: Karlsruhe Institute of Technology, jian-jia.c...@kit.edu Alain Girault: INRIA, alain.gira...@inria.fr Michael Mendler: U. Bamberg, michael.mend...@uni-bamberg.de Partha Roop: U. Auckland, p.r...@auckland.ac.nz Lothar Thiele: ETHZ

[TYPES/announce] Post-doctoral Position at INRIA Grenoble

., analysis, semantics, verification, validation, code generation, ...). A knowledge of dataflow programming and/or scheduling would be a plus. Send CV + contact information of 2 or 3 recommenders to Pascal Fradet and Alain Girault. References == [1] Vagelis Bebelis, Pascal Fradet, Alain

[TYPES/announce] RePP 2014 workshop call for participation: Grenoble, France, Sunday April 6th, 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] RePP 2014 http://repp14.inria.fr Reconciling Performance with Predictability Grenoble, France, Sunday April 6th, 2014 An

[TYPES/announce] SYNCHRON 2014 early announcement : November 30 to December 4, 2014, Aussois, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SYNCHRON'14 (EARLY ANNOUNCEMENT) International Open Workshop on Synchronous Programming November 30, December 4, 2014 Centre CNRS Paul

[TYPES/announce] Call for Papers DATE 2015 : Grenoble, France - March 9-13, 2015

-- - Alain GIRAULT http://pop-art.inrialpes.fr/~girault INRIA senior researcher tel: +(33|0) 476 61 53 51 Member of the SPADES project-team fax: +(33|0) 476 61 52 52 - Sauvons la

[TYPES/announce] CALL FOR PAPERS DATE 2015: Topic: E3 Model-based Design and Verification for Embedded Systems

, Universite Joseph Fourier/Verimag, France (Chair) Linh Thi Xuan Phan, University of Pennsylvania, USA (Co-Chair) Borzoo Bonakdarpour, University of Waterloo, Canada Petru Eles, Linkoping University, Sweden Alain Girault, INRIA, France Oleg Sokolsky, University of Pennsylvania, USA

[TYPES/announce] SYNCHRON 2014 : call for participation : Aussois, France, Nov 30th to Dec 5th, 2014

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] SYNCHRON 2014 International Open Workshop on Synchronous Programming http://synchron2014.inria.fr/ November 30, December 5, 2014

[TYPES/announce] ACM SIGBED Paul Caspi Dissertation Award : deadline March 1st, 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACM SIGBED Paul Caspi Dissertation Award http://sigbed.blogspot.fr/p/awards.html The nomination should be submitted via EasyChair at