Activities per year
Activities
- 1 - 50 out of 56 results
Search results
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Hella, L. (Visitor)
3 Oct 2022 → 29 Nov 2022Activity: Visiting an external institution › Visit abroad
-
University of Cambridge, Computer Laboratory
Hella, L. (Visitor)
25 Sept 2022 → 30 Sept 2022Activity: Visiting an external institution › Visit abroad
-
30 Years of Finite Model Theory in Finland
Hella, L. (Chair)
1 Sept 2021 → 31 Aug 2022Activity: Participating in or organising an event › Membership of an organizing committee of a conference or seminar
-
Annual Symposium on Logic in Computer Science, LICS 2021
Hella, L. (Chair)
1 Jun 2020 → 31 Jul 2021Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Mirka Karjalainen: Opetusmenetelmän vaikutus insinöörien matemaattisen osaamisen kehittymiseen yliopisto-opintojen alussa
Hella, L. (Examiner), Kaarakka, T. (Examiner) & Viro, I. E. (Examiner)
May 2020 → Nov 2020Activity: Evaluation, examination and supervision › Supervisor of master student
-
Opponent of PhD thesis defence
Hella, L. (Examiner)
9 Jan 2020Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Tytti Kuokkanen: Osallistumisaktiivisuuden vaikutus oppimistuloksiin insinöörimatematiikan opintojaksoilla
Kangaslampi, R. (Examiner), Hirvonen, J. (Examiner) & Hella, L. (Examiner)
2020 → 2021Activity: Evaluation, examination and supervision › Supervisor of master student
-
Opponent of PhD thesis defence
Hella, L. (Examiner)
10 Dec 2019Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Hella, L. (Visitor)
13 Nov 2017 → 18 Nov 2017Activity: Visiting an external institution › Visit abroad
-
Computer Science Logic 2017 (CSL 2017) (Event)
Hella, L. (Reviewer)
20 Aug 2017 → 24 Aug 2017Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
Computer Science Logic 2017 (CSL 2017)
Hella, L. (Chair)
1 Oct 2016 → 24 Aug 2017Activity: Participating in or organising an event › Membership of a scientific or program committee of a conference or seminar
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Hella, L. (Visitor)
8 Nov 2015 → 14 Nov 2015Activity: Visiting an external institution › Visit abroad
-
Computer Science Logic 2015 (CSL 2015) (Event)
Hella, L. (Reviewer)
7 Sept 2015 → 10 Sept 2015Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
9th Scandinavian Logic Symposium
Hella, L. (Organiser)
25 Aug 2014 → 27 Aug 2014Activity: Participating in or organising an event › Membership of an organizing committee of a conference or seminar
-
Computer Science Department, University of California, Santa Cruz
Hella, L. (Visitor)
7 Apr 2014 → 16 May 2014Activity: Visiting an external institution › Visit abroad
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Hella, L. (Visitor)
3 Feb 2014 → 13 Feb 2014Activity: Visiting an external institution › Visit abroad
-
Lausunto Fredrik Engströmin dosentuurihakemuksesta Göteborgin yliopistolle
Hella, L. (Contributor)
2 Feb 2014Activity: Evaluation, examination and supervision › Statement of assessment of docentship
-
Mathematische Grundlagen der Informatik, RWTH Aachen
Hella, L. (Visitor)
4 Nov 2013 → 15 Nov 2013Activity: Visiting an external institution › Visit abroad
-
Informatiikan Instituutti, Wroclawin yliopisto
Hella, L. (Visitor)
18 Oct 2013 → 26 Oct 2013Activity: Visiting an external institution › Visit abroad
-
Leibniz-University, Hannover
Hella, L. (Visitor)
4 Nov 2012 → 8 Nov 2012Activity: Visiting an external institution › Visit abroad
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
14 Jun 2012Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Hella, L. (Visitor)
12 Jun 2012 → 15 Jun 2012Activity: Visiting an external institution › Visit abroad
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
31 May 2012Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Leibniz yliopisto, Teoreettisen tietojenkäsittelyopin laitos
Hella, L. (Visitor)
23 May 2011 → 28 May 2011Activity: Visiting an external institution › Visit abroad
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
30 Jan 2011Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Väitöskirjan esitarkastus
Hella, L. (Pre-examiner or opponent of dissertation)
2 Sept 2010Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
22 Jun 2010Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Mittag-Leffler Instituutti
Hella, L. (Visitor)
20 Oct 2009 → 15 Dec 2009Activity: Visiting an external institution › Visit abroad
-
Väitöskirjan esitarkastus
Hella, L. (Pre-examiner or opponent of dissertation)
2 Jun 2009Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
25 Nov 2008Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Väitöskirjan esitarkastus
Hella, L. (Pre-examiner or opponent of dissertation)
22 May 2008Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Opinnäytetöiden ohjaus, Väitöskirja: Riippuvuuslogiikkaa ja modaalilogiikkaa
Hella, L. (Examiner)
2008 → 2012Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Approaches to finite variable dependence: Expressiveness and computational complexity
Hella, L. (Examiner)
2008 → 2014Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Väitöskirjan esitarkastus
Hella, L. (Pre-examiner or opponent of dissertation)
4 Sept 2007Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Väitöskirjan esitarkastus
Hella, L. (Pre-examiner or opponent of dissertation)
27 Oct 2006Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Lausunto Juliette Kennedyn tieteellisestä pätevyydestä dosentin virkaa varten
Hella, L. (Contributor)
10 Apr 2006Activity: Evaluation, examination and supervision › Statement of assessment of docentship
-
Isaac Newton Institute for Mathematical Sciences
Hella, L. (Visitor)
16 Jan 2006 → 7 Jul 2006Activity: Visiting an external institution › Visit abroad
-
Opinnäytetöiden ohjaus, Väitöskirja: Modaalilogiikkaa ja äärellisten mallien teoriaa
Hella, L. (Examiner)
2005 → 2010Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun logiikan modaalisista fragmenteista
Hella, L. (Examiner)
2005 → 2011Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Modal fragments of second order logic
Hella, L. (Examiner)
2005 → 2011Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Väitöskirjan esitarkastus
Hella, L. (Pre-examiner or opponent of dissertation)
30 Nov 2004Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
19th Annual IEEE Symposium on Logic in Computer Science (LICS 04)
Hella, L. (Organiser)
13 Jul 2004 → 17 Jul 2004Activity: Participating in or organising an event › Organization of a workshop, panel, session or tutorial
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
24 Jun 2004Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2004) (Event)
Hella, L. (Reviewer)
17 Feb 2004 → 20 Feb 2004Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
Opinnäytetöiden ohjaus, Väitöskirja: On definability of functions of several variables
Hella, L. (Examiner)
2002 → 2006Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Lisensiaatintutkimus: Correspondences between definability of Boolean functions and frame definability in modal logic
Hella, L. (Examiner)
2002 → 2007Activity: Evaluation, examination and supervision › Supervisor of licentiate candidate
-
Toimiminen vastaväittäjänä
Hella, L. (Pre-examiner or opponent of dissertation)
31 May 2001Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Opinnäytetöiden ohjaus, Väitöskirja: Generalizing the Goldblatt-Thomason theorem and modal definability
Hella, L. (Examiner)
2001 → 2008Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Abiteboul-Vianu teoriaa yleistettyjen kvanttorien kanssa
Hella, L. (Examiner)
2001 → 2005Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun yleistetyistä kvanttoreista
Hella, L. (Examiner)
1996 → 2000Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate