Hugo Daniel Macedo

Aktiviteter

Aktiviteter pr. år 2018 2018 2020 2024

• 4 Peer reviewer/fagfællebedømmer af manuskripter
• 2 Medlem af udvalg, råd og nævn
• 1 Deltagelse i eller organisering af konference
• 1 Redaktør af uafslutttet antologi/samleværk
• 1 Mere
  • 1 Besøg ved en ekstern, akademisk institution

Aktiviteter pr. år

Søgeresultater

• Instituto Superior Técnico

  Macedo, H. D. (Gæsteforsker)

  aug. 2024 → …

  Aktivitet: Besøg på en ekstern institution - typer › Besøg ved en ekstern, akademisk institution

• 20th Overture Workshop (Begivenhed)

  Pezzoni, A. (Medlem), Ishikawa, F. (Medlem), Macedo, H. D. (Medlem), Araki, K. (Medlem), Pierce, K. (Medlem), Lausdahl, K. (Medlem), Verhoef, M. (Medlem), Frasheri, M. (Medlem), Battle, N. (Medlem), Masci, P. (Medlem), Larsen, P. G. (Medlem), Oda, T. (Medlem) & Bandur, V. (Medlem)

  22 aug. 2022

  Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Medlem af udvalg, råd og nævn

• 18th International Overture Workshop (Begivenhed)

  Macedo, H. D. (Redaktør)

  7 dec. 2020

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Redaktør af uafslutttet antologi/samleværk › Formidling

• HUBCAP

  Schultz, C. P. L. (Deltager), Macedo, H. D. (Deltager), Boudjadar, J. (Deltager), Bødskov, L. B. (Arrangør), Esterle, L. (Deltager), Jordal, N. B. (Arrangør), Larsen, P. G. (Arrangør) & Kulik, T. (Deltager)

  21 jan. 2020 → 23 jan. 2020

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Deltagelse i eller organisering af konference

• 18th International Overture Workshop (Begivenhed)

  Macedo, H. D. (Medlem)

  2020

  Aktivitet: Præsentationer, medlemskaber, ejerskab og andre aktiviteter › Medlem af udvalg, råd og nævn

• 23rd International Conference on Formal Methods for Industrial Critical Systems (Begivenhed)

  Macedo, H. D. (Fagfællebedømmer)

  2018

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 6TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (Begivenhed)

  Macedo, H. D. (Redaktør)

  2018

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 22nd International Symposium on Formal Methods (Begivenhed)

  Macedo, H. D. (Redaktør)

  2018

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• 1st International Workshop on Robotics Software Engineering (Begivenhed)

  Macedo, H. D. (Redaktør)

  2018

  Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning