| Datum |
|
Vortragender
| |
Titel des Vortrags |
Bemerkung |
| 13.02.2008 |
|
Dr. Jérôme Rogerie
ILOG S. A. (Paris, France) |
|
Mixing Constraint Programming, Linear Programming
and Learning Methods for a scheduling engine |
Informatik Fachvortrag, Mittwochs, 16 Uhr s.t., in Raum 1002 (O28) |
| 12.02.2007 |
|
Andreas Lanz |
|
Praktikum: Planen und Scheduling – Planungsstrategien |
|
| 14.02.2007 |
|
Julian Lambertz |
|
Erklärung und Korrektur
von Nicht-Subsumtion in Ontologien |
Mittwoch!
14:30 Uhr in 429 |
| 26.03.2007 |
|
Stephan Scheele |
|
Tableaubasierte
Ableitung und Erklärung von Subsumtionsbeziehungen |
|
| 09.05.2007 |
|
Dr. María Dolores Rodríguez Moreno
Universidad de Alcalá (Madrid), Spain |
|
Planning and Execution for Rover Missions |
Informatik Fachvortrag, Mittwochs, 16 Uhr c.t., in Raum 429 |
| 09.07.2007 |
|
Felix Müller |
|
Entwicklung und Evaluierung eines parallelen Tableau-Reasoners für
Beschreibungslogiken |
|
| 16.07.2007 |
|
Gerd Gröner |
|
Formalisierung und Analyse von Zugriffsberechtigungen in PVS |
Beginn bereits um 11 Uhr c.t. |
| 1.08.2007 |
|
Sascha Geßler |
|
Praktikum Planen und Scheduling: Visualisierung interaktiver Planungsstrategien |
Mittwochs, 15 Uhr ct. |
| 1.08.2007 |
|
Andreas Lanz |
|
Praktikum Planen und Scheduling: Werkzeuge zur Unterstützung bei der Modellerstellung |
Mittwochs, 15 Uhr ct. |
| 22.10.2007 |
|
Paolo Masci
Dept. Information Engineering
University of Pisa, Italy
|
|
Formal modelling and verification of Wireless Sensor Networks in PVS |
|