|
Einar Broch Johnsen
@
ebjohnsen
Oslo, Norway
|
|
Professor of Computer Science, University of Oslo.
Coordinator EU FP7 @EnvisageProject on formal methods for cloud computing
|
|
|
1.205
Tweetovi
|
329
Pratim
|
361
Osobe koje vas prate
|
| Tweetovi |
|
|
Einar Broch Johnsen
@ebjohnsen
|
5. velj |
|
Congrats!
|
||
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Conrad Longmore 🇪🇺
@ConradLongmore
|
3. velj |
|
If Microsoft Teams is down for you...
Remember it's Office *365* and there are 366 days in 2020.
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
27. sij |
|
“ML components require inductive rather than deductive reasoning, similar to safety cases” says @JCPWoodcock
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
26. sij |
|
Sounds reasonable enough, but are you at CPH at 4 pm for a coffee?
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
22. sij |
|
Heading for Madrid and the PhD defense of Pablo Gordillo Alguacil tomorrow! (May the Rioja flow.)
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Claudio
@menghi_claudio
|
13. sij |
|
Workshop on Agents and Robots for reliable Engineered Autonomy (AREA) - Submission Deadline: 1st March 2020 (AoE) - Please consider submitting a paper! area2020.github.io
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Formal Methods Europe
@FormalMtds
|
16. sij |
|
FormaliSE 2020: 8th Conference on Formal Methods in Software Engineering. Prepare you papers, deadline coming up in one week! formalise.org/cfp @FormaliSEconf
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
|
Formal Methods Europe
@FormalMtds
|
16. sij |
|
Did you ever wonder what @ShriramKMurthi talked about at FM2019? youtube.com/watch?v=UCwyOS… @formalmethods19
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Kiko
@kikofernandez
|
8. sij |
|
I would like to share my knowledge on how to automate the creation of research artifacts via @opensourceway #research @ECOOPconf red.ht/2T2WhVu
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
FormaliSE
@FormaliSEconf
|
7. sij |
|
Final Call for Papers: FormaliSE 2020 - one week deadline extension - mailchi.mp/00db2fe70226/a…
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Richard Feynman
@ProfFeynman
|
2. sij |
|
If the number 666 is considered evil, then technically, 25.8069758 is the root of all evil.
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Claudia Hauff
@CharlotteHase
|
21. pro |
|
ACM defends its decision to sign OSTP letter. They didn't even put in effort. No real reasons, no explanation of who reached the decision, no acknowledgement of ACM today being a global organization. Extremely disappointing. acm.org/about-acm/oppo…
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Arvind Narayanan
@random_walker
|
21. pro |
|
This unfolding story deserves wider attention. ACM, the main academic society for computer science, has signed a despicable letter opposing open access. Computer scientists are shocked and figuring out how to protest. This is about the future of knowledge. twitter.com/search?q=ACM+o…
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
20. pro |
|
Congrats on 111000!
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
10. pro |
|
Enjoy, the leopards should be easy to handle given your expertise with cats!
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
9. pro |
|
Congrats, @thorsten_berger !
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
9. pro |
|
Congrats! is Maurice on Twitter, BTW? :-)
|
||
|
|
||
| Einar Broch Johnsen proslijedio/la je tweet | ||
|
Carlo A. Furia
@bugcounting
|
4. pro |
|
Wytse Oortwijn walks us through an official natural language specification of a Dutch tunnel, pointing out that it uses first-order quantifiers! The #ifm19 audience approves. @iFMconf pic.twitter.com/3lYHXoe3n9
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
4. pro |
|
@MattLuckcuck presenting a survey on formal specification and verification of autonomous robotic systems. Journal first at @iFMconf pic.twitter.com/yOC3cBxrJQ
|
||
|
|
||
|
|
Einar Broch Johnsen
@ebjohnsen
|
4. pro |
|
The general chair @fm_volker opens @iFMconf with the PC chairs Lizeth Tapia and Wolfgang Ahrendt pic.twitter.com/UIuM508w62
|
||
|
|
||