Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


INHALT & PFAD:
Startseite Archiv


Alle archivierten Informatik-Kolloquien finden Sie hier in der Folge gelistet:

Heute - Bremen - 15.11.2018




12/2018

18.12 // 16.00 Uhr c.t. MZH 1380/1400

Kolloquien
Weihnachtsvorlesung: Bühne frei für die Künstliche Intelligenz [mehr]

Vortragende(r): Hans-Jörg Kreowski Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Weihnachtsvorlesung: Bühne frei für die Künstliche Intelligenz Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

02.11.2018
 
11.12 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Cities are the New Galapagos: Using IoT and Ubiquitous Computing to Sense Urban Flows and Raise Ecological Awareness [mehr]

Vortragende(r): Nuno Nunes Homepage - Vortragende(r) (Tecnico U. Lisbon and the President of Madeira-ITI)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Johannes Schöning
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Cities are the New Galapagos: Using IoT and Ubiquitous Computing to Sense Urban Flows and Raise Ecological Awareness Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

09.10.2018


11/2018

13.11 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Geosmartness for personalized and sustainable mobility of the future [mehr]

Vortragende(r): Prof. Dr. Martin Raubal Homepage - Vortragende(r) (ETHZ)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Johannes Schöning
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Geosmartness for personalized and sustainable mobility of the future Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

07.11.2018


07/2018

11.07 // 11.00 Uhr s.t. Cartesium Rotunde

Kolloquien
Silent Speech: Reconstructing Speech from Sensor Data by Machine Learning
++ NEUES DATUM: 11.07. ++
[mehr]

Vortragende(r): Jose A. Gonzalez, Ph.D. (Department of Languages and Computer Sciences, University of Malaga, Spain)
Ansprechpartner(in) / Einladende(r):  Professorin Tanja Schultz
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Silent Speech: Reconstructing Speech from Sensor Data by Machine Learning Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

05.07.2018


06/2018

21.06 // 12.30 Uhr s.t. Cartesium Rotunde

Kolloquien
Cooperative Road Traffic Information Systems and In-Network Data Aggregation [mehr]

Vortragende(r): Prof. Dr. Björn Scheuermann Homepage - Vortragende(r) (Humboldt Universität Berlin)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Johannes Schöning
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Cooperative Road Traffic Information Systems and In-Network Data Aggregation Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

10.04.2018


05/2018

22.05 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Mobile haptische Ausgaben und Benachrichtigungen [mehr]

Vortragende(r): Prof. Dr. Michael Rohs Homepage - Vortragende(r) (Universität Hannover)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Johannes Schöning
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Mobile haptische Ausgaben und Benachrichtigungen Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

16.05.2018
 
08.05 // 16.00 Uhr s.t. MZH 6210

Kolloquien
Analysis of Equilibria for (Some) Congestion Games
Gemeinsames Kolloquium mit der Mathematik

✶✶✶ Ab 15.30 Uhr sind alle herzlich zum Tee im Raum MZH 6435 eingeladen ✶✶✶
[mehr]

Vortragende(r): Prof. Marc Uetz Homepage - Vortragende(r) (Universiteit Twente)
Ansprechpartner(in) / Einladende(r):  Nicole Megow
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Analysis of Equilibria for (Some) Congestion Games Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

02.05.2018


04/2018

24.04 // 10.00 Uhr s.t. MZH 4380

Kolloquien
Threat Assessment of IC Reverse-Engineering through Optical Probing Attack [mehr]

Vortragende(r): Dr.-Ing. Shahin Tajik Homepage - Vortragende(r) (TU Berlin)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Threat Assessment of IC Reverse-Engineering through Optical Probing Attack Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

18.04.2018


01/2018

31.01 // 9.00 Uhr s.t. MZH 4380

Kolloquien
SamaTulyata: An Efficient Path Based Equivalence Checker [mehr]

Vortragende(r): Dr. Soumyadip Bandyopadhyay (Hasso - Plattner - Institut für Digital Engineering | Universität Potsdam)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative SamaTulyata: An Efficient Path Based Equivalence Checker Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

24.01.2018
 
09.01 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Model-Based Testing Cyber-Physical Systems: Theory and Practice [mehr]

Vortragende(r): Mohammad Mousavi (Department of Informatics, University of Leicester)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jan Peleska
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Model-Based Testing Cyber-Physical Systems: Theory and Practice Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

04.01.2018


12/2017

12.12 // um 16 Uhr c.t. NW2 Raum A0242

Kolloquien
Weihnachtsvorlesung [mehr]

