Stefano Tonetta

[CAV @confCAV]

Congratulations to the 21 recipients of the 2021 CAV Award! #21in21 🎉
The award recognizes their "pioneering contributions to the foundations of the theory and practice of satisfiability modulo theories (SMT)."
#cav21

[DigitalIndustry-FBK @DI_FBK]

The Embedded System unit of @FBK_research held the kick-off meeting of the COMPASTA project https://t.co/hunpHJ11Sp
The plan was approved by @esa and we can proceed with the planned development of COMPASS https://t.co/AzNRTxk3zh and TASTE toolsets https://t.co/cz5udCjTml

[HUBCAP @hubcap_eu]

🚨Missed our last Q&A Webinar? Don't worry! 🚨

Join us in our 2nd live Q&A Webinar for HUBCAP Call #2.1 EXPERIMENT, 10 February, 11h CET! Learn how to apply to the #opencall and get the chance to pose all your doubts to our team!
Register 👇
https://t.co/bYjkgGigW3

[VALU3S @valu3s_project]

On 3rd - 4th February 2021 VALU3S 3rd Project Consortium. Waiting to finally meet us live, we’re working hard to make significant progress in delivering forefront #Verification and #Validation methodologies and tools tailored on end-users needs.

[C a t a r i n a R e i s @KacuReis]

🤔Doubts on HOW to apply to @hubcap_eu #opencall? 💡Want to KNOW more about @hubcap_eu #programme? Don't miss the Call #2.1 #experiment 1st Q&A Webinar, 13 January, 11h am CET!
Register 👇https://t.co/o2qrkEu3Uv

[HUBCAP @hubcap_eu]

🚨@hubcap_eu 𝗖𝗮𝗹𝗹 #𝟮.𝟭 𝗘𝗫𝗣 𝗶𝘀 𝗻𝗼𝘄 𝗼𝗽𝗲𝗻 to applications!🚨
Join us in our 𝟭𝘀𝘁 𝗹𝗶𝘃𝗲 𝗤&𝗔 𝗪𝗲𝗯𝗶𝗻𝗮𝗿 𝗼𝗻 𝟭𝟯 𝗝𝗮𝗻𝘂𝗮𝗿𝘆, 11h am CET (Brussels Time), and learn how to apply to HUBCAP Call #2.1 EXP!
Register 👇https://t.co/d5evHStpDC

[HUBCAP @Hubcap_ro]

@hubcap_eu
#opencall Alert!
4 days left to apply to #hubcap_eu 𝗖𝗮𝗹𝗹 #𝟭.𝟮 𝗣𝗨��𝗟!
Are you an #SME working in #CPS & #digitaltech? This call is for you! #Experiment with model-based design, reach new customers & get funding support!
Apply now!
@hubcap_eu

[Fondazione Bruno Kessler - FBK @FBK_research]

Interested in joining the Cyber-Physical Systems revolution?

@hubcap_eu will create new opportunities for #SMEs

Join the HUBCAP programme and we will help you with finding new customers and selling your assets

👉 https://t.co/2I1t279Dwi

#digital #technologies @StefanoTonetta

[HUBCAP @hubcap_eu]

🚨𝟭Week to go till our 𝗖𝗮𝗹𝗹 #𝟭.𝟮 𝗣𝗨𝗟𝗟 𝗤&𝗔 𝗪𝗲𝗯𝗶𝗻𝗮𝗿!🚨

Join @hubcap_eu live webinar on 28 October, 11h30 am CET and learn more about 𝗛𝗨𝗕𝗖𝗔𝗣 𝗣𝗿𝗼𝗴𝗿��𝗺𝗺𝗲!

Register here🏃‍♂️👉https://t.co/1a2Osi2I8u

[HUBCAP @hubcap_eu]

The wait is over: @hubcap_eu 𝗰𝗮𝗹𝗹 #𝟭.𝟮 𝗣𝗨𝗟𝗟 is here! 🎉Join the 𝗛𝗨𝗕𝗖𝗔𝗣 journey and don't miss out:
💵1000€ lump sum per SME
💻Integrate your solution to HUBCAP platform
🫂 Support services and workshops
🔥 Sell your assets
APPLY NOW 👉 https://t.co/pOoouJmD7O

[HUBCAP @hubcap_eu]

Stay up to date with HUBCAP and follow our joint webinar series. Highlighted this week, @hubcap_eu coordinator @PeterGormLarsen discusses the future of model based design for Cyber-Physical Systems. https://t.co/lc1WoCGenI

[Hugo Daniel Macedo @idhugoid]

A Cloud Based Collaboration Platform for MBD of Cyber Physical Systems... https://t.co/XZxbLoBSc6. Hey! Checkout our recent research advances! Join us and add your tools and models into the Platform. Funding is available to EU SMEs! @hubcap_eu Let us change how we collaborate!

[HUBCAP @hubcap_eu]

Interested in Digital Twins? @hubcap_eu co-ordinator @petergormlarsen shares his thoughts on projects running at Aarhus University Centre for Digital Twins: https://t.co/fSS3U1uulN

[Stefano Tonetta @StefanoTonetta]

New #Phd Position on Formal Methods for the Design of Safety Solutions in Automated Systems
https://t.co/DYnjIvOguP
with industrial co-supervision by Peter Munk (Bosch)
@FBKcom @UniTrento
#formalmethods #ModelBasedDesign #systemsengineering #safety #CPS

[Stefano Tonetta @StefanoTonetta]

New #Phd Position on Formal Requirements Specification and Validation in Domain Specific Languages
https://t.co/4VRJIABuXq
with industrial co-supervision by Silvia Mazzini at Intecs
@FBKcom @UniTrento
#formalmethods #modelbaseddesign #requirementsanalysis #safety

[Stefano Tonetta @StefanoTonetta]

Today, @valu3s_project partners gather online for a virtual kick-off meeting. @FBKcom is part of them! Looking forward to developing new validation and verification techniques for automated systems https://t.co/CaVZCMsmwN #valu3s_project #ModelBasedDesign

[Stefano Tonetta @StefanoTonetta]

Provider or user of #ModelBasedDesign techniques? Join the #hubcapEU ecosystem by applying to the #opencall

[HUBCAP @hubcap_eu]

⚡READY TO JOIN #hubcapEU Programme?⚡
Call 1.1 PULL is now open! Don’t miss the chance of:
💵 Lump sum 1000€ per SME
🧩Integrate your solution in @hubcap_eu ecosystem
👥Support services & workshops by DIHs
🔥 Sell your assets
APPLY NOW: https://t.co/pOoouJmD7O