generated from satcompetition/template
-
Notifications
You must be signed in to change notification settings - Fork 0
/
organizers.html
67 lines (60 loc) · 2.66 KB
/
organizers.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
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>SAT Competition</title>
<link rel="stylesheet" href="main.css" type="text/css">
<link rel="icon" type="image/x-icon" href="doge2.ico">
<script src="https://www.w3schools.com/lib/w3.js"></script>
<style>a#organizers { color:var(--link-color-2); }</style>
</head>
<body>
<div class="main">
<div class="navigation" w3-include-html="navigation.html"></div>
<div class="heading" w3-include-html="heading.html"></div>
<script>w3.includeHTML();</script>
<div class="content">
<h2>Organizing Committee</h2>
<h4>Organizers</h4>
<ul>
<li>
<a href="https://www.cs.cmu.edu/~mheule/">Marijn Heule</a> (Carnegie Mellon University at Pittsburgh, USA)
</li>
<li>
<a href="https://researchportal.helsinki.fi/en/persons/markus-iser">Markus Iser</a> (University of Helsinki, Finland)
</li>
<li>
<a href="http://www.cs.helsinki.fi/u/mjarvisa/">Matti Jarvisalo</a> (University of Helsinki, Finland)
</li>
<li>
<a href="http://people.ciirc.cvut.cz/~sudamar2/">Martin Suda</a> (Czech Technical University in Prague, Czech Republic)
</li>
<li>
<a href="https://filuta.ai/">Tomáš Balyo</a> (Filuta AI, Czech Republic)
</li>
</ul>
<h4>Contact</h4>
<ul>
<!--<li>[email protected]</li>-->
<li>We are currently experiencing sporadic problems with our email-address <a href="mailto:[email protected]">[email protected]</a>
due to shared IP-addresses being black-listed by dynamic spam-filters.
If you experience issues with emails bouncing off or if you just want to make sure to reach us,
then please send your email directly to all the organizers mentioned above.
</li>
</ul>
<h4>Thanks to</h4>
<ul>
<li>Aaron Stump and <a href="https://www.starexec.org/">StarExec</a></li>
<li>Mike Whalen and Jonathan Eidelman at <a href="https://aws.amazon.com/">AWS</a></li>
<li><a href="https://verialg.iti.kit.edu/english/">Carsten Sinz</a> for the <a href="logo2023.png">logo</a></li>
<li><a href="https://filuta.ai/">Filuta for the medals</a></li>
</ul>
<a href="https://www.starexec.org/"><img src="include/starlogo.png" width="300" style="margin-right:50px; background-color: black;"></a>
<a href="https://aws.amazon.com/"><img src="include/AWSlogo.png" width="150" style="margin-right:50px"></a>
<a href="https://filuta.ai/"><img src="include/filuta-logo-symbol.svg" width="150" style="margin-right:50px"></a>
<a href="https://benchmark-database.de/"><img src="include/GBDlogo.png" width="200" style="margin-right:50px"></a>
<br/><br/><br/><br/><br/><br/>
</div>
</div>
</body>
</html>