HSCC_2020/testoftime.html at master · BerkeleyLearnVerify/HSCC_2020 · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
<!DOCTYPE html>
<html>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <title>HSCC 2020 - Test of Time Nominations</title>
    <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1">
    <link rel="stylesheet" href="styling.css" type="text/css" media="screen" />
</html>

<body>
    <main>
        <h1>HSCC Test-Of-Time Award</h1>

        <section>
            <h2>Call for Nominations</h2>
            <p> HSCC 2020 organizers are soliciting nominations for the
                HSCC Test-of-Time Award to recognize the work published at a Hybrid
                Systems: Computation and Control (HSCC) conference in 2010 or before,
                which has proven to be the most visionary and impactful, leading to
                new directions of research being initiated, or new applications being
                brought into the hybrid systems research community. The award
                selection is through a committee of three internationally well-known
                and outstanding scientists who significantly contributed to the hybrid
                systems field and also to the HSCC organization. Choosing the eventual
                awardee is at the sole discretion of the selection committee, that
                will carefully consider the nominated papers.
            </p>

            <p><strong>
                Deadline for nominating papers for the award:
            </strong>
                Jan 31, 2020, AoE
            </p>
        </section>
        <section>
            <h2>Background</h2>
            <p>
                The HSCC conference series founded in a meeting in
                Grenoble after the HART’97 workshop, was a convergence of
                two trends. On one hand, at the end of the 80s,
                researchers in formal verification of discrete systems
                were exploring timed systems represented by additional
                clock variables, and then started branching into systems
                with more complex continuous dynamics as in hybrid
                systems. On the other hand, researchers in control were
                interested in using such models and verification
                techniques to analyze control systems that fall outside
                the traditional control system models, capturing the
                essence of real implemented control systems. The first
                hybrid systems workshop took place in Berkeley in 1998.
            </p>
            <p>
                This award was initiated at the 20th anniversary of HSCC in
                2018 to reflect on the papers published at HSCC that have had
                the most impact on the larger computer science and control
                theory/practice community.
            </p>
            <p>Previous winners can be found at <a
            href="http://www.hscc-conference.org/">hscc-conference.org</a>.</p>
        </section>

        <section>
            <h2>Eligibility Rules</h2>

            <ul>
                <li>
                    The paper should have been published at an HSCC
                    conference, in 2010 or before.
                </li>
                <li>
                    The paper cannot be co-authored by any person on the
                    selection committee.
                </li>
            </ul>
        </section>
        <section>
            <h2>Nomination Rules and Procedure:</h2>
            <p>
                Nominators cannot nominate papers on which they are a
                co-author. To nominate a paper, please should send an
                email to the HSCC 2020 Awards Chair
                at <a href="mailto:oishi@unm.edu">oishi@unm.edu</a>
                containing the following pieces of
                information (approximately 500 words overall):
            </p>

            <ul>
                <li> The title of the paper, the full list of authors, and
                    the year of publication.
                </li>

                <li>
                    A paragraph describing the larger context in which the
                    work is of relevance, and explaining the importance of
                    the work to the community.
                </li>

                <li>
                    A second paragraph indicating the strength of the
                    technical or experimental results, and providing
                    some quantifiable metrics (such as number of
                    citations as measured by Google Scholar) as a
                    measure of the impact of the paper. Subjective
                    evidence of the impact is also accepted.
                </li>
            </ul>
        </section>
        <section>
        <h2>Selection Committee:</h2>
        <p>
            The selection committee for this year's award is composed
            of the following distinguished members:
        </p>
        <ul>
            <li>
                <strong>(Chair)</strong>Rajeev Alur, Zisman Family
                Professor, University of Pennsylvania, USA
            </li>
            <li>
                Thomas A. Henzinger, President, Institute of Science
                and Technology, Austria
            </li>
            <li>Thao Dang, Research Director, Le Centre National de la
                Recherche Scientifique (CNRS), France
            </li>
        </ul>
        </section>
        <section>
        <h2>Award Details:</h2>
        <p>
            The authors of the awarded paper will be notified by the
            end of February. They will receive a plaque at the CPS
            Week banquet. There will be a cash prize associated with
            the award.
        </p>
        </section>

        <footer>
            <p>© Copyright 2014-20 HSCC</p>
        </footer>
    </main>
</html>