From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10002 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Ichiro Hasuo Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: fwd: 2020 HSCC CfP -- Submissions due October 23 Date: Tue, 17 Sep 2019 02:11:36 +0900 Message-ID: References: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============4209667472513285655==" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="249825"; mail-complaints-to="usenet@blaine.gmane.org" To: categories-59hdLBrVOVU@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Mon Sep 16 20:26:44 2019 Return-path: Envelope-to: gcst-types-announce-Uylq5CNFT+jYtjvyW6yDsg@public.gmane.org Original-Received: from rhizome.seas.upenn.edu ([158.130.69.24]) by blaine.gmane.org with esmtp (Exim 4.89) (envelope-from ) id 1i9vhn-0012W2-Kz; Mon, 16 Sep 2019 20:26:31 +0200 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x8GIP3l1017943; Mon, 16 Sep 2019 14:25:11 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from sympathy.seas.upenn.edu (sympathy.seas.upenn.edu [158.130.69.34]) by RHIZOME.seas.upenn.edu (8.15.2/8.14.3) with ESMTP id x8GHBu6h011295 for ; Mon, 16 Sep 2019 13:11:56 -0400 Original-Received: from mx0b-000c2a01.pphosted.com (mx0b-000c2a01.pphosted.com [148.163.155.36]) by sympathy.seas.upenn.edu (8.15.2/8.15.2) with ESMTPS id x8GHBsWg031349 (version=TLSv1.2 cipher=AES256-GCM-SHA384 bits=256 verify=NOT) for ; Mon, 16 Sep 2019 13:11:56 -0400 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id x8GH9XVC026886 for ; Mon, 16 Sep 2019 13:11:54 -0400 Authentication-Results: ppops.net; spf=pass smtp.mailfrom=i.hasuo-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Original-Received: from mail-lj1-f172.google.com (mail-lj1-f172.google.com [209.85.208.172]) by mx0b-000c2a01.pphosted.com with ESMTP id 2v0tg8xeu1-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 16 Sep 2019 13:11:53 -0400 Original-Received: by mail-lj1-f172.google.com with SMTP id e17so617624ljf.13 for ; Mon, 16 Sep 2019 10:11:52 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=rN5MrROEZWPUYwWolPFhi3Fify6NE9tFLJLoR3GG9tM=; b=bOC8749WDHYCKUV+LuhNRv5qk2YUyYGrOMjcG+xFJzMIvzlvAFLieCUcYSqFVNOupZ SsAqIb2jAPz+ZHxzknPNGK86YoZjOOD9JGJyy7R8K2FnIMMrbl30ZViP02LIKIpl7+J7 5PArD9PkgGS9WLDzalgTKjT8dIZXvY1YVfHmwdv8EDrSBvZzt+S2yHWziQjno//bXcsx zs0FVHxCDYeMFfz9vYozJuTbrpvRv5GP4LtJeY1wHmPHD+Koldo21WwaCcOP1tlzjEbe cy4TtIc4So40oodamFtqAnsHQkMNJZu2HxvyP1Tc5l8mduDT3C9k4xWn8WtCd+QJB/DW //2A== X-Gm-Message-State: APjAAAUliuXULun+h+pc2Bl57tiAAvaDFSY41NMcUjUKPAluvEBgN8qY fMmp+azZhp0NR2vc1I2wWVIyBPZZTXJsyklsFUw= X-Google-Smtp-Source: APXvYqzckbLW/hoc6C5+Afi02mdx+dh4RqM1R8RY/B6fC9UUuVNbmYHiOCs7TFW03n55HjKxFDBfMzctqFKgpsIsBUk= X-Received: by 2002:a2e:9d0d:: with SMTP id t13mr347754lji.169.1568653907350; Mon, 16 Sep 2019 10:11:47 -0700 (PDT) In-Reply-To: X-CLX-Response: 1TFkXGxIYEQpMehcaEQpZRBdoUkdNZBxbU21zaBEKWFgXbAUfXmJlBUVSe2Y RCnhOF2hDHmloe0FSXRx7EQp5TBdnc0x8RF1oaWBjTREKeUMXbEVZHktmfnJgY1wRCkNIFwccHB sRCkNZFwcbGRMRCllNF2dmchEKWUkXGnEaEBp3BhscGHESGBAadwYYGgYaEQpZXhdobnkRCklGF 19aT0REWU9LWXVCRVleT04RCkNOF1pcbllDaxpnUx0cRkMTU1lwfEtBH0EHYWZfTW9iRxJAEQpY XBcfBBoEGxIeBx8YTxkTTxgdBRsaBBsbGgQeEgQbExMQGx4aHxoRCl5ZF39efUgbEQpNXBcZGhw RCkxaF2htTU1NEQpMRhdsa2sRCkJPF2t8WVBYGWleGGZaEQpDWhcYGhMEEh8EGBoSBBsdGBEKQl 4XGxEKRF4XGBEKQlwXGhEKQkUXYV5HG2BQeWZOf14RCkJOF2hDHmloe0FSXRx7EQpCTBdsBR9eY mUFRVJ7ZhEKQmwXbRNIQ1J8ZE9jYWYRCkJAF2hfWGkfbVhnUmcaEQpCWBdvREdPenxdTFtMaBEK WlgXHxEKcGgXZnwSXVAabXpdWVkQGRoRCnBoF2YeHxhjeG5sb1xeEBkaEQpwaBdsGwVISHloBUN kQRAZGhEKcGgXenBNUHBATnIYYn4QGRoRCnBoF2ZcTm1ITU5QcHBsEBkaEQpwfRdiZBlOZRNwbn BEchAZGhEKcH0XY3kfXV5gfGZCfkIQHhIRCnB9F2IFcEgeWUBuawEcEB4SEQpwfRdva0Udek1je WdBcxAeEhEKcH8XYk4FAXBEXmlEe2UQGxscEQpwXxdjW2ZHexpvc X-CLX-Shades: MLX X-Proofpoint-SPF-Result: pass X-Proofpoint-SPF-Record: v=spf1 redirect=_spf.google.com] X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.70,1.0.8 definitions=2019-09-16_07:2019-09-11,2019-09-16 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 adultscore=0 priorityscore=0 suspectscore=0 bulkscore=99 impostorscore=0 clxscore=182 phishscore=0 lowpriorityscore=99 mlxlogscore=999 malwarescore=0 spamscore=0 mlxscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-1908290000 definitions=main-1909160169 X-Mailman-Approved-At: Mon, 16 Sep 2019 14:20:20 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" Xref: news.gmane.org gmane.comp.science.types.announce:8623 gmane.science.mathematics.categories:10002 Archived-At: --===============4209667472513285655== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============4209667472513285655== Content-Type: multipart/alternative; boundary="000000000000ec5a6e0592aeb23f" --000000000000ec5a6e0592aeb23f Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 23rd ACM International Conference on Hybrid Systems: Computation and Contro= l April 21-24, 2020 Sydney Australia https://berkeleylearnverify.github.io/HSCC_2020/ Hybrid Systems: Computation and Control (HSCC) 2020 is the 23rd in a series of conferences focusing on original research on concepts, tools, and techniques from computer science, control theory, and applied mathematics for the analysis and control of hybrid dynamical systems with an emphasis on computational aspects. By drawing on strategies from computation and control, the hybrid systems field offers techniques that are applicable to both man-made cyber-physical systems (ranging from small robots to global infrastructure networks) and natural systems (ranging from biochemical networks to physiological models). Papers in the conference are expected to range over a wide spectrum of topics from theoretical results to practical considerations, and from academic research to industrial adoption. Topics of interest include, but are not limited to - Mathematical foundations - Computability and complexity analysis - Verification, validation, and testing - Modeling paradigms and techniques - Design, synthesis, planning, and control - Nonlinear and safety-critical control - Programming and specification languages - Network science and network-based control - Security, privacy, and resilience for cyber-physical systems with focus on computation and control - Autonomy, artificial intelligence and machine learning in CPS - Design automation for CPS, including design formalisms, techniques and tools for the above topics - Applications and industrial case studies in: automotive, transportation, autonomous systems, avionics, energy and power, robotics, medical devices, manufacturing, systems and synthetic biology, models for the life sciences, and other related areas. SPECIAL TRACKS This year, HSCC will have three special tracks on interdisciplinary topics of increasing interest and importance to CPS: (1) Artificial Intelligence and Machine Learning in CPS (autonomous and semi-autonomous CPS, learning-based CPS, deep learning, intersection of robotics/AI and CPS, etc.), and (2) Design Automation for CPS (modeling, specification, verification, synthesis, composition, hierarchy, languages, etc. for CPS design). (3) Autonomy and Robotics. The submission requirements and review process for special track papers will be the same as regular papers. The main reason to have a special track is to broaden the HSCC pool of papers in the direction of these topics. PAPER SUBMISSION INFORMATION HSCC invites submissions in the categories of regular papers including special track papers (max 10 pages), and case study and tool papers (max 6 pages). We will employ a double blind reviewing process and will have a rebuttal phase to provide authors the opportunity to reply to reviewer concerns. AWARDS HSCC will have an ACM SIGBED Best Paper Award, all regular papers will be automatically eligible for this award. HSCC will also award an "HSCC Test-Of-Time Award". The rules for eligibility, nomination and selection of the paper for this award can be found here. Repeatability evaluation: Papers that pass repeatability evaluation process will receive the "artifact evaluated" badge and there will be a Best RE Award. Best Demo/Poster: All demos and posters accepted for presentation at HSCC=E2=80= =9920 will be eligible for the best demo/poster award. IMPORTANT DATES Paper submission deadline: October 23, 2019 (AOE) Tool paper repeatability package submission deadline: October 28, 2019 (AOE= ) Rebuttal phase: December 4-6, 2019 Acceptance/rejection notifications: December 23, 2019 (tentative) Poster/demo session submission: Typically mid-january (after notification) Camera-ready: February 14, 2020 Conference dates: April 21-24, 2020 HSCC 2020 will be part of the thirteenth Cyber Physical Systems Week (CPS Week), and co-located with the International Conference on Cyber-Physical Systems (ICCPS), Information Processing in Sensor Networks (IPSN), the Real-Time and Embedded Technology and Applications Symposium (RTAS), Conference on Internet-of-Things Design and Implementation (IOTDI), and related workshops. --=20 Ricardo Sanfelice Professor of Electrical and Computer Engineering Director, Cyber-Physical Systems Research Center Graduate Director, Electrical and Computer Engineering University of California, Santa Cruz -------------------------------------------------------------------- Websites: https://hybrid.soe.ucsc.edu https://cps.ucsc.edu Youtube: https://www.youtube.com/c/HybridSystemsLaboratory --000000000000ec5a6e0592aeb23f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
23rd ACM International Conference on Hybrid Systems: Computation an= d Control
April 21-24, 2020
Sydney Australia
<= div>https://berkeleylearnverify.github.io/HSCC_2020/

