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 - 28.11.2014




11/2014

13.11 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
How to keep your secrets - fällt aus [mehr]

Vortragende(r): Heiko Mantel (TU Darmstadt)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Dieter Hutter
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative How to keep your secrets Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

12.11.2014


07/2014

29.07 // +++ ACHTUNG NEUE ZEIT +++ 13.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Model Checking von Speicher-bezogenen Eigenschaften für Hardware/Software Codesigns [mehr]

Vortragende(r): Marcel Pockrandt Homepage - Vortragende(r) (Fachgebiet Programmierung Eingebetteter Systeme, Technische Universität Berlin)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Model Checking von Speicher-bezogenen Eigenschaften für Hardware/Software Codesigns Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

28.07.2014
 
24.07 // 9.00 Uhr s.t. MZH 8090

Kolloquien
Region Based Garbage Collection [mehr]

Vortragende(r): Prof. Gerhard W. Dueck Homepage - Vortragende(r) (University of New Brunswick, Canada)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Region Based Garbage Collection Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

21.07.2014
 
15.07 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Alexander von Humboldt-Lecture [mehr]

Vortragende(r): Prof. Krishnendu Chakrabarty, Ph.D. Homepage - Vortragende(r) (Duke University | School of Engineering | USA)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Alexander von Humboldt-Lecture Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

03.07.2014


06/2014

24.06 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Roboter als Ersatz für Mitmenschen? Humanitäre Fragen beim Einsatz in der Pflege [mehr]

Vortragende(r): Ipke Wachsmuth Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Roboter als Ersatz für Mitmenschen? Humanitäre Fragen beim Einsatz in der Pflege Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

12.06.2014
 
03.06 // 16.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Antrittsvorlesung | Medical Image Computing [mehr]

Vortragende(r): Ron Kikinis Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Antrittsvorlesung | Medical Image Computing Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

26.05.2014
 
02.06 // 16.00 Uhr Cartesium Rotunde

Kolloquien
Asian University Research Excellence and the March toward World-Class Status [mehr]

Vortragende(r): Peter Haddawy Homepage - Vortragende(r) (Mahidol University, The Faculty of ICT)
Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Asian University Research Excellence and the March toward World-Class Status Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

26.05.2014


05/2014

27.05 // 16:00 Uhr (c.t.) Cartesium Rotunde

Kolloquien
Datengetriebene Modellierung mit Bayes-Netzen: Industrielle Anwendungen und Perspektiven in der Forschung [mehr]

Vortragende(r): Prof. Dr. habil. Rudolf Kruse Homepage - Vortragende(r) (Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg)
Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Datengetriebene Modellierung mit Bayes-Netzen: Industrielle Anwendungen und Perspektiven in der Forschung Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

16.05.2014
 
27.05 // 15.00 Uhr MZH 5300

Kolloquien
Architecture and development process of spacecraft simulators for ESOC [mehr]

Vortragende(r): Dr. Peter Fritzen Homepage - Vortragende(r) (Telespazio VEGA, Darmstadt, Head of Simulation, Navigation & Technology Department)
Ansprechpartner(in) / Einladende(r):  Gabriel Zachmann
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Architecture and development process of spacecraft simulators for ESOC Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

16.05.2014


02/2014

27.02 // 16:30 Uhr Cartesium Rotunde

Kolloquien
Fast In-Memory XML Search [mehr]

Vortragende(r): Sebastian Maneth (University of Edinburgh)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Fast In-Memory XML Search Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

25.02.2014


01/2014

15.01 // 16:00-18:00 Uhr (c.t.) BIBA Auditorium

Kolloquien
Verlässlichkeit durch oder trotz Dezentralisierung? Potentiale der Energieinformatik für die Gestaltung sicherer Energiesysteme [mehr]

Vortragende(r): Prof. Dr. Hartmut Schmeck, (Karlsruher Institut für Technologie (KIT))
Ansprechartner(in) Extern: Prof. Dr. Hans Dieter Hellige
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Internet der Energien? Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Verlässlichkeit durch oder trotz Dezentralisierung? Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

07.01.2014
 
14.01 // 16:00 Uhr (c.t.) MZH 3150 +++ ACHTUNG RAUMÄNDERUNG +++

Kolloquien
Neue Ansätze zur Task-Verteilung in Many-Core-Systemen [mehr]

Vortragende(r): Christian Haubelt (Lehrstuhl Eingebettete Systeme | Universität Rostock)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Neue Ansätze zur Task-Verteilung in Many-Core-Systemen Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

14.01.2014
 
08.01 // 16:00-18:00 Uhr (c.t.) BIBA Auditorium

Kolloquien
Hybridnetze für die Energiewende zwischen zentralen und dezentralen Systemarchitekturen [mehr]

Vortragende(r): Prof. Dr. Sebastian Lehnhoff (Universität Oldenburg)
Ansprechartner(in) Extern: Prof. Dr. Hans Dieter Hellige
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Hybridnetze für die Energiewende zwischen zentralen und dezentralen Systemarchitekturen Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Internet der Energien? Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

07.01.2014


12/2013

12.12 // +++ 18 Uhr c.t. +++ SONDERTERMIN Cartesium Rotunde

