Hopp til hovedinnhold
Universitetet i Bergen
Meny
Studier
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
English
Norsk
Lukk
Søkefelt
Filtrer på innhold
Alt innhold
Nyheter
Studier
Arrangementer
Personer
Ansattsider
Choose what results to return
Studier
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
Programutviklingsteori
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
Varselmelding
Ingen arrangement med startdato 21.12.2025 ble funnet. Velg en tidligere startdato.
UiB
NT
II
Programutviklingsteori
Kommende arrangement for Programming Theory
Lukk
Abonner på kalenderen
Filter or change date
2025
Uke 51
I dag 21. desember (0)
Det er ingen arrangement denne dagen.