=
Hybrid Systems: Computation and Control (HSCC) 2020 is the 23rd = in a series of conferences focusing on original research on concepts, tools= , and techniques from computer science, control theory, and applied mathema= tics for the analysis and control of hybrid dynamical systems with an empha= sis on computational aspects. By drawing on strategies from computation and= control, the hybrid systems field offers techniques that are applicable to= both man-made cyber-physical systems (ranging from small robots to global = infrastructure networks) and natural systems (ranging from biochemical netw= orks to physiological models). Papers in the conference are expected to ran= ge over a wide spectrum of topics from theoretical results to practical con= siderations, and from academic research to industrial adoption.
<= br>
Topics of interest include, but are not limited to
=
- Mathematical foundations
- Computability and com= plexity analysis
- Verification, validation, and testing=C2=A0
- Modeling paradigms and techniques=C2=A0
- Design, synth= esis, planning, and control=C2=A0
- Nonlinear and safety-critical= control=C2=A0
- Programming and specification languages=C2=A0
- Network science and network-based control=C2=A0
- Secur= ity, privacy, and resilience for cyber-physical systems with focus on compu= tation and control=C2=A0
- Autonomy, artificial intelligence and = machine learning in CPS=C2=A0
- Design automation for CPS, includ= ing design formalisms, techniques and tools for the above topics=C2=A0
- Applications and industrial case studies in: automotive, transporta= tion, autonomous systems, avionics, energy and power, robotics, medical dev= ices, manufacturing, systems and synthetic biology, models for the life sci= ences, and other related areas.