Kolloquien
On-line test of embedded systems: the functional approach [mehr]

Vortragende(r): Matteo SONZA REORDA (Politecnico di Torino, Italien)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Görschwin Fey
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative On-line test of embedded systems: the functional approach Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

02.12.2013
 
12.12 // 16 Uhr c.t. Cartesium Rotunde

Kolloquien
Flexible Typing in Object-Oriented Languages [mehr]

Vortragende(r): David A. Watt (University of Glasgow, Scotland)
Ansprechpartner(in) / Einladende(r):  Dr. Berthold Hoffmann
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Flexible Typing in Object-Oriented Languages English  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

06.11.2013
 
04.12 // 16:00-18:00 Uhr (c.t.) BIBA Auditorium

Kolloquien
Subsidiarität in intelligenten Stromnetzen: Zielkonflikte zwischen Datenschutz, Geschäftsmodellen und Versorgungssicherheit [mehr]

Ansprechartner(in) Extern: Prof. Dr. Hans Dieter Hellige
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Internet der Energien? Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Subsidiarität in intelligenten Stromnetzen: Zielkonflikte zwischen Datenschutz, Geschäftsmodellen und Versorgungssicherheit Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

03.12.2013


11/2013

26.11 // +++ 10 Uhr c.t. +++ SONDERTERMIN MZH 8090

Kolloquien
Diagnosis: Coping with imperfect Design and Manufacturing Defects [mehr]

Vortragende(r): Indranil Sen Gupta (Indian Institute of Technology Kharagpur, India)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Diagnosis: Coping with imperfect Design and Manufacturing Defects Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

03.12.2013
 
19.11 // 17 Uhr c.t. Cartesium Rotunde

Kolloquien
Abstraktion in der Computergrafik [mehr]

Vortragende(r): Prof. Dr. Oliver Deussen (Universität Konstanz)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Kolloquium | Abstraktion in der Computergrafik Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

29.10.2013


10/2013

29.10 // +++ ACHTUNG: 16 Uhr c.t. +++ Cartesium Rotunde

Kolloquien
Abstract Interpretation Methods for Error Detection in C/C++ Program Code [mehr]

Vortragende(r): Mikhail Glukhikh (Clausthal University of Technology)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative 2013_10_29 Glukhikh Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

23.10.2013


06/2013

11.06 // 17 Uhr c.t. Cartesium Rotunde

Kolloquien
Informatik in Bremen und Kamerun - Bericht über eine Kooperation [mehr]

Ansprechpartner(in) / Einladende(r):  Prof. Dr. Karl-Heinz Rödiger

04.06.2013


05/2013

06.05 // 11 Uhr c.t. - ACHTUNG SONDERTERMIN AUSSER DER REIHE ! GEÄNDERTE UHRZEIT ! Cartesium Rotunde

Kolloquien
Mutual Exclusion by Interpolation [mehr]

Vortragende(r): Jael Kriener (Universität von Kent, Canterbury, Großbritannien)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

02.05.2013


04/2013

29.04 // 17 Uhr c.t. - ACHTUNG - SONDERTERMIN AUSSER DER REIHE ! Cartesium Rotunde

Kolloquien
NOC‐BASED ARCHITECTURE FOR MPSoCs PROTECTION [mehr]

Vortragende(r): Dr. Martha Johanna Sepúlveda Flórez (University of São Paulo, São Paulo, Brazil)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

23.04.2013
 
17.04 // 14 Uhr c.t. - ACHTUNG SONDERTERMIN AUSSER DER REIHE ! GEÄNDERTE UHRZEIT ! Cartesium Rotunde

Kolloquien
Emergente Bildungstechnologien: Sachstand und Perspektiven aus Sicht von Forschung und Innovation [mehr]

Vortragende(r): Prof. Dr. Christoph Igel (Universität des Saarlandes, Saarbrücken)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Andreas Breiter

11.04.2013


09/2012

21.09 // 11:15 Uhr MZH 1090

Kolloquien
Design for Testability for Reversible Circuits [mehr]

Vortragende(r): Debesh Das (Computer Science and Engineering Department, Jadavpur University)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

21.09.2012


07/2012

10.07 // 17:15 Uhr Cartesium Rotunde

Kolloquien
Real-Time Image Processing: From Research to Reality [mehr]

Vortragende(r): Prof. Nasser Kehtarnavaz (Department of Electrical Engineering, University of Texas at Dallas)
Ansprechpartner(in) / Einladende(r):  Prof. Dr.-Ing. Udo Frese

03.07.2012


06/2012

29.06 // 09:30 Uhr s.t. Cartesium Rotunde

Kolloquien
‘Trust online and the phishing problem: why warnings are not enough’ [mehr]

Vortragende(r): Prof. Angela Sasse Homepage - Vortragende(r) (University College London)
Ansprechpartner(in) / Einladende(r):  Prof. Dr.-Ing. Carsten Bormann

26.06.2012
 
12.06 // 15 Uhr VWG 2060

