6. Computational Logic

17.09.2014 (Wednesday)

TimeTitleLecturer
14:30-15:20Power of Nondeterministic JAGs on Cayley graphsM. Hofmann
15:30-16:20MSO+UM. Bojańczyk
16:30-17:00Coffee
17:00-17:50Global Realisations of Local SpecificationsM. Otto

18.09.2014 (Thursday)

TimeTitleLecturer
14:30-15:20Substructural logics in type grammars: selected issuesW. Buszkowski
15:30-16:20Ontologies, Data and Constraint SatisfactionC. Lutz
16:30-17:00Coffee
17:00-17:50Aspects of dynamic complexityT. Schwentick

19.09.2014 (Friday)

TimeTitleLecturer
14:30-15:20Combinatory Logic and Program Synthesis J. Rehof
15:30-15:55Which logic in computer scienceL. Pacholski
16:30-17:00Coffee
17:00-17:50Spectra of formulae with restrictionsE. Kopczyński