| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 10 Apr 2024 18:54:44 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"6616e074-3083"
expires: Thu, 15 Jan 2026 08:54:30 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: B3A8:3B8800:A63CA:C49FD:6968A8ED
accept-ranges: bytes
age: 0
date: Thu, 15 Jan 2026 08:44:30 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210021-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1768466670.945804,VS0,VE227
vary: Accept-Encoding
x-fastly-request-id: 268e84e390d19294d361a6e43a8cb68a569cbb53
content-length: 3489
FormaliSE - International Conference on Formal Methods in Software Engineering
FormaliSE 2024
International Conference on Formal Methods in Software Engineering
WHEN 14-15 Apr '24
WHERE Lisbon, Portugal
Welcome to FormaliSE 2024!
FormaliSE 2024 will take place on Sunday 14 April and Monday 15 April 2024, in Lisbon, Portugal, as a co-hosted conference of the International Conference on Software Engineering (ICSE2024)
FormaliSE 2024 is sponsored by:
IMPORTANT DATES
- Abstract Submission:
01 Dec '2307 Dec '23 - Paper Submission:
08 Dec '2315 Dec '23 - Notifications: 12 Jan '24
- Camera ready copies: 28 Jan '24
- FormaliSE: 14-15 Apr '24
GENERAL CHAIRS
- Stefania Gnesi, Italy
- Nico Plat, the Netherlands
PC CO-CHAIRS
- Carlo A. Furia, Switzerland
- Antonia Lopes, Portugal
ARTIFACT EVALUATION CHAIRS
- Raúl Pardo, Denmark
- Tom van Dijk, the Netherlands
SOCIAL MEDIA/WEB CHAIRS
- Abhishek Tiwari, Germany
- Paulo Canelas, US