Vortragende(r): Prof. Dr. Hans-Jörg Kreowski Ansprechpartner(in) / Einladende(r):  Prof. Dr. Hans-Jörg Kreowski
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Weihnachtsvorlesung Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

05.12.2017
 
07.12 // 13.00 Uhr s.t. ++SONDERTERMIN AUSSER DER REIHE! GEÄNDERTE UHRZEIT! MZH 4380

Kolloquien
Prädikativ-logisches versus funktional-logisches Denken [mehr]

Vortragende(r): Prof. Dr. rer. nat. Inge Schwank (Universität zu Köln)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Prädikativ-logisches versus funktional-logisches Denken Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

30.11.2017
 
01.12 // 15.30 Uhr s.t. +++ SONDERTERMIN AUSSER DER REIHE! Cartesium Rotunde

Kolloquien
Link zu externer Seite Towards Neuroadaptive Technology: Symmetrical Human-Computer Interaction based on a cognitive user model generated by automatically probing the operator’s mind [mehr]

Ansprechpartner(in) / Einladende(r):  Professorin Tanja Schultz
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Towards Neuroadaptive Technology: Symmetrical Human-Computer Interaction based on a cognitive user model generated by automatically probing the operator’s mind Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

22.11.2017


11/2017

07.11 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Software-Verification: From Research to Industrial Practice – and Back. [mehr]

Vortragende(r): Dr.-Ing. Thomas Santen (Institut für Softwaretechnik und Theoretische Informatik, TU Berlin)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Dieter Hutter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Software-Verification: From Research to Industrial Practice – and Back. Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

28.09.2017


09/2017

05.09 // 09.00 Uhr s.t. MZH 4380

Kolloquien
Boolean Differential Calculus - a Compact Introduction and Selected Applications [mehr]

Vortragende(r): Prof. Dr. Bernd Steinbach Homepage - Vortragende(r) (Freiberg University of Mining and Technology, Institute of Computer Science)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Boolean Differential Calculus - a Compact Introduction and Selected Applications Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

03.08.2017


06/2017

22.06 // 12.00 Uhr s.t. Cartesium Rotunde

Kolloquien
Vortrag: Sense-Reason-Act: From Perception to Action [mehr]

Vortragende(r): Dr.-Ing. Michael Suppa Homepage - Vortragende(r) (Roboception GmbH)
Ansprechpartner(in) / Einladende(r):  Gabriel Zachmann

19.06.2017
 
20.06 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Antrittsvorlesung: Johannes Schöning | It’s Time to Stop Staring at Your Phone’s Mobile Map: The Importance of HCI Perspectives for Next-generation Navigation Devices [mehr]

Vortragende(r): Prof. Dr. Johannes Schöning Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Antrittsvorlesung: Johannes Schöning | It’s Time to Stop Staring at Your Phone’s Mobile Map: The Importance of HCI Perspectives for Next-generation Navigation Devices Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

26.04.2017
 
06.06 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Storytelling And Popular Movies, And Its Underlying Psychological Principles & Visual Attention And Representation During Meaningful Events [mehr]

Ansprechpartner(in) / Einladende(r):  Prof. Dr. Mehul Bhatt
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Storytelling And Popular Movies, And Its Underlying Psychological Principles & Visual Attention And Representation During Meaningful Events Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

30.05.2017


05/2017

09.05 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Antrittsvorlesung: Nicole Megow | Combinatorial Optimization under Uncertainty: Algorithms, Performance Guarantees and Applications in Logistics [mehr]

Vortragende(r): Prof. Dr. Nicole Megow Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Antrittsvorlesung: Combinatorial Optimization under Uncertainty: Algorithms, Performance Guarantees and Applications in Logistics Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

02.05.2017


02/2017

28.02 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Cost‐effective resilience in integrated circuits from the architectural to technology level [mehr]


[ Dr. Maksim Jenihhin Prof. Dr. Jaan Raik ]
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Cost‐effective resilience in integrated circuits from the architectural to technology level Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

22.02.2017


01/2017

30.01 // 14.00 Uhr c.t. MZH 5300 (DM Lab)

Kolloquien
Vortrag: Towards Individualized Feedback in Intelligent Tutoring Systems - Challenges for Machine Learning [mehr]

Vortragende(r): Barbara Hammer (Bielefeld University)

23.01.2017


12/2016

21.12 // 10.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Vortrag: Digital Civics [mehr]

Vortragende(r): Prof. Patrick Olivier Homepage - Vortragende(r) (Open Lab, Newcastle University, UK)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rainer Malaka

19.12.2016
 
06.12 // 16.00 Uhr c.t. Cartesium RotundeArt and Design Research Centre, C3RI Sheffield Hallam University

