Montag, 28. September 2009

[HIForum] HIForum News 15/2009

Liebe Mitglieder,
 
wir möchten Sie über Neuigkeiten aus dem HIForum informieren:
 
Unterstützung des Departments Informatik:
 
HIForum finanziert auch für 2010 ein Abonnement der Zeitschrift "Der Spiegel" für die Informatik Bibliothek
Wir ermöglichen die Betreuung der Schülerinnen im Schnupperstudium Informatik (19. - 23. Oktober 2009) durch eine Juniorstudentin als studentische Hilfskraft.
 
 
Nächste Veranstaltung am 5. Oktober
 
Dieses Mal möchten wir Sie zur User Experience Roundtable Hamburg einladen. Wir planen eine gemeinsame Veranstaltung Anfang des nächsten Jahres, HIForum meets uxHH - uxHHIForum. Der Gedankenaustausch am
Montag, den 5. Oktober 2009, ab 19:00 Uhr
im Roxy, Rentzelstraße 6
dient schon einmal dem gegenseitigen Kennenlernen und ergibt sicher ein Thema, das sich für einen Beitrag von beiden Seiten eignet.
Näheres unter www.uxhh.de
 
 
Veranstaltungen mit Mitgliedern des Departments
 
Wir möchten Sie auf folgende Veranstaltung der Regionalgruppe Hamburg der GI hinweisen:
 
Von der Prozessmodellierung zu IT Landkarten - ein integrierter Ansatz in Theorie und Praxis
Prof. Dr. Heinz Züllighoven
am 29. Oktober 2009 um 18:00 Uhr
Näheres unter www.hbt.de
 
 
Mit besten Grüßen
 
Michael Schudy, Horst Oberquelle und Dirk Martinssen

_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

Donnerstag, 3. September 2009

[HIForum] HIForum News 14/2009: Einladung zum HIForum Stammtisch am 09.09.09

Content-class: urn:content-classes:message
Content-Type: multipart/alternative;
  boundary="----_=_NextPart_001_01CA2C8D.635636FF"
Liebe Mitglieder,
 
sicher haben Sie schon auf unsere Einladung zum nächsten HIForum-Stammtisch gewartet. Wir halten den bereits angekündigten Termin und treffen uns am
 
Mittwoch, den 9. September 2009, um 18:00 Uhr,  in der
 
BULLEREI
 
Lagerstraße 34 B
20357 Hamburg
 
 
Die BULLEREI ist das neue Restaurant von Tim Mälzer und Patrick Rüther in den ehemaligen Viehhallen das alten Hamburger Schlachthofs.
Wer schon einmal einen Blick werfen möchte: www.bullerei.com
Hier findet sich nicht nur die Speisekarte. Geboten wird auch ein Einblick in die Entstehung des Restaurants; eine interessante Verwendung von Youtube.
 
Das Restaurant wurde am 1.Juli 2009 eröffnet und ist bereits sehr angesagt. Es ist uns gelungen,  8 Plätze für 18:00 Uhr zu reservieren. Wir können dann in Ruhe gemeinsam genießen. So gegen 20:00 Uhr soll es allerdings sehr voll werden. Wenn es uns dann zu laut wird, könnten wir an die Bar oder einen anderen Ort des Schanzenviertels wechseln.
 
Bitte melden Sie sich verbindlich an - first come, first served - unsere Reservierung ist leider auf 8 Plätze begrenzt.
Anmeldungen bitte per E-Mail an: michael.schudy@capgemini-sdm.com
 
 
Wir freuen auf Sie / auf Euch und interessante Gespräche nach den Sommerferien.
 
Mit besten Grüßen
 
Michael Schudy, Horst Oberquelle, Dirk Martinssen
 
 
---
HIForum - Hamburger Informatik-Forum (HIForum) e.V.
Vorstand: Dipl.-Inform. M. Schudy, Prof. Dr. H.
Oberquelle, Dipl.-Inform. D. Martinssen
Vereinsregister Hamburg VR 16010

