| CARVIEW |
Select Language
HTTP/2 200
server: aruba-proxy
date: Fri, 16 Jan 2026 13:32:48 GMT
content-type: text/html
vary: Accept-Encoding
strict-transport-security: max-age=31536000; includeSubDomains; preload
last-modified: Wed, 23 Apr 2025 14:34:09 GMT
x-servername: webx.aruba.it
alt-svc: h3=":443"; ma=86400
content-encoding: gzip
Home Page of Sergio Mover
Top
Sergio Mover
Professor
Department of Computer Science, École Polytechnique
Cosynus team, LIX - Computer Science Laboratory
My work focuses on formal methods, in particular model checking using Satisfiability Modulo Theories (SMT) for different systems (hybrid systems and embedded software) and on program analysis.
News
- Submission deadline for FMCAD 2025 is April 27! (abstract by April 20).
- Submission deadline for ATVA 2025 is April 18! (abstract by April 11).
Publications
Show list
Hide list
Professional Activities
Program Committee:
- 2025: AAAI, ATVA FMCAD NFM, VMCAI
- 2024: AAAI, FM (Embedded Systems Track), IJCAI, SETTA
- 2023: AAAI, IJCAI, FMICS, SPIN, TACAS (Tools and Artifact Evaluation Committee Co-Chair), VSTTE
- 2022: AAAI, IJCAI-ECAI, FMCAD, VSTTE
- 2021: AAAI, APLAS, IJCAI, SPIN
- 2020: AAAI, IJCAI-PRICAI
- 2019: IJCAI
- 2018: AAAI, CAV AE*, IJCAI-ECAI, POPL AE*, SAS AE*
- 2017: AAAI, APLAS, SEFM