Excited to host Dr. Andreas Lööw (Royal Holloway, UoL) at CIIRC CTU Prague for AI & Reasoning Winter Seminar.

Talk: Verilog verification & semantics for interactive theorem proving
Hosted by Yutaka Nagashima (ICS, Czech Academy of Sciences).

In our recent paper we make a connection between the embedded space and the actual problem space. #ML #automatedreasoning

Geometric Reasoning in the Embedding Space www.mdpi.com/3480882 #mdpimake via @MAKE_MDPI

In our recent CADE paper we looked at how SMT solvers can contribute to the solving of functional equations, which often appear in math olympiads and competitions arxiv.org/pdf/2504.15645 #SMT #IMO #AIMO

We are looking for a Postdoc to join our team in Prague, with a focus on theorem proving, SMT (Satisfiability Modulo Theories), or formal methods.

We are extending the deadline for the workshop on the Pragmatics of SAT by 1 week. www.pragmaticsofssat.org/2025/

The SC2 workshop, with the focus on symbolic computation and SAT, offers an award of 500eur to 2 selected students traveling to the workshop. See for more details: www.sc-square.org/CSA/workshop...

We are announcing the first call for papers of SC-Square 2025, the 10th International Workshop on Satisfiability Checking and Symbolic Computation, which will take place on August 2, 2025, Stuttgart Germany as a satellite event of CADE. For more, see www.sc-square.org/CSA/workshop...

#neovim 0.11 is out!

- List of notable changes since 0.10: neovim.io/doc/user/new...
- Summary blog post: gpanders.com/blog/whats-n...
- Release binaries: github.com/neovim/neovi...

Thank you all for the support! More things to come in 0.12!

First call for papers for the workshop Pragmatics of SAT (PoS). Since this year SAT is colocated with CP, the workshop also reflects that. www.pragmaticsofsat.org/2025/ #SAT2025 #CP2025 #PoS2025 #workshop

So this doesn't work as you would want in python [lambda s: f(s, i) for i in range(3)]. What's the solution to this?

Is this a known operation? (...((n choose k) choose k) ...)

CVE-2024-53908: Potential SQL injection in HasKey(lhs, rhs) on Oracle #Django


www.djangoproject.com ->


Original->

Unicode is too novel technology, let's wait until it's properly understood and researched all its implications.

Before & After: I don’t think people realize the extent to which parked cars degrade public space.