Keijo Heljanko

Professor (Associate Professor)

Activities

  1. 2017
  2. Nordic Workshop on Programming Theory

    Keijo Heljanko (Member)
    1 Nov 20173 Nov 2017

    Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

  3. Hardware Model Checking Competition

    Armin Biere (Organiser), Tom van Dijk (Organiser), Keijo Heljanko (Organiser)
    2 Oct 20176 Oct 2017

    Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

  4. International Conference on Formal Methods in Computer-Aided Design

    Keijo Heljanko (Chair)
    2 Oct 20176 Oct 2017

    Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

  5. SC2 Summer School

    Keijo Heljanko (Organiser), Tomi Janhunen (Organiser), Tommi Junttila (Organiser)
    31 Jul 20174 Aug 2017

    Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

  6. Graphs as Models Workshop

    Keijo Heljanko (Organiser)
    27 Apr 2017

    Activity: Participating in or organising an event typesOrganization of a workshop, panel, session or tutorial

  7. CSC - IT Center for Science Ltd. (External organisation)

    Keijo Heljanko (Member)
    1 Jan 201731 Dec 2017

    Activity: Membership typesPosition of trust in a society or network

  8. Finnish Ministry of Education and Culture (External organisation)

    Keijo Heljanko (Member)
    1 Jan 201731 Dec 2017

    Activity: Membership typesPosition of trust in a society or network

  9. Slovenian Research Agency (External organisation)

    Keijo Heljanko (Reviewer)
    1 Jan 201731 Dec 2017

    Activity: Membership typesPosition of trust in a society or network

  10. 2016
  11. Foreign Visitor

    Keijo Heljanko (Host)
    14 Sep 201621 Sep 2016

    Activity: Hosting a visitor typesHosting a visitor

  12. EUDAT User Meeting, Spain

    Keijo Heljanko (Contributor)
    21 Jun 201624 Jun 2016

    Activity: Talk or presentation typesConference presentation

  13. Big Data Value Association Summit

    Keijo Heljanko (Contributor)
    2 Mar 20163 Mar 2016

    Activity: Talk or presentation typesConference presentation

  14. Finnish Ministry of Education and Culture (External organisation)

    Keijo Heljanko (Member)
    Mar 20162017

    Activity: Membership typesPosition of trust in the public sector

  15. EUDAT User Workshop, Italy

    Keijo Heljanko (Contributor)
    3 Feb 2016

    Activity: Talk or presentation typesConference presentation

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

    Keijo Heljanko (Examiner)
    Jan 2016

    Activity: Examination typesPre-examination of dissertation or acting as opponent to doctoral students

  17. CSC - IT Center for Science Ltd. (External organisation)

    Keijo Heljanko (Member)
    20162017

    Activity: Membership typesPosition of trust in a society or network

  18. International Competition on Software Verification

    Keijo Heljanko (Member)
    2016

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

  19. 2015
  20. Ganesh Gopalakrishnan

    Keijo Heljanko (Host)
    1 Jan 2015

    Activity: Hosting a visitor typesHosting a visitor

  21. Roland Meyer

    Keijo Heljanko (Host)
    1 Jan 2015

    Activity: Hosting a visitor typesHosting a visitor

  22. 41st Euromicro Conference on Software Engineering and Advanced Applications, Portugal

    Keijo Heljanko (Contributor)
    2015

    Activity: Talk or presentation typesConference presentation

  23. Biobank Cloud NGS Hadoop Workshop, Sweden

    Keijo Heljanko (Speaker)
    2015

    Activity: Talk or presentation typesPublic or invited talk

  24. EUROMICRO Conference on Software Engineering and Advanced Applications

    Keijo Heljanko (Member)
    2015

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

  25. EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS

    Keijo Heljanko (Member)
    2015

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

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

    Keijo Heljanko (Member)
    2015

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

  27. NASA Formal Methods Symposium 2015, USA

    Keijo Heljanko (Contributor)
    2015

    Activity: Talk or presentation typesConference presentation

  28. University of Utah

    Keijo Heljanko (Visiting researcher)
    2015

    Activity: Visiting an external institution typesVisit abroad

  29. Uppnex Workshop e-Infrastructures for Massively Parallel Sequencing, Sweden

    Keijo Heljanko (Contributor)
    2015

    Activity: Talk or presentation typesConference presentation

  30. Uppsala Genomics today and tomorrow Workshop, Sweden

    Keijo Heljanko (Speaker)
    2015

    Activity: Talk or presentation typesPublic or invited talk

  31. 2014
  32. Margus Lukk

    Keijo Heljanko (Host)
    1 Jan 2014

    Activity: Hosting a visitor typesHosting a visitor

  33. 4th International Halmstad Summer School on Testing, HSST 2014, Sweden

    Keijo Heljanko (Speaker)
    2014

    Activity: Talk or presentation typesPublic or invited talk

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

    Keijo Heljanko (Speaker)
    2014

    Activity: Talk or presentation typesPublic or invited talk

  35. Dutch Model Checking Day 2014, Alankomaat

    Keijo Heljanko (Speaker)
    2014

    Activity: Talk or presentation typesPublic or invited talk

  36. EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS

    Keijo Heljanko (Member)
    2014

    Activity: Participating in or organising an event typesMembership of a scientific or program committee of a conference or seminar

  37. 2013
  38. Alexander Heussner

    Keijo Heljanko (Host)
    1 Jan 2013

    Activity: Hosting a visitor typesHosting a visitor

  39. Gerald Luettgen

    Keijo Heljanko (Host)
    1 Jan 2013

    Activity: Hosting a visitor typesHosting a visitor

  40. Austrian Science Fund (External organisation)

    Keijo Heljanko (Reviewer)
    2013

    Activity: Membership typesPosition of trust in a society or network

  41. European Science Foundation (External organisation)

    Keijo Heljanko (Member)
    2013

    Activity: Membership typesPosition of trust in a society or network

  42. Slovenian Research Agency (External organisation)

    Keijo Heljanko (Examiner)
    2013

    Activity: Membership typesPosition of trust in a society or network

  43. The Finnish Society for Computer Science (External organisation)

    Keijo Heljanko (Member)
    20132015

    Activity: Membership typesPosition of trust in a society or network

  44. 2012
  45. European Commission (External organisation)

    Keijo Heljanko (Reviewer)
    2012

    Activity: Membership typesPosition of trust in a society or network

  46. 2011
  47. Alin Stefanescu

    Keijo Heljanko (Host)
    1 Jan 2011

    Activity: Hosting a visitor typesHosting a visitor

  48. Domaine d'Intéret Majeur Logiciels et Systemès Complexes (External organisation)

    Keijo Heljanko (Examiner)
    2011

    Activity: Membership typesPosition of trust in a society or network

  49. European Commission (External organisation)

    Keijo Heljanko (Reviewer)
    2011

    Activity: Membership typesPosition of trust in a society or network

  50. European Science Foundation (External organisation)

    Keijo Heljanko (Member)
    2011

    Activity: Membership typesPosition of trust in a society or network

  51. INRIA Rennes

    Keijo Heljanko (Visiting researcher)
    2011

    Activity: Visiting an external institution typesVisit abroad

  52. Slovenian Research Agency (External organisation)

    Keijo Heljanko (Examiner)
    2011

    Activity: Membership typesPosition of trust in a society or network

  53. 2010
  54. European Commission (External organisation)

    Keijo Heljanko (Chair)
    2010

    Activity: Membership typesPosition of trust in a society or network

  55. German Research Foundation (External organisation)

    Keijo Heljanko (Examiner)
    2010

    Activity: Membership typesPosition of trust in a society or network

  56. IT University of Copenhagen

    Keijo Heljanko (Visiting researcher)
    2010

    Activity: Visiting an external institution typesVisit abroad

  57. University of Rostock

    Keijo Heljanko (Visiting researcher)
    2010

    Activity: Visiting an external institution typesVisit abroad

  58. 2009
  59. Artemis Industry Association

    Keijo Heljanko (Visiting researcher)
    2009

    Activity: Visiting an external institution typesVisit abroad

Previous 1 2 Next

ID: 66590