Festkolloquium
Kolloquien
Festvortrag: „Lokale Methoden für globale Probleme“
In einem akademischen Festakt wird Herrn Prof. Dr. Alfred K. Louis, Professor an der Universität des Saarlandes und Leiter des Instituts für Angewandte Mathematik, die Ehrendoktorwürde verliehen. Das Programm.

Vortragende(r): Prof. Dr. Alfred K. Louis Homepage - Vortragende(r)
[ Institut für Angewandte Mathematik Universität des Saarlandes ]
Download:  Deutsch Download Extern Pressemitteilung zur Verleihung der Ehrendoktorwürde an Prof. Dr. Alfred K. Louis am 12.6.2912 (externe Webpage/Dokument)  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

11.06.2012


05/2012

03.05 // 16 Uhr s.t. Cartesium Rotunde

Kolloquien
"Digitale Rekonstruktionen historischer Apparate" [mehr]

Vortragende(r): Referent: Prof. Dr. Albert Kümmel-Schnur (Universität Konstanz)

23.04.2012


12/2011

20.12 // 18 Uhr s.t. MZH MZH 1400 (Mehrzweckhochhaus, Bibliothekstraße)

Kolloquien
*Intelligente Menschen bauen törichte Maschinen* [mehr]

Vortragende(r): Prof. Dr. Hans-Jörg Kreowski (Universität Bremen)

09.12.2011
 
07.12 // 13 Uhr s.t. Cartesium Raum 0.01

Kolloquien
Language Based Security for Functional Active Objects [mehr]

Vortragende(r): Dr. Florian Kammüller (Middlesex University in London und TU Berlin)

05.12.2011


11/2011

15.11 // 17 Uhr c.t. Cartesium Rotunde

Kolloquien
Counterexample-Guided Abstraction Refinement for PLCs [mehr]

Vortragende(r): Dipl.-Inf. Jörg Brauer (RWTH Aachen)

31.10.2011


10/2011

12.10 // 13 Uhr c.t. Cartesium Rotunde

Kolloquien
High‐Level Language‐driven Design of Embedded Processors [mehr]

Vortragende(r): Prof. Dr.‐Ing. Anupam Chattopadhyay (RWTH Aachen University)

27.09.2011


08/2011

15.08 // 16 Uhr c.t. Cartesium Rotunde

Kolloquien
Vermeidung von False-Negatives bei formaler Hardware Verifikation [mehr]

Vortragende(r): Prof. Peer Johannsen (Hochschule Pforzheim)

09.08.2011


06/2011

14.06 Cartesium Rotunde

Kolloquien
Kombinatorische Optimierung: Algorithmen und Resultate für ausgewählte Anwendungen [mehr]

Vortragende(r): Dr. Frauke Liers (Mathematisch‐Naturwissenschaftliche Fakultät, Universität Köln)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Kombinatorische Optimierung: 14.06.2011 Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

07.06.2011


05/2011

24.05 // 17 Uhr c.t. Cartesium Rotunde

Kolloquien
Rethinking Educational Technology: Some Early Steps [mehr]

Vortragende(r): Prof. Michael Eisenberg Homepage - Vortragende(r) ( Dept. of Computer Science, University of Colorado, Boulder, U.S.A. )

19.05.2011


01/2011

19.01 // 17 Uhr c.t. Cartesium Rotunde

Kolloquien
Konrad Zuse, der Computer und das Dritte Reich. Neue Forschungsergebnisse [mehr]

Vortragende(r): Prof. Dr. Hans-Dieter Hellige (artec, Universität Bremen)

06.01.2011


11/2010

17.11 Cartesium Rotunde

Kolloquien
The Painter’s Brush, 1947 to 2010: Hand-Held and Machine-Held [mehr]

Vortragende(r): Prof. Em. Roman Verostko Homepage - Vortragende(r) (Minneapolis College of Art & Design, U.S.A.)

12.11.2010
 
10.11 // 16 Uhr c.t. Cartesium Rotunde

Kolloquien
Model Checking -- One Can Do Much More Than You Think !
Achtung! Kolloquium ausser der Reihe!
Das Kolloquium beginnt bereits um 16 Uhr c.t. !
[mehr]

Vortragende(r): Prof. Dr. Joost-Pieter Katoen (RWTH Aachen)

05.11.2010


10/2010

27.10 Cartesium Rotunde

Kolloquien
Computer art in the mainstream
How the Venice Biennale responded to
the historisation of computer art in the
1980s
[mehr]

Vortragende(r): Francesca Franco (Birkbeck College, University of London)

22.10.2010


09/2010

18.09 // 14.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Zero‐suppressed BDDs and recent applications for data mining and knowledge discovery [mehr]

Vortragende(r): Prof. Shin‐ichi Minato (Hokkaido University, Sapporo, Japan)

16.09.2010


07/2010

07.07 // 17.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Modellbasierte Plattformentwicklung für hoch integrierte Sensor-Aktor-Systeme [mehr]

Vortragende(r): Dipl.-Ing. Mathias Nickl und Dipl.-Ing. Stefan Jörg Homepage - Vortragende(r) (DLR - Deutsches Zentrum für Luft- und Raumfahrt Oberpfaffenhofen)

