Sie sind hier: Technische Universität Dortmund > Fakultät für Informatik > Lehrstuhl Informatik 1 - Logik in der Informatik

Old Website

If you are looking for information, which can't be found on our new website, you will possibly find it on our old Website.

Home
EU-Projekt Foundations of XML mit Beteiligung des LS 1 gestartet

 

Im Rahmen des Siebten 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 1 finanziert.

Read more...
 
Best Student Paper Award für Hyung-Won Koh

Hyung-Won Koh erhielt beim 21st IEEE International Symposium on Computer-Based Medical Systems (CBMS 2008) den Best Student Paper Award. Die Auszeichnung wurde Herrn Koh für seinen Vortrag Feature Selection by Lorentzian Peak Reconstruction for NMR Post-Processing verliehen

Read more...
 

ls1_okt09_small

 


Joomla SEF URLs by Artio
LogiDAC
  • Basics in databases
  • Logic in computer sciences
  • Complexity theory
  • Formal languages and automata theory

More information

 
FLDIT
  • Funktionale und regelbasierte Programmierung
  • Logisch-algebraische Modellierung und Verifikation
  • Expander2: A Workbench for Interactive Formal Reasoning

Zur Homepage der Arbeitsgruppe

 
DA-BiMaSc
  • Intelligente Datenanalyse
  • Knowledge Discovery & Data Mining
  • Anwendungen der CI in der Bioinformatik und den Materialwissenschaften

Mehr Informationen

 
Information Engineering
  • Qualitative und quantitative Wissensverarbeitung
  • Nicht-monotone Logiken und Inferenz
  • Commonsense Reasoning
Mehr Informationen