Skip to main content
University of Bergen
Menu
Education
Research
Innovation
Library
For students
For employees
About UiB
English
Norsk
Close
Search field
Filter on content
Everything
News
Studies
Events
Persons
Employee pages
Choose what results to return
Education
Research
Innovation
Library
For students
For employees
About UiB
Programming Theory
Research
Research activities
Conferences and workshops
Projects
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Publications
Publications
Contact us
Contact us
Members
Research
Research activities
Conferences and workshops
Projects
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Publications
Publications
Contact us
Contact us
Members
UiB
NT
II
Programming Theory
Projects
Completed projects
Completed projects developed by the group (2000 onwards).
Main content
MoSIS: Modularity in large Software and Information Systems
, 2002-2006
SAGA: Scientific Computing with Algebraic and Generative Abstractions
Â
15.01.2010