30.06.2010


06/2010

30.06 // 17.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Wertorientierte Unternehmenssteuerung und ihre IKT-Implementierung in der Praxis
Antrittsvorlesung Prof. Dr. Willi Berchtold
[mehr]

Vortragende(r): Prof. Dr. Willi Berchtold (Universität Bremen)

30.06.2010
 
30.06 // 17 Uhr Universität Oldenburg \ großer Hörsaal in Wechloy

Oldenburg-Kolloq.
Kolloquien
Link zu externer Seite Privatsphäre und Vertraulichkeit im Internet der Zukunft

Vortragende(r): Prof. Dr. Johannes Buchmann Homepage - Vortragende(r)
[ Fachbereich Informatik TU Darmstadt ]
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Oldenburger Einladung zum Mathe-Kolloquium am 30.6.10 Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

05.11.2010
 
23.06 // 17.00 Uhr c.t. Cartesium Rotunde

Kolloquien
Radical Chance Art [mehr]

Vortragende(r): Prof. Dr. Remko Scha Homepage - Vortragende(r) (Institute of Artificial Art, Amsterdam, Netherlands)

18.06.2010
 
16.06 Cartesium Rotunde

Kolloquien
Testdatenkompaktion durch Schieberegister mit vielen X‐Werten [mehr]

Vortragende(r): Martin Hilscher (Universität Potsdam)

07.06.2010
 
09.06 Cartesium Rotunde

Kolloquien
Semantik von Sensordaten
Achtung! Kolloquium ausser der Reihe!
Das Kolloquium beginnt bereits um 16 Uhr c.t. !
[mehr]

Vortragende(r): Prof. Dr. Werner Kuhn (Universität Münster)

21.05.2010
 
02.06 Cartesium Rotunde

Kolloquien
Scratch: Programming in Youth Communities [mehr]

Vortragende(r): Prof. Dr. Yasmin B. Kafai (University of Pennsylvania, Philadelphia, U.S.A.)

21.05.2010


05/2010

12.05 Cartesium Rotunde

Kolloquien
Unicycles, Juggling und Information - Claude Shannons Spielzeuge als Metaphern für die Grundlagen seiner Informationstheorie [mehr]

Vortragende(r): Dr. Axel Roch Homepage - Vortragende(r) (Universität Groningen, Niederlande)

06.05.2010


04/2010

19.04 Cartesium Rotunde

Kolloquien
2 Vorträge | University of Tokyo [mehr]

Vortragende(r): Dr. Tetsuya Iizuka und Prof. Dr. Kunihiro Asada (University of Tokyo, Japan)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Prof. Dr. Görschwin Fey
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Kolloquium 19.04.10 | Iizuka und Asada Datei nur campusintern verfügbar! Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

13.04.2010
 
09.04  Rotunde

Kolloquien
Reuse-based Verification of Software Product Lines [mehr]

Vortragende(r): Dr. Ina Schaefer (Chalmers University, Gothenburg, Sweden)

21.03.2010
 
07.04  Rotunde

Kolloquien
Von der Tonkunst zur Soundkultur – informationstechnologische Transformationen auditiver Gestaltung [mehr]

Vortragende(r): Prof. Dr. Rolf Großmann Homepage - Vortragende(r) (Leuphana Universität Lüneburg)

21.03.2010


02/2010

10.02 Cartesium Rotunde

Kolloquien
The Hand in Digital Culture [mehr]

Vortragende(r): Prof. Charlie Gere, Ph.D. (Lancaster University, Insitute for Cultural Research)

04.02.2010


01/2010

27.01 Cartesium Rotunde

Kolloquien
Experiments in Grasp Recognition through Surface Electromyography [mehr]

Vortragende(r): Prof. Shyamanta Hazarika Ph.D. (Universität Bremen)

22.01.2010
 
13.01 Cartesium Rotunde

Kolloquien
Risikoorientierte Beurteilung von potenziellen Sicherheitsmängeln [mehr]

Vortragende(r): Prof. Dr. Jens Braband (TU Braunschweig und Firma Siemens)

16.11.2009
 
06.01 Cartesium Rotunde

Kolloquien
Zuverlässig sichere Softwaresysteme [mehr]

Vortragende(r): Prof. Dr. Dieter Hutter (DFKI Bremen)

30.12.2009


12/2009

16.12 Cartesium Rotunde

Kolloquien
Modellbasierter Test eingebetteter Systeme [mehr]

Vortragende(r): Prof. Dr. Holger Schlingloff (Humboldt Universität Berlin)

11.12.2009
 
09.12 Cartesium Rotunde

Kolloquien
Die Turing Bombe - Ein Fall der Visualisierung von Algorithmen [mehr]

Vortragende(r): Dr. Frank Spieß (Düsseldorf)

23.11.2009
 
02.12 Cartesium Rotunde

Kolloquien
Code-Erzeugung für sicherheitskritische Realzeit-Systeme [mehr]

Vortragende(r): Dr. Heiko Falk (TU Dortmund)

06.11.2009


11/2009

11.11 Cartesium Rotunde

