Vassal Project

Domů
Česko
Brno
Vassal Project

Verification and Analysis for Safety and Security of Applications in Life. Any related posts reflect only the views of the project.

Funded by European Union Programme Horizon Europe under grant agreement no. 101160022.

11/08/2026

Expanding international networks in robust decision-making! 🌐

Supported by the VASSAL project, four researchers from BUT FIT attended the "Challenges in Robust Decision-Making Under Uncertainty" seminar at Schloss Dagstuhl. Assoc. Prof. Milan Češka co-organized the event, helping shape a program focused on formal methods, AI, and reliable autonomous systems.

The seminar provided a great platform to discuss challenges like sensor limitations and neural network perception errors, paving the way for future collaborative projects.

🔗 Learn more: https://vassal.fit.vut.cz/news-events/2026-08-11-but-fit-research-team-expands-international-networks-at-challenges-in-robust-decision-making-under-uncertainty-dagstuhl-seminar

27/04/2026

📢 VASSAL Demo Day – April 30th

The VASSAL project is hosting an online webinar focused on formal methods and automated analysis. Nine researchers and industry experts will share their work on improving the correctness and security of complex systems.

🕘 Time: 9:00 AM – 11:30 AM
💻 Zoom Link: https://cesnet.zoom.us/j/93706637432
🔗 Details: https://vassal.fit.vut.cz/news-events/2026-demo-day

19/02/2026

We were happy to support the recent NCP event on Horizon Europe Twinning by sharing VASSAL’s experience from proposal preparation and project implementation.

One thing we learned quickly: plans change, people are busy, and flexibility is essential. What helps the most? Open and continuous communication — knowing what is happening allows you to react early and effectively.

We were inspired by the many projects presented and sincerely hope that our experience will help others succeed (fingers crossed 🤞).

VASSAL is already showing strong impact — increased visibility of our research, a Best Paper Award, new collaborations, and follow-up projects. None of this would be possible without committed and enthusiastic partners.

Our advice to future Twinning applicants: try it and good luck.

11/02/2026

🇫🇷 VASSAL at CEA-List: A Strategic Milestone

On 2–3 February 2026, the VASSAL consortium gathered in France for an intensive two-day workshop combining scientific discussions with strategic exchange.

We explored how research connects to:

✔ Industry collaboration models
✔ Intellectual property and licensing
✔ EU policy positioning
✔ Standardisation and certification
✔ Project quality and governance

A central message emerged clearly: impact does not happen by accident — it is designed.

The workshop strengthened our collaboration and reinforced VASSAL’s long-term ambition to connect formal methods research with real-world industrial and societal needs.

Thank you to CEA-List for the warm welcome and inspiring discussions!

28/01/2026

Two inspiring days with AI at work

Our recent AI workshops with Prof. Dr. Daniel Mertens brought together researchers, administrators, and IT colleagues — and the feedback was overwhelmingly positive.

Researchers explored how AI can support:
• generating research ideas
• writing papers and peer reviews
• creative coding approaches that challenged traditional views on software development

Administrative staff appreciated the clear, practical focus on:
• using AI more effectively in daily tasks
• improving workflows
• ensuring secure and responsible AI use

What stood out most?
👉 The lively discussions, new perspectives, and honest reflections on the opportunities and limits of AI in our work.
Thank you to everyone who joined and contributed to the discussions!

09/01/2026

Invitation: AI Workshops with Prof. Dr. Daniel Mertens

Are you looking to streamline your daily tasks or spark more creativity in your research? The European project VASSAL invites you to a special two-day event on January 15 & 16.

We are hosting Prof. Dr. Daniel Mertens for a series of interactive sessions focused on: ✅ Administrative Excellence: Using LLMs to manage projects, draft documents, and simplify reporting. ✅ Scientific Innovation: Enhancing research ideas, scientific writing, and "vibe coding."

Prof. Mertens brings years of experience from the German Cancer Research Centre (DKFZ) to help us bridge the gap between AI theory and everyday practice.

👥 Who should attend? Researchers, PhD students, IT specialists, and administrative staff. 📍 Format: In-person sessions with a Friday online option. 🎟️ Cost: Free, but registration is mandatory!

Find the full schedule and secure your spot here: https://vassal.fit.vut.cz/invitation-ai-workshops-with-prof-dr-daniel-mertens

18/09/2025

On September 15, VASSAL workshop was held at TU Graz as part of the Runtime Verification 2025 conference. This event served as a forum for researchers from the EU Twinning-funded VASSAL project and the broader runtime verification community.

The program included invited talks from experts such as Dr. Nickovic, a specialist in time property monitoring, and Prof. Wolfgang Ahrendt from Chalmers University of Technology, known for his work in deductive software verification. Presentations were also given by VASSAL researchers from BUT, including Filip Macák, Milan Češka, David Chocholatý, Tomáš Dacík, and Roderik Valko.

The workshop facilitated an exchange of experiences and promoted discussions on linking theoretical advances with practical challenges in verification. This event represents an important milestone for the VASSAL project, helping to strengthen collaboration between institutions and highlight its contributions to reliable and verifiable systems.

25/07/2025

On July 18, the VASSAL Project was pleased to host Nicolas Mazzocchi from the Slovak University of Technology in Bratislava for an expert talk. In his "Temporal Explorability Games" talk, Nicolas presented his research on temporal graphs—networks where the availability of edges varies over time—and how this affects game complexity. Thank you to Dr. Mazzocchi and everyone who attended! Missed it or want to rewatch? The recording is now available on our website: https://vassal.fit.vut.cz/

27/05/2025

Announcing news from AAMAS'25: "Decentralized Planning Using Probabilistic Hyperproperties" has been recognized as the Best Student Paper.

Congratulations to Francesco Pontiggia, Filip Macák, Roman Andriushchenko, Michele Chiari, and Milan Češka for their work. This article contributes to multi-agent systems and AI planning through the use of probabilistic hyperproperties.

This paper was accepted to the CORE A* AAMAS'25 conference, which has a highly selective acceptance rate. We acknowledge the contributions of this team and their supervisors, including Associate Professor Milan Češka, Ph.D., from Brno University of Technology, and collaborators from TU Wien.

17/04/2025

📢 Another milestone for the VASSAL Project!
We had the pleasure of hosting David Kolman from TU Wien in Brno for a 2-day workshop focused on EU project support and technology transfer. Participants from various departments of BUT joined the sessions, which explored best practices in grant writing, internal tools like the Project WIKI, and strategies for building strong international partnerships.
💬 “It was inspiring to learn how things are done at TU Wien—and to think about what we could apply here at BUT,” said one participant.
A big thank you to David and to all who joined us! 👏

Adresa

Božetěchova 2
Brno
61200

Web

https://vassal.fit.vut.cz/

Upozornění

Buďte informováni jako první: pošleme vám e-mail, když Vassal Project zveřejní novinky a akce. Vaši e-mailovou adresu nepoužijeme k žádnému jinému účelu a odběr můžete kdykoli zrušit.

Sdílet

Kategorie

Informační technologie