Theoretical Computer Science

Aktiviteter

Aktiviteter pr. år 2014 2014 2015 2016 2023

• 9 Organisation og deltagelse i konference
• 5 Organisation og deltagelse i workshop, seminar og kursus
• 3 Foredrag og mundtlige bidrag
• 2 Medlemskab af bedømmelsesudvalg
• 1 Mere
  • 1 Andet (priser, ekstern undervisning samt andet). - Priser, stipendier, udnævnelser

Aktiviteter pr. år

Søgeresultater

• The mathematics in The Hilbert Heartbreak Hotel

  Husfeldt, T. (Foredragsholder)

  28 mar. 2015

  Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

• Verifying Security Protocols in Tamarin

  Schürmann, C. (Arrangør)

  25 jan. 2016 → 29 jan. 2016

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

• Symposium on Principles of Database Systems

  Silvestri, F. (Member of Programme Committee)

  2017

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• Scandinavian Symposium and Workshops on Algorithm Theory

  Pagh, R. (Conference Chair)

  22 jun. 2016 → 24 jun. 2016

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• PhD Course - Analysis of Boolean Functions

  Dusefante, M. (Arrangør)

  4 apr. 2016 → 19 jun. 2016

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

• IEEE International Parallel & Distributed Processing Symposium

  Silvestri, F. (Conference Chair) & Silvestri, F. (Publicity Chair)

  2015

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• IEEE International Parallel & Distributed Processing Symposium

  Silvestri, F. (Publicity Chair) & Silvestri, F. (Member of Programme Committee)

  2016

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• IEEE Cluster 2015

  Silvestri, F. (Publicity Chair)

  2015

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• ICE 2019 - 12th Interaction and Concurrency Experience (Begivenhed)

  Lopez, H. A. (Medlem)

  20 jun. 2019 → 21 jun. 2019

  Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg

• Homotopy type theory seminar

  Pouillard, N. (Arrangør) & Møgelberg, R. E. (Arrangør)

  5 feb. 2014 → …

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

• Hiring committee for recruitment of assistant/associate professor in Data-Intensive Systems and Applications (Begivenhed)

  Sestoft, P. (Forperson), Tözün, P. (Medlem) & Husfeldt, T. (Medlem)

  22 aug. 2023 → 31 dec. 2023

  Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg

• Counting Problems in Parameterized Complexity

  Curticapean, R.-C. (Oplægsholder)

  24 aug. 2018

  Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

• Cubical sets

  Møgelberg, R. E. (Arrangør)

  1 dec. 2014 → 2 dec. 2014

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

• Code Scanning

  Schürmann, C. (Arrangør)

  7 apr. 2014 → 20 maj 2014

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

• Best Paper Award

  Pham, N. D. (Deltager)

  7 apr. 2014 → 11 apr. 2014

  Aktivitet: Andre aktivitetstyper › Andet (priser, ekstern undervisning samt andet). - Priser, stipendier, udnævnelser

• Approximate Furthest Neighbour in High Dimensions

  Skala, M. (Oplægsholder)

  3 nov. 2015

  Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag

• 25th International Joint Conference on Artificial Intelligence

  Silvestri, F. (Member of Programme Committee)

  2016

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• 23rd European Symposium on Algorithms

  Silvestri, F. (Member of Programme Committee)

  2015

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• 2019 Annual Conference of the North American Chapter of the Association for Computational Linguistics

  Schluter, N. (Other (please specify))

  1 sep. 2018 → 30 jun. 2019

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference

• 18th International Conference on Extending Database Technology

  Silvestri, F. (Deltager)

  23 mar. 2015 → 27 mar. 2015

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i konference