Logikbasierte Wissensrepräsentation: Aktionsformalismen und Koordinationsfonds

• Applicant: Professor Dr. Michael Thielscher
• Subject Area: Theoretical Computer Science
• Term: from 2007 to 2010
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 56501976

Ziel des Koordinationsfonds ist es, die Zusammenarbeit innerhalb des gemeinsamen Forschungsvorhabens, an denen drei Standorte beteiligt sind, zu unterstützen. Es sollen gemeinsame Kolloquien veranstaltet werden, die dem intensiven Austausch dienen und in denen die Arbeiten auch einer kritischen Beurteilung mit der internationalen Spitzenforschung als Maßstab unterworfen werden sollen. Weiterhin sollen dem wissenschaftlichen Nachwuchs längere Gastaufenthalte bei den assoziierten Projektpartnern ermöglicht werden.

• DFG Programme: Research Grants