Antti Kuusisto

Aktiviteetit

Aktiviteetteja vuodessa 2006 2008 2009 2010 2012 2013 2013

• 24 Konferenssiesitelmä
• 3 Tieteellisen lehden refereenä toimiminen
• 2 Workshopin tai sessionin puheenjohtajana toimiminen
• 2 Maisteriopiskelijoiden ohjaaminen
• 2 Lisää
  • 1 Työpajan, paneelin, session tai tutoriaalin järjestäminen
  • 1 Kutsuttu esitelmä

Aktiviteetteja vuodessa

Hakutulokset

• Modal Logic and Distributed Message Passing Automata

  Kuusisto, A. (Speaker)

  3 syysk. 2013

  Aktiviteetti: Konferenssiesitelmä

• Strong systems of modal logic, with connections to distributed computing

  Kuusisto, A. (Speaker)

  19 huhtik. 2013

  Aktiviteetti: Konferenssiesitelmä

• Second-Order Logic and Definability

  Kuusisto, A. (Keynote speaker)

  31 tammik. 2013

  Aktiviteetti: Kutsuttu esitelmä

• 85th Workshop on General Algebra (AAA85)

  Kuusisto, A. (Puheenjohtaja)

  31 tammik. 2013 → 2 helmik. 2013

  Aktiviteetti: Workshopin tai sessionin puheenjohtajana toimiminen

• Logica Universalis (Lehti)

  Kuusisto, A. (Arvioija)

  2013

  Aktiviteetti: Tieteellisen lehden refereenä toimiminen

• Synthese (Lehti)

  Kuusisto, A. (Arvioija)

  2013

  Aktiviteetti: Tieteellisen lehden refereenä toimiminen

• Distributed computing and modal logic

  Kuusisto, A. (Speaker)

  21 syysk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Undecidable first-order theories of affine geometries

  Kuusisto, A. (Speaker)

  3 syysk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Weak Models of Distributed Computing, with Connections to Modal Logic

  Kuusisto, A. (Speaker)

  12 heinäk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Undecidable first-order theories of affine geometries

  Kuusisto, A. (Speaker)

  26 kesäk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Weak Models of distributed computing, with connections to modal logic

  Kuusisto, A. (Speaker)

  17 kesäk. 2012

  Aktiviteetti: Konferenssiesitelmä

• Some Undecidable Systems of Formal Geometry

  Kuusisto, A. (Speaker)

  4 tammik. 2012

  Aktiviteetti: Konferenssiesitelmä

• On Formal Theories of Geometry

  Kuusisto, A. (Speaker)

  7 lokak. 2011

  Aktiviteetti: Konferenssiesitelmä

• Workshop on Logical Constants at ESSLLI

  Kuusisto, A. (Puheenjohtaja)

  7 elok. 2011 → 12 elok. 2011

  Aktiviteetti: Workshopin tai sessionin puheenjohtajana toimiminen

• IF logic without Identity

  Kuusisto, A. (Speaker)

  17 elok. 2010

  Aktiviteetti: Konferenssiesitelmä

• Logics of imperfect information without identity

  Kuusisto, A. (Speaker)

  17 elok. 2010

  Aktiviteetti: Konferenssiesitelmä

• Modal Logics and Definability

  Kuusisto, A. (Speaker)

  26 toukok. 2010

  Aktiviteetti: Konferenssiesitelmä

• On fragments of IF logic

  Kuusisto, A. (Speaker)

  7 toukok. 2010

  Aktiviteetti: Konferenssiesitelmä

• Theoria (Lehti)

  Kuusisto, A. (Arvioija)

  2010

  Aktiviteetti: Tieteellisen lehden refereenä toimiminen

• Monadic Sigma-1-1 and Modal Logic with Quantified Binary Relations

  Kuusisto, A. (Contributor)

  7 lokak. 2009

  Aktiviteetti: Konferenssiesitelmä

• Modal Logic with Quantified Binary Relations

  Kuusisto, A. (Speaker)

  3 syysk. 2009

  Aktiviteetti: Konferenssiesitelmä

• Sigma-1-1 FO2

  Kuusisto, A. (Speaker)

  17 huhtik. 2009

  Aktiviteetti: Konferenssiesitelmä

• Similarity Relations and Modalisation

  Kuusisto, A. (Speaker) & Virtema, J. (Speaker)

  20 helmik. 2009

  Aktiviteetti: Konferenssiesitelmä

• The First LogCon Workshop of LINT

  Kuusisto, A. (Järjestäjä)

  19 helmik. 2009 → 21 helmik. 2009

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

• SOPML

  Kuusisto, A. (Speaker)

  8 tammik. 2009

  Aktiviteetti: Konferenssiesitelmä

• On Modal Fragments of SO

  Kuusisto, A. (Speaker)

  14 marrask. 2008

  Aktiviteetti: Konferenssiesitelmä

• A modal perspective on monadic second-order alternation hierarchies

  Kuusisto, A. (Speaker)

  9 syysk. 2008

  Aktiviteetti: Konferenssiesitelmä

• SOPML Alternation Hierarchy

  Kuusisto, A. (Speaker)

  23 toukok. 2008

  Aktiviteetti: Konferenssiesitelmä

• Second-Order Propositional Modal Logic

  Kuusisto, A. (Speaker)

  25 tammik. 2008

  Aktiviteetti: Konferenssiesitelmä

• Opinnäytetöiden ohjaus, Pro gradu -tutkielma: Hybridilogiikka

  Kuusisto, A. (Examiner)

  2008 → …

  Aktiviteetti: Maisteriopiskelijoiden ohjaaminen

• Modal Definability of Functions on Modalities

  Kuusisto, A. (Speaker)

  11 toukok. 2007

  Aktiviteetti: Konferenssiesitelmä

• Opinnäytetöiden ohjaus, Pro gradu -tutkielma: µ-kalkyyli - monadisen toisen kertaluvun predikaattilogiikan bisimilaarisesti invariantti fragmentti

  Kuusisto, A. (Examiner)

  2007 → …

  Aktiviteetti: Maisteriopiskelijoiden ohjaaminen

• Multimodal Logics with Operations on Modalities

  Kuusisto, A. (Speaker)

  20 lokak. 2006

  Aktiviteetti: Konferenssiesitelmä