Kolloquien
Towards a Framework for Modelling and Verification of Relay Interlocking Systems [mehr]

Vortragende(r): Prof. Dr. Anne E. Haxthausen (Technical University of Denmark)

06.11.2009
 
04.11 Cartesium Rotunde

Kolloquien
Perfect Hashing in Theory and Practice [mehr]

Vortragende(r): Dr. Stefan Edelkamp (Universität Bremen)

06.11.2009


10/2009

28.10 Cartesium Rotunde

Kolloquien
Verification of Real-World C Programs with VCC [mehr]

Vortragende(r): Dr. Markus Dahlweid (European Microsoft Innovation Center, Aachen, Germany)

20.11.2009


07/2009

08.07  Cartesium (Enrique-Schmidt-Str.), Rotunde

Kolloquien
Art and Electronic Media [mehr]

Vortragende(r): Prof. Edward A. Shanken, Ph.D. (Media Studies, University of Amsterdam)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

06.07.2009


02/2009

06.02  OAS Gebäude, Linzer Str. 9a, Raum 3000

Kolloquien
Prima Klima. Ein medialer Blick auf Möglichkeiten der Simulation [mehr]

Vortragende(r): Prof. Dr. Claus Pias http://homepage.univie.ac.at/claus.pias/" target="_blank" tabindex="161">Homepage - Vortragende(r) (Philosophie, Universität Wien & Digitale Medien, Bauhaus-Universität Weimar)

21.01.2009


01/2009

28.01 Cartesium Rotunde

Kolloquien
Art, science, technology in late 20th century - A revisionist view of a revolution that never was [mehr]

Vortragende(r): Paul Brown Homepage - Vortragende(r) (Freelancing artist, author, lecturer, researcher from London, UK, and Brisbane, Australia )

21.01.2009


12/2008

16.12 // 17 Uhr MZH 7260

Mathe-Kolloquium
Kolloquien
Kombinatorische Algebraische Topologie
Antrittskolloquium Prof. Dr. D. Feichtner-Kozlov
[mehr]

Vortragende(r): Prof. Dr. Dmitry Feichtner-Kozlov Homepage - Vortragende(r)
[ AG Combinatorial Algebraic Topology ]
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Marc Keßeböhmer
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Einladung_Antritts-Kolloquium_Feichtner-Kozlov_20081216 Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Einladung_Mathe-Kolloquium_mit_Abstract_20081216 Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

16.01.2009
 
02.12 // 16 Uhr MZH 7250, 7260

Mathe-Kolloquium
Kolloquien
Festkolloquium für Prof. Dr. Eberhard Oeljeklaus und Prof. Dr. Hans-E. Porst
Das Festkolloquium zur Verabschiedung der Professoren Oeljeklaus und Porst findet statt ab 16 Uhr. Es werden drei Vorträge gehalten: Herr Prof. Dr. J. Adamek hält die Laudatio für Herrn Porst, Herr Prof. Dr. Hans-E. Porst hält einen Vortrag über das kategorielle Denken und Herr Prof. Dr. Alan T. Huckleberry hält einen Festvortrag zu Ehren von Eberhard Oeljeklaus.
Der genaue Ablauf ist der Einladung zu entnehmen.

Vortragende(r): Prof. Dr. J. Adamek, Prof. Dr. A.T. Huckleberry, Prof. Dr. H.-E. Porst (TU Braunschweig, Ruhr-Univ. Bochum, Uni Bremen)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Marc Keßeböhmer
Prof. Dr. Michael Hortmann
Download:  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative Einladung_Abschiedskolloquium_Oeljeklaus_und_Porst_20081202 Deutsch  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

25.11.2008


11/2008

19.11 Haus der Wissenschaft, Sandstrasse 4/5, Kleiner Vortragssaal

Kolloquien
After-images - From „What“ to „That“ and back again … [mehr]

Vortragende(r): Timothy Druckrey (Director, Graduate Photographic & Electronic Media) (Maryland Institute, College of Art )
Adresszusatz: Haus der Wissenschaft, Kleiner Vortragssaal, Sandstrasse 4/5

14.11.2008
 
05.11 Cartesium Rotunde

Kolloquien
‘Reversible and Quantum Circuits – Synthesis and Verification Challenges’ [mehr]

Vortragende(r): Prof. Dr. Michael Miller (University of Victoria, Canada)

31.10.2008


10/2008

29.10 Cartesium Rotunde

Kolloquien
Formal Analysis of UML/OCL Models [mehr]

Vortragende(r): Dr. Achim Brucker (SAP Research Karlsruhe )

27.10.2008


07/2008

02.07 Cartesium Rotunde

Kolloquien
Warum sich KI und Industrie hervorragend ergänzen [mehr]

Vortragende(r): Dr. Gerhard Weiss Homepage - Vortragende(r) (Software Competence Center Hagenberg (Österreich) )

01.07.2008
 
02.07 Cartesium Rotunde

Kolloquien
Warum sich KI und Industrie hervorragend ergänzen [mehr]

Vortragende(r): Dr. Gerhard Weiss Homepage - Vortragende(r) (Software Competence Center Hagenberg (Österreich) )

