Einar Broch Johnsen

@ebjohnsen

Professor of Computer Science, University of Oslo. Coordinator EU FP7 on formal methods for cloud computing

Oslo, Norway
Vrijeme pridruživanja: prosinac 2010.

Tweetovi

Blokirali ste korisnika/cu @ebjohnsen

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @ebjohnsen

  1. 27. sij

    “ML components require inductive rather than deductive reasoning, similar to safety cases” says

    Poništi
  2. 22. sij

    Heading for Madrid and the PhD defense of Pablo Gordillo Alguacil tomorrow! (May the Rioja flow.)

    Poništi
  3. proslijedio/la je Tweet
    13. sij

    Workshop on Agents and Robots for reliable Engineered Autonomy (AREA) - Submission Deadline: 1st March 2020 (AoE) - Please consider submitting a paper!

    Poništi
  4. proslijedio/la je Tweet
    16. sij

    FormaliSE 2020: 8th Conference on Formal Methods in Software Engineering. Prepare you papers, deadline coming up in one week!

    Poništi
  5. proslijedio/la je Tweet
    16. sij

    Did you ever wonder what talked about at FM2019?

    Poništi
  6. proslijedio/la je Tweet
    8. sij

    I would like to share my knowledge on how to automate the creation of research artifacts via

    Poništi
  7. proslijedio/la je Tweet
    7. sij

    Final Call for Papers: FormaliSE 2020 - one week deadline extension -

    Poništi
  8. proslijedio/la je Tweet
    2. sij

    If the number 666 is considered evil, then technically, 25.8069758 is the root of all evil.

    Poništi
  9. proslijedio/la je Tweet
    20. pro 2019.

    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.

    Poništi
  10. proslijedio/la je Tweet

    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.

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    4. pro 2019.

    Wytse Oortwijn walks us through an official natural language specification of a Dutch tunnel, pointing out that it uses first-order quantifiers! The audience approves.

    Poništi
  12. 3. pro 2019.

    The general chair opens with the PC chairs Lizeth Tapia and Wolfgang Ahrendt

    Poništi
  13. 2. pro 2019.

    Francesco Leofante (Imperial College) kicking off the workshop on formal methods and AI for Logistics at in Bergen

    Poništi
  14. proslijedio/la je Tweet
    29. stu 2019.

    [✓] badges [✓] LNCS proceedings [✓] dinner tickets & swap is GO! Thanks to the help of Violet and others; I'm out and about because of exams. See you all next week!

    Prikaži ovu nit
    Poništi
  15. 6. stu 2019.

    Attending the project meeting in Dresden this week, discussing runtime verification in hardware with et al.

    Poništi
  16. 18. lis 2019.

    Bjørnar Luteberget about to start on his PhD defense!

    Poništi
  17. proslijedio/la je Tweet
    11. lis 2019.

    If you're coming to iFM, take a look at our satellite events Monday & Tuesday! Full program on our webpage:

    Poništi
  18. proslijedio/la je Tweet
    11. lis 2019.
    Poništi
  19. proslijedio/la je Tweet
    10. lis 2019.
    Poništi
  20. proslijedio/la je Tweet
    9. lis 2019.

    Formal Methods Europe business meeting later today Wed 9 Oct, 17:00-18:00 (GMT+1) in Porto . If you cannot join in person you may follow the webinar online .

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·