@OndraLengal
Joined March 2022
  • Tweets235
  • Following70
  • Followers28
26Media
|QuantumFIT⟩ at MQSF’26 #MQSF #quantum quantum.fit.vut.cz
1
6
88
The second day of VMCAI 2026 starts with the keynote on using abstract interpretation to prove memory safety of low level programs by Mihaela Sighireanu #VMCAI #POPL
2
111
🏅VMCAI 2026 recognised two distinguished papers. The first one was “A Formal Executable Semantics of PROMELA” by Byoungho Son and Kyungmin Bae #VMCAI #POPL
1
1
162
And the second one was “Finding Photonics Circuits via δ-weakening SMT” by Marco Lewis and Benoît Valiron. Congratulations to the authors 👏 #VMCAI #POPL
1
71
43
VMCAI’26 continues after lunch with the second keynote on relations between transformers and automata/logic, given by Anthony W. Lin #VMCAI #POPL
1
72
The first day of VMCAI 2026 started with a very interesting update on the current state of Infer by David Pichardie from Meta @facebook #POPL #VMCAI #Infer
4
203
🔬 Výzkum z FIT VUT ve výběru prestižního časopisu Článek Ondřeje Lengála byl zařazen mezi Research Highlights periodika Communications of the ACM. Jde o vůbec první českou afiliaci v této rubrice. 🧮 Kvantové výpočty × teorie automatů 📖 fit.vut.cz/fit/news/d300964/…

Výzkum z FITu zabývající se verifikací kvantových výpočtů byl vybrán mezi nejzajímavější práce na...

Článek s názvem An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits, na němž se významně podílel Ondřej Lengál ze skupiny VeriFIT, byl vybrán jako research highlight do...

fit.vut.cz
3
13
349
The 3rd Meeting on String Constraints and Applications (MOSCA’25) took place last week during CAV’25 @confCAV #cav with many great talks. Many thanks to all the participants! You can check the slides now on the web page mosca2025.github.io/. Looking forward to the next one!

MOSCA’25

Meeting on String Constraints and Applications 2025

mosca2025.github.io
Ondra Lengal@OndraLengal22 Jul 2025
The Meeting on String Constraints and Applications, MOSCA'25, started today with a great talk of Georg Zetzsche @confCAV #cav
2
112
The Meeting on String Constraints and Applications, MOSCA'25, started today with a great talk of Georg Zetzsche @confCAV #cav
5
1
1
3
372
The final talk of MOSCA’25 is on the string solver Z3-Noodler by Vojtěch Havlena @confCAV #cav
1
220
The first talk of the last session of MOSCA’25 is by Rachel Cleaveland on Incorporating Native String Reasoning in Symbolic Execution of C Programs @confCAV #cav
1
183
Margus Veanes is giving a talk on Theory and Applications of Symbolic Derivatives for Symbolic Regular Expressions @confCAV #cav
1
2
183
The first talk of MOSCA’25 after lunch is on position constraints and negated containment in string constraints given by Michal Hečko @confCAV #cav
1
163
We continue with the talk of Dominik Freydenberger on Finite Models for the Theory of Concatenation @confCAV #cav
2
1
2
184
John Lu is giving a broader talk on the use of Monte Carlo tree search in SMT solving @confCAV #cav
1
154
Replying to @OndraLengal @confCAV
The next talk is Oliver Markgraf’s Solving String Constraints via Regular Constraint Propagation @confCAV #cav
1
154
A panel discussion at the end of a very interesting day at VQC’25 @confCAV
2
2
366
The third Meeting on String Constraints and Applications (MOSCA'25) will take place at CAV'25 (@confCAV) in Zagreb, Croatia on July 22. Early registration is deadline June 22. See mosca2025.github.io/ for more information, including confirmed speakers.

MOSCA’25

Meeting on String Constraints and Applications 2025

mosca2025.github.io
2
67
"An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits," by Yu-Fang Chen and #researchers at @AcadSinica, #BrnoUniversity, #TaipeiTech, @MPI_SWS_, introduces a framework for automata-based verification of #quantum circuits. bit.ly/4km3FFt
5
5
646
Load more