2026/organizers.html at main · satcompetition/2026 · 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
<!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://forsyte.at/people/fazekas/">Katalin Fazekas</a> (Technical University of Vienna, Austria)
	</li>
	<li>
		<a href="https://www.cs.cmu.edu/~mheule/">Marijn Heule</a> (Carnegie Mellon University at Pittsburgh, USA)
	</li>
	<li>
		<a href="http://algo2.iti.kit.edu/3986.php">Ashlin Iser</a> (Karlsruhe Institute of Technology, Germany)
	</li>
	</ul>

	<h4>Contact</h4>
	<ul>
		<li>organizers@satcompetition.org</li>
	</ul>

	<h4>Thanks to</h4>
	<ul>
		<!-- <li>Dirk Beyer and Philipp Wendler for their great support at <a href="https://benchcloud.sosy-lab.org/">BenchCloud</a></li> -->
		<li>Robert Jones and Benjamin Jones 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>Tomáš Balyo and <a href="https://filuta.ai/">Filuta AI for the medals</a></li>
	</ul>

	<a href="https://aws.amazon.com/"><img src="include/AWSlogo.png" width="150" style="margin-left:50px"></a>
	<a href="https://benchmark-database.de/"><img src="include/GBDlogo.png" width="200" style="margin-left:50px"></a>

	<br/><br/><br/><br/><br/><br/>
  </div>
</div>
</body>
</html>