Kolloquien
Emotional Engagement with Heritage - fällt aus [mehr]

Vortragende(r): Daniela Petrelli Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rainer Malaka

06.12.2016
 
05.12 // 14.15 Uhr s.t. Hochschule für Künste, Am Speicher XI 8, Auditorium

Kolloquien
Media | Vortragsreihe - fällt aus [mehr]

Vortragende(r): ARMIN MEDOSCH, Ph.D. Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Media Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

05.12.2016


11/2016

14.11 // 14.15 Uhr s.t. Hochschule für Künste, Am Speicher XI 8, Auditorium

Kolloquien
Algorithms and Programs | Vortragsreihe [mehr]

Vortragende(r): Wolfgang Coy Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Algorithms and Programs | Wolfgang Coy Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

04.11.2016


10/2016

25.10 // 14.00 Uhr s.t. MZH 4380

Kolloquien
Testing IoT‐Designs: How to make the impossible possible? [mehr]

Vortragende(r): Dr. Daniel Tille (Infineon Technologies AG)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Testing IoT‐Designs: How to make the impossible possible? Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

12.10.2016


09/2016

01.09 // 14.00 Uhr c.t. GW2 B2900

Kolloquien
Teaching design thinking and digital literacy through Design-Based Learning in schools [mehr]

Vortragende(r): Prof. Mathilde (Tilde) Bekker, Ph.D. Homepage - Vortragende(r) (Eindhoven University of Technology)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Andreas Breiter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Teaching design thinking and digital literacy through Design-Based Learning in schools Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

24.08.2016


07/2016

05.07 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Is Quantum Computing Sci‐fi? ‐ Challenges in Realization [mehr]

Vortragende(r): Prof. Susmita Sur ‐ Kolay, Ph.D. (Indian Statistical Institute | Advanced Computing and Microelectronics Unit)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Is Quantum Computing Sci‐fi? ‐ Challenges in Realization Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

12.12.2016


06/2016

29.06 // 15.00 Uhr s.t. MZH 8090

Kolloquien
Application of Formal Methods to the Test of Digital Circuits [mehr]

Vortragende(r): Dr. Matthias Sauer (Albert ‐ Ludwigs ‐ Universität Freiburg)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Application of Formal Methods to the Test of Digital Circuits Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

12.12.2016
 
02.06 // 14.00 Uhr c.t. Cartesium Rotunde

Kolloquien
A Method to Bridge the Existing Gap between Usability and Access Control [mehr]

Vortragende(r): Jun.-Prof. Dr.-Ing. Delphine Reinhardt Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative A Method to Bridge the Existing Gap between Usability and Access Control Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

27.05.2016


05/2016

24.05 // 10.00 Uhr c.t. MZH 8090

Kolloquien
Functional Verification of Integer Arithmetic Circuits: an Algebraic Approach [mehr]

Vortragende(r): Prof. Maciej Ciesielski, Ph.D. Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Functional Verification of Integer Arithmetic Circuits: an Algebraic Approach Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

17.05.2016


02/2016

23.02 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Mensch‐Maschine Interaktion im Operationssaal: Lösungen und zukünftige Herausforderungen [mehr]

Vortragende(r): Jun.‐Prof. Dr. Christian Hansen Homepage - Vortragende(r)
[ Website Hansen ]
Ansprechpartner(in) / Einladende(r):  Ron Kikinis
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Mensch‐Maschine Interaktion im Operationssaal: Lösungen und zukünftige Herausforderungen Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

22.01.2016


01/2016

26.01 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Antrittsvorlesung: Moderne langzeitsichere Kryptographie für das Zeitalter der Quantencomputer [mehr]

Vortragende(r): Prof. Dr. Tim Güneysu Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Antrittsvorlesung: Moderne langzeitsichere Kryptographie für das Zeitalter der Quantencomputer Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

19.01.2016


11/2015

30.11 // 14.00 Uhr s.t. Cartesium Rotunde

Kolloquien
Ergebnisse und Befunde einer Längsschnittstudie [mehr]

Vortragende(r): Prof. Dr. med. Johannes Schröder Homepage - Vortragende(r) (Institut für Gerontologie | Universität Heidelberg)
Ansprechpartner(in) / Einladende(r):  Professorin Tanja Schultz
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Ergebnisse und Befunde einer Längsschnittstudie Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

27.11.2015


09/2015

17.09 // 13.00 Uhr s.t. Cartesium Rotunde

Kolloquien
"The Subset and Permutation-Invariant Equivalence Checking Problem" [mehr]

