José Proença

Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering.

[José Proença @simpple]

@FmasWorkshop Too bad that it was not in person... Next year maybe?

[José Proença @simpple]

VERDI just got a deadline extension until April 2! If you work on V&V and on Cyber-Physical Systems, please consider submitting and joining us in Australia! 📜📢✈️

[José Proença @simpple]

Call for papers - 1 week to submit for VERDI 2024, Brisbane, Australia! After last year's success, VERDI will have a 2nd edition with DSN 2024. Get your paper ready on Verification & Validation of Dependable Cyber-Physical Systems! https://t.co/cqX4hz7PCG

[José Proença @simpple]

Call for papers - 1 week to submit for VERDI 2024, Brisbane, Australia! After last year's success, VERDI will have a 2nd edition with DSN 2024. Get your paper ready on Verification & Validation of Dependable Cyber-Physical Systems! https://t.co/cqX4hz7PCG

[Formal Methods 2026 @FMsymp]

⚡️ It's Official! ⚡️

We're thrilled to announce that the list of accepted workshops for #FM2024 is now available 🚀

➡️ Check it out: https://t.co/2iRrNxYRgs

[FACS 2024 @facs_conf]

The first call for papers for #FACS24 is out (https://t.co/nedhTRQbpL).

Here the most important dates:
- Abstract submission: 8 May, 2024
- Full paper submission: 15 May, 2024
- Notification: 26 June, 2024
- Final version due: 17 July, 2024
- Conference: 9-10 September, 2024

[FACS 2024 @facs_conf]

FACS 24 will take place on 09-10 September 2024 co-located with @FMsymp.

The (tentative) deadline for submitting an abstract is May 8th, 2024!

https://t.co/PayPu89b9P

[Diego Marmsoler @DiegoMarmsoler]

Working on formal aspects of component software?Happy to announce that @facs_conf will take place on 9-10 September 2024, co-located with @FMsymp! Details will be announced soon!

[Formal Methods 2026 @FMsymp]

📢 First Call for Papers is out! 📢

Be a part of FM 2024 and share your research!

CfP: https://t.co/Jtvt8YOdsD

🗓️ Deadlines:
Abstract: April 15th, 2024
Full Paper: April 19th, 2024
Notification: June 10th, 2024
Final Version: July 1st, 2024

#FM2024

[FACS 2024 @facs_conf]

We cordially invite you to join FACS 2023! Highlights:

- Keynotes by Marsha Chechik and Rajeev Alur
- Regular research track
- Special 20-year anniversary track about component-based software: past, present, and future

[FACS 2024 @facs_conf]

The submission deadline for both abstracts and papers has been extended until July 17 (AoE) 👍

https://t.co/5oM6AuOEkl

[José Proença @simpple]

VERDI 2023 is today! Lots of presentations on V&V for dependable CPS, co-located with DSN'23 and supported by @valu3s_project. Join us in Palácio da Bolsa, in Porto, Portugal! https://t.co/5njMzaLplO

[FACS 2024 @facs_conf]

One month left until the submission deadline (abstracts: July 3; papers: July 10)!

https://t.co/5oM6AuOEkl

[José Proença @simpple]

If you need an excuse to come to Porto this summer, and you like verification and validation of CPS, join us in VERDI@DSN 2023! Submissions are now open.

[VALU3S @valu3s_project]

Call for papers - VERDI 2023, June 27 in Porto, Portugal!
Welcome to the 1st International Workshop on Verification & Validation of Dependable Cyber-Physical Systems.
Visit VERDI’s homepage to for further information: https://t.co/X1vPr59Ypb

[José Proença @simpple]

Project meeting with magnetic badges! Meeting great people in Hamburg while keeping my shirt undamaged! Great organisation @NXP @valu3s_project 👏

[VALU3S @valu3s_project]

The VALU3S 8th General Assembly and Consortium Meeting will be held on 29th and 30th November in Hamburg. Besides reporting of current progress status of activities and to have further demonstration of methods and tools, we also launch the VALU3S open web-based repository.

[Lizeth Tapia @sltarifa]

Check the FACS 2022 proceedings (part of the @facs_conf series) https://t.co/whtCJhhIeh

[Lizeth Tapia @sltarifa]

Fantastic talk from Christel Baier at @facs_conf. Probabilistic causality in Markovian models.

[José Proença @simpple]

@sltarifa, @rudi_sat and me are organising this online event! Join us tomorrow and Friday!

[FACS 2024 @facs_conf]

FACS 2022 will start tomorrow morning online! You can still attend it even if you did not register yet - check out the great program 👇https://t.co/66dCiCowox

[Gwen Salaün @gwensalaun]

FACS 2022 - 18th International Conference on Formal Aspects of Component Software - Deadline approaching: July 18 - More details: https://t.co/OAp7NBSGix

[PHD Comics @PHDcomics]

Not bad