SPECIAL TRACKS

This year, HSCC will have three special tracks on int= erdisciplinary topics of increasing interest and importance to CPS:=C2=A0

(1) Artificial Intelligence and Machine Learning in= CPS (autonomous and semi-autonomous CPS, learning-based CPS, deep learning= , intersection of robotics/AI and CPS, etc.), and=C2=A0

(2) Design Automation for CPS (modeling, specification, verification,= synthesis, composition, hierarchy, languages, etc. for CPS design).=C2=A0<= /div>

(3) Autonomy and Robotics. The submission requirem= ents and review process for special track papers will be the same as regula= r papers. The main reason to have a special track is to broaden the HSCC po= ol of papers in the direction of these topics.

PAP= ER SUBMISSION INFORMATION

HSCC invites submissions= in the categories of regular papers including special track papers (max 10= pages), and case study and tool papers (max 6 pages). We will employ a dou= ble blind reviewing process and will have a rebuttal phase to provide autho= rs the opportunity to reply to reviewer concerns.

= AWARDS

HSCC will have an ACM SIGBED Best Paper Awa= rd, all regular papers will be automatically eligible for this award. HSCC = will also award an "HSCC Test-Of-Time Award". The rules for eligi= bility, nomination and selection of the paper for this award can be found h= ere. Repeatability evaluation: Papers that pass repeatability evaluation pr= ocess will receive the "artifact evaluated" badge and there will = be a Best RE Award. Best Demo/Poster: All demos and posters accepted for pr= esentation at HSCC=E2=80=9920 will be eligible for the best demo/poster awa= rd.