Vortragende(r): Baruch Sterin Ansprechpartner(in) / Einladende(r):  Dr. Mathias Soeken

14.09.2015
 
14.09 // 14.00 Uhr s.t. Cartesium Rotunde

Kolloquien
Wayfinding - where Cognition meets Architectural Design [mehr]

Vortragende(r): Prof. Dr. Christoph Hölscher Homepage - Vortragende(r)
[ ETH Zurich ]
Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Wayfinding - where Cognition meets Architectural Design Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

26.08.2015
 
08.09 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Cases of Adversarial Manipulations in Computational Resource Constrained Networks [mehr]

Vortragende(r): Dr. Anne Kayem (University of Cape Town’s Department of Computer Science)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Dieter Hutter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Cases of Adversarial Manipulations in Computational Resource Constrained Networks Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

28.08.2015
 
07.09 // 11.00 Uhr s.t. Cartesium Rotunde

Kolloquien
Wearable Computing ‐ zukünftige Formen der Mensch‐ Technik‐Interaktion [mehr]

Vortragende(r): Prof. Gesche Joost Homepage - Vortragende(r) Ansprechartner(in) Extern: Dr.-Ing. Serge Autexier
Serge.Autexier@dfki.de
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Wearable Computing ‐ zukünftige Formen der Mensch‐ Technik‐Interaktion Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

01.09.2015
 
02.09 // 14.00 Uhr s.t. Cartesium Rotunde

Kolloquien
Humanoide Roboter -- Wie nehmen sie die Umgebung wahr und wie planen sie ihre Bewegungen? [mehr]

Vortragende(r): Prof. Dr. Maren Bennewitz (Rheinische Friedrich-Wilhelms-Universität Bonn)
Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Humanoide Roboter -- Wie nehmen sie die Umgebung wahr und wie planen sie ihre Bewegungen? Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

21.08.2015


07/2015

21.07 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Masquerade Detection Based on File System Navigation [mehr]

Vortragende(r): Prof. Dr. Raúl Monroy (Tec de Monterrey, Campus Estado de México)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Dieter Hutter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Masquerade Detection Based on File System Navigation Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

14.07.2015
 
14.07 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Von der Messung zur Aktion: Roboterwahrnehmung als domänenübergreifende Schlüsseltechnologie für robotische Systeme [mehr]

Vortragende(r): Dr. Michael Suppa (Roboception GmbH)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Von der Messung zur Aktion: Roboterwahrnehmung als domänenübergreifende Schlüsseltechnologie für robotische Systeme Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

10.07.2015


06/2015

23.06 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Ontology‐Based Monitoring of Dynamic Systems [mehr]

Vortragende(r): Prof. Dr.‐Ing. Franz Baader (TU Dresden | Lehrstuhl für Automatentheorie)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Dieter Hutter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Ontology‐Based Monitoring of Dynamic Systems Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

16.06.2015
 
16.06 // 13.00 Uhr s.t. MZH 4380

Kolloquien
Intellectual Property Protection in SoC design [mehr]

Vortragende(r): Prof. Susmita Sur-Kolay (ACM Unit, Indian Statistical Institute Kolkata)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Intellectual Property Protection in SoC design Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

15.06.2015
 
04.06 // 18.00 - 20.00 Uhr LINZ4 60070

Kolloquien
Vortrag: Between Indians and cowboys: the role of ICT in the presentation of contradictory selves in the Brazilian Amazon [mehr]

Vortragende(r): Prof. Raoni Rajao, PhD (Federal University of Minas Gerais)
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Between Indians and cowboys: the role of ICT in the presentation of contradictory selves in the Brazilian Amazon Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

01.06.2015


03/2015

24.03 - 25.03 MZH Senatssaal

Kolloquien
12. Jahrestreffen der GI-Fachgruppe "Formale Methoden und Software Engineering für Sichere Systeme" (FoMSESS) [mehr]


[ Fachgruppen-Webseite ]
Ansprechartner(in) Extern: Prof. Dr. Dieter Hutter

17.03.2015


01/2015

15.01 // +++ 10 Uhr s.t. +++ SONDERTERMIN MZH 8090

Kolloquien
Presentation and demonstration of the mCRL2 toolset and its underlying verification technology [mehr]

Vortragende(r): Tim A. C. Willemse Homepage - Vortragende(r) (Technische Universiteit Eindhoven)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jan Peleska
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Presentation and demonstration of the mCRL2 toolset and its underlying verification technology Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

13.01.2015



zurück  




Seitenanfang  -  Impressum Autor(in): Lisa Jungmann 14.11.2018 Admin-Login