| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://spin-web.github.io/SPIN2023/
x-github-request-id: 6847:377A50:A8B56:C5F3D:696AF22C
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 02:21:34 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210079-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768616494.761929,VS0,VE253
vary: Accept-Encoding
x-fastly-request-id: 2ac5e4f73d97c506f03f15eda1b4203125f71690
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: Sat, 17 Jan 2026 02:31:34 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 507D:ECF0:A8E70:C61B2:696AF22C
accept-ranges: bytes
age: 0
date: Sat, 17 Jan 2026 02:21:34 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210079-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768616494.028795,VS0,VE234
vary: Accept-Encoding
x-fastly-request-id: 4677d08d3836e09e9bc57375376d492986bca247
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.