Till Mossakowski

I am a senior researcher at the German research center for artificial intelligence (DFKI), Lab Bremen, Safe and secure cognitive systems group, on leave from my position as "wissenschaftlicher Assistent" (roughly corresponding to an assistant professor) in the working group headed by Prof. Dr. Bernd-Krieg-Brückner , located at the computer science department of the University of Bremen (Germany). In 2008/2009, I was a substitute professor at the Albert-Ludwigs-Universität in Freiburg.

Research

CALCO 2007 (PC co-chair)
FroCoS 2000, FLIRTS track at WADT 2002, AMiLP-3 2003, CSL 2004, CombLog 2004, MKM 2005, WADT 2006, FroCoS 2007, VERIFIY 07, ISWC workshop on modular ontologies 2007, AMAST 2008, WADT 2008, CALCO 2009, MLPA-09, WoMO 2009, MLPA 2010, WoMO 2010, AMAST 2010, (member of program committee)
PhD Summer School: Logics of Formal Software Specification Languages Slides: CASL CASL tutorial HasCASL CoCASL SB-CASL HetCASL
FLIRTS group: Formalisms, Logics, Institutions - Representing, Translating, Structuring (coordinator)

Mossakowski
My Erdös number is 3: Till Mossakowski, George E. Strecker, Marcel Erne, Paul Erdös

Postal address:
Till Mossakowski
DFKI Lab Bremen
Enrique-Schmidt-Str. 5
D-28359 Bremen

Tel.: +49 421 218 64226
Fax: +49 421 218 9864226
email: Till.Mossakowski@dfki.de
Office: Cartesium, Enrique-Schmidt-Str., room 2.051