Peter Gorm Larsen

Professor at Aarhus University, Department of Engineering, heading software engineering. Prime interests include VDM, tool support and industrial applications.

[DIGITbrain @digitbrain_EU]

DIGITbrain project has just started and we're looking forward to our project kick-off meeting on 8 /9 July! More information will soon be available under https://t.co/0yN8IuhL1J.

[Peter Gorm Larsen @PeterGormLarsen]

Hopefully there will be many submissions to the co-simulation workshop (see https://t.co/1GD7aBEKQn).

[Peter Gorm Larsen @PeterGormLarsen]

I am still very proud that the Poul Due Jensen Foundation have given this donation for my new research focus on digital twin. I hope to see many of you at the opening. https://t.co/yZPn6CLNgi

[Aarhus Universitet @AarhusUni]

Med o. 12 mio. i donation fra #PoulDueJensen's Fond kan Inst. for Ingeniørvidenskab, AU åbne nyt center for langsigtet forskn. i digitale realtids-modeller af cyber-fysiske systemer eller: #digitaletvillinger. Leder er professor @PeterGormLarsen https://t.co/LQoAFQCAkN @grundfos

[Peter Gorm Larsen @PeterGormLarsen]

Wonderful opening of this new block chain center at Aarhus University

[Aarhus Universitet @AarhusUni]

“Nogle af verdens dygtigste mennesker inden for det her område sidder her på Aarhus Universitet - og besidder et vigtigt videnskabeligt fundament for blockchain-teknologiens udvikling,” siger fondsformand Lars Seier: https://t.co/xX1AK6W8Tm #aarhusuni #dkforsk #dktech

[Peter Gorm Larsen @PeterGormLarsen]

Jeg glæder mig til at give de nye studerende det første programmeringskursus på Computer Engineeringkurset efter sommer!

[Aarhus Universitet @AarhusUni]

Aarhus Universitet åbner i 2019 tre nye 5-årige civilingeniøruddannelser, som en del af vores store strategiske satsning på det teknisk videnskabelige område. Vi skaber dermed 240 ekstra studiepladser til fremtidens ingeniører: https://t.co/L9umD8i1vF #uddpol #aarhusuni

[Peter Gorm Larsen @PeterGormLarsen]

also consider our event https://t.co/Jl2mhHO0ZH in this connection

[Formal Methods 2026 @FMsymp]

@formalmethods19 will take place in #Portugal, the World's Leading Destination 2018 by World Travel Awards. @formalmethods19 is the perfect opportunity to visit this beautiful country! 👌🔝
https://t.co/dsZmCbHW8j
@FormalMtds #formalmethods

[Peter Gorm Larsen @PeterGormLarsen]

If you are interested in the industrial use of formal methods you should be interested in this workshop: https://t.co/Jl2mhHO0ZH

[Formal Methods 2026 @FMsymp]

🆕 The 17th Overture Workshop (#OVT 2019) will be part of the FM Week of #formalmethods19. Details in https://t.co/7l2LMWjOYn! 👌🔝
#formalmethods #formalmethods19 #Oporto

[Peter Gorm Larsen @PeterGormLarsen]

I hope this workshop will make a difference...

[Formal Methods 2026 @FMsymp]

Low adoption of #formalmethods in #softwareengineering contrasts with other engineering disciplines - why? Contribute to the #EFM 2019 workshop of @formalmethods19 and be welcome to the FM Week! 😉
https://t.co/08o2p0DA8S
#formalmethods #formalmethods19 #Oporto

[Peter Gorm Larsen @PeterGormLarsen]

Nice experiences of products before they exists

[Peter Gorm Larsen @PeterGormLarsen]

Lots of interesting visitors at the stand

[John Fitzgerald @NclFitz]

It barely fits in our booth but weighs less than 0.1 tractors. Meet Robotti, the new agricultural robot from @AgroIntelli created using model-based cyber-physical tech from @IntoCps and @computingncl. #ICT2018

[DK Frie Forsk.fond @DFF_raad]

.@VSelskab har i samarb med fonden skabt en aften med Sapere Aude forskere. Vil du med? Så tilmeld dig. Bevillingerne er netop uddelt. I den anledning fortæller 5 talenter om deres forskning: @h_dimke @AsmusOlsen @HenrikLicht @SCanulescu @chrochr #dkforsk https://t.co/dkJJGBNga8

[Peter Gorm Larsen @PeterGormLarsen]

New video with an introduction to VDM has been produced. See https://t.co/EnBy2fMjJu.

[Peter Gorm Larsen @PeterGormLarsen]

Jeg kunne lide en video på @YouTube https://t.co/kQcpiQAkdx IntroToVDM SL

[Overture Tool @overturetool]

Overture 2.5.6 is out! Get it here https://t.co/VBWwDo9vIl

[Ken Pierce @kgpierce]

@PeterGormLarsen introducing the first DIGIT event Aarhus University, including an
@IntoCps Industrial Follower Group meeting and launch of the INTO-CPS Association!

[Overture Tool @overturetool]

Overture 2.5.4 is out! Get it here https://t.co/VBWwDo9vIl

[DK Frie Forsk.fond @DFF_raad]

Forskningsreserven er forhandlet på plads. Der afsættes 205 mio. kr. til Danmarks Frie Forskningsfond til forskning i 2018 udover FL-udspil https://t.co/k6LPzt809o

[Aarhus Universitet @AarhusUni]

Nyt Centre for Business Development åbner i dag i Herning. Læs mere: https://t.co/EaqmpKbPbP #Aarhusuni #dkforsk #btech @Aarhus_BSS https://t.co/81NL3lxWj9