| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Fri, 12 Dec 2025 04:21:38 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"693b9852-2073"
expires: Mon, 29 Dec 2025 19:47:42 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 52D7:1387E:93019D:A504FD:6952D886
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 19:37:42 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210091-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767037062.212123,VS0,VE227
vary: Accept-Encoding
x-fastly-request-id: d5a3099fad586c62d566c8f4e6cbc95ffd316bd4
content-length: 2657
FSCD 2026@Lisbon
Abstracts Deadline - January 23, 2026
Full Papers Deadline - January 30, 2026
FSCD 2026@Lisbon
11th International Conference on Formal Structures for Computation and Deduction
20 - 23 July 2026
The 11th FSCD (International Conference on Formal Structures for Computation and Deduction) will be held in Lisbon, Portugal, 20 - 23 July, 2026, as part of FLoC.
INVITED SPEAKERS
- Laura Kovács (Vienna University of Technology - TU Wien)
- Andrej Bauer (University of Ljubljana)
PROGRAM
TBA
ACCEPTED PAPERS
TBA