| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://spin-web.github.io/SPIN2023/
x-github-request-id: 28E2:3F0393:17739A:1B98A6:696C23D8
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 00:05:44 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210097-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768694744.143613,VS0,VE212
vary: Accept-Encoding
x-fastly-request-id: c4bb16900409bda7593257839bcf8ecbd397e50d
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 22 Jul 2025 06:25:46 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"687f2eea-1479"
expires: Sun, 18 Jan 2026 00:15:44 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: CF3F:3F0393:17739C:1B98A9:696C23CC
accept-ranges: bytes
age: 0
date: Sun, 18 Jan 2026 00:05:44 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210097-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768694744.369148,VS0,VE216
vary: Accept-Encoding
x-fastly-request-id: e8c98276071a82624258ac08c635ac169b327a15
content-length: 1859
SPIN 2023
SPIN 2023
April 26-27
Paris
Abstract: Jan 20 AoE
Submission: Jan 23 AoE
Notification: Feb 23 AoE
SPIN 2023
29th International Symposium on Model Checking Software
April 26-27, co-located with ETAPS 2023 in Paris
News
- May 2: The proceedings were published at DOI 10.1007/978-3-031-32157-3.
- Apr 26-27: The symposium took place, with four invited and eleven contributing presentations.
- Mar 7: The program and information on the venue and registration were added.
- Feb 28: Titles and abstracts of the keynotes were added.
- Feb 24: The notifications were sent.
- Jan 13: The submission and notification deadline were extended.
- Dec 12: The submission site was opened.