01.07.2008


06/2008

19.06 Cartesium Rotunde

Kolloquien
Distributed Histograms for Processing Aggregate Data from Moving Objects

Vortragende(r): Dr. Lars Kulik (Universität Melbourne)

17.06.2008


05/2008

28.05 Cartesium Rotunde

Kolloquien
wird noch bekannt gegeben [mehr]

Vortragende(r): Dalibor Topic (Sun Microsystems)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rainer Koschke

22.05.2008


02/2008

06.02 MZH 5210

Kolloquien
Enforcing Privacy in a Semantic Web [mehr]

Vortragende(r): Dr. Dieter Hutter (DFKI-Lab Bremen)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Bernd Krieg-Brückner

17.01.2008


01/2008

16.01 MZH 5210

Kolloquien
Verteilte Nutzungskontrolle [mehr]

Vortragende(r): Dr. Alexander Pretschner (ETH Zürich)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jan Peleska

23.10.2007
 
09.01 MZH 5210

Kolloquien
Cybernetics, Beauty, and Action - fällt aus [mehr]

Vortragende(r): Prof. Ranulph Glanville, DSc Homepage - Vortragende(r) (London, Melbourne, Brussels, Ghent)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Susanne Maaß

08.01.2008


12/2007

12.12 MZH 5210

Kolloquien
Of Sensors, Servos, Cats and Frogs. Interactive Installations [mehr]

Vortragende(r): Frank Fietzek Homepage - Vortragende(r) (Künstler, Gast-Professor , Universität der Künste Berlin)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

05.12.2007
 
05.12 MZH 5210

Kolloquien
Semiotics vs. Mechanics, or Fiction/Simulation/Reality? Two game-ontological models [mehr]

Vortragende(r): Espen J. Aarseth, Ph.D. (Center of Computer Games Research, IT University of Copenhagen)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

26.11.2007


11/2007

07.11 // 17 Uhr MZH 5210

Kolloquien
Bachelor- und Master-Grade in der angelsächsischen Welt - einige Überraschungen [mehr]

Vortragende(r): Prof. Dr. Dr. J. Leslie Keedy
[ Adjunct Professor, Monash University, Melbourne, Australia Conjoint Professor, University of Newcastle, NSW, Australia Gastprofessor, Universität Bremen ]
Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa

06.11.2007


07/2007

19.07 MZH 8090

Kolloquien
Protocol Transducer Synthesis using Divide and Conquer Approach
Raumänderung (s.o.)
[mehr]

Vortragende(r): Prof. Masahiro Fujita (University of Tokyo)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

04.10.2007
 
11.07 MZH 5210

Kolloquien
Incorporating Self-Service Technology into Service Designs and its Implications for Customer-Firm Relationships [mehr]

Vortragende(r): Prof. Dr. Ulrike Schultze (Southern Methodist University, Dallas, Texas)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Susanne Maaß

05.07.2007
 
11.07 MZH 5210

Kolloquien
Qualitätssteigerung in Transportnetzen, besonders Stauvermeidung - fällt aus
Raumänderung (s.o.)
[mehr]

Vortragende(r): Prof. Dr. Horst Wedde (Universität Dortmund)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Otthein Herzog

01.06.2007


06/2007

27.06 MZH 5210

Kolloquien
Studieren und Arbeiten in Kamerun am Beispiel Informatik
Raumänderung (s.o.)
[mehr]

Vortragende(r): Dr. Kolyang (Université de Ngaoundéré, Cameroun)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Karl-Heinz Rödiger

25.05.2007
 
20.06 MZH 5210

Kolloquien
Applying Model Checking to Microcontroller Assembly Code
Raumänderung (s.o.)
[mehr]

Vortragende(r): Dipl.-Inform. Bastian Schlich (RWTH Aachen)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jan Peleska

25.05.2007
 
06.06 MZH 5210

Kolloquien
Eye-Tracking Techniques appropriate to Evaluation Surveys [mehr]

Vortragende(r): Dipl.-Psych. Andreas Sprenger (Universitätsklinikum Schleswig-Holstein, Campus Lübeck, Klinik für Neurologie)
Ansprechpartner(in) / Einladende(r):  Marion Wittstock

05.06.2007


05/2007

09.05

Kolloquien
Qualitätssteigerung in Transportnetzen, besonders Stauvermeidung
Fällt aus und ist auf den 11. Juli 07 verschoben!
[mehr]

Vortragende(r): Prof. Dr. Horst Wedde Homepage - Vortragende(r) (Universität Dortmund)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Otthein Herzog

08.05.2007
 
02.05

Kolloquien
Objektorientierter Entwurf und Synthese von Hardware-/Softwaresystemen [mehr]

Vortragende(r): Dr. Frank Oppenheimer und Dipl.-Informatiker Kim Grüttner (Offis, Oldenburg)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

13.04.2007


04/2007

25.04

Kolloquien
Plastizität der Wahrnehmung und Perzeptuelles Lernen [mehr]

Vortragende(r): Prof. Dr. Manfred Fahle (Universität Bremen, Human-Neurobiologie)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill

