dates

README.md

@@ -1,6 +1,6 @@
 # SAT Competition 2024: Call for Solvers and Benchmarks
 
-The 2024 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 27th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the annual SAT Competitions and Races. The registration deadline is April 15, 2024 (23:59 GMT -12). More details will be available at the competition website https://satcompetition.github.io/2024/.
+The 2024 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 27th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the annual SAT Competitions and Races. The registration deadline is April 22nd, 2024 (23:59 GMT -12). More details will be available at the competition website https://satcompetition.github.io/2024/.
 
 The area of SAT solving has seen tremendous progress over the last years. Many problems in applications such as hardware and software verification that seemed to be completely out of reach a decade ago can now be handled routinely. Besides new algorithms and better heuristics, refined implementation techniques turned out to be vital for this success.
 To keep up the driving force in improving SAT solvers, we want to motivate developers to present their work to a broader audience and to compare it with that of others.

index.html

@@ -59,11 +59,11 @@ <h3 id="dates">Important Dates</h3>
 	  </tr>
 	  <tr>
 		<td>Benchmark Submission / Solver Registration Deadline:</td>
-		<td class="date">April 15th</td>
+		<td class="date">April 22th</td>
 	  </tr>
 	  <tr>
 		<td>Solver Submission Deadline:</td> 
-		<td class="date">April 30th</td>
+		<td class="date">Mai 1st</td>
 	  </tr>
 	  </tr>
 	  <tr>