IMPORTANT DATES

Paper= submission deadline: October 23, 2019 (AOE)

Tool = paper repeatability package submission deadline: October 28, 2019 (AOE)

Rebuttal phase: December 4-6, 2019

Acceptance/rejection notifications: December 23, 2019 (tentative)

Poster/demo session submission: Typically mid-januar= y (after notification)

Camera-ready: February 14, = 2020

Conference dates: April 21-24, 2020

HSCC 2020 will be part of the thirteenth Cyber Physical Sys= tems Week (CPS Week), and co-located with the International Conference on C= yber-Physical Systems (ICCPS), Information Processing in Sensor Networks (I= PSN), the Real-Time and Embedded Technology and Applications Symposium (RTA= S), Conference on Internet-of-Things Design and Implementation (IOTDI), and= related workshops.


--

Ricardo SanfeliceProfessor of Electrical and Computer Engineering
Director, Cyber-Physic= al Systems Research Center
Graduate Director, Electrical and Computer En= gineering
University of California, Santa Cruz
----------------------= ----------------------------------------------
Websites: https://hybrid.soe.ucsc.edu = =C2=A0
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0https://cps.ucsc.eduYoutube: https://www.youtube.com/c/HybridSystemsLaboratory
<= /div>
--000000000000ec5a6e0592aeb23f-- --===============4209667472513285655==--