[TYPES/announce] New CPS textbook now available

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The new cyber-physical systems textbook is now available as a valuable resource for the research and education community. André Platzer. Logical Foundations of Cyber-Physical Systems.

[TYPES/announce] Post Doctoral Fellow Position at Carnegie Mellon University in Logical Systems Lab

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Logical Systems Lab at the Computer Science Department of Carnegie Mellon University has an exciting opportunity for a Postdoctoral Researcher. We research logical foundations for

[TYPES/announce] PhD Student or Postdoc Position in Alexander von Humboldt Professor group

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group of André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT is recruiting a PhD student or postdoc

[TYPES/announce] Recruiting: Doctoral Researchers / PhD Students

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group of André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Department of Informatics at KIT, Karlsruhe, is recruiting a PhD Student

[TYPES/announce] Doctoral Researcher / PhD Student / Postdoc Position

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The group of André Platzer, the Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems, in the Computer Science Department at KIT, Karlsruhe, is recruiting a PhD