Activities per year
Activities
- 100 - 126 out of 126 results
Search results
-
MOVES: a Tool for Modeling and Verification of Embedded Systems
Kim Guldstrand Larsen (Lecturer)
12 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Modelling Day
Kim Guldstrand Larsen (Lecturer)
3 Mar 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
ARTIST2: Winterschool
Kim Guldstrand Larsen (Lecturer)
19 Feb 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
ARTIST2
Kim Guldstrand Larsen (Lecturer)
19 Feb 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Brug af TTCN til Protokoltest
Brian Nielsen (Lecturer)
16 Jan 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
Online Test and Monitoring of Real-time Systems
Brian Nielsen (Lecturer)
6 Jan 2007Activity: Talks and presentations › Talks and presentations in private or public companies
-
International Workshop on Service-Oriented Architectures and Software Product Lines at Software Product Lines Conference
Peter Dolog (Speaker)
8 Oct 2008 → 12 Oct 2008Activity: Talks and presentations › Talks and presentations in private or public companies
-
SemWiki 2008 - The Wiki Way of Semantics: 3rd Semantic Wiki Workshop co-located with the 5th European Semantic Web Conference (ESWC)
Peter Dolog (Speaker)
2 Jun 2008 → 6 Jun 2008Activity: Talks and presentations › Talks and presentations in private or public companies
-
European Semantic Web Conference 2008
Peter Dolog (Speaker)
1 Jun 2008 → 5 Jun 2008Activity: Talks and presentations › Talks and presentations in private or public companies
-
Model-Driven Verification and Testing of Embedded systems
Brian Nielsen (Lecturer)
19 Jun 2009Activity: Talks and presentations › Talks and presentations in private or public companies
-
Usability Evaluation of a Home Telemedicine System
Anders Bruun (Lecturer)
12 Oct 2010 → 13 Oct 2010Activity: Talks and presentations › Talks and presentations in private or public companies
-
Introduction to Logic and Model Theory
Radu Iulian Mardare (Lecturer)
Nov 2011 → Dec 2011Activity: Talks and presentations › Talks and presentations in private or public companies
-
Truth, Provability and Metamathematics
Radu Iulian Mardare (Lecturer)
Nov 2012Activity: Talks and presentations › Talks and presentations in private or public companies
-
Syntax and Semantics for UCN
Radu Iulian Mardare (Lecturer)
Jan 2013 → Feb 2013Activity: Talks and presentations › Talks and presentations in private or public companies
-
Search, Exploration and Analytics of Evolving Data
Nattiya Kanhabua (Speaker)
23 Jul 2015Activity: Talks and presentations › Talks and presentations in private or public companies
-
Value creation with data: What does it require from an organization?
Olivia Benfeldt (Lecturer)
30 Jun 2020Activity: Talks and presentations › Talks and presentations in private or public companies
-
Online workshop in PBL and Mathematics. UCPBL workshop on Zoom
Bettina Dahl Søndergaard (Lecturer), Morten Grud Rasmussen (Panel member), Jakob Gulddahl Rasmussen (Panel member) & Hans Hüttel (Panel member)
31 May 2022Activity: Talks and presentations › Talks and presentations in private or public companies
-
Invited talk at the Center for Intelligent & Interactive Robotics at KIST University
Eike Schneiders (Speaker)
18 Mar 2022Activity: Talks and presentations › Talks and presentations in private or public companies
-
Vin & Viden: Kunstig intelligens og farlige chatbots
Johannes Bjerva (Lecturer) & Andreas Møgelmose (Lecturer)
20 Sept 2023Activity: Talks and presentations › Talks and presentations in private or public companies
-
Possibilities and Risks in Integration of Large Language Models
Johannes Bjerva (Speaker)
24 May 2023Activity: Talks and presentations › Talks and presentations in private or public companies
-
ChatGPT & LLM: Fremtiden for kunstig intelligens inden for sundhedspleje?
Johannes Bjerva (Speaker)
16 May 2023Activity: Talks and presentations › Talks and presentations in private or public companies
-
ChatGPT – Possibilities and Risks in Integration of Large Language Models
Johannes Bjerva (Lecturer)
30 Mar 2023Activity: Talks and presentations › Talks and presentations in private or public companies
-
ChatGPT has taken the internet by storm
Johannes Bjerva (Speaker)
26 Jan 2023Activity: Talks and presentations › Talks and presentations in private or public companies
-
UFM: Uddannelses- og Forskningsmødet: Hvordan kan kunstig intelligens støtte faglig udvikling?
Johannes Bjerva (Speaker)
11 Apr 2024Activity: Talks and presentations › Talks and presentations in private or public companies
-
Netværk i Cybersikkerhed: Large Language Models: Inner workings and Cybersecurity Risks
Johannes Bjerva (Speaker)
21 Feb 2024Activity: Talks and presentations › Talks and presentations in private or public companies
-
Towards Language Technology for Marginalized Creoles
Heather Christine Lent (Speaker) & Johannes Bjerva (Speaker)
30 Jan 2024Activity: Talks and presentations › Talks and presentations in private or public companies