|
Logik in der Informatik München, 19.-20. Mai 2005 |
|
|
|
Logik in der Informatik München, 19.-20. Mai 2005 |
|
| 10:00 - 10:55 | Registrierung und Kaffee |
| 10:55 - 11:00 | Begrüßung |
| 11:00 - 11:45 | Martin Hofmann: Proof-Theoretic Approach to Description Logic |
| 11:45 - 12:30 | Kumar Neeraj Verma: On the Complexity of Equational Horn Clauses |
| 12:30 - 13:45 | Mittagspause |
| 13:15 - 13:45 | Kaffee |
| 13:45 - 14:30 | Martin Leucker: Don't Know in the Mu-Calculus |
| 14:30 - 15:15 | Helmut Veith: Abstraktion und Dekomposition für Parameterisierte Systeme |
| 15:15 - 16:00 | Johannes Kinder: Detecting malicious code by model checking |
| 16:00 - 16:30 | Kaffeepause |
| 16:30 - 17:15 | Grigori Mints: Extraction of algorithms from non-effective cut elimination proofs |
| 17:15 - 18:00 | Ralph Matthes: Explicit and not so explicit substitution - a case study in nested data types |
| 18:00 | Fachgruppensitzung |
| 19:30 | Dinner |
| 9:00 - 10:00 | Thomas Schwentick: Logic and XML (Eingeladener Vortrag) |
| 10:00 - 10:45 | Weißwurstfrühstück |
| 10:45 - 11:30 | Sebastian Schaffert: Xcerpt and XChange, deductive languages for the (Semantic) Web |
| 11:45 - 12:30 | Franz Baader: Connecting many-sorted theories |