sat-2009-internetsite/ImportantDates.html at master · OKullmann/sat-2009-internetsite · 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
<?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 - Important Dates </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="Important dates 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>Important Dates SAT 2009</h1>

     Regarding paper submission:
     <ul>
      <li> February 23, 2009  Abstract Submission </li>
      <li> March 2,     2009  Paper Submission </li>
      <li> March 29,    2009  Author Notification </li>
      <li> April 12,    2009  Final Version </li>
     </ul>

     Regarding registration:
     <ul>
      <li> April 24, 2009 Deadline for early registration </li>
      <li> June 6,   2009 Deadline for registration </li>
     </ul>

     Regarding the conference itself we have:
     <ul>
      <li> Monday, June 29, 2009 arrival and reception. </li>
      <li> Tuesday, June 30, 2009 to Friday, July 3, 2009 the conference
       takes place. </li>
      <li> Saturday, July 4, 2009 departure (after breakfast). </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:44 BST 2009
<!-- hhmts end -->
      </span>

    </div>
   </div>

 </body>
</html>