Magne Haveraaen
Magne Haveraaen
Professor, Head of Bergen Language Design Laboratory (BLDL)
(research interests and conferences I am involved in at the bottom)
Adresser
Vanlig post:
Universitetet i Bergen
Institutt for informatikk
Postboks 7800
N-5020 BERGEN
Norway
Elektronisk post: Magne.Haveraaen@ii.uib.no
Telefon:
Telefaks: (+47) 55 58 41 99
Besøksadresse:
Høyteknologisenteret
Thormøhlensgate 55
Datablokken, 4.etg.
Undervisning
Forskning (research)
Mine interesser er innenfor programmeringsteori, spesielt
algebraiske systemutviklingsmetoder. I hovedsak jobber jeg med:
Jeg søker spesielt medarbeidere, studenter og
samarbeidspartnere innen disse feltene.
Listen over tilgjengelige hovedfagsoppgaver i
programmeringsteknologi inneholder også noe relatert informasjon.
Ellers er jeg noe involvert i gruppen for programutviklingsteknologi sine fellesprosjekt.
Konferanser mm (conferences)
Jeg har vært (og er) medarrangør, styringskomité- eller programkomitémedlem for en rekke konferanser og vitenskapelige møter, deriblant:
-
ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY)
- 5th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming (ARRAY 2018), 19.6.2018, Philadelphia, USA.
- 6th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming(ARRAY 2019), 22.6.2019, Phoenix, Arizona, USA.
- 7th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming(ARRAY 2021), 21.6.2021, Cyberspace.
- Conference on Algebra and Coalgebra in Computer Science (CALCO).
-
2nd Conference on Algebra and Coalgebra in Computer Science (CALCO'07), 20.-24.08.2007, Bergen, Norge.
Dette inkluderer CALCO-jnr (CALCO Young Researchers Workshop) 20.08.2007 som spesielt er rettet mot PhD-studenter og post-doktor-forskere.
-
3rd Conference on Algebra and Coalgebra in Computer Science (CALCO'09), 6.-10.09.2009, Udine, Italia.
Dette inkluderer CALCO-jnr (CALCO Young Researchers Workshop) 6.09.2009 som spesielt er rettet mot PhD-studenter og post-doktor-forskere.
-
4th Conference on Algebra and Coalgebra in Computer Science (CALCO'11), 29.08.-2.09.2011, Winchester, UK.
Dette inkluderer CALCO-jnr (CALCO Young Researchers Workshop) 29.08.2011 som spesielt er rettet mot PhD-studenter og post-doktor-forskere.
-
8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), 3.06.-6.06.2019, London, UK.
-
20th Conference on Computer Science Logic (CSL 2011), 12.-15.09.2011, Bergen, Norway.
-
Doctoral Symposium at the 18th International Symposium on Fundamentals of Computation Theory, 26.8.2011, Oslo, Norway (avlyst).
- 1st International Workshop
"Formal Methods - Fun for Everybody" (FMFun-2019), 2-3.12.2019, Bergen, Norge.
-
Workshop on Generic Programming (WGP).
-
6th Workshop on Generic Programming (WGP 2010), 26.9.2010, Baltimore, Maryland, USA.
-
7th Workshop on Generic Programming (WGP 2011), 18.9.2011, Tokyo, Japan.
-
8th ACM SIGPLAN Workshop on Generic Programming (WGP 2012), 9.9.2012, Copenhagen, Denmark.
-
9th ACM SIGPLAN Workshop on Generic Programming (WGP 2013), 28.9.2013, Boston, Massachusetts, USA.
- Generative Programming and Component Engineering (GPCE) (Recent).
- High Integrity Systems Symposium (HISS).
- International Supercomputing Conference (ISC)
-
Workshop on Language Descriptions Tools and Applications (LDTA 2010) 27.-28.3.2010, Paphos, Kypros.
- Nordic Workshop on Programming Theory
-
12th Nordic Workshop on Programming Theory 11.-13.10.2000 på Fløyen, Bergen, Norge.
-
30th Nordic Workshop on Programming Theory (NWPT) 24-26.10.2018, Oslo, Norge.
-
31st Nordic Workshop on Programming Theory (NWPT), 13-15 november 2019, Tallin, Estland.
-
32nd Nordic Workshop on Programming Theory (NWPT), oktober/november 2021, Reykjavik, Island
-
33rd Nordic Workshop on Programming Theory (NWPT), november 2022, Bergen, Norge
-
34th Nordic Workshop on Programming Theory (NWPT), november 2023, M�lerdalens universitet, Sverige
-
Workshop on Program Generation and Transformation for HPC Applications at ICCS 2011, 1.-3.06.2011, Tsukuba, Japan. Workshopen ble avlyst, men ICCS gikk i Singapore.
-
Parallel Applications Workshop, Alternatives To MPI (PAW-MPI)
- Parallel Applications Workshop, Alternatives To MPI (PAW-MPI), Supercomputing (SC19), 17.11.2019, Denver, Colorado, USA.
- Parallel Applications Workshop, Alternatives To MPI (PAW-MPI), Supercomputing (SC20), 16.11.2020, Cyberspace.
- Parallel Applications Workshop, Alternatives To MPI (PAW-MPI), Supercomputing (SC23), 13.11.2023, Denver, Colorado, USA.
- IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM).
-
9th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'09), 20.-21.9.2009, Edmonton, Canada.
-
10th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2010), 12.-13.09.2010, Timişoara, Romania.
-
11th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2011), 25.-26.09.2011, Williamsburg, VA, USA.
-
12th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2012), 23.-24.09.2012, Riva del Garda, Trento, Italy.
- Software transformation systems (STS) workshops, http://www.program-transformation.org/Sts
Sist oppdatert 2023-06-02