sat-2009-internetsite/Dissemination.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
<?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 - Dissemination </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="Disseminating 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>Announcing SAT 2009</h1>

     Here material is collected for everybody who wants to help making
     our event known.

     <ul>
      <li> Call for papers (CfP):
       <ol>
        <li> <a href="docs/sat09-cfp.txt">CfP as text-file</a> </li>
        <li> <a href="docs/sat09-cfp.pdf">CfP as pdf-file</a> </li>
        <li> <a href="docs/sat09-cfp_short.txt">short CfP as text-file</a>
         (for announcements on mailing lists) </li>
        <li> <a href="docs/sat09-short.txt">short announcement as text-file
         </a> (for newsletters etc.) </li>
        <li> <a href="docs/sat09-cfp2.txt">second CfP as text-file</a>. </li>
       </ol>
      </li>
      <li> Call for participation:
       <ol>
        <li> <a href="docs/FlyerBCTCSWarwick.pdf"> Pdf-flyer </a> for
         <a href="http://www2.warwick.ac.uk/fac/sci/dcs/events/bctcs/">
          BCTCS 2009 </a>. </li>
       </ol>
      </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:31 BST 2009
<!-- hhmts end -->
      </span>

    </div>
   </div>

 </body>
</html>