We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin. Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy
Joined November 2018
- Tweets264
- Following49
- Followers344
- Likes84
ETAPS Conferences (now on other platforms) retweeted
Watch out. @wgrieskamp is heading to the Formal Methods for Blockchains Conference during @ETAPSconf 2025 to deliver a keynote on his latest research 🌐
We're proud to ship bold tech and collaborate with the global blockchain community.
Big insights incoming 👀
ETAPS Conferences (now on other platforms) retweeted
Attending or planning to attend #icse2025 from April 27-May 3 in Ottawa? Why not extend your visit to Canada and attend @ETAPSconf taking place the next week from May 3-8 in Hamilton.
#icse2025 Registration: conf.researchr.org/attending…
#etaps2025 Registration: etaps.org/2025/registration/
ETAPS Conferences (now on other platforms) retweeted
The Foundations of Software Science and Computation Structures (FoSSaCS) deadline is near!
Deadline: 10th of October AoE
FoSSaCS seeks foundational research with a clear significance for software science, inviting work on software analysis.
etaps.org/2025/conferences/f…
@ETAPSconf
ETAPS Conferences (now on other platforms) retweeted
The deadline for participating in the CAV 2025 Program Committee is this weekend!
Submit your nomination here:
docs.google.com/forms/d/e/1F…
We are soliciting nominations for the @confCAV 2025 Program Committee!
Submit via this (self-)nomination form: forms.gle/dLkdh5QvF5yhqRFn9.
Nominations are open until September 20, 2024.
#cav25 #pcnomination
ETAPS Conferences (now on other platforms) retweeted
Hari Govind presenting Speculating over SAT Modulo SAT @ TACAS 2024 @ETAPSconf
ETAPS Conferences (now on other platforms) retweeted
#FMBC24 will take place this Sunday, April 07!
We have an exciting program this year with 9 research talks and two additional lighning talks. The complete program is available online:
easychair.org/smart-program/…
Hope to see many of you at @ETAPSconf
ETAPS Conferences (now on other platforms) retweeted
Deadline on January 15th!
Nominations for ETAPS Doctoral Dissertation Award 2024 are open!
etaps.org/awards/doctoral-di…
ETAPS Conferences (now on other platforms) retweeted
I really enjoyed doing this interview - with the key message that we need more computer scientists to support the very important domain of environmental science. Come and join us in 2024 - lots of exciting careers and challenges.
Check out our latest blog post – interview with Gordon Blair about environmental sciences!
etaps.org/blog/016-gordon-sh…
ETAPS Conferences (now on other platforms) retweeted
The next version of Formal Methods for Blockchains (#FMBC) will take place beginning of April in Luxembourg, co-located with @ETAPSconf
So if you are interested in how formal methods can be used to provide a more rigorous approach to blockchain check out fmbc.gitlab.io/
ETAPS Conferences (now on other platforms) retweeted
1st Workshop on Verification Witnesses and Their Validation -- Be invited to participate! Deadline June 8.
July 17, 2023, Paris, France
Co-located with CAV 2023
vewit.sosy-lab.org/2023/
ETAPS Conferences (now on other platforms) retweeted
1/3 #TOOLympics @ETAPSconf, presenting the results of the MCC'2023, here for StateSpace, GlobalProperties and UpperBound
ETAPS Conferences (now on other platforms) retweeted
We have a stand at @ETAPSconf 2023 alongside our colleagues @frama_c and @BinsecTool. Feel free to come and talk about AI safety and trustworthiness with us!
#ArtificialIntelligence #AI #MachineLearning #TrustworthyAI #AISafety
ETAPS Conferences (now on other platforms) retweeted
The Frama-C team has a stand at @ETAPSconf 2023, in Paris! Come see us and discuss about Frama-C with some kernel developers! We have open positions available: interns, PhDs, postdocs, developers.... #ETAPS2023 #formalmethods
ETAPS Conferences (now on other platforms) retweeted
Excited to present some of the lessons learned from @certora employees in ETAPS on Tuesday in Paris etaps.org/2023/speakers/
ETAPS Conferences (now on other platforms) retweeted
Happy to open @ETAPSconf 2023 in the "grand auditorium" at @Sorbonne_Univ_ with Laure Petrucci this morning
ETAPS Conferences (now on other platforms) retweeted
While preparing the results for the Model Checking Contest (2023 edition) where 15 tools were compared, I am glad to thank those who helped us by letting us using their nice computers.
Let us meet at @ETAPSconf where results will be presented.
ETAPS Conferences (now on other platforms) retweeted
And now there is both a website about
* The FASE 2023 conference in Paris: etaps.org/2023/programme/ and
* The FASE conference series, wherever the future will take us: etaps.org/about/fase/
We have been gifted with online continuity :)
