Hoppa direkt till innehållet
printicon

Logic and Applications

Läs mer om forskningsgruppen på den engelska sidan...

I forskningsgruppen ingår Patrik Eklund, Ankica Babic, M.Ángeles Galán, Robert Helgesson, Ulrich Höhle, Mats Johansson, Johan Karlsson, Jari Kortelainen and Magnus Löfstrand.

Projekt
Projekt

Projekt inom forskningsgruppen Logic and Applications.

Publikationer
Publikationer

Publikationer från forskningsgruppen Logic and Applications.

Nyheter

Umeåstudent kan bli Årets IT-tjej 2019
Publicerad: 17 mar, 2019

Emilia Modig, som studerar Civilingenjör inom teknisk datavetenskap, är nominerad som Årets IT-tjej 2019.

Erik Elmroth ny ledamot i Kungl. Ingenjörsvetenskapsakademien
Publicerad: 11 mar, 2019

Professor Erik Elmroth blir ledamot i avd för informationsteknik vid Kungl. Ingenjörsvetenskapsakademien.

Genusforskarskolan utlyser 5 doktorandtjänster
Publicerad: 13 feb, 2019

Tjänsterna utlyses i samarbete med 5 institutioner. Sista ansökningsdag är 4 mars.

Nasdaq öppnar kontor i universitetsstaden Umeå
Publicerad: 04 feb, 2019

Världsledande finansbolaget Nasdaq tar över Cinnober och öppnar kontor i Umeå.

Nya formella metoder för språkbehandling i datorn
Publicerad: 15 jan, 2019

Datorer representerar en menings innebörd med grafer. Peter Ericson har gjort grafernas uppbyggnad tydligare.