c/o
____________________________________________________________

Michael Schudy / Capgemini sd&m / Hamburg
Senior Berater
Tel: +49 40 254491-33 / Fax: +49 40 254491-11 / www.de.capgemini-sdm.com
Mobil: +49 170 3327539 / michael.schudy@capgemini-sdm.com
Capgemini sd&m AG, Lübecker Straße 128, 22087 Hamburg
____________________________________________________________

Vorstand: Edmund Küpper (Vorsitzender), Burkhard Kehrbusch, Rüdiger Azone,
Dr. Uwe Dumslaff, Kai Grambow, Dr. Michael Rading, Josef Ranner
Aufsichtsrat: Pierre Hessler (Vorsitzender)
Sitz und Amtsgericht: München HRB 126057
 

_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

Montag, 20. Juli 2009

[HIForum] iGrafx Experte?

Moin,
wer kennt iGrafx und hat Know How im Bereich Simulation? Gesucht werden (für einen Freund) entsprechende Beispieldokumente für "2-Produktlinien-Unternehmen".
ciao
_Matthias
http://www.mprove.de/about/contact.html


--
Hamburger Informatik Forum e.V.

web_____ http://www.hiforum.de/
xing____ http://www.xing.com/group-1211.f74f6f/4667
twitter_ http://twitter.com/hiforum/
feed____ http://pipes.yahoo.com/mprove/xhiforum
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

Mittwoch, 24. Juni 2009

[HIForum] [Kolloquium] 29.6.09 - Dr. He dda Schmidtke / GIST Südkorea

Einladung zum

Informatischen Kolloquium Hamburg

Termine unter: http://www.informatik.uni-hamburg.de/Info/Kolloquium/

________________________________________________________________________________

* Ansätze zu einer ontologiebasierten formalen Verifikationsmethode für Pervasive Computing Umgebungen *
________________________________________________________________________________

Dr. Hedda R. Schmidtke

U-VR Lab, Dept. of Information and Communications
Gwangju Institute of Science and Technology (GIST)
Gwangju , Südkorea


Montag, 29. Juni 2009
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B


Pervasive Computing Systeme operieren innerhalb und auf der Basis eines Modells der Umgebung, in welcher sie arbeiten. In dieser Hinsicht unterscheiden sie sich von verteilten oder mobilen Computersystemen und benötigen neue Verifikationsmethoden. Gegenwärtig gibt es eine Reihe von Methoden und Werkzeugen, mit denen die Eigenschaften verteilter und mobiler nebenläufiger Systeme einerseits und ontologiebasierter Kontextmodelle andererseits verifiziert werden können. Als Werkzeuge zur Verifikation existierender Pervasive Computing Systeme sind beide allerdings nicht optimal, da erstere nur die Modellierung stark eingeschränkter Kontextmodelle unterstützen und letztere nicht erlauben, den dynamischen Aspekt von Computersystemen zu modellieren. Im Vortrag wird ein Ansatz vorgestellt, nach dem existierende Pervasive Computing Systeme als verteilte nebenläufige Systeme, die auf dem Hintergrund eines mereotopologischen Kontextmodells operieren, beschrieben werden können.


Kontakt: Prof. Dr. Christopher Habel
habel@informatik.uni-hamburg.de, Tel. 42883-2417


_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium

_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler

Donnerstag, 18. Juni 2009

[HIForum] ISC09 Party am 20.6.

Moin,
am 20.6. gibt es anläßlich der International Supercomputing Conference im Cafe Fees eine Party für Studis (und Profs). Infos und kostenlose Anmeldung unter

http://isc09studentparty.eventbrite.com/

Gruss
Matthias

--
User Experience and Interaction Design
blogs_ http://www.mprove.de/blogs/
home_ http://www.mprove.de
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler