Slider Example 1

Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Quisque sed felis. Aliquam sit amet felis. Mauris semper, velit semper laoreet dictum, quam diam dictum urna, nec placerat elit nisl in quam.

Etiam augue pede, molestie eget, rhoncus at, convallis ut, eros. Aliquam pharetra. Nulla in tellus eget odio sagittis blandit. Mauris semper, velit semper laoreet dictum, quam diam dictum urna, nec placerat elit nisl in quam.

Dicit altera efficiendi an duo. Vis no libris bonorum lobortis, facete bonorum nec et, ne enim eruditi sea. Sed audiam debitis an, dicta putant malorum vix et. No quo quod tractatos reprehendunt, mea mundi mollis accumsan ex, inani vivendo signiferumque te sed. Est perpetua reprimique ex, at dicit choro suscipiantur pri, ei vidisse eloquentiam quo.

Latest News

Jens Pagel wins Bill McCune PhD Award

We congratulate Jens Pagel for receiving the 2021 Bill McCune PhD Award in Automated Reasoning! Jens graduated in 2020; his thesis on Decision procedures for separation logic: beyond symbolic heaps (supervised by Florian Zuleger) presents his substantial contributions to the theory of formal verification and automated reasoning, and to verifying heap-manipulating programs in particular.

Continue reading

Full news archive