13.04.2007
 
18.04 Cartesium Rotunde

Kolloquien
Antrittsvorlesung: Menschen, Medien und Maschinen – Über Kontext und Pragmatik in Digitalen Medien [mehr]

Vortragende(r): Prof. Dr. Rainer Malaka (Universität Bremen, FB3, Digitale Medien)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rainer Malaka

13.04.2007


02/2007

16.02 // 17 Uhr c.t. - 19 Uhr Gästehaus der Universität Bremen, Teerhof \ Bremen

Kolloquien
From Marketplace to Agora ­ The Internet as a community space
Achtung, außer der Reihe!
Im Rahmen des Symposiums Media Theory's Role in Digital Media Studies
[mehr]

Vortragende(r): Prof. Dr. Wolfgang Coy (Humboldt Universität Berlin)

12.02.2007
 
07.02

Kolloquien
Plastizität der Wahrnemung und Perzeptuelles Lernen
ACHTUNG: Der Vortrag wird wegen der Uni Vollversammlung auf den Anfang des Sommersemesters verlegt.

Vortragende(r): Prof. Dr. Manfred Fahle (Universität Bremen - Human-Neurobiologie)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill

06.02.2007
 
07.02

Kolloquien
Plastizität der Wahrnehmung und Perzeptuelles Lernen
Achtung Terminänderung: Verschoben vom 31.1.07 auf den 7.2.07!

Vortragende(r): Prof. Dr. Manfred Fahle (Universität Bremen, Human-Neurobiologie)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Kerstin Schill

03.01.2007


01/2007

24.01

Kolloquien
How can research be nurtured, when budgets are tight? Some questions by a fresh department chair

Vortragende(r): Prof. Steffen Brandorff (Aarhus University )
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

16.11.2006
 
10.01

Kolloquien
Zur graphischen Modellierung komplexer reaktiver Systeme

Vortragende(r): Prof. Dr. Reinhard von Hanxleden (Universität Kiel)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jan Peleska

18.12.2006


12/2006

13.12

Kolloquien
Recht bei Online-Spielen und anderen Medien

Vortragende(r): Jan-Peter Ewert, Rechtsanwalt (Unverzagt von Have, Rechtsanwälte, Hamburg)
Ansprechpartner(in) / Einladende(r):  Martin Faust

16.11.2006


11/2006

23.11

Kolloquien
Aaron, Colorist: From Expert System to Expert

Vortragende(r): Prof. Cohen (University of California at San Diego)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

16.11.2006
 
22.11

Kolloquien
Matching Across Program Versions by Inferring Change Rules

Vortragende(r): Miryung Kim (University of Washington, Seattle)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rainer Koschke

26.10.2006
 
15.11

Kolloquien
nomadic per forms: re appearance & sub verse

Vortragende(r): Prof. PK Langshaw (Concordia University Montreal, Canada)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Andreas Breiter

26.10.2006
 
08.11

Kolloquien
A ‘Semantic Web’ for Science Technology – Communicating the Content of Mathematics ”In the Large”

Vortragende(r): Prof. Michael Kohlhase Homepage - Vortragende(r) (International University Bremen)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Heidelinde Schelhowe

26.10.2006


07/2006

19.07

Kolloquien
(noch nicht bekannt)

Vortragende(r): Prof. Darrel Bailey (New Media/Computer Science Department Indianapolis)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jürgen Friedrich

30.05.2006
 
12.07

Kolloquien
Artefakte. Über die Wissenschaft vom Künstlichen und ihren Bezug zu den Digitalen Medien

Vortragende(r): Prof. Gregor Trogemann Homepage - Vortragende(r) (Kunsthochschule für Medien, Köln)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

05.05.2006
 
05.07

Kolloquien
Gender-Aspekte in der Forschung - eine Frage von Qualität?

Vortragende(r): Martina Schraudner (Frauenhofer Gesellschaft München)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Susanne Maaß

30.05.2006


06/2006

07.06

Kolloquien
Intelligente Gebäudeinformationssysteme

Vortragende(r): Prof. Antonio Krüger Homepage - Vortragende(r) (Universität Münser)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Bernd Krieg-Brückner

30.05.2006


05/2006

31.05

Kolloquien
Datenschutz im deutschen Autobahnmautsystem

Vortragende(r): Dr. Joachim Rieß (DaimlerChrysler AG, Stuttgart)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Herbert Kubicek

05.05.2006
 
22.05 // 17.00 - 19.00 Uhr MZH 7200

Kolloquien
Constructivism, one or many?

Vortragende(r): Prof. Edith Ackermann (Media Lab MIT, USA)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Heidelinde Schelhowe

05.05.2006
 
17.05

Kolloquien
Suchmaschinen - Monopole des digitalen Wissens?

Vortragende(r): Dr. Wolfgang Sander-Beuermann (Universität Hannover)
Ansprechartner(in) Extern: Dr. A. Schappert (ZfN)

05.05.2006
 
10.05

Kolloquien
SystemC for Fun and Profit: Systematischer Entwurf eingebetteter Systeme mit Transaction-Level-Modeling [mehr]

