-
Notifications
You must be signed in to change notification settings - Fork 2
Expand file tree
/
Copy pathInformation.html
More file actions
318 lines (283 loc) · 13.9 KB
/
Information.html
File metadata and controls
318 lines (283 loc) · 13.9 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
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
<?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 - Information </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="General Information 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>General information</h1>
<h2> Contact </h2>
Organisation is, like the web pages, sub-divided into
<ul>
<li> the "scientific level", to which this page belongs, </li>
<li> the "local level", where the entry page is found under
"Location, accommodation, etc.". </li>
</ul>
E-mail addresses are as follows:
<ul>
<li> for the "scientific level" (e.g., organisation of talks) please
use <a href="mailto:sat09@swansea.ac.uk"> sat09@swansea.ac.uk </a> </li>
<li> for the "local level" (e.g., accommodation or travel) use
<a href="mailto:conferences@swansea.ac.uk"> conferences@swansea.ac.uk </a>
(stating "SAT09" in the subject header). </li>
</ul>
If in doubt, then you may send your e-mail to both addresses.
<h2> Posters </h2>
<ul>
<li> For every paper presented at the conference there can be some form
of poster. </li>
<li> This might be just one piece of paper, or a print-out
of the talk, or a full-fledged poster. </li>
<li> The <em>Seminar Room 2</em> is used for all breaks and for
registration, and it stays open otherwise. </li>
<li> In this room 10 poster boards are provided
(can be used on two sides, if necessary). </li>
<li> You are invited to put up there your poster at any time,
starting from Monday (June 29). </li>
<li> Those who have put up a poster are asked to be around
for the Wednesday and the Thursday morning breaks, so that
people can get in contact. </li>
</ul>
<h2> Uploading files for your talk </h2>
<ul>
<li> It would be good if you could upload your talks in the
<a href="ftp://anonymous@cs-wsok.swansea.ac.uk/"> upload area </a>. </li>
<li> Just drag-and-drop your files there, using your browser: The
username is "anonymous", and no password is needed. </li>
<li> The upload-directory can be listed, but the files can not
be read. </li>
<li> Nor can they be deleted or removed, so for new versions just
add a version number to the filename. </li>
<li> The connection is anonymous ftp, so of course you can
also use a command-line tool (though since the server sits behind a
firewall, your ftp-client must be able to handle "passive mode";
apparently the browsers cope with that, while the command line
tools cause more trouble). </li>
</ul>
<h2> Travel information </h2>
Please see <a href="http://www.sat09.swan.ac.uk/location.html">
the official travel information</a>. Below you find some
personal recommendations.
<ul>
<li> <a href="http://www.bristolairport.co.uk/"> Bristol Airport </a>
<ol>
<li> We recommend taking the train to and from Swansea; see the
<a href="http://www.bristolairport.co.uk/getting_to_bia/by_train.aspx">
official airport information </a>.
</li>
<li> From "Bristol Temple Meads" to "Swansea", and vice versa. </li>
<li> Booking in advance is recommended:
<ol>
<li> There are options for doing so. </li>
<li> We recommend <a href="http://www.firstgreatwestern.co.uk/">
First Great Western </a>.
</li>
<li> Booking should be straight-forward; you might choose two singles
or one return ticket. </li>
<li> However, "Advance Single" might be risky for the direction from
Bristol to Swansea, since the times are fixed. "Anytime Day Single"
is appropriate (while for the other direction choosing "Advance
Single" should be alright). </li>
<li> For buying a return tickets, "Off-peak Return" should
cover your case (but please check). </li>
<li> The choice of "single" or "return" is up to you: I (OK) always
use "Off-peak Return", since it covers my needs, and I find it
(slightly) more convenient. Others always choose "Single" since
in this way you can save something (though Bristol to Swansea
is just GBP 27.50 for off-peak return). </li>
<li> Some of the tickets (like off-peak return) can also be bought
at the counter with no extra costs, while other tickets must be
booked and/or can get more expensive (for peak-times). </li>
</ol>
</li>
</ol>
</li>
<li> Getting to
<a href="http://en.wikipedia.org/wiki/Swansea_University"> Swansea
University</a> (from Swansea):
<ol>
<li> Just telling a taxi driver "To the university!" should do
the job; no need to provide further information, since the
default landing point is <em> Fulton House </em>, and
that's are reasonable starting point (at most 2 minutes to walk
for all our places). </li>
<li> To be on the safe side, instead of just "University" you
can say "Swansea University" (that's the official name of
this university). Actually, recently a second university
was (re-)branded, called "Swansea Metropolitan University" now,
and that's not where you want to go, and so to be totally
safe you might add "not the metropolitan university". </li>
<li> As you can see on the <a href="docs/CampusMap.pdf"> Campus map
</a>, Fulton House (which is number 17) is at the centre of the
university, and everything except of the talks (<em>Faraday
Building</em>, number 8.1 on the map) and your accommodation
happens there.
</li>
<li> However when you first arrive, then you need to get the key
at <em>Preseli Residences</em>, and from Fulton House you
have to walk a bit (one or two minutes).
So if you want to save this bit (because of your luggage), you might
ask the driver directly for "Preseli Residences". </li>
<li> Pronouncing
"<a href="http://en.wikipedia.org/wiki/Preseli_Hills">Preseli</a>":
A German would write it "Presselli", that is, it starts like in
"pressure", then like in "selling", or perhaps like "Sally" (then
you get also the ending right). </li>
<li> All rooms are in
<a href="http://en.wikipedia.org/wiki/Penmaen,_Swansea">
Penmaen Residence </a> (number 22 on the map). As mentioned above,
from Fulton House this is 2 minutes to walk, but you may also
ask a taxi driver (not upon arrival, but later) to go directly to
Penmaen Residence (which is pronounced like "Pennmän" in
German). </li>
</ol>
</li>
</ul>
<h2> Computer access </h2>
<ul>
<li> We do our best to ensure that WiFi will work for all
kinds of laptops. </li>
<li> To get access to WiFi and/or to get "PC access" you need to ask
for account information when registering. </li>
<li> Unfortunately, "PC access" is restricted to windows-machines;
but we provide additional access to Linux machines from the
department (during opening hours of the department): Please
<a href="mailto:sat09@swansea.ac.uk"> contact us </a> if you want
to have such an account (we need to create it). </li>
</ul>
<h2> Business meeting </h2>
<ul>
<li> Tuesday from 19:30 to 21:00 we have the business meeting of the
SAT association. </li>
<li> Every participant is invited. </li>
<li> Participants are also
<a href="docs/CallforParticipationoftheSAT.pdf"> invited to join the
SAT association. </a> </li>
<li> The statutes of this association are
<a href="docs/SATAssociation.pdf"> to be found here. </a> </li>
</ul>
<h2> Going out </h2>
<ol>
<li> We have a special meeting room for the conference in Fulton
House, the "Castle Room". </li>
<li> And just opposite to it we have
<a href="http://www.swanseaents.com/site/bars/jcs-bar"> JC's Bar, </a>
where you might sit down, or you can take your drink with you to the
Castle Room. </li>
<li> This is an "easy solution", you meet your colleagues and can have
some drinks. </li>
<li> It will be also rather quiet: Student's won't be around at
this time of the year (most of them left), and the only other guests
are likely some medical engineers who have a
<a href="http://www.compbiomed.net/"> conference </a> which partially
overlaps with ours. </li>
<li> So for Monday evening things should be settled. </li>
<li> Wednesday and Thursday evening we have the "informal" and the
"formal banquet". </li>
<li> After the banquet on Thursday we are close to the city centre,
and those who want to experience a British pub can come with us
to the <a href="http://www.beerintheevening.com/pubs/s/17/17725/No_Sign_Wine_Bar/Swansea"> No Sign Wine Bar </a> on Wind Street. </li>
<li> This <a href="docs/SwanseaBay.pdf"> map </a> of <a
href="http://en.wikipedia.org/wiki/Swansea"> Swansea </a> and
<a href="http://en.wikipedia.org/wiki/Swansea_Bay"> Swansea Bay </a>
shows the area relevant to us.
<ol>
<li> Point 11 is the building opposite the Faraday Building (where all
talks take place). </li>
<li> At Point 2 we have our Banquet (on Thursday). </li>
<li> And the No Sign Wine Bar just mentioned is north of Point 2. </li>
</ol>
</li>
<li> On Friday evening likely we all are a bit tired, but perhaps we
want something different than JC's bar, and so we might book a table
at the
<a href="http://www.pub-explorer.com/southwales/pub/pubonthepondswansea.htm">
Pub On The Pond </a>, which is just at the edge of the university
campus, perhaps 5 minutes to walk (just 100m west of Building 33
on the above campus map). Since they want a deposit, we have
not fixed that yet. </li>
<li> If you are still looking for nice places to go out,
<a href="http://en.wikipedia.org/wiki/Mumbles"> Mumbles </a> is
the right place to go (in the south of Swansea Bay on the
above map), with lots of restaurants at the seafront.
<ol>
<li> It you need just a pub, we recommend
<a href="http://www.beerintheevening.com/pubs/s/25/25621/White_Rose/Mumbles">
The White Rose </a>. </li>
<li> A nice restaurant is
<a href="http://www.toptable.com/en-gb/venue/?id=8253"> Adams
Restaurant </a>, with a 3-part menu for 20 pounds. </li>
<li> Another nice choice is
<a href="http://www.mumbles.co.uk/Restaurants/showRestaurant.php?rID=3000009"> Mediterranean Grill </a>, which is not British (i.e., if you need
an escape). </li>
<li> Finally, a more expensive restaurant is
<a href="http://www.restaurant-guide.com/patricks-restaurant.htm">
Patricks Restaurant </a>. </li>
</ol>
</li>
</ol>
<h2> Maps </h2>
<ul>
<li> The <a href="docs/CampusMap.pdf"> Campus map </a>. </li>
<li> A map of <a href="docs/SwanseaBay.pdf"> Swansea Bay </a>. </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:55 BST 2009
<!-- hhmts end -->
</span>
</div>
</div>
</body>
</html>