Uniwersytet Wrocławski

Drugie miejsce i złoty medal w Akademickich Mistrzostwach Polski w Programowaniu Zespołowym dla drużyny Uniwersytetu Wrocławskiego, UWr1, startującej w składzie Krzysztof Boryczka, Antoni Buraczewski, Łukasz Pluta. Pozostałe nasze drużyny zajęły miejsca: 5. UWr 2 – Marcin Knapik, Mateusz Orda, Adam Zyzik (srebrny medal) 11. UWr 6 – Igor Hańczaruk, Krzysztof Olejnik, Damian Sosulski (brązowy medal) 12. UWr 5 – Bartosz Chomiński, Marcel Szelwiga, Olaf Surgut (brązowy medal) 14. UWr 3 – Adam Ciężkowski, Artur Krzyżyński, Jan Wańkowicz 15. UWr 4 – Hubert Dyczkowski, Joanna Suwaj, Cyryl Szatan 18. UWr 7 – Piotr Hanczar, Wiktor Zoga, Tomasz Żyła 21. UWr 8 – Jakub Szydło, Cyprian Ziółkowski, Kuba Walęga 28. UWr 9 – Krzysztof Łukasiewicz, Michał Opala, Jeremiasz Preiss

Prof. Tomasz Jurdziński został wybrany do Rady Doskonałości Naukowej na kadencję 2024-2027. Gratulujemy!

On Tuesday 3rd of october at 12:30 there will be faculty seminar. Prof. Anand Pillay, from University of Notre Dame, will deliver a lecture Structural identifiability, differential algebra, and model theory. Before the lecture at 12:00 you are welcome to coffee and cakes before lecture at hall 119 at the Institute of Computer Science.

Abstract: This is a kind of application of model theory (in mathematical logic) to problems around theoretical mathematical biology and related areas. Via "compartmental models", there exist standard ODE systems which model many real processes. These systems involve some real or complex parameters which one would like to determine from the observed input and output data. I will discuss various obstructions as well as

On 20th June at 12:30 odbędzie się Thomas Kühne from Paderborn will deliver the lecture on Breaking the exaflop barrier for ab-initio molecular dynamics simulations. Abstract:

On 21 IV at 13.00 in Room 25 we welcome to Faculty Seminar. The lecturer will be prof. Jerzy Marcinkowski, who will talk about Towards Multiset Semantics Database Theory: How I Learned to Stop Worrying and Love Linear Algebra.

Abstract: For the last ten years, or maybe more, I have been a Database Theorist.

Like all (or at least most of) the Database Theorists I modelled the real-world-database relations, and real-world answers to the queries, as sets. If my query was "Exists y Cat(y) and Owns(x,y)", and my database happened to contain the tuples "Cat(Tibby)" and "Owns(Andreas, Tibby)" then -- clearly -- the constant "Andreas" was an element of the answer set.