-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathser.html
executable file
·166 lines (155 loc) · 7.14 KB
/
ser.html
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
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
<!doctype html>
<html lang="en">
<head>
<link rel="shortcut icon" type="image/x-icon" href="/favicon.ico">
<meta charset="utf-8">
<title> Ashutosh Trivedi | Computer Science | University of Colorado Boulder</title>
<meta name="MobileOptimized" content="width">
<meta name="HandheldFriendly" content="true">
<meta name="viewport" content="width=device-width">
<link rel="stylesheet" href="css/grid.css">
<link rel="stylesheet" href="css/ucb-styles.css">
<link rel="stylesheet" href="css/styles.css">
<link href="https://fonts.googleapis.com/css?family=Roboto:400,700|Roboto+Condensed:700" rel="stylesheet">
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.3.1/css/all.css" integrity="sha384-mzrmE5qonljUremFsqc01SB46JvROS7bZs3IO2EmfFsd15uHvIt+Y8vEf7N7fWAU" crossorigin="anonymous">
<link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.3.1/css/v4-shims.css">
<script src="https://code.jquery.com/jquery-2.2.4.min.js" integrity="sha256-BbhdlvQf/xTY9gja0Dq3HiwQF8LaCRTXxZKRutelT44=" crossorigin="anonymous"></script>
<link href='http://fonts.googleapis.com/css?family=Ultra' rel='stylesheet' type='text/css'>
<link href="https://fonts.googleapis.com/css?family=Shrikhand" rel="stylesheet">
<link href="https://fonts.googleapis.com/css?family=Open+Sans:400,800" rel="stylesheet">
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin="">
<link href="https://fonts.googleapis.com/css2?family=Roboto+Condensed:wght@700&family=Roboto:wght@400;700&display=swap" rel="stylesheet">
</head>
<!-- Body Starts here -->
<body class="headings-bold background-color-white">
<div class="page">
<!-- CU Boulder bar -->
<div class="background-black brand-bar brand-bar-black">
<div class="container">
<script type="text/javascript" src="https://cdn.colorado.edu/static/brand-assets/live/js/brand-bar.js" id="ucb-brand-bar-embed" data-color="black"></script>
</div>
</div>
<!-- CS/CEAS header -->
<header class="ucb light" role="banner">
<div class="container">
<a href="/">Department of Computer Science</a>
<div class="affiliation">
<a href="https://www.colorado.edu/engineering">College of Engineering and Applied Science</a>
</div>
</div>
</header>
<!-- navigation bar -->
<div class="background-color-gray-dark">
<div class="container">
<nav role="navigation" class="ucb-navbar ucb-navbar-dark text-minify">
<label for="show-main-menu" class="show-menu">
<i class="fa fa-bars" aria-hidden="true"></i>
<span class="element-invisible">Menu</span>
</label>
<input type="checkbox" id="show-main-menu" role="button">
<ul>
<li><a href="index.html" class="active"> <i class="fa fa-home"></i>
<span class="display-inline invisible-md invisible-lg">Home</span></a></li>
<li><a href="pubs.html">Publications</a></li>
<li><a href="teaching.html">Teaching</a></li>
<li><a href="ser.html">Service</a></li>
<li><a href="bio.html">Bio</a></li>
</ul>
</nav>
</div>
</div>
<div class="background-white padding-large-top padding-large-bottom">
<div class="container">
<h3 class="pancy">
Professional Service
</h3>
<section class="about">
<ul class="dashed">
<li> Program Chair:
<ul>
<li> <a href=""> V2CPS 2017 </a> (colocated with iFM 2017)
<li> <a href="http://www.cs.ox.ac.uk/conferences/VVCPS16/"> V2CPS 2016 </a> (colocated with iFM 2016)
</ul>
</ul>
<ul class="dashed">
<li> PC Membership:
<ul>
<li>
HSCC 2021, ICCPS 2021, AAAI 2021, CAV 2021, CAV 2020, SR 2019,
EMSOFT2019, ACSD 2019, NSV 2019, HSCC 2019,APLAS 2018, FORMATS 2018,
MoRE 2018, SR 2018, HSCC 2018, ACSD 2018, ICCPS 2018
<li> <a href="https://sites.google.com/site/devias2017/"> DIAS 2017 </a> (Development aspects of Intelligent
Adaptive Systems 2017)
<li> <a href="http://pn2017.unizar.es/"> ACSD 2017</a> (The 17th International Conference on Application of
Concurrency to System Design)
<li> <a href="https://www.concur2016.ulaval.ca/no_cache/home/"> CONCUR
2016</a> (The 27th International Conference on Concurrency Theory)
<li> <a href="http://www.fsttcs.org/">FSTTCS 2014</a> (34th IARCS
Annual Conference on Foundations of Software Technology and
Theoretical Computer Science)
<li> <a href="http://www.cs.ox.ac.uk/conferences/hscc2016/index.html">
HSCC 2016 </a> (19th International Conference on Hybrid Systems: Computation and
Control)
<li> <a href="http://ljk.imag.fr/hscc2015/">HSCC
2015</a> (18th International Conference on Hybrid Systems: Computation and
Control)
<li> <a href="http://2014.hscc-conference.org/">HSCC 2014</a>
(17th International Conference on Hybrid Systems: Computation and
Control)
<li>
<a href="http://formats2015.unifi.it/">FORMATS 2015</a>
(13th International Conference on
Formal Modeling and Analysis of Timed Systems)
<li>
<a href="http://formats2014.unifi.it/">FORMATS 2014</a>
(12th International Conference on
Formal Modeling and Analysis of Timed Systems)
<li>
<a href="http://projects.lsv.ens-cachan.fr/formats2013/">FORMATS
2013</a>
(11th International Conference on
Formal Modeling and Analysis of Timed Systems)
</ul>
</ul>
<ul class="dashed">
<li> Organizing Chair:
<ul>
<li> <a href="https://www.cse.iitb.ac.in/~krishnas/averts2017/">
AVeRTS 2017 </a> (The 3rd Workshop on Algorithmic Verification of
Real-Time Systems)
<li> <a href=""> V2CPS 2017 </a> (The Second International Workshop on
Verification and Validation of Cyber-Physical Systems)
<li> <a href="https://www.cse.iitb.ac.in/~krishnas/averts2016/index.html">
AVeRTS 2016 </a> (The 2nd Workshop on Algorithmic Verification of
Real-Time Systems)
<li> <a href="http://www.cs.ox.ac.uk/conferences/VVCPS16/"> V2CPS
2016 </a> (The First International Workshop on
Verification and Validation of Cyber-Physical Systems)
<li> <a href="http://www.cse.iitb.ac.in/~icla15"> ICLA 2015</a> (The 6th
Indian Conference on Logic and its Applications)
<li> <a href="http://www.cse.iitb.ac.in/~alc15"> ALC 2015 </a> (14th
Asian Logic Conference)
</UL>
</ul>
</section>
</article>
</div>
<footer class="background-black padding-top padding-bottom">
<div class="container">
<div class="row">
<div class="col-lg-4 col-md-4 col-sm-6 col-xs-12">
This HTML template is a resource provided by <a href="https://www.colorado.edu/strategicrelations">Strategic Relations and Communications</a>.
</div>
<div class="col-log-4 col-md-4 col-sm-6 col-xs-12 offset-lg-4 offset-md-4">
<script type="text/javascript"
src="https://cdn.colorado.edu/static/brand-assets/live/js/footer.js"
id="ucb-footer-embed" data-color="white"></script>
</div>
</div>
</div>
</footer>
</div>
</div>
</body>
</html>