From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6D0B37FB82; Sat, 20 Feb 2016 17:22:58 +0100 (CET) IronPort-PHdr: 9a23:RAhLjRcxQ36qaoVNngOQZ2FzlGMj4u6mDksu8pMizoh2WeGdxc66ZhWN2/xhgRfzUJnB7Loc0qyN4/+mBDZLscrJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvipNuOOU4Y2HKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrteByk8KW0z79zDqQTOCw2LojMAQ30biV9BBQ7C8RfxU7/1szDmraxm1SCBe9DuQLYyHzmu8uMjRwXpjmIKKTM/7GD/hdZxiudaphymvRl234/faceUKL42cbnUYckTbXdZVIBdWmgJDIasdIwEBuwNN/5dh4Lm4UYIrBG5QwiwQKvqwyJEizrrxqAgyMwqCkfb3RErWd8CrTCcqdL+PeIbV+ay0a/DwB3HbuhKnzbhrpXVNAss5bmHWrR7bNDLxE8kBivOkVTWr4ihdyuYyv4MtWWHx+tmW+W1jmc7qgI3vz6ug8clj4PUnI1Txl2AvSF+z4c+DdixVE49fNilVZFXsSfcO4YyCsokRWZ1vi034rwAt5mheSEWyZ88ghPCcfuffs6P+B2nHP2cJyx/nnNsULa+nAqpt1Sr0av9WMjy1FNX6CZI1pHUrHELkRfS7MGvTvJ3uEakxTKS3AvarOBYZQg9k6zcNpgqz7s9kIYImUDCBTPt3kzskK6NagAp/+Kl5+jqbvPhvJDYf4JqhwfiKYwgn8GiG+MgP04JRWffseq51bb41Uz/WrRDiuU7ie/XqtSSK8EaoKK4Cide14dl4h35DjHimNsRmHQcBFZEYw6cyZL2J1HHKfv4APH5j1no2DNqzOvuNbrkBpzHaH/T1r7qO6t+rwZFxREvxNZZ4I9SAbwpIe7yHFLwqdeeAxMkd0Su3c7sE5Ng154VH2+DH+vRK67ZrEWJ+vMHLe6XbYNTvyzyb7A55/Ppl3I8gUUaY6SzxrMeaTa9H+ggLkmEJTLwgtoGC3YMoiI6Tff2k1CYT3hVYHq7XOQx6ix/QIutCsLHR5uxqL2b3Su6F9tLYmoAA1vKG3qsP4yAX98HbzmOZ85qymNcDP6mUYBlnTiKjCfc6pEhFdfu1As1idTF8Jw97vXLjhw33SB/FIKc1W+KVWR9gmILASIw3eV6vEF7wVeO1+50jrgQHMdJov1OSBo/HZXdyeFhTd7oHkrLY9ONDVf9atS8AC13QMh1i9QHZkI4H9S5kjjC2TCrCvkbjfjDD5Uo/63bxXn8PO5413+A36Blx1ItRuNXLiu7gK867AKVC4ON206Cj46hfL4Y3TKL6GCeyW2Tp0weUQhqWOPLRzRXbVbMt8XR50XMSKWrAKgmMU1b1tKCb6JDYd3kixNKSbOrNd3GZ3mZmWarDhOBx7fKZYGsZmZZlCjUE1MY1gUe+HyLLxMWAy6gpyTVF3pzE1Oqe0Tw6uV3rTW3Qwt8wgrPY0xu2qGpvxo9gPGASuhImL0BpWEspygwVFu22NXOTtuGqQ1Jca5bZst7501IkSrUsgs4Op27M4hui19Ybg8xp1+qnzhJLaF9rekNiloQ/U9ZDoeg7W9gURyw/7HLEZj+C0201TvpVo2Skl7X1duN0qMO8+gj7U/8oAHsH0Mp83hhldVYlzOc747JAQ4WeZL4SUU68xw8oKvVJmE8/4rQ1GZwGa21qSPZ1sg3CfFj1gutOdFbdOuAFQTpO8wcCc+0LeU2mlvvbg9BNu1I8K8yec+rM7OC2aWwFPxthz+vl29Hpopw1kbJ8yN2UajD2JNBi/WewCOCXiu6kVznqtyz0YJJeRkTGHC+wG7qHsoZYrVoeoIMBk+lOIuqw9M4ipLwHzZ93WOPKnsi+fSVQjeoURrH8CFx72Us51Gc3WOd4gBd1hEEk5C+5xDv6N/KVjs8EUtiZU0kpHyqHKvwx/U9cGWSSU0JuSafxH3G5oNgjIZeFEL2aGZsOQHdaVxBFuO2qKaDJspO848AujpWFuK4JRicVabh5hoc3STLG2pF2Ct9djah/Jj021RigXqYBHd1on3DfMhsxBzEotHQA/damCcFAGFAsx78IWOUHfiS1vC9trOFm8v4akHlHoVJdiauyYSPtTKm6EVrGxyklra9gJmvCRU/1Wr/1sJ2fS7T6gf7eIqt3q/8LOEjNlF2H3f38M48AZt/1IA3gdVYwHUBmtCc+3wAjGH4PP1axaO4cXsQTngGz8ORqBLo3EhiJWnMw6r8XXCU2ddsfZ+xaydewC8i9cFWCaGbxLFChm5xs12+6wzLJbBnmR8Fzv8j6Xdch+AR5kwj1GHVGLcZHlIdJTbrlRmD8/ixq6JYYGuga7+tzFE4ltekSPm5jyphYlfFS78GPBRM1ehFDhTt8UG1wafePvjsKZoIuwKTiRPMp/NUJ4k2mOZMgjBofSrmvHY+1/MgyAF10IuhlJOGIH4r56/9SgVdPxXxYNkS83fjl+IWhdqM1pyiEZJJES5NQYauS/bsWCkDs/3jLy6PFic9o3ODFKGZExXboFtmonXVHpXuL2uQOnQD1v1rRV+YJVAZjQwJGH0mj4Y0DSiuxdf9awFy5jkV41PisV1Xx7FGLR76B0rNpQDgQD4uVJ+UJxseugxQ5kCTO8WE8uV4FCBw4oC+rQGLbGWQIQ1UWzJaEneYDkzua+H9reLL9PKVU7Kz Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ezio.bartocci@tuwien.ac.at; spf=None smtp.mailfrom=ezio.bartocci@tuwien.ac.at; spf=None smtp.helo=postmaster@mail2.vmars.tuwien.ac.at Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ezio.bartocci@tuwien.ac.at) identity=pra; client-ip=128.130.39.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ezio.bartocci@tuwien.ac.at"; x-sender="ezio.bartocci@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ezio.bartocci@tuwien.ac.at) identity=mailfrom; client-ip=128.130.39.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ezio.bartocci@tuwien.ac.at"; x-sender="ezio.bartocci@tuwien.ac.at"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail2.vmars.tuwien.ac.at) identity=helo; client-ip=128.130.39.32; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ezio.bartocci@tuwien.ac.at"; x-sender="postmaster@mail2.vmars.tuwien.ac.at"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BxCAC2kchW/yAngoBEGg4IglhuMGcGuiGCHgMXAQuFIEqBcRABAQEBAQEBAWMngi2CFgYBARoGMRQzDCEEAQkCAj0fAhuIEQQFBSysOoFKiHKEHAEBCAEBAQEBAQEBGIEOhQSBbYFmPIMDgVgzghsLLRMYgQ8FhhcKkGaBQYQWa4ccgVxKjE2HF4cyDygrggECGYENPGkBARKHKIE4AQEB X-IPAS-Result: A0BxCAC2kchW/yAngoBEGg4IglhuMGcGuiGCHgMXAQuFIEqBcRABAQEBAQEBAWMngi2CFgYBARoGMRQzDCEEAQkCAj0fAhuIEQQFBSysOoFKiHKEHAEBCAEBAQEBAQEBGIEOhQSBbYFmPIMDgVgzghsLLRMYgQ8FhhcKkGaBQYQWa4ccgVxKjE2HF4cyDygrggECGYENPGkBARKHKIE4AQEB X-IronPort-AV: E=Sophos;i="5.22,476,1449529200"; d="scan'208,217";a="203915821" Received: from merkur.vmars.tuwien.ac.at (HELO mail2.vmars.tuwien.ac.at) ([128.130.39.32]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 20 Feb 2016 17:22:55 +0100 Received: from ezio.lan (91-115-174-14.adsl.highway.telekom.at [91.115.174.14]) by mail2.vmars.tuwien.ac.at (Postfix) with ESMTPSA id 79CEA7DBB784; Sat, 20 Feb 2016 17:22:51 +0100 (CET) From: Ezio Bartocci Content-Type: multipart/alternative; boundary="Apple-Mail=_ACD3C62D-8CBF-4A3F-8BA8-D49275400874" Message-Id: Date: Sat, 20 Feb 2016 17:22:51 +0100 To: concurrency@tue.nl, types-announce@lists.seas.upenn.edu, grin-eventi@grin-informatica.it, gratra@upb.de, fmxsocandbpm@cs.unibo.it, maude-users@cs.uiuc.edu, moca-announce@list.it.uu.se, concurrency@cwi.nl, petrinet@informatik.uni-hamburg.de, logic@math.uni-bonn.de, announce@informatics-europe.org, sensoria@lists.tcs.ifi.lmu.de, prin.cina@lab.imtlucca.it, announcements@lists.artist-embedded.org, events@fmeurope.org, fmics@inrialpes.fr, fmindia@cmi.ac.in, games@lists.rwthaachen.de, lics@comlab.ox.ac.uk, qestannounce@iti.uiuc.edu, rv@cs.uiuc.edu, security@fosad.org, theoremprovers@ai.mit.edu, theorynt@listserv.nodak.edu, aco-list@iridia.ulb.ac.be, all@cost-ic0701.org, ALP@NIC.SURFNET.NL, appsem@tcs.informatik.uni-muenchen.de, asr-forum@cines.fr, bull-i3@irit.fr, caml-list@inria.fr, categories@mta.ca, ccl@ps.uni-sb.de, csp@carlit.toulouse.inra.fr, curry@informatik.rwth-aachen.de, eapls@jiscmail.ac.uk, easst-members@mail.cs.uni-potsdam.de, ec-digest-l@metis3.gmu.edu, ecoop-info@ecoop.org, emo-list@dei.uc.pt, EVOLUTIONARY-COMPUTING@JISCMAIL.AC.UK, games@lists.rwth-aachen.de, haskell@haskell.org, ipalist@listserver.tue.nl, lics@informatik.hu-berlin.de, lics@research.bell-labs.com, lnv@mat.uc.pt, jet@inria.fr, lprolog@cs.umn.edu, MAUDE@LISTSERV.REDIRIS.ES, META-HEURISTICS@JISCMAIL.AC.UK, MODERN-HEURISTICS@JISCMAIL.AC.UK, nvti-list@cwi.nl, nwpt-info@lists.ioc.ee, papm@informatics.ed.ac.uk, PROCOS@JISCMAIL.AC.UK, prog-logique@irisa.fr, puml-list@cs.york.ac.uk, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, relmics-l@mcmaster.ca, rewriting@ens-lyon.fr, ro@poleia.lip6.fr, rocks-project@googlegroups.com, SECURITY@LISTSERV.IIT.CNR.IT, seworld@sigsoft.org, sicstus-users@sics.se, sma@loria.fr, stratego@cs.uu.nl, synalp@inrialpes.fr, theorem-provers@ai.mit.edu, types@lists.chalmers.se Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) X-Mailer: Apple Mail (2.2104) X-Validation-by: ezio.bartocci@tuwien.ac.at Subject: [Caml-list] CPS Week 2016 - Call for Participation --Apple-Mail=_ACD3C62D-8CBF-4A3F-8BA8-D49275400874 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Call for Participation CPS Week is the premier event on Cyber-Physical Systems. It brings together= four top conferences, HSCC , ICCPS , IPSN , and RTAS , four summits , six= tutorials , 20 workshops , a localization competition and various exh= ibitions from both industry and academia. This year we are also very please= d to inform you that the ARTEMIS Spring event will be organized co-located with the CPS= Week. At the end of the CPS Week, PhD students can take the opportunity to= attend also the RiSE & LogiCS Spring School on Logic and Verification . Altogether the CPS Week program covers a = multitude of complementary aspects of CPS, and reunites the leading researc= hers in this dynamic field.=20 Click here to register now !! (Early registration= until 11 March 2016)=20 There are several travel stipends for students available !! =20=20 Check the program of CPS Week 2016 =20=20 Keynote Speakers Tue April 12: Scientific Keynote Rajeev Alur ,=20 Zisman Family Professor,=20 Computer and Information Science, UPenn, USA Wed April 13: Industrial Keynotes=20 Smart Mobility: Ken Butts ,= =20=20 Executive Engineer, Powertrain Control, Toyota, USA=20 Smart Grid: Rada Rodriguez ,=20 CEO Schneider Electric, Germany=20 Internet of Things: Joe Salvo ,=20 Dir. of CS and Arch., GE Global Research, USA=20 Industry 4.0: Sabine Herlitschka ,=20 CEO Infineon Austria Thu April 14: Scientific Keynote=20 Tomasso Poggio ,=20 Eugene McDermott Professor,=20 Brain and Cognitive Sciences, CSAIL, MIT, USA Morning and Banquet Opening Speakers Tue April 12: Morning Opening Address Johannes Fr=C3=B6hlich ,=20 Vice Rector for Research and Innovation,=20 Technische Universit=C3=A4t Wien, Austria Wed April 13: Morning Opening Address=20 Michael Wiesm=C3=BCller ,=20 Head of Department for ICT, Industrial &=20 Nano Technologies and Space=20 Austrian Federal Ministry of Transport,=20 Innovation and Technology (BMVIT) Wed April 13: Banquet Opening Address=20 Bernd Rosauer ,=20 Head of Research, Technology Field IT Platforms Siemens AG, Corporate Technology Heinrich Daembkes ,=20 Airbus Defence and Space=20 President of ARTEMIS Industry Association Thu April 14: Morning Opening Address=20 Max Lemke ,=20 Directorate General CONNECT of the European Commission Banquet at Vienna City Hall (Rathaus)=20 The banquet will be a spectacular event hosted in the Festsaal at Vienna Ci= ty Hall (Rathaus), designed by Friedrich von Schmidt in Gothic style, and b= uilt between 1872 and 1883. During the banquet, Barbara Helfgott and Rondo = Vienna will perform their = fantastic music alive.=20 Organizers General co-Chairs: Radu Grosu (TU Wien) Thomas A. Henzinger (IST Austria) Finance Chair: Dejan Nickovic (AIT) Industrial Liaison co-Chairs: Peter Palensky (AIT and TU Delft) Stefan Poledna=C2=A0 (TTTech Austria) Local Arrangement Chair: Ezio Bartocci (TU Wien)=20 Publication Chair: Edmund Widl (AIT) Publicity Chair: Hermann Kopetz (TU Wien) Registration co-Chairs: Sergiy Bogomolov (IST Austria)=20 Edmund Widl (AIT) Student Volunteer Program Chair: Przemys=C5=82aw Daca (IST Austria)=20 Web and Social Media Chair: Ezio Bartocci (TU Wien)=20 Workshop/Demo co-Chairs: Christoph Kirsch (Uni Salzburg) Ana Sokolova (Uni= Salzburg) Supported by =20 =20 =20 =C2=A0 = =20 Steering Committee Chair: George J. Pappas (UPenn) Committee Members: Werner Damm (Univ. of Oldenburg) Insup Lee (UPenn)=20 Raj Rajkumar (CMU)=20 Sanghyuk Son (DGIST and UVa)=20 Jack Stankovic = (UVa)=20 Feng Zhao (Microsoft,= China)=20= --Apple-Mail=_ACD3C62D-8CBF-4A3F-8BA8-D49275400874 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
<= /tbody>
=
3D"imagebar"3D"imagebar"
Call for Participation
3D"imag==