Vortragende(r): Dipl. Inform. Wolfgang Klingaauf (Uni Braunschweig)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

05.05.2006


04/2006

19.04

Kolloquien
Werden wir Schoßhunde der Roboter sein?

Vortragende(r): Prof. Herbert Stoyan (Universität Erlangen)
Ansprechpartner(in) / Einladende(r):  Prof. Christian Freksa

05.05.2006


02/2006

08.02 // 17:15-19:00 MZH 5210

Kolloquien
A Generic Method for Statistical Testing [mehr]

Vortragende(r): Prof. Dr. Marie-Claude Gaudel Homepage - Vortragende(r) (Université de Paris-Sud et Cnrs)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Bernd Krieg-Brückner

05.05.2006
 
01.02 // 17 Uhr c.t. MZH 5210

Kolloquien
Link zu externer Seite Formale Verifikation von System-on-Chip-Entwürfen [mehr]

Vortragende(r): Dominik Stoffel
[ Universität Kaiserslautern ]
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

05.05.2006


01/2006

25.01 // 17:15-19:00 MZH 5210

Kolloquien
Antrittsvorlesung
Hybride intelligente Systeme: Integration von top-down wissensbasierter und bottom-up neuronaler Verarbeitung
[mehr]

Vortragende(r): Prof. Dr. Schill, Kerstin Homepage - Vortragende(r)

05.05.2006
 
18.01 // 17:15-19:00 MZH 5210

Kolloquien
From Locomotion to Cognition: Cheap design approach to adaptive behavior
Fumiya Iida is a senior researcher of Artificial Intelligence Laboratory, University of Zurich and Locomotion Laboratory, University of Jena, Germany. He received BSc. and MSc. degrees of mechanical engineering from Tokyo University of Science, and PhD of natural science from University of Zurich. [mehr]

Vortragende(r): Prof. Fumiya Iida http://www.lauflabor.de/" target="_blank" tabindex="238">Homepage - Vortragende(r) (Universität Zürich, CH)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frank Kirchner


http://www.ifi.unizh.ch/ailab/people/iida/

05.05.2006
 
11.01 MZH 5210

Kolloquien
SystemC for Fun and Profit: Systematischer Entwurf eingebetteter Systeme mit Transaction-Level-Modeling [mehr]

Vortragende(r): Wolfgang Klingauf (TU Braunschweig)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler

05.05.2006


12/2005

14.12 // 17:15-19:00  MZH 5210

Kolloquien
Online-Jobbörsen– Strukturwandel im Anzeigengeschäft und die Veränderung von Marktprozessen [mehr]

Vortragende(r): Dr. Dr. Castulus Kolo (Ludwig-Maximilians-Universität München)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Andreas Breiter

05.05.2006
 
07.12 // 17:15-19:00  MZH 5210

Kolloquien
Effiziente Werkzeuge zur Verifikation hybrider Systeme

Vortragende(r): Prof. Dr. Martin Fränzle Homepage - Vortragende(r) (Universität Oldenburg)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Jan Peleska

05.05.2006
 
05.12 // 15:00-17:00 SFG 2060

Kolloquien
Minimization Techniques for Reversible Logic Synthesis [mehr]

Vortragende(r): Dr. Gerhard Dueck, University of New Brunswick, Canada Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Dr. Rolf Drechsler
Download:  Datei nur campusintern verfügbar! Deutsch HTML Lebenslauf Dueck (Textplain)  Textalternative --> Anzeige des Dokumentes als unformatierte Textalternative

05.05.2006


11/2005

30.11 // 17:15-19:00  MZH 5210

Kolloquien
Spaziergänge im Universum des algorithmischen Zeichens [mehr]

Vortragende(r): Prof. Dr. Hans Dehlinger Homepage - Vortragende(r) (Universität Kassel)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Frieder Nake

05.05.2006
 
23.11 // 17:15-19:00 MZH 5210

Kolloquien
Antrittsvorlesung: Web 2.0 — das Netz als Plattform
Prof. Dr. Carsten Bormann ist seit 2004 Honorarprofessor für Internet-Technologien am Fachbereich 3 der Universität Bremen und Vorstandsmitglied des Technologiezentrums Informatik (TZI).
[mehr]

Homepage - Vortragende(r) Ansprechpartner(in) / Einladende(r):  Prof. Dr.-Ing. Carsten Bormann

05.05.2006
 
16.11 // 17:15-19:00  MZH 5210

Kolloquien
Knowledge Representation

Vortragende(r): Prof. Dr. Mary-Anne Williams Homepage - Vortragende(r) (University of Technology, Sydney)
Ansprechpartner(in) / Einladende(r):  Priv.-Doz. Dr. Ubbo Visser

05.05.2006
 
02.11 // 17:15 -19:00 MZH 5210

Kolloquien
Dealock Analysis mit dem CSP-Prover [mehr]

Vortragende(r): Dr. Markus Roggenbach Homepage - Vortragende(r) (University of Wales, Swansea)
Ansprechpartner(in) / Einladende(r):  Prof. Dr. Hans-Jörg Kreowski

05.05.2006



zurück  




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