 |
6. Computational Logic |
17.09.2014 (Wednesday) |
| Time | Title | Lecturer |
| 14:30-15:20 | Power of Nondeterministic JAGs on Cayley graphs | M. Hofmann |
| 15:30-16:20 | MSO+U | M. Bojańczyk |
| 16:30-17:00 | Coffee | |
| 17:00-17:50 | Global Realisations of Local Specifications | M. Otto |
18.09.2014 (Thursday) |
| Time | Title | Lecturer |
| 14:30-15:20 | Substructural logics in type grammars: selected issues | W. Buszkowski |
| 15:30-16:20 | Ontologies, Data and Constraint Satisfaction | C. Lutz |
| 16:30-17:00 | Coffee | |
| 17:00-17:50 | Aspects of dynamic complexity | T. Schwentick |
19.09.2014 (Friday) |
| Time | Title | Lecturer |
| 14:30-15:20 | Combinatory Logic and Program Synthesis | J. Rehof |
| 15:30-15:55 | Which logic in computer science | L. Pacholski |
| 16:30-17:00 | Coffee | |
| 17:00-17:50 | Spectra of formulae with restrictions | E. Kopczyński |