CPS Week is the premier event on Cyber-Ph= ysical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, four summits, six tutorials, 20 workshops, a localization competition and various exhibitions from both in= dustry and academia. This year we are also very pleased to inform you that = the ARTEMIS Spring event will be organized co-locate= d with the CPS Week. At the end of the CPS Week, PhD students can take the = opportunity to attend also the RiSE & LogiCS Spring School on Logic and Verificatio= n. Altogether the CPS Week program covers a multitude of complementary = aspects of CPS, and reunites the leading researchers in this dynamic field.=  

C= lick here to register now !! (Early registration until = 11 March 2016) 

There are several travel stipends for students= available !! 

Check the program of CPS Wee= k 2016 


Keynote Speakers

<= b class=3D"">Tue April = 12: Scientific Keynote
    Rajeev Alur, 
    Zisman Family Professor, 
    Computer and Information= Science, UPenn, USA
Wed April 13: Industrial Keynotes 
    Smart Mobility: Ken Butts,  
    Executive Engineer, Powertrain Control, Toyota, USA 

    Smart Grid: Rada Rodriguez,&nbs= p;
    CEO Schneider Electric, Germany 

    Internet of Things: Joe Salvo, 
    Dir. of CS and Arch., GE Global Research, USA 
    Industry 4.0: Sabine Herlitschka,&= nbsp;
    CEO Infineon Austria
