Merge branch 'master' into 2025_final_execution

Author: martinjonas

organization/mails/call_for_presentations.md

@@ -0,0 +1,20 @@
++++
+subject: SMT-COMP 2018: Call for Solver Presentations
++++
+
+Dear SMT-COMP participants,
+
+The SMT [YEAR] Workshop will feature a 30-minute presentation of the
+participants and results of the [YEAR-5]th International Satisfiability
+Modulo Theories Competition (SMT-COMP [YEAR]) on [DATE].
+
+As in previous years, we invite solver developers that are physically
+present at this session to give a brief overview (no more than 1 to 2
+minutes) of their competition solver.
+
+If you wish to use this opportunity, please send us ONE slide about
+your solver (in PDF format) no later than
+
+   *** [DATE] ([CITY] local time). ***
+
+Best,