-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathCommittees.html
More file actions
195 lines (181 loc) · 8.63 KB
/
Copy pathCommittees.html
File metadata and controls
195 lines (181 loc) · 8.63 KB
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
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
<?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" xml:lang="en-GB" lang="en-GB">
<head>
<title>SAT 2009 - Committees </title>
<link rel="stylesheet" href="styles/sat09.css" type="text/css"
title="Default Style" />
<link rel="alternate stylesheet" href="styles/sat09-wrap.css"
type="text/css" title="Wrap Style" />
<meta name="author" content="Oliver Kullmann" />
<meta name="description" content="Committees for SAT 2009" />
<meta name="robot" content="all" />
<meta http-equiv="content-type" content="text/html" />
<meta http-equiv="charset" content="utf-8" />
</head>
<body>
<div class="header">
<img src="images/top_pic_contact2.gif" alt="Image of Swansea Bay and
University" />
<!-- Copyright: photo obtained from
http://www.waters-creative.co.uk/sat09/index.html,
all rights reserved-->
<h2><a href="http://www.cs.swan.ac.uk/~csoliver/SAT2009/index.html">
SAT 2009</a> - Twelfth International Conference on <br />
Theory and Applications of Satisfiability Testing
</h2>
<h3>June 30 - July 3, 2009, Swansea, Wales, United Kingdom</h3>
</div>
<hr />
<div id="page-content">
<ul class="menu">
<li> <a href="index.html">Home</a></li>
<li><a href="http://www.sat09.swan.ac.uk/index.html">
Location, accommodation, etc.</a> </li>
<li><a href="Programme.html">Programme</a></li>
<li><a href="Information.html">Information</a></li>
<li><a href="ImportantDates.html">Important Dates</a></li>
<li><a href="InvitedSpeakers.html">Invited Speakers</a></li>
<li><a href="AcceptedPapers.html">Accepted Papers</a></li>
<li><a href="Submissions.html">Paper Submissions</a></li>
<li><a href="Committees.html">Committees</a></li>
<li><a href="Sponsors.html">Sponsors</a></li>
<li><a href="Dissemination.html">Disseminating SAT 2009</a></li>
<li><a href="http://www.satisfiability.org">Previous Conferences</a></li>
</ul>
<div class="content">
<h1>Conference Organisation</h1>
<ul>
<li> Conference Chair:
<a href="http://www.cs.swan.ac.uk/~csoliver">
Oliver Kullmann</a>, Swansea University, UK. <p></p>
</li>
<li> Local organisation:
<ul>
<li> <a href="http://www.cs.swan.ac.uk/~csarnold/">
Arnold Beckmann</a> </li>
<li> <a href="http://cs.swan.ac.uk/~csmg/">
Matthew Gwynne</a> </li>
<li> <a href="http://www.cs.swan.ac.uk/~csoliver">
Oliver Kullmann</a> <p></p> </li>
</ul>
</li>
<li> Program Committee:
<ul>
<li><a href="http://www.cs.ucsc.edu/~optas/">
Dimitris Achlioptas</a>, UC Santa Cruz, USA</li>
<li><a href="http://fmv.jku.at/biere/">
Armin Biere</a>, Johannes Kepler University, Austria </li>
<li><a href="http://www.cs.toronto.edu/~sacook/">
Stephen A. Cook</a>, University of Toronto, Canada</li>
<li><a href="http://www.dil.univ-mrs.fr/membres.html">
Nadia Creignou</a>, Universite de la Mediterranee, France
</li>
<li><a href="http://cs.roosevelt.edu/~dantsin/">
Evgeny Dantsin</a>, Roosevelt University, USA</li>
<li><a href="http://www.cs.ucla.edu/~darwiche/">
Adnan Darwiche</a>, UCLA, USA</li>
<li><a href="http://www.ececs.uc.edu/~franco/">
John Franco</a>, University of Cincinnati, USA </li>
<li><a href="http://www.dsi.uniroma1.it/~galesi/">
Nicola Galesi</a>, Universita di Roma, Italy </li>
<li><a href="http://www.star.dist.unige.it/index.php?option=com_uhp2&task=viewpage&item_id=50&user_id=74">
Enrico Giunchiglia</a>, Universita di Genova, Italy</li>
<li> <a href="http://www.jasper-da.com">
Ziyad Hanna</a>, Jasper Design Automation, USA</li>
<li><a href="http://www.st.ewi.tudelft.nl/~marijn/">
Marijn Heule</a>, Technische Universiteit Delft,
Netherlands</li>
<li><a href="http://logic.pdmi.ras.ru/~hirsch/">
Edward Hirsch</a>, Steklov Institute of Mathematics,
Russia </li>
<li><a href="http://www.lab2.kuis.kyoto-u.ac.jp/~iwama/">
Kazuo Iwama</a>, Kyoto University, Japan </li>
<li><a href="http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/staff/kbcsl/index.html">
Hans Kleine Büning</a>, University of Paderborn,
Germany </li>
<li><a href="http://www.cril.univ-artois.fr/~leberre/">
Daniel LeBerre</a>, Universite d'Artois, France </li>
<li><a href="http://www.laria.u-picardie.fr/~cli/">
Chumin Li</a>, Universite de Picardie, France </li>
<li><a href="http://sat.inesc-id.pt/~ines/">
Ines Lynce</a>, Instituto Superior Tecnico, Portugal</li>
<li><a href="http://www.ccs.neu.edu/home/pete">
Panagiotis Manolios</a>, Northeastern University, USA </li>
<li><a href="http://www.csi.ucd.ie/staff/jpms/">
Joao Marques-Silva</a>, University College Dublin, Ireland
</li>
<li><a href="http://www.cs.sfu.ca/~mitchell/">
David G. Mitchell</a>, Simon Fraser University, Canada
</li>
<li><a href="http://www.lsi.upc.edu/~oliveras/">
Albert Oliveras</a>, Technical University of Catalonia,
Spain </li>
<li><a href="http://www-cse.ucsd.edu/~paturi/">
Ramamohan Paturi</a>, University of California, USA </li>
<li><a href="http://www.cril.univ-artois.fr/~sais/">
Lakhdar Sais</a>, Universite d'Artois, France </li>
<li><a href="http://www.eecs.umich.edu/~karem/">
Karem A. Sakallah</a>, University of Michigan, USA </li>
<li><a href="http://theorie.informatik.uni-ulm.de/Personen/Schoening/index.html">
Uwe Schöning</a>, Universität Ulm, Germany </li>
<li><a href="http://www.dit.unitn.it/~rseba/">
Roberto Sebastiani</a>, Universita di Trento, Italy </li>
<li><a href="http://www.carstensinz.de/">
Carsten Sinz</a>, University of Karlsruhe, Germany </li>
<li><a href="http://www.cs.uic.edu/~sloan/">
Robert H. Sloan</a>, University of Illinois, USA </li>
<li><a href="http://www.cs.chalmers.se/~nik/">
Niklas Sörensson</a>, Chalmers University of Technology,
Sweden </li>
<li><a href="http://www.scale.uni-koeln.de/">
Ewald Speckenmeyer</a>, Universität Köln,
Germany </li>
<li><a href="http://www.dur.ac.uk/stefan.szeider/">
Stefan Szeider</a>, Durham University, UK </li>
<li><a href="http://www.mrg.dist.unige.it/~tac/">
Armando Tacchella</a>, Universita di Genova, Italy </li>
<li><a href="http://www.cs.uky.edu/~mirek/">
Miroslaw Truszczynski</a>, University of Kentucky, USA </li>
<li><a href="http://www.philosophy.utoronto.ca/people/~aurquhart">
Alasdair Urquhart</a>, University of Toronto, Canada </li>
<li><a href="http://www.soe.ucsc.edu/~avg/">
Allen Van Gelder</a>, UC Santa Cruz, USA </li>
<li><a href="http://www.st.ewi.tudelft.nl/~maaren/">
Hans van Maaren</a>, Delft University of Technology,
Netherlands </li>
<li><a href="http://www.cse.unsw.edu.au/~tw/">
Toby Walsh</a>, University of New South Wales, Australia
</li>
<li><a href="http://www.cs.uc.edu/~weaversa/">
Sean Weaver</a>, University of Cincinnati, USA </li>
<li><a href="http://www.inf.ethz.ch/personal/emo/">
Emo Welzl</a>, ETH Zurich, Switzerland </li>
<li><a href="http://research.microsoft.com/users/lintaoz/">
Lintao Zhang</a>, Microsoft Research, USA </li>
<li><a href="http://logic.sysu.edu.cn/english/ShowArticle.asp?ArticleID=20">
Xishun Zhao</a>, Sun Yat-Sen University, P.R. China </li>
</ul>
</li>
</ul>
<hr />
<p></p>
<span id="validate-picture">
<a href="http://validator.w3.org/check?uri=referer">
<img src="images/valid-xhtml10"
alt="Valid XHTML 1.0 Strict" height="31" width="88" />
</a>
<a href="http://jigsaw.w3.org/css-validator/check?uri=referer">
<img src="images/vcss"
alt="Valid CSS level 2.1" height="31" width="88" />
</a>
</span>
<span id="last-modified">
<!-- hhmts start -->
Last modified: Sat Sep 19 19:04:22 BST 2009
<!-- hhmts end -->
</span>
</div>
</div>
</body>
</html>