Thu April 14: Scientific Keynote&= nbsp;
    Tomasso Poggio, 
    Eugene McD= ermott Professor, 
    Brain and Cognitive Sciences, CSAIL, = MIT, USA
Morning and Banquet Opening Speakers

Tue April 12: Morning Opening Address
    Johannes Fr=C3=B6hlich,&n= bsp;
    Vice Rector for Research and Innovation, 
    Technische Universit=C3=A4t Wien, Austria
Wed April 13: Morning Opening Ad= dress 
    Michael Wiesm=C3=BCller, 
    Head of Department for ICT, Industrial & 
    Nano Technologies and Space 
    Austrian Federal Ministry = of Transport, 
    Innovation and Technology (BMVIT)
Wed April 13= : Banquet Opening Address 
    Bernd Rosauer,&nb= sp;
    Head of Research, Technology Field IT Platforms
    Siemens AG, Corporate Technology
Thu April 14: Morning Opening Address <= /font>
    Max Lemke, 
    Directorate General = CONNECT of the European Commission

Banquet= at Vienna City Hall (Rathaus) 
=
The banquet will be a spectacular event hosted in the Festsa= al at Vienna City Hall (Rathaus), designed by Friedrich von Schmidt in Goth= ic style, and built between 1872 and 1883. During the banquet, Barbara Helf= gott and Rondo Vienna will perform their fantastic music alive.&nb= sp;

