HTTP/1.1 301 Moved Permanently
Date: Wed, 14 Jan 2026 22:49:33 GMT
Server: Apache/2.4.66 (Debian)
X-Redirect-By: WordPress
Strict-Transport-Security: max-age=31536000
Upgrade: h2
Connection: Upgrade
Location: https://www.syntcomp.org/organization/
Content-Length: 0
Content-Type: text/html; charset=UTF-8
HTTP/1.1 200 OK
Date: Wed, 14 Jan 2026 22:49:34 GMT
Server: Apache/2.4.66 (Debian)
Link:
; rel="https://api.w.org/",
; rel="alternate"; title="JSON"; type="application/json", ; rel=shortlink
Strict-Transport-Security: max-age=31536000
Vary: Accept-Encoding
Content-Encoding: gzip
Content-Length: 7548
Content-Type: text/html; charset=UTF-8
Organization | The Reactive Synthesis Competition
Skip to content
Organizers
Advisory Committee
- Roderick Bloem, Graz University of Technology, Austria
- Armin Biere, Johannes Kepler University, Austria
- Jean-François Raskin, Université libre de Bruxelles, Belgium
- Bernd Finkbeiner, Saarland University, Germany
- Ayrat Khalimov, TU Clausthal, Germany
- Tom van Dijk, University of Twente, The Netherlands
