27.12.2012 Aufrufe

FORSCHUNGSBERICHT 2004 - Fachrichtung Chemie und ...

FORSCHUNGSBERICHT 2004 - Fachrichtung Chemie und ...

FORSCHUNGSBERICHT 2004 - Fachrichtung Chemie und ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

WISSENSCHAFTLICHE VERANSTALTUNGEN 3.10.<br />

Institut für Theoretische Informatik<br />

Thema: „Specifi cation of discrete processes and systems of processes by operational<br />

models an logics“<br />

Veranstalter: Graduiertenkolleg 334<br />

Zeit: 16. - 20.02.<strong>2004</strong><br />

Thema: Applications of Description Logic<br />

Veranstalter: Sean Bechhofer, Volker Haarslev, Carsten Lutz and Ralf Moeller<br />

Zeit: 24.09.<strong>2004</strong><br />

Internet : http://www.cs.man.ac.uk/~seanb/adl/<br />

Thema: Workshop „Weighted Automata-Theory and Applications“<br />

Veranstalter: Institut für Theoretische Informatik/Institut für Algebra<br />

Zeit: 01. - 05.06.<strong>2004</strong><br />

Internet : http://www.orchid.inf.tu-dresden.de/gk-spezifi kation<br />

Thema: Workshop „Algorithms and Tools for Coinductive Reasoning“<br />

Veranstalter: Graduiertenkolleg 334 <strong>und</strong> Lehrstuhl Algebraische Gr<strong>und</strong>lagen der<br />

Informatik (Institut für Theoretische Informatik, Fakultät Informatik) <strong>und</strong><br />

International Center for Computational Logic (ICCL)<br />

Zeit: 16. - 22.09.<strong>2004</strong><br />

Internet : http://wwwtcs.inf.tu-dresden.de/~reichel/Workshop0<br />

237

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!