Annika Kanckos

Aktiviteter

Aktiviteter per år 2020 2020 2022 2022

• 2 Arrangemang av och deltagande i konferens/workshop/kurs/seminarium
• 1 !!Invited talk

Aktiviteter per år

Sökresultat

• 4th International Workshop onAutomated Reasoning in Quantified Non-Classical Logics

  Kanckos, A. (Medlem av vetenskaplig kommitté)

  11 aug. 2022

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium

• The philosophical roots of mathematical logic

  Kanckos, A. (!!Invited speaker)

  4 apr. 2022 → 6 apr. 2022

  Aktivitet: Typer för tal eller presentation › !!Invited talk

• Advances in Modal Logic 2020

  Kanckos, A. (Medlem i organisationskommitté)

  24 aug. 2020 → 28 aug. 2020

  Aktivitet: Typer för deltagande i eller organisering av evenemang › Arrangemang av och deltagande i konferens/workshop/kurs/seminarium