Sprungmarken

Servicenavigation

Hauptnavigation


Sie sind hier:

Bereichsnavigation

Nebeninhalt

Kontakt

Dr. Norbert Jesse
Dekanat Informatik
Tel.: 0231 755-6221

Veranstaltungen /

Termine

07.07.2009

Vortrag von Herrn Prodosh Banerjee, Anolim

10.07.2009

12. Dortmunder Informatik-Tag

21.01.2009

Promotionsvortrag von Herrn Ralf Nagel, Fakultät für Informatik, TU Dortmund

23.07.2009

Vortrag von Herrn Hillol Kargupta, Universität of Maryland Baltimore County

06.11.2009 (voraussichtlich)

Dortmunder Alumni-Tag 2009

 

Hauptinhalt

Aktuelle Meldungen der Fakultät für Informatik

1st Workshop on Theory and Application of Bisimulations

EED_WS

25.06.2009 – Der Lehrstuhl für Software-Technologie (Informatik X) veranstaltet in Kooperation mit der Logik-Gruppe des Dipartimento di Matematica e Informatica der Universität Triest am 3. Juli 2009 auf dem Campus Gorizia der Universität Triest einen Workshop zum Thema "Bisimulationen in Softwaretechnik und Logik".

Der Workshop wird vom DAAD und vom italienischen Wissenschaftsministerium im Rahmen der "Deutsch-Italienischen Forschungskooperation" gefördert. Die Vorträge deutscher und italienischer Wissenschaftler stellen neue Forschungsergebnisse zum Thema vor, wobei formale Methoden zur Konstruktion sicherer nebenläufiger Programme im Vordergrund stehen .

 

Einladung zum 12. Dortmunder Informatik-Tag

20080606-192104

24.06.2009 – Am Freitag, den 10. Juli, 14.00 h ff., findet der diesjährige Dortmunder Informatik-Tag (DIT) statt. Wir laden Mitglieder, Angehörige und Freunde der Fakultät auch auf diesem Wege sehr herzlich zu dieser Veranstaltung ein!

Zum 12. Mal werden die Absolventen des zurückliegenden Jahres feierlich verabschiedet. Der Dekan, Prof. Dr. Peter Buchholz, sowie Frau Prof. Dr. Kern-Isberner (Studiendekanin) und Prof. Dr. Heinrich Müller (Prodekan) überreichen Diplomanden und Promovenden ihre Abschlussurkunden. Geehrt werden ebenfalls diejenigen Studierenden und Wissenschaftler, die herausragende Leistungen erbracht haben und außerhalb der Fakultät als Preisträger erfolgreich waren.

 

Google Anita Borg Memorial Scholarship für Christiane Lammersen

Christiane_Lammersen

05.06.2009 – Christiane Lammersen, wissenschaftliche Mitarbeiterin am Lehrstuhl für Effiziente Algorithmen und Komplexitätstheorie, wird mit einem Google Anita Borg Memorial Scholarship 2009 ausgezeichnet.

Die Firma Google vergibt diesen Preis seit 2004 jährlich zum Gedächtnis an Dr. Anita Borg an Nachwuchswissenschaftlerinnen, die im Bereich der Informatik im letzten Jahr eines Bachelor-Studiengangs bzw. in einem Master-Studiengang stehen oder an einer Dissertation arbeiten. Die Preisträgerinnen werden aufgrund ihrer herausragenden akademischen Leistungen, ihrer Führungsqualitäten und ihrer Begeisterung für den Bereich Informatik ausgewählt.

 

EU-Projekt "Foundations of XML" mit Beteiligung des Lehrstuhls Informatik I gestartet

FoX

29.05.2009 – Im Rahmen des 7. EU-Rahmenprogramms Information and Communication Technologies wird unter Dortmunder Beteiligung das Projekt "Foundations of XML - Safe Processing of Dynamic Data over the Internet" (FoX) mit insgesamt über 2 Millionen Euro gefördert.

Insgesamt werden sieben Doktoranden und Post-docs für drei Jahre aus Mitteln des Projektes bei den sieben Projektpartnern an den Universitäten Edinburgh, Oxford, Amsterdam, Hasselt und Warschau sowie bei INRIA Paris und der Arbeitsgruppe Schwentick/Martens am Lehrstuhl Informatik I finanziert.

 

8th International Symposium on Experimental Algorithms (SEA 2009), 4. - 6. Juni an der Fakultät

algorithm-engineering-de

26.05.2009 – Das 8th International Symposium on Experimental Algorithms (SEA 2009) wird vom 4. – 6. Juni an der Fakultät für Informatik der TU Dortmund ausgerichtet. Auf Initiative von Prof. Dr. Jan Vahrenhold findet diese unter Fachleuten hoch angesehene wissenschaftliche Reihe erstmals in Deutschland statt.

Das Symposium on Experimental Algorithms (SEA) ist eine von weltweit drei begutachteten Fachtagungen, die sich ausschließlich mit experimentellen Algorithmen (Algorithm Engineering) befassen. Im Mittelpunkt dieses wissenschaftlichen Faches steht ein Kreislauf aus Entwurf, Analyse, Implementierung und experimenteller Bewertung von Algorithmen. Ausgehend von realen Anforderungen und Daten wird untersucht, welche Berechnungsverfahren entwickelt oder modifiziert werden müssen, damit sie nicht nur theoretisch bedeutsam, sondern auch praktisch von Nutzen sind. Damit geht es gleichermaßen um theoretische Fundierung und den Transfer in Anwendungen.

 

Jobmarkt / Newsarchiv

Interessante und stets aktuelle Stellenangebote finden Sie in unserem Jobmarkt:

Ältere Meldungen der Fakultät für Informatik finden Sie in unserem Newsarchiv: