Keijo Heljanko

Professori (Associate Professor)

Aktiviteetit

  1. 2017
  2. Nordic Workshop on Programming Theory

    Keijo Heljanko (Member)
    1 marraskuuta 20173 marraskuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  3. Hardware Model Checking Competition

    Armin Biere (Järjestäjä), Tom van Dijk (Järjestäjä), Keijo Heljanko (Järjestäjä)
    2 lokakuuta 20176 lokakuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  4. INTERNATIONAL CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN

    Keijo Heljanko (Puheenjohtaja)
    2 lokakuuta 20176 lokakuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  5. SC2 Summer School

    Keijo Heljanko (Järjestäjä), Tomi Janhunen (Järjestäjä), Tommi Junttila (Järjestäjä)
    31 heinäkuuta 20174 elokuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  6. Graphs as Models Workshop

    Keijo Heljanko (Järjestäjä)
    27 huhtikuuta 2017

    Aktiviteetti: Työpajan, paneelin, session tai tutoriaalin järjestäminen

  7. CSC - IT Center for Science Ltd. (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    1 tammikuuta 201731 joulukuuta 2017

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  8. Finnish Ministry of Education and Culture (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    1 tammikuuta 201731 joulukuuta 2017

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  9. Slovenian Research Agency (Ulkoinen yksikkö)

    Keijo Heljanko (Arvioija)
    1 tammikuuta 201731 joulukuuta 2017

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  10. 2016
  11. Foreign Visitor

    Keijo Heljanko (Host)
    14 syyskuuta 201621 syyskuuta 2016

    Aktiviteetti

  12. Conference, seminar or workshop, Spain

    Keijo Heljanko (Kontribuuttori)
    21 kesäkuuta 201624 kesäkuuta 2016

    Aktiviteetti: Konferenssiesitelmä

  13. Conference, seminar or workshop, Netherlands

    Keijo Heljanko (Kontribuuttori)
    2 maaliskuuta 20163 maaliskuuta 2016

    Aktiviteetti: Konferenssiesitelmä

  14. Finnish Ministry of Education and Culture (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    maaliskuuta 20162017

    Aktiviteetti: Nimitetty yhteiskunnallinen asiantuntija- tai luottamustehtävä

  15. Conference, seminar or workshop, Italy

    Keijo Heljanko (Kontribuuttori)
    3 helmikuuta 2016

    Aktiviteetti: Konferenssiesitelmä

  16. Doctoral Thesis Pre-examiner, Masaryk University, Faculty of Informatics, Czech Republic

    Keijo Heljanko (Examiner)
    tammikuuta 2016

    Aktiviteetti: Väitöskirjan esitarkastajana tai vastaväittäjänä toimiminen

  17. CSC - IT Center for Science Ltd. (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    20162017

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  18. International Competition on Software Verification

    Keijo Heljanko (Member)
    2016

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  19. 2015
  20. Ganesh Gopalakrishnan

    Keijo Heljanko (Host)
    1 tammikuuta 2015

    Aktiviteetti

  21. Roland Meyer

    Keijo Heljanko (Host)
    1 tammikuuta 2015

    Aktiviteetti

  22. Biobank Cloud NGS Hadoop Workshop, Sweden

    Keijo Heljanko (Puhuja)
    2015

    Aktiviteetti: Julkinen esitelmä

  23. EUROMICRO Conference on Software Engineering and Advanced Applications

    Keijo Heljanko (Member)
    2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  24. EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS

    Keijo Heljanko (Member)
    2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  25. INTERNATIONAL WORKSHOP ON FOUNDATIONS OF COORDINATION LANGUAGES AND SELF ADAPTIVE SYSTEMS

    Keijo Heljanko (Member)
    2015

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  26. NASA Formal Methods Symposium 2015, USA

    Keijo Heljanko (Kontribuuttori)
    2015

    Aktiviteetti: Konferenssiesitelmä

  27. University of Utah

    Keijo Heljanko (Visiting researcher)
    2015

    Aktiviteetti: Vierailu ulkomaille

  28. Uppsala Genomics today and tomorrow Workshop, Sweden

    Keijo Heljanko (Puhuja)
    2015

    Aktiviteetti: Julkinen esitelmä

  29. 2014
  30. Margus Lukk

    Keijo Heljanko (Host)
    1 tammikuuta 2014

    Aktiviteetti

  31. 4th International SAT/SMT PhD Summer School, Austria

    Keijo Heljanko (Puhuja)
    2014

    Aktiviteetti: Julkinen esitelmä

  32. Dutch Model Checking Day 2014, Alankomaat

    Keijo Heljanko (Puhuja)
    2014

    Aktiviteetti: Julkinen esitelmä

  33. EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS

    Keijo Heljanko (Member)
    2014

    Aktiviteetti: Konferenssin tai seminaarin tieteellisen tai ohjelmatoimikunnan jäsenyys

  34. 2013
  35. Alexander Heussner

    Keijo Heljanko (Host)
    1 tammikuuta 2013

    Aktiviteetti

  36. Gerald Luettgen

    Keijo Heljanko (Host)
    1 tammikuuta 2013

    Aktiviteetti

  37. Austrian Science Fund (Ulkoinen yksikkö)

    Keijo Heljanko (Arvioija)
    2013

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  38. European Science Foundation (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    2013

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  39. Slovenian Research Agency (Ulkoinen yksikkö)

    Keijo Heljanko (Tarkastaja)
    2013

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  40. The Finnish Society for Computer Science (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    20132015

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  41. 2012
  42. European Commission (Ulkoinen yksikkö)

    Keijo Heljanko (Arvioija)
    2012

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  43. 2011
  44. Alin Stefanescu

    Keijo Heljanko (Host)
    1 tammikuuta 2011

    Aktiviteetti

  45. Domaine d'Intéret Majeur Logiciels et Systemès Complexes (Ulkoinen yksikkö)

    Keijo Heljanko (Tarkastaja)
    2011

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  46. European Commission (Ulkoinen yksikkö)

    Keijo Heljanko (Arvioija)
    2011

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  47. European Science Foundation (Ulkoinen yksikkö)

    Keijo Heljanko (Jäsen)
    2011

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  48. INRIA Rennes

    Keijo Heljanko (Visiting researcher)
    2011

    Aktiviteetti: Vierailu ulkomaille

  49. Slovenian Research Agency (Ulkoinen yksikkö)

    Keijo Heljanko (Tarkastaja)
    2011

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  50. 2010
  51. European Commission (Ulkoinen yksikkö)

    Keijo Heljanko (Puheenjohtaja)
    2010

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  52. German Research Foundation (Ulkoinen yksikkö)

    Keijo Heljanko (Tarkastaja)
    2010

    Aktiviteetti: Luottamustehtävä seurassa tai verkostossa

  53. IT University of Copenhagen

    Keijo Heljanko (Visiting researcher)
    2010

    Aktiviteetti: Vierailu ulkomaille

  54. University of Rostock

    Keijo Heljanko (Visiting researcher)
    2010

    Aktiviteetti: Vierailu ulkomaille

  55. 2009
  56. Artemis Industry Association

    Keijo Heljanko (Visiting researcher)
    2009

    Aktiviteetti: Vierailu ulkomaille

Edellinen 1 2 Seuraava

ID: 66590