3D"imagebar"

<= /td>
<= table cellpadding=3D"0" cellspacing=3D"0" width=3D"100%" style=3D"margin-bo= ttom: 0px;" class=3D"">= Organizers
General co-Chairs:

Radu Grosu (TU Wien)
Thomas A. Henzinger (IST Au= stria)

Finance Chair:

Dejan N= ickovic (AIT)

Industrial Liaison co-Chairs:

Pet= er Palensky (AIT and TU Delft)
Stefan Poledna=  (TTTech Austria)

Local Arrangement Chair:

= Ezio Bartocci (TU Wien) 

<= font style=3D"color: rgb(173, 73, 65);" class=3D"">Publication Chair:

Edmund Widl (AIT)

<= p class=3D"">

Publicity Chair:

Hermann = Kopetz (TU Wien)

Registration co-Chairs:

Sergiy Bogomolov (IST Austria) 
Edmund Widl (AIT)

Student Volunteer Program Chair:<= /font>

Przemys=C5=82aw Daca (IST Austria)&= nbsp;


Web and Social Media Chair:

Ezio Bartocci (TU Wien) 

= Workshop/= Demo co-Chairs:

Christoph Kirsch (U= ni Salzburg)
Ana Sokolova (Uni Salzburg)

Supported= by
3D"Vienna 

 

3D"Institute&nb= sp;

3D"Universit= 

3D"Austrian 

3D"The= Steering Committee=
Chair:

George J. Pappas=  (UPenn)

Committee Members:

Werner Damm (Univ. of Oldenbur= g)
Insup Lee (UPenn) 
Raj Rajkumar (CMU) = ;
San= ghyuk Son (DGIST and UVa) 
Jack Stankovic=  (UVa) 
Feng Zhao (Microsoft, China)&n= bsp;

= --Apple-Mail=_ACD3C62D-8CBF-4A3F-8BA8-D49275400874--