[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[I would be grateful for further distribution of the job advertisement
below]
In the newly founded Theoretical Computer Science group (Chair 8) at the
University of Erlangen-Nürnberg,
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Thanks for circulating the call for papers below, which may be of
interest to readers of the types list through the relationship of types
to formal methods. -- Lutz]
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Thanks for distributing the call for papers below]
=== CfP
FHES 2011
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[This workshop may be of some interest to members of the types list --
although the dominant ontology languages are currently largely untyped,
many people do use typed frameworks up to and
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Thanks for distributing the job advertisement below.]
The German Research Center for Artificial Intelligence (DFKI GmbH) is
seeking a
Postdoctoral Researcher
for its Safe and