Activities per year
Activities
- 49 results
Search results
-
Mirka Karjalainen: Opetusmenetelmän vaikutus insinöörien matemaattisen osaamisen kehittymiseen yliopisto-opintojen alussa
Lauri Hella (Examiner), Terhi Kaarakka (Examiner) & Ida Elina Viro (Examiner)
May 2020 → Nov 2020Activity: Evaluation, examination and supervision › Supervisor of master student
-
Tytti Kuokkanen: Osallistumisaktiivisuuden vaikutus oppimistuloksiin insinöörimatematiikan opintojaksoilla
Riikka Kangaslampi (Examiner), Jani Hirvonen (Examiner) & Lauri Hella (Examiner)
2020 → 2021Activity: Evaluation, examination and supervision › Supervisor of master student
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
13 Nov 2017 → 18 Nov 2017Activity: Visiting an external institution › Visit abroad
-
Computer Science Logic 2017 (CSL 2017) (Event)
Lauri Hella (Reviewer)
20 Aug 2017 → 24 Aug 2017Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
8 Nov 2015 → 14 Nov 2015Activity: Visiting an external institution › Visit abroad
-
Computer Science Logic 2015 (CSL 2015) (Event)
Lauri Hella (Reviewer)
7 Sep 2015 → 10 Sep 2015Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
9th Scandinavian Logic Symposium
Lauri Hella (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
Lauri Hella (Visitor)
7 Apr 2014 → 16 May 2014Activity: Visiting an external institution › Visit abroad
-
Teoreettisen informatiikan instituutti, Leibniz-University, Hannover
Lauri Hella (Visitor)
3 Feb 2014 → 13 Feb 2014Activity: Visiting an external institution › Visit abroad
-
Lausunto Fredrik Engströmin dosentuurihakemuksesta Göteborgin yliopistolle
Lauri Hella (Contributor)
2 Feb 2014Activity: Evaluation, examination and supervision › Statement of assessment of docentship
-
Mathematische Grundlagen der Informatik, RWTH Aachen
Lauri Hella (Visitor)
4 Nov 2013 → 15 Nov 2013Activity: Visiting an external institution › Visit abroad
-
Informatiikan Instituutti, Wroclawin yliopisto
Lauri Hella (Visitor)
18 Oct 2013 → 26 Oct 2013Activity: Visiting an external institution › Visit abroad
-
Leibniz-University, Hannover
Lauri Hella (Visitor)
4 Nov 2012 → 8 Nov 2012Activity: Visiting an external institution › Visit abroad
-
Toimiminen vastaväittäjänä
Lauri Hella (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
Lauri Hella (Visitor)
12 Jun 2012 → 15 Jun 2012Activity: Visiting an external institution › Visit abroad
-
Toimiminen vastaväittäjänä
Lauri Hella (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
Lauri Hella (Visitor)
23 May 2011 → 28 May 2011Activity: Visiting an external institution › Visit abroad
-
Toimiminen vastaväittäjänä
Lauri Hella (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
Lauri Hella (Pre-examiner or opponent of dissertation)
2 Sep 2010Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Toimiminen vastaväittäjänä
Lauri Hella (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
Lauri Hella (Visitor)
20 Oct 2009 → 15 Dec 2009Activity: Visiting an external institution › Visit abroad
-
Väitöskirjan esitarkastus
Lauri Hella (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ä
Lauri Hella (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
Lauri Hella (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
Lauri Hella (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
Lauri Hella (Examiner)
2008 → 2014Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Väitöskirjan esitarkastus
Lauri Hella (Pre-examiner or opponent of dissertation)
4 Sep 2007Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Väitöskirjan esitarkastus
Lauri Hella (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
Lauri Hella (Contributor)
10 Apr 2006Activity: Evaluation, examination and supervision › Statement of assessment of docentship
-
Isaac Newton Institute for Mathematical Sciences
Lauri Hella (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
Lauri Hella (Examiner)
2005 → 2010Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Modal fragments of second order logic
Lauri Hella (Examiner)
2005 → 2011Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun logiikan modaalisista fragmenteista
Lauri Hella (Examiner)
2005 → 2011Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Väitöskirjan esitarkastus
Lauri Hella (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)
Lauri Hella (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ä
Lauri Hella (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)
Lauri Hella (Reviewer)
17 Feb 2004 → 20 Feb 2004Activity: Publication peer-review and editorial work › Reviewer of Conference Article
-
Opinnäytetöiden ohjaus, Lisensiaatintutkimus: Correspondences between definability of Boolean functions and frame definability in modal logic
Lauri Hella (Examiner)
2002 → 2007Activity: Evaluation, examination and supervision › Supervisor of licentiate candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: On definability of functions of several variables
Lauri Hella (Examiner)
2002 → 2006Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Toimiminen vastaväittäjänä
Lauri Hella (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
Lauri Hella (Examiner)
2001 → 2008Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Abiteboul-Vianu teoriaa yleistettyjen kvanttorien kanssa
Lauri Hella (Examiner)
2001 → 2005Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Opinnäytetöiden ohjaus, Väitöskirja: Toisen kertaluvun yleistetyistä kvanttoreista
Lauri Hella (Examiner)
1996 → 2000Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Toimiminen vastaväittäjänä
Lauri Hella (Pre-examiner or opponent of dissertation)
18 Sep 1993Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Opinnäytetöiden ohjaus, Väitöskirja: Yleistettyjen kvanttoreiden sovelluksia deskriptiivisessä vaativuusteoriassa
Lauri Hella (Examiner)
1993 → 1996Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Väitöskirjan esitarkastus
Lauri Hella (Pre-examiner or opponent of dissertation)
27 May 1992Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Väitöskirjan esitarkastus
Lauri Hella (Pre-examiner or opponent of dissertation)
14 Jun 1991Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students
-
Opinnäytetöiden ohjaus, Väitöskirja: Filtterien sovellukset abstraktissa malliteoriassa
Lauri Hella (Examiner)
1991 → 1992Activity: Evaluation, examination and supervision › Supervisor of doctoral candidate
-
Väitöskirjan esitarkastus
Lauri Hella (Pre-examiner or opponent of dissertation)
6 Sep 1990Activity: Evaluation, examination and supervision › Pre-examination of dissertation or acting as opponent to doctoral students