José Proença @simpple
Senior Researcher @ CISTER. Formal methods. Concurrency & Coordination. Software engineering. jose.proenca.org Porto Joined January 2008-
Tweets291
-
Followers127
-
Following100
-
Likes131
@FmasWorkshop Too bad that it was not in person... Next year maybe?
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! 📜📢✈️
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! verdi-workshop.github.io/2024
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! verdi-workshop.github.io/2024
⚡️ It's Official! ⚡️ We're thrilled to announce that the list of accepted workshops for #FM2024 is now available 🚀 ➡️ Check it out: fm24.polimi.it/?page_id=423
The first call for papers for #FACS24 is out (facs-conference.github.io/2024/call-for-…). 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 24 will take place on 09-10 September 2024 co-located with @FMsymp. The (tentative) deadline for submitting an abstract is May 8th, 2024! facs-conference.github.io/2024/
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!
📢 First Call for Papers is out! 📢 Be a part of FM 2024 and share your research! CfP: fm24.polimi.it/?page_id=59#ca… 🗓️ Deadlines: Abstract: April 15th, 2024 Full Paper: April 19th, 2024 Notification: June 10th, 2024 Final Version: July 1st, 2024 #FM2024
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
The submission deadline for both abstracts and papers has been extended until July 17 (AoE) 👍 facs-conference.github.io/2023/call-for-…
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! verdi-workshop.github.io/2023
One month left until the submission deadline (abstracts: July 3; papers: July 10)! facs-conference.github.io/2023/call-for-…
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.
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: verdi-workshop.github.io/2023/
Project meeting with magnetic badges! Meeting great people in Hamburg while keeping my shirt undamaged! Great organisation @NXP @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.
Check the FACS 2022 proceedings (part of the @facs_conf series) link.springer.com/book/10.1007/9…
Fantastic talk from Christel Baier at @facs_conf. Probabilistic causality in Markovian models.
@sltarifa, @rudi_sat and me are organising this online event! Join us tomorrow and Friday!
FACS 2022 will start tomorrow morning online! You can still attend it even if you did not register yet - check out the great program 👇facs-conference.github.io/2022/program/
FACS 2022 - 18th International Conference on Formal Aspects of Component Software - Deadline approaching: July 18 - More details: facs-conference.github.io/2022/
FMT Lab ISTI CNR @fmt_lab
28 Followers 291 Following Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy
Arpit Sharma @Arpit_Sharma_CS
111 Followers 145 Following Associate Professor@IISERB | Formal Methods | Model Checking | Requirements | Model Based Testing | Software Product Lines | Machine Learning | Process Mining
Rick van der Werf @rickvanderwerf
24 Followers 289 Following Building @NextAppHQ, leading Customer Success & Product-led Growth | writing about #PLG, #GTM, #CS and #Startups on https://t.co/qKHjXwkeC0
Marie Farrell @farrell_marie
165 Followers 278 Following Royal Academy of Engineering Research Fellow at The University of Manchester
Mohammad Hossein Khos... @Mh_khoshechin
290 Followers 896 Following PhD student @ Max Planck Institute for Software Systems (MPI-SWS) /Interested in Formal Verification / Distributed Systems / Concurrency Theory
Amin Timany 🇮🇷 @amintimany
231 Followers 1K Following Associate Professor of Computer Science @csaudk, Aarhus University. PhD @KU_Leuven. Strong supporter of his majesty Reza Shah II (@PahlaviReza).
Lizeth Tapia @sltarifa
35 Followers 43 Following
Ana Nunes Alonso @AnaNunesAlonso
25 Followers 114 Following
Tiago Cogumbreiro @AssertionError
47 Followers 140 Following Assistant professor @ https://t.co/5WKobeiXRr | Programming languages, concurrency, and verification. he/his
Lizeth Tapia @liz2ta
27 Followers 54 Following
jose.fragoso.santos @josefragososan
134 Followers 614 Following Assistant professor at IST Lisbon. PL and Formal Methods.
Bogdan Aman @BogdanAman
82 Followers 447 Following Editor-in-chief of Diamond Open Access Journal Scientific Annals of Computer Science (SACS) https://t.co/k2LnU7guC1
Helena Dias @HelenaDiasUM
11 Followers 154 Following Administrative assistant at University of Minho
A and V Network @AandVNetwork
601 Followers 1K Following Research network focussing on verification of autonomous systems. Distributed across several universities Led by Prof. Michael Fisher. Tweets by @MattLuckcuck
Ricardo Vilaça @rmpvilaca
92 Followers 265 Following Senior Researcher at HASLab and @minhoacc ,@inesctec & @UMinho_Oficial, working on high performance computing in both parallel and distributed systems.
Kim Wuyts @Wuytski
759 Followers 511 Following 🔥 Loves to talk about privacy and threat modeling 💡 LINDDUN privacy threat modeling 🎓 PhD in privacy engineering (KU Leuven) @[email protected]
Marta Pojo @PojoMarta
31 Followers 73 Following PhD in Health Science/Principal Researcher at IPOLFG/ Directora Projectos de Saúde Liga Portuguesa Contra o Cancro
George Pîrlea @GeorgePirlea
1K Followers 5K Following PhD student @NUSComputing. Programming languages, formal methods, distributed systems. Lean is the future. ◎ pirlea.sol / Ξ pirlea.eth / https://t.co/YSWX6lMMgV
Matt Luckcuck @MattLuckcuck
529 Followers 2K Following (Slightly Less) Precarious Computer Scientist | Nullius in verba
Mohammad Mousavi @smr_mousavi
499 Followers 707 Following Professor of Software Engineering at King's College London - Personal account
lucas @0xFlucas
4 Followers 145 Following
Adrian Francalanza @francalanza_adr
50 Followers 119 Following dad, computer scientist, jogger (according to my wife)
Sébastien Gondron @SebGondron
209 Followers 1K Following Ph.d. on security protocol verification. Security engineer #Infosec. Hacking enthusiast. Free software user. Brewer for fun.
Ele • she/her/ella @Hele92443388
60 Followers 1K Following Politics • CJS • Foreign Policy • HRTech • SHRM • CUPA-HR • Counterterrorism • Counterintelligence • DEI • ICAirport •Aviation
Deucalion Supercomput... @deucalionacnca
99 Followers 89 Following Deucalion is Portugal’s largest supercomputer, powering science, innovation, and public administration with world-class HPC, turning challenges into discoveries
Alireza Farhadi @AlirezaTCS
54 Followers 5K Following دع التکاسل تغنم فقد جری مثل که زاد راهروان چستی است و چالاکی
FMASWorkshop @FmasWorkshop
540 Followers 1K Following Intentional Workshop on Formal Methods for Autonomous Systems. Twitter account paused until further notice. Find us on BlueSky: https://t.co/IzFLpkZfdW.
Alejandro Sanchez @aljsnchz
64 Followers 331 Following
Nuno Rodrigues @BluePinguino
61 Followers 174 Following
chinaggd @chinaggd2
16 Followers 220 Following
FACS 2024 @facs_conf
183 Followers 528 Following 20th edition of the International Conference on Formal Aspects of Component Software
Filipe Silva @filmarsilva
11 Followers 44 Following
Wouter De Borger @wdeborger
78 Followers 106 Following Dad, Husband, Climber, Entrepreneur | Co-founder @inmanta_com. @[email protected]
Diego Marmsoler @DiegoMarmsoler
116 Followers 126 Following
VALU3S @valu3s_project
88 Followers 75 Following ECSEL JU funded project investigating V&Vmethods, tools and concepts and delivering a powerful platform for evaluating automated systems' safety and security.
QONFEST2020 @qonfest2020
182 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
Elisa Gonzalez Boix @elisagboix
409 Followers 133 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
LightKone Project @LightKoneH2020
151 Followers 133 Following The LightKone is an European project addressing general-purpose computation on edge networks.
serums_h2020 @serums_h2020
152 Followers 680 Following Serums is an EU H2020 project that aims to develop mechanisms for safe and secure gathering, exchanging and analysing medical data in smart healthcare systems
Gwen Salaün @gwensalaun
418 Followers 371 Following Professor of Computer Science, @UGrenobleAlpes, France
teresa jorge @tjorgejorgejor1
4 Followers 61 Following
Formal Methods 2026 @FMsymp
684 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
SEFM Conference @sefm_conf
282 Followers 380 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23
TeamPlay-H2020.eu @TeamPlayH2020
288 Followers 2K Following Teamplay receives funding from the @EU_H2020 Research & Innovation Programme. Any related tweets reflect only the views of the project owner.
DisCoTec Conference @DisCoTecConf
177 Followers 343 Following DisCoTec gathers conferences and workshops that cover a broad spectrum of distributed computing subjects.
FMASWorkshop @FmasWorkshop
540 Followers 1K Following Intentional Workshop on Formal Methods for Autonomous Systems. Twitter account paused until further notice. Find us on BlueSky: https://t.co/IzFLpkZfdW.
Marie Farrell @farrell_marie
165 Followers 278 Following Royal Academy of Engineering Research Fellow at The University of Manchester
Lizeth Tapia @sltarifa
35 Followers 43 Following
Amin Timany 🇮🇷 @amintimany
231 Followers 1K Following Associate Professor of Computer Science @csaudk, Aarhus University. PhD @KU_Leuven. Strong supporter of his majesty Reza Shah II (@PahlaviReza).
Lizeth Tapia @liz2ta
27 Followers 54 Following
FormaliSE @FormaliSEconf
391 Followers 94 Following FormaliSE is a conference series fostering integration between the formal methods and the software engineering communities. FormaliSE is co-located with ICSE.
Nuno Rodrigues @BluePinguino
61 Followers 174 Following
FACS 2024 @facs_conf
183 Followers 528 Following 20th edition of the International Conference on Formal Aspects of Component Software
Wouter De Borger @wdeborger
78 Followers 106 Following Dad, Husband, Climber, Entrepreneur | Co-founder @inmanta_com. @[email protected]
Diego Marmsoler @DiegoMarmsoler
116 Followers 126 Following
Mobility.E Lighthouse @MobilityE_LI
47 Followers 20 Following The Mobility.E Lighthouse of the ECSEL JU is the networking and collaboration plattform for electric, connected and automated driving.
Carlos Vilhena @carvil_
724 Followers 717 Following CTO @ IDlayr. I build products and engineering teams for a living. 🏋 https://t.co/06OgEO5MHT 👨🏫 https://t.co/ocz86QwmBx ⛏️ https://t.co/DfRunYFdcq
Inmanta @inmanta_com
150 Followers 96 Following Take the risk out of service deployment to empower telcos to compete more effectively | End-to-end #automation & #orchestration | #5G #MPN #cloud #IP #MPLS
VALU3S @valu3s_project
88 Followers 75 Following ECSEL JU funded project investigating V&Vmethods, tools and concepts and delivering a powerful platform for evaluating automated systems' safety and security.
QONFEST2020 @qonfest2020
182 Followers 1K Following QONFEST is the umbrella conference comprising the joint international 2020 meetings: CONCUR2020, FMICS2020, FORMATS2020, QEST2020, alongside with many workshops
Elisa Gonzalez Boix @elisagboix
409 Followers 133 Following prof@Vrije Universiteit Brussel - concurrent and distributed systems, programming abstractions, debuggers & language-based security.
CODIFIC @codific_eu
46 Followers 128 Following Building a simple and safe digital future. Our X account currently not active. Find us on https://t.co/tSK6uvD3Y8 and our website; https://t.co/Lc5efC78rV
Gwen Salaün @gwensalaun
418 Followers 371 Following Professor of Computer Science, @UGrenobleAlpes, France
iFM @iFMconf
180 Followers 158 Following
LightKone Project @LightKoneH2020
151 Followers 133 Following The LightKone is an European project addressing general-purpose computation on edge networks.
Ronny Roeller @ronnyroeller
248 Followers 254 Following Product discovery platform to bring customers into every decision± CTO @NextAppHQ #SaaS @stanforddschool @INSEAD
Marlene Silva @marlenessilva
169 Followers 735 Following materials science publisher. wanderer. astrophysicist. music lover. fashion freak. opinions are my own.
JPAC @jpacerqueira
341 Followers 800 Following Big Data & Data Science Consultant | #BigDataAnalytics #MachineLearning #Spark #Kafka #h2o.ai #Tensorflow | @London From.Portugal.Braga :)
TeamPlay-H2020.eu @TeamPlayH2020
288 Followers 2K Following Teamplay receives funding from the @EU_H2020 Research & Innovation Programme. Any related tweets reflect only the views of the project owner.
Parody of @jtmuehlber... @jtmuehlberg
591 Followers 1K Following Research in hardware/software security & safety, embedded systems, sustainability, formal stuff. Democracy and climate justice. Immigrant. Uncooperative crusty.
sam michiels @sammichiels
129 Followers 530 Following
Radu Muschevici @radu_mu
6 Followers 12 Following
Leonel Matos @LeonelGMatos
33 Followers 395 Following
Luís Miguel Braga @LuisMiguelBraga
216 Followers 281 Following This is my secondary account, go follow @microft
SEFM Conference @sefm_conf
282 Followers 380 Following International Conference on Software Engineering and Formal Methods #sefm #sefm23
Formal Methods 2026 @FMsymp
684 Followers 243 Following The 27th International Symposium on Formal Methods. #FM2026
Alberto Lluch @albertolluch
166 Followers 121 Following Associate Professor in Computer Science @DTU_Compute
DisCoTec Conference @DisCoTecConf
177 Followers 343 Following DisCoTec gathers conferences and workshops that cover a broad spectrum of distributed computing subjects.
Vitor Enes @vitorenesduarte
514 Followers 305 Following Distributed Systems. CRDTs. Formal Methods. Testing. Rust. Music.
FOCLASA 2017 @foclasa2017
70 Followers 927 Following The 15th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems.
georges younes @g_unis
105 Followers 245 Following
Dr Kiko Fernandez-Rey... @kikofernandez
402 Followers 1K Following Software engineer @Ericsson ex-@Klarna. Previously PhD researcher building programming languages @Uppsalauni He/him
VersaSense @VersaSense
174 Followers 17 Following VersaSense provides the plug & play fabric to integrate wireless sensors to the IT infrastructure. IoT-enable your facility in a day and radically reduce TCO.
Ali Shoker @ashokerCS
522 Followers 613 Following Professor & Innovator #cybersecurity, #resilience #MailCoin #automotive, #Blockchain, #SOC, #space, #fpga
David Costa @davidcosta
113 Followers 101 Following SaaS Architectures, Distributed Systems, Software Abstractions, Programming Languages, SaaS Business Models, PaaS Stack Design
Miguel Matos @miguelammatos
85 Followers 143 Following
Alcino Cunha @alcino_cunha
26 Followers 7 Following
INESC TEC @INESCTEC
9K Followers 452 Following INESC TEC - Institute for Systems and Computer Engineering, Technology and Science 35 years of experience in R&D and technology transfer
Bárbara Vieira @barbaraisv
318 Followers 492 Following Cryptography, security and privacy. Opinions are my own. @[email protected]You might like
