-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathPC.html
110 lines (87 loc) · 3.44 KB
/
PC.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
<?xml version="1.0" encoding="utf-8" ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<title>EMSOFT 2007</title>
<link href="emsoft.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<div class="all">
<!-- -->
<div id="header">
<img src="emsoft.jpg" alt="Salzburg"/>
</div>
<!-- -->
<div class="left">
<ul>
<li class="leftlink">
<a href="emsoft07.html">Overview</a>
</li>
<li class="leftlink">
<a href="esweek.html">ESWEEK/Workshops</a>
</li>
<li class="leftlink">
<a href="program.html">Programme</a>
</li>
<li class="leftlink">
<a href="dates.html">Dates</a>
</li>
<li class="leftlink">
<a href="PC.html">Committee</a>
</li>
<li class="leftlink">
<a href="http://www.ida.liu.se/conferences/codes/esweek//ESWEEK%202007%20Call%20for%20Participation.txt">Call for participation</a>
</li>
</ul>
</div>
<!-- -->
<div class="main">
<h1>Organisation</h1>
<h2>Executive Committee</h2>
<p>Tom Henzinger, Christoph Kirsch, Insup Lee (vice chair),
Sang Lyul Min, Joseph Sifakis (chair), Reinhard Wilhelm, Wayne Wolf,
and Wang Yi.</p>
<h2>Advisory Board</h2>
<p>Gérard Berry, Tom Henzinger (chair), Edward Lee,
Ragunathan Rajkumar, Alberto Sangiovanni-Vincentelli, Joseph Sifakis,
Janos Sztipanovits, Stewart Tansley, Reinhard Wilhelm, and Wayne Wolf.</p>
<h2>Program Committee</h2>
<ul>
<li>Rajeev Alur, University of Pennsylvania, USA</li>
<li>Luca Benini, University of Bologna, Italy</li>
<li>Albert Benveniste, IRISA/INRIA Rennes, France</li>
<li>Ed Brinksma, Embedded Systems Institute, The Netherlands</li>
<li>Luca Carloni, Columbia University, USA</li>
<li>Gernot Heiser, NICTA, Australia</li>
<li>Bengt Jonsson, Uppsala University, Sweden</li>
<li>Christoph Kirsch, University of Salzburg, Austria <em>(co-chair)</em></li>
<li>Jaejin Lee, Seoul National University, South Korea</li>
<li>Wei Li, Beihang University, China</li>
<li>Florence Maraninchi, VERIMAG, France</li>
<li>Daniel Mosse, University of Pittsburgh, USA</li>
<li>Jens Palsberg, UCLA, USA</li>
<li>George Pappas, University of Pennsylvania, USA</li>
<li>Paul Pop, Linköping University, Sweden</li>
<li>G. Ramalingam, Microsoft Bangalore, India</li>
<li>John Regehr, University of Utah, USA</li>
<li>Y. N. Srikant, Indian Institute of Science Bangalore, India</li>
<li>Stewart Tansley, Microsoft, Redmond WA, USA</li>
<li>P.S. Thiagarajan, National University of Singapore</li>
<li>Lothar Thiele, Swiss Federal Institute of Technology</li>
<li>Stavros Tripakis, Cadence Labs, USA</li>
<li>Frits Vaandrager, Radboud University, The Netherlands</li>
<li>Reinhard Wilhelm, University of Saarland, Germany <em>(co-chair)</em></li>
<li>Wayne Wolf, Princeton University, USA</li>
</ul>
<p>The PC chairs can be reached at
<a href="mailto:[email protected]">[email protected]</a>.</p>
</div>
<!-- -->
<div class="down">
<p>© 2007 by EMSOFT 2007, <a href="mailto:[email protected]">Philipp Lucas</a>, 2007</p>
</div>
</div>
</body>
</html>