GROW 2019 – Workshop on Graph Classes, Optimization, and Width Parameters
Network of computer scientists and mathematicians
Mihaela Rozman
Security & Privacy for Blockchains and Distributed Ledger Technologies
BDLT19 as the first one in a series of International Summer Schools
Distinction: VCLA International Student Awards 2019
The community of logicians at Faculty of Informatics celebrates.
Gerd Brewka
Tanja Schindler
Award Ceremony: VCLA International Student Awards 2019
The award ceremony for the winners of the 4th edition of the VCLA International Student Awards for Outstanding Bachelor and Master Theses took place on September 24, at 15:15. The award ceremony was collocated with the 9th Workshop on Graph…
Alexej Rotar
Martin Munoz
Yuri Gurevich
Dana Scott
BIOGRAPHY Dana Scott is American mathematician, logician, and computer scientist who was cowinner of the 1976 A.M. Turing Award, the highest honour in computer science. Scott and the Israeli American mathematician and computer scientist Michael O. Rabin were cited in…